京都大学 / 0048 / 新制・課程博士 / 博士(理学) / 甲第22232号 / 理博第4546号 / 新制||理||1653(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 望月 新一, 教授 玉川 安騎男, 准教授 星 裕一郎 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DGAM

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>