Fedosov has described a geometro-algebraic method to construct in a canonical way a deformation of the Poisson algebra associated with a finite-dimensional symplectic manifold (\\\"phase space\\\"). His algorithm gives a non-commutative, but associative, product (a so-called \\\"star-product\\\") between smooth phase space functions parameterized by Planck\\\'s constant ℏ, which is treated as a deformation parameter. In the limit as ℏ goes to zero, the star product commutator goes to ℏ times the Poisson bracket, so in this sense his method provides a quantization of the algebra of classical observables. In this work, we develop a generalization of Fedosov\\\'s method which applies to the infinite-dimensional symplectic \\\"manifolds\\\" that occur in Lagrangian field theories. We show that the procedure remains mathematically well-defined, and we explain the relationship of this method to more standard perturbative quantization schemes in quantum field theory.

This thesis consists of two parts, a first part on computations in algebraic geometry, and a second part on deformation quantization. More specifically, it is a collection of four papers. In the papers I, II and III, we present algorithms and an implementation for the computation of degrees of characteristic classes in algebraic geometry. Paper IV is a contribution to the field of deformation quantization and actions of the Grothendieck-Teichmüller group. In Paper I, we present an algorithm for the computation of degrees of Segre classes of closed subschemes of complex projective space. The algorithm is based on the residual intersection theorem and can be implemented both symbolically and numerically. In Paper II, we describe an algorithm for the computation of the degrees of Chern-Schwartz-MacPherson classes and the topological Euler characteristic of closed subschemes of complex projective space, provided an algorithm for the computation of degrees of Segre classes. We also explain in detail how the algorithm in Paper I can be implemented numerically. Together this yields a symbolical and a numerical version of the algorithm. Paper III describes the Macaulay2 package CharacteristicClasses. It implements the algorithms from papers I and II, as well as an algorithm for the computation of degrees of Chern classes. In Paper IV, we show that L-infinity-automorphisms of the Schouten algebra T_poly(R^d) of polyvector fields on affine space R^d which satisfy certain conditions can be globalized. This means that from a given L-infinity-automorphism of T_poly(R^d) an L-infinity-automorphism of T_poly(M) can be constructed, for a general smooth manifold M. It follows that Willwacher's action of the Grothendieck-Teichmüller group on T_poly(R^d) can be globalized, i.e., the Grothendieck-Teichmüller group acts on the Schouten algebra T_poly(M) of polyvector fields on a general manifold M. / <p>At the time of the doctoral defense, the following papers were unpublished and had a status as follows: Paper 2: Manuscript. Paper 3: Manuscript. Paper 4: Accepted.</p>

Fedosov has described a geometro-algebraic method to construct in a canonical way a deformation of the Poisson algebra associated with a finite-dimensional symplectic manifold (\\\"phase space\\\"). His algorithm gives a non-commutative, but associative, product (a so-called \\\"star-product\\\") between smooth phase space functions parameterized by Planck\\\''s constant ℏ, which is treated as a deformation parameter. In the limit as ℏ goes to zero, the star product commutator goes to ℏ times the Poisson bracket, so in this sense his method provides a quantization of the algebra of classical observables. In this work, we develop a generalization of Fedosov\\\''s method which applies to the infinite-dimensional symplectic \\\"manifolds\\\" that occur in Lagrangian field theories. We show that the procedure remains mathematically well-defined, and we explain the relationship of this method to more standard perturbative quantization schemes in quantum field theory.