pith. sign in

arxiv: 2605.20175 · v1 · pith:7XBGSGUBnew · submitted 2026-05-19 · 🧮 math-ph · math.CV· math.DG· math.MP

Complex deformations of the circle: Group cohomology and Virasoro uniformization

Sid Maibach , Eveliina Peltola This is my paper

Pith reviewed 2026-05-20 03:06 UTC · model grok-4.3

classification 🧮 math-ph math.CVmath.DGmath.MP
keywords complex deformations of the circleVirasoro uniformizationSegal moduli spacesWitt algebragroup cohomologyBott-Thurston cocycleFrölicher structuresconformal field theory
0
0 comments X

The pith

Complex deformations of the circle span the tangent spaces of Segal moduli spaces via the Witt algebra.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines complex deformations of the circle as real-analytic maps from the circle into the punctured complex plane with winding number +1. These deformations form an infinite-dimensional manifold carrying partially defined group operations that are smooth with respect to Frölicher structures and whose Lie algebra at the identity is the Witt algebra. The deformations act naturally on the Segal moduli spaces of Riemann surfaces with analytically parametrized boundary components, and these actions equip the moduli spaces with smooth Frölicher structures. The authors compute the second group cohomology with real coefficients, obtaining cocycles that extend the Bott-Thurston cocycle, and prove a Virasoro uniformization theorem asserting that the tangent spaces to the moduli spaces are spanned by vector fields induced by the Witt algebra. The construction is related to Fenchel-Nielsen coordinates and Schiffer variation on finite-dimensional moduli spaces of hyperbolic surfaces.

Core claim

Complex deformations of the circle act naturally on the infinite-dimensional Segal moduli spaces of Riemann surfaces with analytically parametrized boundary components. These actions equip the moduli spaces with smooth Frölicher structures. The second group cohomology group with real coefficients contains cocycles extending the Bott-Thurston cocycle and a natural relative cocycle combining rotation number and conformal radius. The tangent spaces of the Segal moduli spaces are spanned by vector fields induced by the Witt algebra, which is the Virasoro uniformization theorem.

What carries the argument

The natural actions of complex deformations of the circle on Segal moduli spaces, which induce Frölicher structures and whose infinitesimal generators from the Witt algebra span the tangent spaces.

If this is right

  • The second group cohomology with real coefficients includes cocycles extending the Bott-Thurston cocycle related to the Gelfand-Fuks cocycle of the Virasoro algebra.
  • A natural relative cocycle combines the rotation number and conformal radius of a complex deformation.
  • The actions of complex deformations relate to Fenchel-Nielsen coordinates and Schiffer variation on finite-dimensional moduli spaces of hyperbolic surfaces with one marked point per boundary component.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The Frölicher structures on the infinite-dimensional moduli spaces may support a rigorous infinite-dimensional version of path-integral constructions in conformal field theory.
  • The relative cocycle involving rotation number and conformal radius could serve as a source of new invariants for families of Riemann surfaces with boundary.
  • The uniformization result suggests that similar spanning statements might hold for other infinite-dimensional moduli spaces equipped with suitable group actions.

Load-bearing premise

Complex deformations act naturally on the infinite-dimensional Segal moduli spaces of Riemann surfaces with analytically parametrized boundary components and these actions equip the moduli spaces with smooth Frölicher structures.

What would settle it

Exhibiting a tangent vector at a point of a Segal moduli space that cannot be obtained as the derivative along any complex deformation corresponding to an element of the Witt algebra would falsify the uniformization theorem.

Figures

Figures reproduced from arXiv: 2605.20175 by Eveliina Peltola, Sid Maibach.

