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

DOI10.1134/S0081543823010108zbMATH Open1527.14015arXiv2211.15932OpenAlexW4379526551WikidataQ122908315 ScholiaQ122908315MaRDI QIDQ6156022FDOQ6156022

Authors: D. V. Osipov 

Publication date: 9 June 2023

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

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$.

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

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

zbMATH Keywords

Laurent seriesgroups of diffeomorphismsBaer suminfinite-dimensional Lie groupsGelfand-Fuchs cocyclesdouble loop groupsContou-Carrère symbolVirasoro groupsreal Riemann-Roch theorem

Mathematics Subject Classification ID

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

Cites Work

• On the characteristic classes of groups of diffeomorphisms
• The Geometry of Infinite-Dimensional Groups
• Title not available (Why is that?)
• Lectures on Curves on an Algebraic Surface. (AM-59)
• Title not available (Why is that?)
• Spin and wedge representations of infinite-dimensional Lie algebras and groups
• Introduction to Algebraic K-Theory. (AM-72)
• Loop spaces, characteristic classes and geometric quantization
• Unitary representations of some infinite dimensional groups
• Title not available (Why is that?)
• The Virasoro algebra and group. Geometric and algebraic aspects, generalizations. With an appendix by Vlad Sergiescu
• Title not available (Why is that?)
• K\(_2\) and algebraic cycles
• 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
• Gerbal representations of double loop groups
• Title not available (Why is that?)
• An algebraic analog of the Virasoro group.
• Local Jacobian of a relative formal curve
• A higher-dimensional Contou-Carrère symbol: local theory
• Title not available (Why is that?)
• Continuous homomorphisms between algebras of iterated Laurent series over a ring
• Higher-dimensional Contou-Carrère symbol and continuous automorphisms
• The two-dimensional Contou-Carrère symbol and reciprocity laws
• The tame symbol
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal loops II: A local Riemann–Roch theorem for determinantal gerbes
• Title not available (Why is that?)
• Adele constructions of direct images of differentials and symbols
• Riemann-Roch for real varieties
• The higher-dimensional Contou-Carrère symbol and commutative group schemes
• Iterated Laurent series over rings and the Contou-Carrère symbol

Cited In (3)

• 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

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)