🔢 mathematics

Towards Open-Closed Categorical Enumerative Invariants: Circle-Action Formality Morphism

This paper constructs an open-closed formality $L_\infty$ morphism dependent on a non-commutative Hodge filtration splitting, which serves as a crucial ingredient for quantizing large $N$ open string field theory and conjecturally provides an algebraic framework for open-closed Gromov-Witten invariants.

Original authors: Jakob Ulmer

Published 2026-09-25

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Jakob Ulmer

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the landscape of modern mathematics, there exists a profound effort to translate the geometry of curved spaces into the language of algebraic structures. This field, known as mirror symmetry, suggests that two seemingly different mathematical worlds can be described by the same underlying rules. One of these worlds involves counting the ways strings of energy can vibrate and wrap around shapes in a universe with extra dimensions, a concept from theoretical physics called string theory. When physicists study these strings, they distinguish between "closed" strings, which form loops, and "open" strings, which have two endpoints. The behavior of closed strings is well understood and produces a set of numbers called invariants, which act like a fingerprint for the shape of the universe. However, the mathematics describing open strings, and how they interact with closed strings, has remained elusive and difficult to define with the same precision.

A recent paper by Jakob Ulmer addresses this gap by constructing a bridge between the algebraic structures that describe these open and closed strings. The work focuses on a specific type of mathematical object called a Calabi-Yau category, which serves as a generalized version of the geometric spaces used in string theory. The author demonstrates that by introducing a specific way to organize the data within these categories, it is possible to create a new mathematical map. This map translates complex, interacting systems into a simpler, more manageable form without losing any essential information. The result is a rigorous framework that allows mathematicians to define and compute the elusive invariants for open-closed string theories, effectively quantizing a system that was previously too complicated to handle directly.

The journey to this result begins with the realization that the mathematics of closed strings can be simplified. In the closed string world, the data is organized into a complex algebraic structure that includes a differential operator, which acts like a rule for how things change, and a bracket operation, which describes how different parts of the system interact. For years, researchers have known that if one can find a specific way to split the data within this structure, known as a splitting of the non-commutative Hodge filtration, the complex interactions can be untangled. This splitting allows the complicated system to be transformed into a much simpler version where the interactions vanish, leaving only the basic rules of change. This transformation, called a formality morphism, was already established for closed strings, providing a way to extract the numerical invariants that physicists care about.

Ulmer's work extends this success to the more difficult realm of open-closed strings. Here, the system is not just a single algebraic structure but a combination of two: one representing the closed strings and another representing the open strings, which are attached to specific objects within the category. The challenge was to show that the same simplification technique could be applied to this combined system. The author proves that by using the same splitting of the filtration, one can construct a new map that transforms the entire open-closed system into a simpler form. This map is not just a theoretical possibility; it is explicitly constructed using a method that involves summing over a vast collection of diagrams, or graphs, that represent the possible ways the strings can interact.

The core of the proof relies on a deep combinatorial identity involving these graphs. The author shows that when one considers the ways to split the connections between different parts of the system, the complex terms that arise from the interactions cancel out perfectly, leaving behind the desired simplified structure. This cancellation is not accidental; it is a consequence of the specific algebraic properties of the system and the way the splitting is chosen. The result is a rigorous demonstration that the open-closed system behaves in a predictable and manageable way, provided the correct splitting is chosen. This finding confirms that the algebraic structures involved in open-closed string theory are well-behaved enough to support a quantization procedure, which is the process of turning a classical description of a system into a quantum one.

The significance of this work lies in its ability to provide a concrete home for open-closed Gromov-Witten invariants. These are the numerical values that physicists hope to calculate to understand the behavior of open strings in a Calabi-Yau universe. Before this paper, defining these invariants in a categorical setting was a major open problem. By establishing the formality morphism for the open-closed case, Ulmer provides the necessary tool to extract these numbers from the algebraic data. The paper does not claim to have calculated these numbers for every possible case, as that would be an immense computational task, but it proves that the machinery exists to do so. It shows that the path from the complex algebraic description of the strings to the simple numerical invariants is clear and unobstructed.

Furthermore, the work connects to the broader idea of large N gauge theories, which are mathematical models used to describe systems with a large number of particles. The author suggests that the quantization procedure developed here relates to these models, offering a way to understand how the open string theory on a stack of branes can be described by a matrix model. This connection is important because matrix models are often easier to work with and can be used to compute the invariants that were previously out of reach. The paper establishes that the quantization of the open string theory depends on both the open and closed sectors, a feature that aligns with the spirit of previous work in the field but is now placed on a firm mathematical foundation.

Ultimately, this paper represents a significant step forward in the mathematical understanding of string theory. It takes a concept that was previously only understood in the closed string sector and successfully generalizes it to the open-closed sector. By proving that the complex algebraic structures governing these systems can be simplified and quantized, the author provides a new tool for mathematicians and physicists to explore the geometry of the universe. The work does not solve every problem in the field, but it removes a major obstacle, showing that the invariants of open-closed string theory are not just a dream of physics but a reality that can be constructed and studied with the precision of modern algebra. The result is a clearer, more complete picture of how the different parts of string theory fit together, paving the way for future discoveries in both mathematics and theoretical physics.

Technical Summary: Towards Open-Closed Categorical Enumerative Invariants: Circle-Action Formality Morphism