Figure 2.1
Figure 2.1. Figure 2.1: The image of S 1 under a complex deformation ϕ ∈ DefC(S1 ) and the set U(ϕ), which is defined in Equation (2.15) as the region bounded by S 1 and ϕ(S 1 ). 2 Complex deformations of the circle The vector space of real-analytic vector fields on the unit circle, which we denote by Vectan R (S1 ), is the Lie algebra of the infinite-dimensional Fr´echet–Lie group Diffan + (S1 ) of real-analytic orientation-pr… view at source ↗
Figure 2.2
Figure 2.2. Figure 2.2: An invertible complex deformation ϕ ∈ I maps U(ϕ −1 ) to U(ϕ). In particular, the inversion of the Riemann sphere Cˆ = C ∪ {∞} given by J: Cˆ ! Cˆ, z 7! 1 z (2.10) acts on the generators ℓn by pullback as J ∗ ℓn = −z −(n+1)(−z 2 )∂z = −ℓ−n, n ∈ Z. (2.11) When viewed as a vector field on the Riemann sphere, for n ≥ 2, we observe that ℓn extends holomorphically to C with a singularity at ∞, while ℓ−n exten… view at source ↗
Figure 2.3
Figure 2.3. Figure 2.3: The composition ϕ ◦ ψ of a composable pair (ϕ, ψ) ∈ M is defined by analyt￾ically continuing ϕ to ψ(S 1 ) such that we have a biholomorphism ϕ: U(ψ) ! ϕ [PITH_FULL_IMAGE:figures/full_fig_p009_2_3.png] view at source ↗
Figure 3.1
Figure 3.1. Figure 3.1: Characters of the relative homotopy groups of complex deformations and the [PITH_FULL_IMAGE:figures/full_fig_p019_3_1.png] view at source ↗
Figure 3.2
Figure 3.2. Figure 3.2: Relative Lie group cohomology of complex deformations and the subgroups of [PITH_FULL_IMAGE:figures/full_fig_p020_3_2.png] view at source ↗
Figure 3.3
Figure 3.3. Figure 3.3: Relative Lie algebra cohomology of complex deformations and the subgroups [PITH_FULL_IMAGE:figures/full_fig_p021_3_3.png] view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: In this illustration, a complex deformation [PITH_FULL_IMAGE:figures/full_fig_p030_4_1.png] view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: Example of a choice of pants decomposition and seams of a hyperbolic surface [PITH_FULL_IMAGE:figures/full_fig_p037_4_2.png] view at source ↗
read the original abstract

We approach the question of complexification of the diffeomorphism group of the circle by considering real-analytic maps from the circle into the punctured complex plane with winding number +1. Such complex deformations form an infinite-dimensional manifold with partially defined inversion and composition operations, smooth in the sense of Fr\"olicher structures, and with Lie algebra relations at the identity given by the Witt algebra. With applications to conformal field theory in mind, we compute the second group cohomology group with real coefficients, finding cocycles extending the Bott-Thurston cocycle related to the Gelf'and-Fuks cocycle of the Virasoro algebra, and a natural relative cocycle combining the rotation number and conformal radius of a complex deformation. Complex deformations act naturally on the (infinite-dimensional) Segal moduli spaces of Riemann surfaces with analytically parametrized boundary components. These actions equip said moduli spaces with smooth Fr\"olicher structures. We prove a Virasoro uniformization theorem: the tangent spaces of the Segal moduli spaces are spanned by vector fields induced by the Witt algebra. Finally, we relate the actions of complex deformations to Fenchel-Nielsen coordinates and Schiffer variation on finite-dimensional moduli spaces of hyperbolic surfaces with one marked point on each boundary component.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The manuscript introduces complex deformations of the circle as real-analytic maps S¹ → ℂ* with winding number +1. These form an infinite-dimensional Frölicher manifold with partially defined inversion and composition operations whose Lie algebra at the identity is the Witt algebra. The authors compute the second group cohomology H² with real coefficients, obtaining cocycles extending the Bott-Thurston cocycle and relating to the Gelfand-Fuks cocycle of the Virasoro algebra, together with a relative cocycle involving rotation number and conformal radius. Complex deformations are shown to act naturally on the infinite-dimensional Segal moduli spaces of Riemann surfaces with analytically parametrized boundary components; these actions equip the moduli spaces with smooth Frölicher structures. A Virasoro uniformization theorem is proved asserting that the tangent spaces of these moduli spaces are spanned by vector fields induced by the Witt algebra. Connections are drawn to Fenchel-Nielsen coordinates and Schiffer variation on the corresponding finite-dimensional moduli spaces of hyperbolic surfaces.

