L-manifolds

Slava Pimenov

arxiv: 2604.12738 · v1 · submitted 2026-04-14 · 🧮 math.AG

L-manifolds

Slava Pimenov This is my paper

Pith reviewed 2026-05-10 14:09 UTC · model grok-4.3

classification 🧮 math.AG

keywords Frobenius manifoldsLie-infinity algebrasCom-infinity algebrascohomological field theoriescyclic operadsalgebraic geometryquantum cohomology

0 comments

The pith

Cyclic Lie-infinity algebras support a parallel local theory to Frobenius manifolds with analogous algebraic and geometric features.

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

The paper begins to develop a theory of structures analogous to Frobenius manifolds but built from cyclic Lie-infinity algebras rather than from the cyclic Com-infinity operad. In the standard case, Frobenius manifolds arise in quantum cohomology, deformation theory, and singularity unfolding, and locally they correspond to algebras over Com-infinity or to genus-zero cohomological field theories. The author replaces the commutative operad with its Lie counterpart and records the close formal parallels that appear. A reader interested in algebraic geometry would care because the Lie version could furnish new descriptions of geometric objects where Lie brackets replace commutative multiplications.

Core claim

In the local setting the structure of a Frobenius manifold admits two other equivalent descriptions, either as an algebra over a cyclic operad Com-infinity, or alternatively as a (genus zero) cohomological field theory. The paper takes the first steps towards outlining the parallel theory obtained when one starts with cyclic Lie-infinity algebras instead of Com-infinity and records the striking similarities between the two pictures.

What carries the argument

The cyclic Lie-infinity algebra, which replaces the cyclic Com-infinity operad as the algebraic input and is used to define the corresponding manifold-like structure.

If this is right

The local equivalence between Frobenius manifold structures and operadic algebras extends to the Lie-infinity setting.
Geometric constructions that rely on Frobenius manifolds can be rephrased using Lie brackets in place of commutative products.
Genus-zero cohomological field theories admit a Lie-infinity counterpart with parallel axioms.
Applications in quantum cohomology and singularity theory may acquire Lie-algebraic versions.

Where Pith is reading between the lines

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

If the similarities persist at higher genus, the Lie version could supply new invariants for moduli spaces of curves with Lie structures.
The construction might furnish a deformation theory for meromorphic connections in which Lie brackets control the flatness conditions.
One could test the theory by computing explicit low-dimensional examples of L-manifolds and checking whether they satisfy expected integrability conditions.

Load-bearing premise

The algebraic structures built from cyclic Lie-infinity algebras possess coherent geometric meaning and formal similarities to those built from Com-infinity.

What would settle it

A complete construction of the proposed L-manifolds that produces no recognizable geometric invariants or that fails to reproduce any of the formal relations known for the Com-infinity case.

read the original abstract

The notion of a Frobenius manifold appears in relation to various topics in algebraic and analytic geometry, such and quantum cohomology, deformation of meromorphic connections, unfolding of singularities and others. In the local setting the structure of a Frobenius manifold admits two other equivalent descriptions, either as an algebra over a cyclic operad Com-infinity, or alternatively as a (genus zero) cohomological field theory. In this paper we make the first steps towards outlining the parallel theory, when one starts with the cyclic Lie-infinity algebras instead of Com-infinity, and highlight the striking similarities between the two pictures.

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.

Desk Editor's Note private letter to a colleague

This paper sketches L-manifolds from cyclic Lie-infinity algebras as a parallel to Frobenius manifolds but stays at the level of announcement without concrete constructions or checks.

read the letter

This paper sketches the first steps toward L-manifolds, defined via cyclic Lie-infinity algebras rather than the Com-infinity algebras used for Frobenius manifolds. The author notes striking similarities between the two pictures but does not yet deliver the details to back that up. The new element is the proposal to replace the commutative operad with the Lie one and see what geometric structures emerge. This could potentially give an alternative algebraic handle on things like quantum cohomology or deformation theory, which is worth exploring if the analogy holds. It does a decent job framing the motivation from known equivalences in the Frobenius case, including the link to cohomological field theories. The abstract is clear about the intent. The soft spots are more significant. There are no explicit definitions of the L-manifold structure, no operad actions shown, no examples worked out, and no checks that the resulting objects satisfy the same axioms or produce analogous results. The similarities remain asserted rather than shown, so it's difficult to judge if this leads to meaningful new geometry or just formal wordplay. The paper is more of an announcement than a developed theory at this stage. This work is for people deep in the intersection of algebraic geometry, operad theory, and deformation theory. A casual reader or someone outside that niche won't get much from it. It could be useful as a prompt for further research. I would not cite it yet because there are no concrete results to build on. For peer review, yes, a serious editor should send it out. The idea is coherent enough and the engagement with the literature is straightforward, so referees could help shape it into something more substantial. It shows clear thinking even if the current execution is preliminary.

Referee Report