Problem Statement
The paper addresses the construction of categorical enumerative invariants for Calabi-Yau categories, specifically extending the framework of "closed" invariants to the "open-closed" setting. In the closed sector, Costello, Caldararu, and Tu have established that enumerative invariants (conjecturally equal to Gromov-Witten invariants for Fukaya categories) can be extracted from the partition function of closed String Field Theory (SFT). This extraction relies on a formality $L_\infty$ -morphism, which trivializes the algebraic structure of the closed SFT observables. This morphism depends crucially on a splitting of the non-commutative Hodge filtration.

The open problem is to define an analogous categorical generalization for open-closed topological string theories, which involve both bulk (closed) and boundary (open) sectors. While open Gromov-Witten invariants are physically proposed, their mathematical definition is subtle due to boundary behavior in moduli spaces. The paper seeks to construct an open-closed formality morphism that depends on a splitting of the non-commutative Hodge filtration, thereby providing an algebraic home for open-closed enumerative invariants and facilitating the quantization of large $N$ open SFT.

Methodology and Algebraic Framework
The work operates within the category of chain complexes over a field of characteristic zero, utilizing the following algebraic structures:

Beilinson-Drinfeld (BD) Algebras: The paper utilizes $(2d-5)$ -twisted BD algebras to model the quantum observables of string field theories.
- Closed Sector ( $F_{cl}(C)$ ): Defined as the symmetric algebra on Hochschild chains $CH_*(C)$ (shifted and extended by a formal variable $\gamma$ ), equipped with a differential involving the Hochschild differential, Connes operator $B$ , and a BV Laplacian $\Delta_c$ .
- Open Sector ( $F_{op}(\Lambda)$ ): Defined as the symmetric algebra on cyclic cochains $Cyc^*(\Lambda)$ associated with a set of objects $\Lambda$ (representing Lagrangian branes), equipped with a differential involving a connection $\nabla$ and a boundary operator $\delta$ .
- Open-Closed Sector: Modeled by the tensor product $F_{cl}(C) \otimes F_{op}(\Lambda)$ .
Splitting of the Non-Commutative Hodge Filtration: A central ingredient is a chain map $s$ that splits the projection from negative cyclic homology to Hochschild homology. This splitting allows for the trivialization of the $S^1$ -action on Hochschild chains, which is necessary to construct the formality morphism.
$L_\infty$ -Algebras and Graphs: The construction of the morphism relies on $L_\infty$ -algebra structures. The morphism is defined combinatorially using labeled graphs (vertices, edges, half-edges) and Feynman-type rules involving contractions via a symmetric bilinear form derived from the splitting $s$ .

Key Contributions and Results

Theorem A (Open-Closed Formality Morphism): The primary result is the construction of an $L_\infty$ quasi-isomorphism:
$\Psi_{s}^{oc}: F_{cl}(C) \otimes F_{op}(\Lambda) \to F_{cl}(C)_{Triv} \otimes F_{op}(\Lambda)$
where $F_{cl}(C)_{Triv}$ is the trivialized version of the closed observables (where the bracket and most differentials vanish, retaining only the Hochschild differential). This morphism depends on a chosen splitting $s$ of the non-commutative Hodge filtration.
- Technical Mechanism: The proof reduces to verifying an identity for the Taylor components of the purely closed $L_\infty$ -morphism. This identity relates graphs with varying numbers of vertices to each other, specifically involving a partition of the half-edges of a vertex. The author proves a bijection between sets of marked graphs (Theorem 5.1.6) to establish this identity.
Quantization of Large $N$ Open SFT (Theorem C): Under Assumption $(*)$ —which posits the existence of a Maurer-Cartan element $S_{oc}$ in the open-closed algebra satisfying a specific equation involving the Chern character—the open-closed formality morphism is used to construct a quantization of the cyclic $A_\infty$ -algebra $\text{End}_C(\lambda)$ .
- Specifically, by applying the projection to the open sector to the image of a constructed Maurer-Cartan element under the open-closed morphism, one obtains a quantization $I_q(\lambda, h, s)$ . The dequantization of this element recovers the cyclic $A_\infty$ potential of the endomorphism algebra.
Algebraic Preliminaries: The paper rigorously defines the tensor product of BD algebras (Lemma 2.1.4) and establishes the necessary properties of cyclic $A_\infty$ -categories and their relation to proper Calabi-Yau structures.

Significance and Claims
The paper claims that the constructed open-closed formality morphism is a necessary ingredient for quantizing the large $N$ open SFT of an object in a Calabi-Yau category. By providing an algebraic framework (the tensor product BD algebra) and a mechanism to trivialize the closed sector while preserving the open sector structure, the work aims to define categorical analogues of open-closed Gromov-Witten invariants.

The author notes that while the closed sector invariants are encoded as coefficients of the Maurer-Cartan element under the formality map, the extraction of actual numerical invariants in the open-closed case remains an open direction requiring further constraints on the categorical setup (analogous to homological constraints on Lagrangians in symplectic geometry). The work connects the "non-commutative" BV formalism to large $N$ matrix models, suggesting a pathway to relate these general categorical theories to concrete gauge theories (like Chern-Simons theory) in future work.

The paper does not claim to compute specific numerical invariants or provide a full physical derivation of open-closed string theory but rather establishes the algebraic existence of the formality morphism and its utility in the quantization procedure.

More like this