Significance. If the central claims are established, the work supplies a concrete complexification of Diff(S¹) via analytic maps and a uniformization result for infinite-dimensional Segal moduli spaces that is directly relevant to conformal field theory. The explicit cohomology computations and the reduction to Fenchel-Nielsen/Schiffer data on finite-dimensional slices constitute genuine strengths. The consistent use of Frölicher structures to manage smoothness questions in infinite dimensions is a methodological contribution worth noting.

major comments (2)
  1. [§4 and §5] §4 (Actions on Segal moduli spaces) and §5 (Virasoro uniformization): the assertion that the partially defined composition and inversion operations on real-analytic maps extend to a smooth Frölicher action whose infinitesimal generators exhaust the tangent space is load-bearing for the uniformization theorem. The manuscript sketches the action but does not supply explicit chart-transition maps or a direct verification that the Frölicher topology coincides with the natural topology on the moduli space; without these steps the spanning claim remains formally unsupported.
  2. [§3] §3 (Cohomology computations): the claim that the computed cocycles extend the Bott-Thurston cocycle and recover the Gelfand-Fuks cocycle of the Virasoro algebra is central to the group-cohomology part of the paper. Explicit cocycle formulas are stated but the verification that they satisfy the cocycle condition on the complex-deformation group and reduce correctly to the known Virasoro cocycle at the Lie-algebra level is not carried out in sufficient detail to permit independent checking.
minor comments (3)
  1. [§2] The definition of the Frölicher structure on the space of complex deformations is introduced without an explicit reference to the standard axioms (plots, smooth maps); adding a short paragraph recalling the definition would improve readability.
  2. [Introduction] Several citations to the literature on Segal moduli spaces and on Frölicher manifolds in infinite-dimensional geometry are missing; the introduction would benefit from a brief comparison with existing approaches to complex structures on Diff(S¹).
  3. [§3] Notation for the relative cocycle (rotation number plus conformal radius) is introduced in §3 but used without a displayed formula; inserting the explicit expression would aid the reader.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for identifying areas where additional detail would strengthen the exposition. We address each major comment below and will revise the manuscript to incorporate the requested verifications and expansions.

read point-by-point responses

  1. Referee: [§4 and §5] §4 (Actions on Segal moduli spaces) and §5 (Virasoro uniformization): the assertion that the partially defined composition and inversion operations on real-analytic maps extend to a smooth Frölicher action whose infinitesimal generators exhaust the tangent space is load-bearing for the uniformization theorem. The manuscript sketches the action but does not supply explicit chart-transition maps or a direct verification that the Frölicher topology coincides with the natural topology on the moduli space; without these steps the spanning claim remains formally unsupported.

    Authors: We agree that §§4 and 5 would benefit from more explicit constructions. In the revised manuscript we will add a dedicated subsection providing explicit chart-transition maps for the Frölicher structure on the Segal moduli spaces, together with a direct verification that this topology coincides with the natural topology induced by the analytic parametrizations. We will also include local coordinate computations showing that the infinitesimal action of the Witt algebra spans the tangent space at each point, by exhibiting a basis of vector fields and confirming linear independence and spanning via the Frölicher differential. revision: yes

  2. Referee: [§3] §3 (Cohomology computations): the claim that the computed cocycles extend the Bott-Thurston cocycle and recover the Gelfand-Fuks cocycle of the Virasoro algebra is central to the group-cohomology part of the paper. Explicit cocycle formulas are stated but the verification that they satisfy the cocycle condition on the complex-deformation group and reduce correctly to the known Virasoro cocycle at the Lie-algebra level is not carried out in sufficient detail to permit independent checking.

    Authors: We accept that the verifications in §3 can be made more self-contained. The revised version will contain an expanded subsection (or appendix) that carries out the full algebraic verification of the 2-cocycle identity for the proposed cocycles on the group of complex deformations, including all intermediate steps. We will also provide the explicit restriction map to Diff(S¹) recovering the Bott-Thurston cocycle and the Lie-algebra limit computation that yields the Gelfand-Fuks cocycle, with each algebraic identity written out in coordinates. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper defines complex deformations explicitly as real-analytic maps S^1 → ℂ* with winding number +1, endows them with partially defined composition/inversion and a Frölicher structure, computes their second group cohomology by extending the Bott-Thurston and Gelfand-Fuks cocycles, defines the natural action on Segal moduli spaces of Riemann surfaces with analytically parametrized boundaries, and derives the Virasoro uniformization theorem that the tangent spaces are spanned by the infinitesimal Witt-algebra vector fields generated by this action. Each step proceeds from these constructions and explicit computations to the stated results without any reduction in which a claimed prediction, spanning statement, or theorem is equivalent to its own input by definition, by a fitted parameter, or by a load-bearing self-citation chain. The central uniformization claim therefore retains independent mathematical content relative to the initial definitions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract, no explicit free parameters, axioms, or invented entities are identifiable; the work appears to rely on standard background structures such as Frölicher manifolds and the Witt algebra without introducing new postulated objects.