3 major / 1 minor

Summary. The paper introduces L-manifolds as the Lie-infinity analog of Frobenius manifolds. It starts from the observation that Frobenius manifolds are equivalent to algebras over the cyclic Com-infinity operad (or to genus-zero cohomological field theories) and proposes to replace Com-infinity by cyclic Lie-infinity, sketching the resulting parallel structures and noting striking similarities between the two pictures.

Significance. If the sketched constructions can be made precise and shown to carry geometric content, the work would supply a Lie-algebraic counterpart to the well-developed Com-infinity theory of Frobenius manifolds, potentially connecting to deformation theory, singularity theory, and Lie-theoretic versions of quantum cohomology. At present the manuscript is an announcement of first steps rather than a completed theory.

major comments (3)

[Abstract] The abstract asserts that cyclic Lie-infinity algebras produce a 'coherent parallel theory' with 'striking similarities' to the Com-infinity case, yet the text supplies only a high-level replacement of Com by Lie structures without exhibiting the concrete cyclic operad action, the induced multiplication, or the potential function on the resulting L-manifolds.
[Main text] No verification is given that the structures obtained from cyclic Lie-infinity algebras satisfy the same axioms (flatness, potentiality, or the requisite cohomology field theory axioms) that characterize Frobenius manifolds; without such checks the claimed parallelism remains formal rather than demonstrated.
[Main text] The manuscript contains no explicit examples (e.g., an unfolding of a singularity or a deformation of a meromorphic connection) that would illustrate how an L-manifold differs from or parallels a Frobenius manifold in a concrete geometric setting.

minor comments (1)

[Abstract] Notation for the cyclic Lie-infinity operad and its action on the tangent sheaf should be introduced explicitly, even if only at the level of a research announcement.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments. We appreciate the acknowledgment of the potential interest in developing a Lie-infinity counterpart to the theory of Frobenius manifolds. The manuscript is presented as an announcement of first steps rather than a complete theory, and we address each major comment below. We will make targeted revisions to clarify the preliminary scope.

read point-by-point responses

Referee: [Abstract] The abstract asserts that cyclic Lie-infinity algebras produce a 'coherent parallel theory' with 'striking similarities' to the Com-infinity case, yet the text supplies only a high-level replacement of Com by Lie structures without exhibiting the concrete cyclic operad action, the induced multiplication, or the potential function on the resulting L-manifolds.

Authors: We agree that the abstract and text remain at a high-level sketch without explicit operad actions or induced structures such as the multiplication and potential. The manuscript is explicitly described as outlining 'first steps' and highlighting similarities rather than constructing a fully coherent theory. We will revise the abstract and introduction to remove any phrasing that might imply completeness and to state more precisely that the cyclic operad action and derived structures are only indicated at the formal level, with details deferred to future work. revision: partial
Referee: [Main text] No verification is given that the structures obtained from cyclic Lie-infinity algebras satisfy the same axioms (flatness, potentiality, or the requisite cohomology field theory axioms) that characterize Frobenius manifolds; without such checks the claimed parallelism remains formal rather than demonstrated.

Authors: The referee correctly observes that we have not verified that the resulting structures satisfy the characterizing axioms of Frobenius manifolds, such as flatness or potentiality. Our intent was to indicate the formal parallel at the level of replacing the cyclic Com-infinity operad by its Lie-infinity counterpart and to note the analogous setup for genus-zero cohomological field theories. Explicit checks of these axioms would require a substantially more developed theory, which lies outside the scope of this announcement. We will add a clarifying remark in the introduction stating that such verifications remain open and are planned for subsequent papers. revision: yes
Referee: [Main text] The manuscript contains no explicit examples (e.g., an unfolding of a singularity or a deformation of a meromorphic connection) that would illustrate how an L-manifold differs from or parallels a Frobenius manifold in a concrete geometric setting.

Authors: We acknowledge that the manuscript provides no concrete examples. As the work is limited to sketching the operadic replacement and initial structural parallels, we did not include geometric realizations such as singularity unfoldings or deformations of meromorphic connections. Developing such examples would require additional technical work and would strengthen the geometric content, but it exceeds the present announcement. We will expand the final section to discuss possible directions for examples and their relation to existing Frobenius manifold constructions. revision: partial

Circularity Check

0 steps flagged

No derivation chain or equations present; paper is a high-level conceptual sketch with no load-bearing reductions.

full rationale

The manuscript outlines a conceptual parallel between L-manifolds (from cyclic Lie-infinity algebras) and Frobenius manifolds (from Com-infinity algebras) but supplies no explicit operad maps, multiplications, potentials, cohomology field theories, or equivalence proofs. Without any equations or derivations, no steps reduce by construction to inputs, self-citations, or fitted parameters. The 'striking similarities' remain asserted at the level of analogy rather than demonstrated structures, so the paper is self-contained as an introductory sketch and exhibits no circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Only the abstract is available, so the ledger is inferred at the highest level. The claim rests on standard background equivalences for Frobenius manifolds and the assumption that a Lie-infinity replacement yields analogous structures.

