Recognition: 2 theorem links
· Lean TheoremVirasoro extensions for diffeomorphisms with breaks
Pith reviewed 2026-05-11 01:49 UTC · model grok-4.3
The pith
The groupoid of broken diffeomorphisms of the circle admits an explicit nontrivial n-dimensional central extension that restricts to the classical Virasoro group on smooth maps.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that the Lie groupoid of broken diffeomorphisms of the circle, consisting of homeomorphisms smooth except at n points, carries an explicit nontrivial n-dimensional central extension which restricts to the classical Virasoro group on the smooth diffeomorphisms. The corresponding broken Virasoro algebroid is defined as a nontrivial n-dimensional central extension of the Lie algebroid of vector fields smooth except at n points, thereby generalizing the Virasoro algebra. A byproduct construction gives a central extension of the Lie algebra of vector fields vanishing at the endpoints of an interval, together with the central extension of the group of diffeomorphisms fixing a
What carries the argument
The explicit n-dimensional central extension cocycle on the Lie groupoid of broken diffeomorphisms of the circle, which generalizes the Virasoro cocycle.
Load-bearing premise
The broken diffeomorphisms of the circle form a Lie groupoid in a natural way that permits an explicit nontrivial central extension cocycle agreeing with the Virasoro cocycle on smooth diffeomorphisms.
What would settle it
A direct computation showing that the proposed cocycle on the broken diffeomorphisms is a coboundary, or that its restriction to smooth diffeomorphisms fails to recover the standard Virasoro central extension.
read the original abstract
We study homeomorphisms of the circle that are smooth diffeomorphisms away from a finite set of $n$ points. These "broken diffeomorphisms" do not form a Lie group, but instead naturally assemble into a Lie groupoid. We construct an explicit nontrivial $n$-dimensional central extension of this groupoid, which restricts to the classical Virasoro group when confined to smooth diffeomorphisms. We further describe the associated "broken Virasoro" algebroid, defined as a nontrivial $n$-dimensional central extension of the Lie algebroid of vector fields on the circle that are smooth except at $n$ points. This construction generalizes the Virasoro algebra. As a byproduct, we analyze a related setting on an interval: we construct a nontrivial central extension of the Lie algebra of vector fields vanishing at the endpoints, together with the corresponding central extension of the group of diffeomorphisms fixing the endpoints. We also describe the associated Lie algebroid and groupoid obtained by allowing the endpoints to vary.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies homeomorphisms of the circle that are smooth diffeomorphisms away from a finite set of n points, which assemble into a Lie groupoid rather than a Lie group. It constructs an explicit nontrivial n-dimensional central extension of this groupoid that restricts to the classical Virasoro group when restricted to smooth diffeomorphisms. It further defines the associated broken Virasoro algebroid as a nontrivial n-dimensional central extension of the Lie algebroid of vector fields smooth except at n points, and provides a related construction of a central extension for the Lie algebra of vector fields on an interval vanishing at the endpoints together with the corresponding groupoid allowing endpoints to vary.
Significance. If the construction is correct, this provides a direct generalization of the Virasoro algebra and group to the setting of broken diffeomorphisms, which may be useful in contexts involving symmetries with isolated singularities or defects. The explicitness of the construction and the fact that it reduces to the classical case are strengths; the byproduct on the interval adds value. The work is grounded in standard tools of Lie groupoids and central extensions.
major comments (1)
- [the construction of the central extension and proof of the cocycle condition] The verification of the groupoid 2-cocycle identity under composition with mismatched break points is the load-bearing step for the central claim. Composition of broken maps produces a map whose break set is the union of the original breaks with preimages, so the cocycle (built from integrals or sums localized at breaks) must remain consistent across varying break cardinalities. This identity must be checked explicitly to confirm a valid central extension, as an algebraic error here would invalidate the result while still permitting a correct restriction to the smooth (n=0) case.
minor comments (2)
- [Introduction] Clarify the precise definition of the Lie groupoid structure (objects as configurations of n points, arrows as broken homeomorphisms) early in the introduction to aid readers.
- [Notation and definitions] The notation for the n-dimensional extension and the distinction between the groupoid and algebroid extensions could be made more uniform across sections.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for the positive overall assessment. We address the major comment below in detail.
read point-by-point responses
-
Referee: The verification of the groupoid 2-cocycle identity under composition with mismatched break points is the load-bearing step for the central claim. Composition of broken maps produces a map whose break set is the union of the original breaks with preimages, so the cocycle (built from integrals or sums localized at breaks) must remain consistent across varying break cardinalities. This identity must be checked explicitly to confirm a valid central extension, as an algebraic error here would invalidate the result while still permitting a correct restriction to the smooth (n=0) case.
Authors: We appreciate the referee highlighting this key verification. The manuscript constructs the cocycle by summing localized contributions at each break point (see Definition 3.2 and the subsequent propositions). The 2-cocycle identity is verified explicitly in Proposition 3.4 by direct computation on the composed groupoid element. When composing two broken diffeomorphisms with break sets S and T, the break set of the composition is S union phi^{-1}(T); the proof accounts for this by showing that the cocycle contributions from the preimages under the first map cancel against the smooth parts of the second map via the chain rule, leaving only the additive terms from the union. This holds uniformly for any finite cardinalities, reducing correctly to the classical Virasoro cocycle when n=0. To improve clarity on the mismatched case, we will expand the proof in the revised version with an additional explicit calculation for n=1 composed with m=2, including all intermediate terms. revision: partial
Circularity Check
Explicit construction of groupoid central extension is self-contained
full rationale
The paper presents a direct, explicit formula for an n-dimensional 2-cocycle on the Lie groupoid of broken diffeomorphisms (homeomorphisms smooth away from n points). This cocycle is stated to restrict to the classical Virasoro cocycle on the smooth (n=0) subgroupoid and to satisfy the groupoid cocycle identity by direct verification under composition. No parameter is fitted to data, no result is renamed as a prediction, and no load-bearing step reduces to a self-citation or prior ansatz by the same authors. The derivation chain consists of an original algebraic construction whose nontriviality and restriction properties are proved from the formula itself rather than assumed or fitted; the cocycle identity is a theorem, not a definitional tautology. The associated algebroid extension follows similarly by differentiation. This is the normal case of an independent explicit construction in differential geometry.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Broken diffeomorphisms of the circle naturally assemble into a Lie groupoid.
- standard math The classical Virasoro group is recovered when the construction is restricted to smooth diffeomorphisms.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclearWe construct an explicit nontrivial n-dimensional central extension of this groupoid, which restricts to the classical Virasoro group when confined to smooth diffeomorphisms.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclearχ_i(ϕ,ψ) = ∫_{p_i}^{p_{i+1}} log(ϕ_x ∘ ψ) dlog(ψ_x)
Reference graph
Works this paper leans on
-
[1]
Fuchs.Cohomology of Infinite-Dimensional Lie Algebras
D.B. Fuchs.Cohomology of Infinite-Dimensional Lie Algebras. Consultants Bureau, New York, 1987
work page 1987
-
[2]
S. Ghazouani and K. Khanin. The symplectic structure for renormalization of circle dif- feomorphisms with breaks.Communications in Contemporary Mathematics, 24(1):2150016, 2022
work page 2022
-
[3]
A. Izosimov and B. Khesin. Vortex sheets and diffeomorphism groupoids.Advances in Mathematics, 338:447–501, 2018
work page 2018
-
[4]
B. Khesin and G. Misio lek. Euler equations on homogeneous spaces and Virasoro orbits. Advances in Mathematics, 176(1):116–144, 2003
work page 2003
-
[5]
F. Malikov and R. C. Penner. The Lie algebra of homeomorphisms of the circle.Advances in Mathematics, 140(2):282–322, 1998
work page 1998
-
[6]
E. Meinrenken. Lie algebroids. InEncyclopedia of Mathematical Physics (Second Edition), volume 4, pages 485–492. Elsevier, 2025
work page 2025
-
[7]
V. Ovsienko and S. Tabachnikov.Projective Differential Geometry Old and New: From the Schwarzian Derivative to the Cohomology of Diffeomorphism Groups. Cambridge University Press, 2005
work page 2005
-
[8]
A. Pressley and G. Segal.Loop Groups. Oxford Mathematical Monographs, 1988. 20
work page 1988
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.