pith-pipeline@v0.9.0 · 5758 in / 1339 out tokens · 48476 ms · 2026-05-20T03:06:28.684245+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

78 extracted references · 78 canonical work pages · 1 internal anchor

  1. [1]

    The real analytic theory of T eichm \"u ler space

    William Abikoff. The real analytic theory of T eichm \"u ler space . Number 820 in Lecture Notes in Mathematics. Springer, 1989

    work page 1989

  2. [2]

    Kac, and Claudio Procesi

    Enrico Arbarello, Corrado De Concini, Victor G. Kac, and Claudio Procesi. Moduli spaces of curves and representation theory. Comm. Math. Phys. , 117(1):1--36, 1988

    work page 1988

  3. [3]

    The moduli of annuli in random conformal geometry

    Morris Ang, Guillaume R\'emy, and Xin Sun. The moduli of annuli in random conformal geometry. Ann. Sci. \'E c. Norm. Sup \'e r. , 58(4):1037-1087, 2025

    work page 2025

  4. [4]

    Shatashvili, and Leon A

    Anton Alekseev, Samson L. Shatashvili, and Leon A. Takhtajan. Berezin quantization, conformal welding and the B ott- V irasoro group. Ann. Henri Poincar\'e , 25(1):35--64, 2024

    work page 2024

  5. [5]

    An SLE_ 2 loop measure

    St \'e phane Benoist and Julien Dub \'e dat. An SLE_ 2 loop measure. Ann. Henri Poincar \'e , Probab. Statist. , 52(3):1406--1436, 2016

    work page 2016

  6. [6]

    Steven R. Bell. The C auchy transform, potential theory and conformal mapping . Chapman and Hall/CRC, 2015

    work page 2015

  7. [7]

    The V irasoro structure and the scattering matrix for L iouville conformal field theory

    Guillaume Baverez, Colin Guillarmou, Antti Kupiainen, R\'emi Rhodes, and Vincent Vargas. The V irasoro structure and the scattering matrix for L iouville conformal field theory. Prob. Math. Phys. , 5(2):269--320, 2024

    work page 2024

  8. [8]

    Semigroup of annuli in L iouville CFT

    Guillaume Baverez, Colin Guillarmou, Antti Kupiainen, and R\'emi Rhodes. Semigroup of annuli in L iouville CFT . Comm. Math. Phys., to appear , 2024. Preprint in arXiv:2403.10914

    work page arXiv 2024

  9. [9]

    The CFT of SLE loop measures and the K ontsevich- S uhov conjecture

    Guillaume Baverez and Antoine Jego. The CFT of SLE loop measures and the K ontsevich- S uhov conjecture. Preprint in arXiv:2407.09080, 2024

    work page arXiv 2024

  10. [10]

    On the characteristic classes of groups of diffeomorphisms

    Raoul Bott. On the characteristic classes of groups of diffeomorphisms. Enseign. Math. , 23:209--220, 1977

    work page 1977

  11. [11]

    Beilinson and Vadim V

    Alexander A. Beilinson and Vadim V. Schechtman. Determinant bundles and V irasoro algebra. Comm. Math. Phys. , 118:651--701, 1988

    work page 1988

  12. [12]

    Armand Borel and Nolan R. Wallach. Continuous cohomology, discrete subgroups, and representations of reductive groups , volume 67 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, R.I, 2012

    work page 2012

  13. [13]

    Cohomology theory of L ie groups and L ie algebras

    Claude Chevalley and Samuel Eilenberg. Cohomology theory of L ie groups and L ie algebras. Trans. Amer. Math. Soc. , 63(1):85--124, 1948

    work page 1948

  14. [14]

    SLE and V irasoro representations: localization

    Julien Dub \'e dat. SLE and V irasoro representations: localization. Comm. Math. Phys. , 336(2):695--760, 2015

    work page 2015

  15. [15]

    Vertex A lgebras and A lgebraic C urves , volume 88 of Mathematical Surveys and Monographs

    Edward Frenkel and Devid Ben-Zvi. Vertex A lgebras and A lgebraic C urves , volume 88 of Mathematical Surveys and Monographs . Amer. Math. Soc., Providence, RI, 2nd edition, 2004

    work page 2004

  16. [16]

    A primer on mapping class groups , volume 49 of Princeton Mathematical Series

    Benson Farb and Dan Margalit. A primer on mapping class groups , volume 49 of Princeton Mathematical Series . Princeton University Press, 2012

    work page 2012

  17. [17]

    Lectures on R iemann surfaces

    Otto Forster. Lectures on R iemann surfaces . Number 81 in Graduate Texts in Mathematics. Springer, 1981

    work page 1981

  18. [18]

    On Connections of Conformal Field Theory and Stochastic L{\oe}wner Evolution

    Roland Friedrich. On connections of conformal field theory and stochastic L oewner evolution. Preprint in arXiv:math-ph/0410029, 2004

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  19. [19]

    Smooth structures

    Alfred Fr \"o licher. Smooth structures. In Category T heory , volume 962 of Lecture Notes in Mathematics , pages 69--81, Springer Berlin Heidelberg, 1982

    work page 1982

  20. [20]

    The analytic geometry of two-dimensional conformal field theory

    Daniel Friedan and Stephen Shenker. The analytic geometry of two-dimensional conformal field theory. Nucl. Phys. B , 281:509--545, 1987

    work page 1987

  21. [21]

    Dmitry B. Fuchs. Cohomology of infinite-dimensional L ie algebras . Springer US, New York, NY, 1986

    work page 1986

  22. [22]

    Algebraic topology

    William Fulton. Algebraic topology . Number 153 in Graduate texts in mathematics. Springer, New York, 3 edition, 1999

    work page 1999

  23. [23]

    Gel'fand and Dmitrii B

    Izrail M. Gel'fand and Dmitrii B. Fuchs. Cohomologies of the L ie algebra of vector fields on the circle. Funkcional. Anal. i Prilo z en , 2(4):92--93, 1968

    work page 1968

  24. [24]

    Review on the probabilistic construction and conformal bootstrap in L iouville theory

    Colin Guillarmou, Antti Kupiainen, and R \'e mi Rhodes. Review on the probabilistic construction and conformal bootstrap in L iouville theory. Preprint in arXiv:2403.12780, 2024

    work page arXiv 2024

  25. [25]

    Compactified imaginary L iouville theory

    Colin Guillarmou, Antti Kupiainen, and R \'e mi Rhodes. Compactified imaginary L iouville theory. Commun. Am. Math. Soc. , 5(12):571--694, 2025

    work page 2025

  26. [26]

    Segal's axioms and bootstrap for L iouville T heory

    Colin Guillarmou, Antti Kupiainen, R \'e mi Rhodes, and Vincent Vargas. Segal's axioms and bootstrap for L iouville T heory. Ann. Math, to appear , 2026. Preprint in arXiv:2112.14859

    work page arXiv 2026

  27. [27]

    Hilbert's fifth problem for local groups

    Isaac Goldbring. Hilbert's fifth problem for local groups. Ann. Math. , 172(2):1269--1314, 2010

    work page 2010

  28. [28]

    L'alg \`e bre et le groupe de V irasoro: aspects g \'e om \'e triques et alg \'e briques, g \'e n \'e ralisations

    Laurent Guieu and Claude Roger. L'alg \`e bre et le groupe de V irasoro: aspects g \'e om \'e triques et alg \'e briques, g \'e n \'e ralisations . Publications CRM, Montreal, 2007

    work page 2007

  29. [29]

    Analytic conformal blocks of C2 -cofinite vertex operator algebras II : C onvergence of sewing and higher genus pseudo- q -traces

    Bin Gui and Hao Zhang. Analytic conformal blocks of C2 -cofinite vertex operator algebras II : C onvergence of sewing and higher genus pseudo- q -traces. Commun. Contemp. Math., to appear , 2026. Preprint in arXiv:2411.07707

    work page arXiv 2026

  30. [30]

    Allen E. Hatcher. Algebraic T opology . Cambridge University Press, 2002

    work page 2002

  31. [31]

    The functorial approach to chiral 2D CFT

    Andr\'e Henriques. The functorial approach to chiral 2D CFT . Lecture notes, http://andreghenriques.com/Teaching/CFT-2024.pdf, 2024

    work page 2024

  32. [32]

    The S egal- N eretin semigroup of annuli

    Andr\'e Henriques and James Tener. The S egal- N eretin semigroup of annuli. Preprint in arXiv:2410.05929, 2024

    work page arXiv 2024

  33. [33]

    Integrating positive energy representations of the V irasoro algebra

    Andr\'e Henriques and James Tener. Integrating positive energy representations of the V irasoro algebra. Preprint in arXiv:2506.08684, 2025

    work page arXiv 2025

  34. [34]

    Two- D imensional C onformal G eometry and V ertex O perator A lgebras , volume 148 of Progress in Mathematics

    Yi-Zhi Huang. Two- D imensional C onformal G eometry and V ertex O perator A lgebras , volume 148 of Progress in Mathematics . Birkh\"auser Basel, 1997

    work page 1997

  35. [35]

    Holomorphic structure on the space of R iemann surfaces with marked boundary

    Sergei Ivashkovich and Vsevolod Shevchishin. Holomorphic structure on the space of R iemann surfaces with marked boundary. In Analytic and geometric issues of complex analysis , Collected papers dedicated to the 70th birthday of Academician Anatolii Georgievich Vitushkin, pages 98--109. Steklov Institute of Mathematics, 2001

    work page 2001

  36. [36]

    Introduction to the modern theory of dynamical systems , volume 54 of Encyclopedia of mathematics and its applications

    Anatole Katok and Boris Hasselblatt. Introduction to the modern theory of dynamical systems , volume 54 of Encyclopedia of mathematics and its applications . Cambridge University Press, 2006

    work page 2006

  37. [37]

    Andreas Kriegl and Peter W. Michor. Convenient setting of global analysis . American Mathematical Society, 1997

    work page 1997

  38. [38]

    Complex manifolds and deformation of complex structures

    Kunihiko Kodaira. Complex manifolds and deformation of complex structures . Classics in Mathematics. Springer, 2005

    work page 2005

  39. [39]

    The V irasoro algebra and T eichm \"u ller spaces

    Maxim Kontsevich. The V irasoro algebra and T eichm \"u ller spaces. Funct. Anal. Appl. , 21(2):156--157, 1987

    work page 1987

  40. [40]

    On M alliavin measures, SLE , and CFT

    Maxim Kontsevich and Yuri Suhov. On M alliavin measures, SLE , and CFT . P. Steklov I. Math. , 258(1):100--146, 2007

    work page 2007

  41. [41]

    The geometry of infinite-dimensional groups

    Boris Khesin and Robert Wendt. The geometry of infinite-dimensional groups . Series of Modern Surveys in Mathematics. Springer-Verlag, 2009

    work page 2009

  42. [42]

    A L ie algebra for F r \"o licher groups

    Martin Laubinger. A L ie algebra for F r \"o licher groups. Indag. Math. , 21(3-4):156--174, 2011

    work page 2011

  43. [43]

    John M. Lee. Introduction to smooth manifolds , volume 218 of Graduate Texts in Mathematics . Springer, 2 edition, 2012

    work page 2012

  44. [44]

    The problem of complexifying a L ie group

    L \'a szl \'o Lempert. The problem of complexifying a L ie group. Contemp. Math. , 205:169--176, 1997

    work page 1997

  45. [45]

    Moduli of J -holomorphic curves with L agrangian boundary conditions and open G romov- W itten invariants for an S^1 -equivariant pair

    Chiu-Chu Melissa Liu. Moduli of J -holomorphic curves with L agrangian boundary conditions and open G romov- W itten invariants for an S^1 -equivariant pair. J. Iran. Math. Soc. , 1:5--95, 2020

    work page 2020

  46. [46]

    On the conformal anomaly

    Sid Maibach. On the conformal anomaly . PhD thesis, University of Bonn, 2026

    work page 2026

  47. [47]

    Complex earthquakes and T eichm \"u ller theory

    McMullen. Complex earthquakes and T eichm \"u ller theory. J. Amer. Math. Soc. , 11(2):283--320, 1998

    work page 1998

  48. [48]

    John W. Milnor. Remarks on infinite dimensional L ie groups. In 40th Les Houches Summer School on Theoretical Physics: Relativity, Groups and Topology , volume 2, pages 1007--1057, Amsterdam, 1985. North-Holland

    work page 1985

  49. [49]

    Simple geodesics and W eil- P etersson volumes of moduli spaces of bordered R iemann surfaces

    Maryam Mirzakhani. Simple geodesics and W eil- P etersson volumes of moduli spaces of bordered R iemann surfaces. Inv. Math. , 167(1):179--222, 2006

    work page 2006

  50. [50]

    Cohomology of topological groups and solvmanifolds

    Mostow. Cohomology of topological groups and solvmanifolds. Ann. Math. , 73(1):1--20, 1961

    work page 1961

  51. [51]

    From the conformal anomaly to the V irasoro algebra

    Sid Maibach and Eveliina Peltola. From the conformal anomaly to the V irasoro algebra. Proc. Lond. Math. Soc. , 130(4):1--45, 2025

    work page 2025

  52. [52]

    James R. Munkres. Elements of algebraic topology . CRC Press, 1984

    work page 1984

  53. [53]

    The complex analytic theory of T eichm \"u ller spaces

    Subhashis Nag. The complex analytic theory of T eichm \"u ller spaces . Wiley, 1988

    work page 1988

  54. [54]

    P. P. Ntumba and T. A. Batubenge. On the way to F r \"o licher L ie groups. Quaest. Math. , 28(1):73--93, 2005

    work page 2005

  55. [55]

    Abelian extensions of infinite-dimensional L ie groups

    Karl-Hermann Neeb. Abelian extensions of infinite-dimensional L ie groups. In Travaux math\'ematiques. Fasc. XV , pages 69--194. Luxembourg: Universit \'e du Luxembourg, S \'e minaire de Math \'e matique, 2004

    work page 2004

  56. [56]

    Infinite-dimensional L ie groups

    Karl-Hermann Neeb. Infinite-dimensional L ie groups . 3rd cycle. Monastir (Tunisie), 2005. https://cel.hal.science/cel-00391789

    work page 2005

  57. [57]

    Infinite-dimensional L ie groups

    Helge Gloeckner Karl-Hermann Neeb. Infinite-dimensional L ie groups. Preprint in arXiv:2602.12362, 2026

    work page arXiv 2026

  58. [58]

    Yu A. Neretin. A complex semigroup that contains the group of diffeomorphisms of the circle. Funct. Anal. Appl. , 21(2):160--161, 1987

    work page 1987

  59. [59]

    Yu A. Neretin. Holomorphic extensions of representations of the group of diffeomorphisms of the circle. Math. USSR Sbornik , 67(1):75--97, 1990

    work page 1990

  60. [60]

    Yu A. Neretin. Categories of symmetries and infinite-dimensional groups . Number 16 in London Mathematical Society Monographs, new ser. Oxford Science Publications; Clarendon Press; Oxford University Press, 1996

    work page 1996

  61. [61]

    Peter J. Olver. Non-associative local L ie group. J. Lie Theory , 6(1):23--51, 1996

    work page 1996

  62. [62]

    Extremals of determinants of L aplacians

    Brad Osgood, Ralph Phillips, and Peter Sarnak. Extremals of determinants of L aplacians. J. Funct. Anal. , 80(1):148--211, 1988

    work page 1988

  63. [63]

    Loop groups

    Andrew Pressley and Graeme Segal. Loop groups . Oxford Mathematical Monographs. Clarendon Press, 1988

    work page 1988

  64. [64]

    Schiffer variation in T eichm \"u ller space, determinant line bundles, and modular functors

    David Radnell. Schiffer variation in T eichm \"u ller space, determinant line bundles, and modular functors . PhD thesis, Rutgers University, New Brunswick, NJ, USA, 2003

    work page 2003

  65. [65]

    Quasisymmetric sewing in rigged T eichm \"u ller space

    David Radnell and Eric Schippers. Quasisymmetric sewing in rigged T eichm \"u ller space. Commun. Contemp. Math. , 8(4):481--534, 2006

    work page 2006

  66. [66]

    Fiber structure and local coordinates for the T eichm \"u ller space of a bordered R iemann surface

    David Radnell and Eric Schippers. Fiber structure and local coordinates for the T eichm \"u ller space of a bordered R iemann surface. Conform. Geom. Dyn. , 14(2):14--34, 2010

    work page 2010

  67. [67]

    The semigroup of rigged annuli and the T eichm\"uller space of the annulus

    David Radnell and Eric Schippers. The semigroup of rigged annuli and the T eichm\"uller space of the annulus. J. London Math. Soc. , 86(2):312--342, 2012

    work page 2012

  68. [68]

    Quasiconformal T eichm \"u ller theory as an analytical foundation for two-dimensional conformal field theory

    David Radnell, Eric Schippers, and Wolfgang Staubach. Quasiconformal T eichm \"u ller theory as an analytical foundation for two-dimensional conformal field theory. In Proceedings of the Conference on Lie Algebras, Vertex Operator Algebras, and Related Topics (Univ. Notre Dame, Indiana) , volume 695 of Contemp. Math. , pages 205--238. Amer. Math. Soc., 2017

    work page 2017

  69. [69]

    A mathematical introduction to conformal field theory , volume 759 of Lecture Notes in Physics

    Martin Schottenloher. A mathematical introduction to conformal field theory , volume 759 of Lecture Notes in Physics . Springer-Verlag, Berlin Heidelberg, 2nd edition, 2008

    work page 2008

  70. [70]

    The definition of conformal field theory

    Graeme Segal. The definition of conformal field theory. In Topology, Geometry and Quantum Field Theory , pages 432--575. Cambridge University Press, 2004

    work page 2004

  71. [71]

    Comparative smootheology

    Andrew Stacey. Comparative smootheology. Theory Appl. Categ. , 25:64--117, 2011

    work page 2011

  72. [72]

    Takhtajan and Lee-Peng Teo

    Leon A. Takhtajan and Lee-Peng Teo. Weil- P etersson metric on the universal T eichm\"uller space. Mem. Amer. Math. Soc. , 183:1--119, 2006

    work page 2006

  73. [73]

    Group cohomology and L ie algebra cohomology in L ie groups

    Willem Titus van Est. Group cohomology and L ie algebra cohomology in L ie groups. I . Indag. Math. (Proceedings) , 56:484--492, 1953

    work page 1953

  74. [74]

    Group cohomology and L ie algebra cohomology in L ie groups

    Willem Titus van Est. Group cohomology and L ie algebra cohomology in L ie groups. II . Indag. Math. (Proceedings) , 56:493--504, 1953

    work page 1953

  75. [75]

    Virasoro

    Miguel A. Virasoro. Subsidiary conditions and ghosts in dual-resonance models. Phys. Rev. D , 1:2933--2936, 1970

    work page 1970

  76. [76]

    Charles A. Weibel. An introduction to homological algebra . Number 38 in Cambridge studies in advanced mathematics. Cambridge University Press, 2003

    work page 2003

  77. [77]

    Scott A. Wolpert. On the W eil- P etersson geometry of the moduli space of curves. Amer. J. Math. , 107(4):969--997, 1985

    work page 1985

  78. [78]

    Scott A. Wolpert. Schiffer variations and A belian differentials. Adv. Math. , 333:497--522, 2018

    work page 2018