axioms (1)

standard math Known equivalence of Frobenius manifolds to Com-infinity algebras and genus-zero cohomological field theories
Invoked in the opening sentence of the abstract as established background.

invented entities (1)

L-manifolds no independent evidence
purpose: To serve as the central object in the proposed Lie-infinity parallel theory
New term introduced in the title and abstract to name the parallel structure.

pith-pipeline@v0.9.0 · 5379 in / 1207 out tokens · 39085 ms · 2026-05-10T14:09:32.047609+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

Dubrovin

B. Dubrovin. Geometry of 2D topological field theories. Springer LNM 1620 (1996), pp. 120--348

work page 1996
[2]

Getzler, M

E. Getzler, M. Kapranov. Cyclic operads and cyclic homology. ``Geometry, Topology, and Physics for Raoul Bott,'' ed. S.T. Yau, International Press, Cambridge, MA (1995)

work page 1995
[3]

Getzler, M

E. Getzler, M. Kapranov. Modular operads. Compositio Mathematica 110 (1998), pp. 65--125

work page 1998
[4]

Hirsh, J

J. Hirsh, J. Milles. Curved Koszul duality theory. Math. Ann. 354(4) (2012), pp. 1465--1520

work page 2012
[5]

S. Keel. Intersection theory of moduli space of stable n -pointed curves of genus zero. Trans. Amer. Math. Soc. bf 330 (1992), pp. 545--574

work page 1992
[6]

Kontsevich and Y

M. Kontsevich, Yu. Manin. Gromov-Witten classes, quantum cohomology, and enumerative geometry. https://arxiv.org/abs/hep-th/9402147 https://arxiv.org/abs/hep-th/9402147

work page arXiv
[7]

Kontsevich

M. Kontsevich. Feynman diagrams and low-dimensional topology. \\ https://www.ihes.fr/ maxim/TEXTS/Feynman\

work page
[8]

Kontsevich

M. Kontsevich. Formal (non)-commutative symplectic geometry. ``The Gelfand Mathematical Seminars, 1990–1992,'' eds. L. Corwin, I. Gelfand, J. Lepowsky, Birkh\"auser, Boston-Basel-Berlin (1993)

work page 1990
[9]

Yu. Manin. Frobenius Manifolds, Quantum Cohomology, and Moduli Spaces. American Mathematical Society, Colloquium Publications 47

work page
[10]

M. Penkava. Infinity Algebras and the Homology of Graph Complexes. \\ https://arxiv.org/abs/q-alg/9601018 https://arxiv.org/abs/q-alg/9601018

work page arXiv

[1] [1]

Dubrovin

B. Dubrovin. Geometry of 2D topological field theories. Springer LNM 1620 (1996), pp. 120--348

work page 1996

[2] [2]

Getzler, M

E. Getzler, M. Kapranov. Cyclic operads and cyclic homology. ``Geometry, Topology, and Physics for Raoul Bott,'' ed. S.T. Yau, International Press, Cambridge, MA (1995)

work page 1995

[3] [3]

Getzler, M

E. Getzler, M. Kapranov. Modular operads. Compositio Mathematica 110 (1998), pp. 65--125

work page 1998

[4] [4]

Hirsh, J

J. Hirsh, J. Milles. Curved Koszul duality theory. Math. Ann. 354(4) (2012), pp. 1465--1520

work page 2012

[5] [5]

S. Keel. Intersection theory of moduli space of stable n -pointed curves of genus zero. Trans. Amer. Math. Soc. bf 330 (1992), pp. 545--574

work page 1992

[6] [6]

Kontsevich and Y

M. Kontsevich, Yu. Manin. Gromov-Witten classes, quantum cohomology, and enumerative geometry. https://arxiv.org/abs/hep-th/9402147 https://arxiv.org/abs/hep-th/9402147

work page arXiv

[7] [7]

Kontsevich

M. Kontsevich. Feynman diagrams and low-dimensional topology. \\ https://www.ihes.fr/ maxim/TEXTS/Feynman\

work page

[8] [8]

Kontsevich

M. Kontsevich. Formal (non)-commutative symplectic geometry. ``The Gelfand Mathematical Seminars, 1990–1992,'' eds. L. Corwin, I. Gelfand, J. Lepowsky, Birkh\"auser, Boston-Basel-Berlin (1993)

work page 1990

[9] [9]

Yu. Manin. Frobenius Manifolds, Quantum Cohomology, and Moduli Spaces. American Mathematical Society, Colloquium Publications 47

work page

[10] [10]

M. Penkava. Infinity Algebras and the Homology of Graph Complexes. \\ https://arxiv.org/abs/q-alg/9601018 https://arxiv.org/abs/q-alg/9601018

work page arXiv