Formal Bott-Thurston cocycle and part of a formal Riemann-Roch theorem

DOI10.1134/S0081543823010108MaRDI QIDQ6156022zbMATH OpenOpenAlexWikidataFDO

Authors D. V. Osipov

Publication date 9 June 2023

Published in Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2211.15932

zbMATH Keywords

Baer sumContou-Carrère symboldouble loop groupsGelfand-Fuchs cocyclesgroups of diffeomorphismsinfinite-dimensional Lie groupsLaurent seriesreal Riemann-Roch theoremVirasoro groups

Mathematics Subject Classification ID

Formal power series rings (13F25) Riemann-Roch theorems (14C40) Lie algebras of linear algebraic groups (17B45) Higher symbols, Milnor (K)-theory (19D45) Symbols and arithmetic ((K)-theoretic aspects) (19F15) Riemann-Roch theorems, Chern characters (19L10)

Abstract: The Bott-Thurston cocycle is a $2$-cocycle on the group of orientation-preserving diffeomorphisms of the circle. We introduce and study a formal analog of Bott-Thurston cocycle. The formal Bott-Thurston cocycle is a $2$-cocycle on the group of continuous $A$-automorphisms of the algebra $A((t))$ of Laurent series over a commutative ring $A$ with values in the group $A^{\ast }$ of invertible elements of $A$. We prove that the central extension given by the formal Bott-Thurston cocycle is equivalent to the $12$-fold Baer sum of the determinantal central extension when $A$ is a $mathbbQ$-algebra. As a consequence of this result we prove a part of new formal Riemann-Roch theorem. This Riemann-Roch theorem is applied to a ringed space on a separated scheme $S$ over $mathbbQ$, where the structure sheaf of the ringed space is locally on $S$ isomorphic to the sheaf ${mathcalO}_S((t))$ and the transition automorphisms are continuous. Locally on $S$ this ringed space corresponds to the punctured formal neighbourhood of a section of a smooth morphism to $U$ of relative dimension $1$, where an open subset $UsubsetS$.

Review text

Let \(A\) be a commutative ring and \(A((t))\) the algebra of Laurent series over \(A\). Using the concept of Contou-Carrère symbol (see [\textit{P. Deligne}, Publ. Math., Inst. Hautes Étud. Sci. 73, 147--181 (1991; Zbl 0749.14011)]), the author defines the formal Bott-Thurston cocycle as a certain 2-cocycle on the group of continuous \(A\)-automorphisms of \(A((t))\) taking values in the group of invertible elements of \(A\). The main result of the paper under review is a formal version of the Riemann-Roch theorem, applicable to separated schemes over \(\mathbb Q\). The proof is partly based on ideas and constructions similar to those discussed in [\textit{M. Kapranov} and \textit{É. Vasserot}, Ann. Sci. Éc. Norm. Supér. (4) 40, No. 1, 113--133 (2007; Zbl 1129.14022)].

Recommendations

• On Bott-Chern cohomology and formality
• Lefschetz-Riemann-Roch theorem and coherent trace formula
• A renormalized Riemann-Roch formula and the Thom isomorphism for the free loop space
• scientific article; zbMATH DE number 1538918
• scientific article; zbMATH DE number 2131831
• Bott-Thom isomorphism, Hopf bundles and Morse theory
• A Hyperbolic Counterpart to Rokhlin’s Cobordism Theorem
• Dualité de Poincaré et formule de Künneth en cohomologie rigide
• Birack dynamical cocycles and homomorphism invariants
• Bott-Chern forms and geometric stability

Cites work

• A higher-dimensional Contou-Carrère symbol: local theory
• Adele constructions of direct images of differentials and symbols
• An algebraic analog of the Virasoro group.
• Continuous homomorphisms between algebras of iterated Laurent series over a ring
• Formal loops II: A local Riemann–Roch theorem for determinantal gerbes
• Gerbal representations of double loop groups
• Higher-dimensional Contou-Carrère symbol and continuous automorphisms
• scientific article; zbMATH DE number 3935317 (Why is no real title available?)
• scientific article; zbMATH DE number 3973029 (Why is no real title available?)
• scientific article; zbMATH DE number 4023451 (Why is no real title available?)
• scientific article; zbMATH DE number 4091712 (Why is no real title available?)
• scientific article; zbMATH DE number 193039 (Why is no real title available?)
• scientific article; zbMATH DE number 3610475 (Why is no real title available?)
• scientific article; zbMATH DE number 599040 (Why is no real title available?)
• scientific article; zbMATH DE number 1941568 (Why is no real title available?)
• scientific article; zbMATH DE number 3450374 (Why is no real title available?)
• Introduction to Algebraic K-Theory. (AM-72)
• Iterated Laurent series over rings and the Contou-Carrère symbol
• K\(_2\) and algebraic cycles
• Lectures on Curves on an Algebraic Surface. (AM-59)
• Local Jacobian of a relative formal curve
• Loop spaces, characteristic classes and geometric quantization
• On the characteristic classes of groups of diffeomorphisms
• Riemann-Roch for real varieties
• Schémas en groupes. I: Propriétés générales des schémas en groupes. Exposés I à VIIb. Séminaire de Géométrie Algébrique 1962/64, dirigé par Michel Demazure et Alexander Grothendieck. Revised reprint
• Spin and wedge representations of infinite-dimensional Lie algebras and groups
• The Geometry of Infinite-Dimensional Groups
• The higher-dimensional Contou-Carrère symbol and commutative group schemes
• The tame symbol
• The two-dimensional Contou-Carrère symbol and reciprocity laws
• The Virasoro algebra and group. Geometric and algebraic aspects, generalizations. With an appendix by Vlad Sergiescu
• Unitary representations of some infinite dimensional groups

Cited in

(4)

• A renormalized Riemann-Roch formula and the Thom isomorphism for the free loop space
• Determinant central extension and $\cup$-products of 1-cocycles
• Local analog of the Deligne-Riemann-Roch isomorphism for line bundles in relative dimension 1
• Analytic diffeomorphisms of the circle and topological Riemann-Roch theorem for circle fibrations

This page was built for publication: Formal Bott-Thurston cocycle and part of a formal Riemann-Roch theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6156022)