🔢 mathematics

1-Point Functions for $\mathbb{Z}_2$ -Orbifolds of Lattice VOAs

This paper computes the 1-point correlation functions for all states within the $\mathbb{Z}_2$ -orbifolds of lattice vertex operator algebras.

Original authors: Maneesha Ampagouni

Published 2026-05-15

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Maneesha Ampagouni

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

The Big Picture: Building a New House from an Old One

Imagine you have a magnificent, perfectly symmetrical mansion built on a specific grid of land. In the world of mathematics, this mansion is called a Lattice Vertex Operator Algebra (VOA). It's a complex structure where every room (state) and hallway (interaction) follows strict mathematical rules.

Now, imagine you want to build a new house by taking this old mansion and folding it in half. You take the left side and the right side, match them up, and glue them together. If you do this perfectly, you create a new, smaller structure called an orbifold.

In this paper, the author, Maneesha Ampagouni, is doing exactly that. She is taking a specific type of mathematical mansion (built on an "even, unimodular lattice") and folding it in half using a specific rule (a "Z2-orbifold"). Her goal is to write down the blueprint for this new house.

What is a "1-Point Function"?

To understand what she is calculating, think of a "1-point function" as a fingerprint or a signature of the house.

If you walk into a room and ask, "What does this room feel like?" the 1-point function is the answer.
In the world of these mathematical houses, this "feeling" is a specific number or formula that changes depending on the "temperature" of the universe (represented by a variable called $\tau$ ).
Calculating this signature is crucial because it tells mathematicians if the house is stable and if it behaves nicely when you rotate or stretch the universe (a property called modular invariance).

The Challenge: The "Twisted" Side

When you fold the mansion in half, you don't just get a simpler version of the original. You create two distinct parts:

The Untwisted Part: The parts of the house that stayed the same after folding.
The Twisted Part: The new, strange rooms that appear only because you folded the house. These are the "orbifold" rooms.

The paper's main job is to figure out the fingerprints (1-point functions) for all the rooms in this new, folded house, including those weird "twisted" rooms that didn't exist before.

The Tools: The "Recipe Book"

To solve this, the author uses a set of mathematical tools developed by other mathematicians (Mason and Mertens). Think of these tools as a recipe book for calculating these fingerprints.

The Ingredients: The paper uses special mathematical functions called Theta functions and Eisenstein series. You can think of these as the flour, sugar, and eggs of the mathematical kitchen. They are the building blocks that describe the shape of the lattice and the heat of the universe.
The Method: The author adapts the existing recipes to handle the "twisted" ingredients. She creates a new set of instructions (recursion formulas) that allow her to calculate the fingerprint of a complex room by breaking it down into smaller, simpler rooms.

The Main Discoveries

The paper presents two major "blueprints" (Theorems 1.1 and 1.2) that give the exact formula for the fingerprints of the new house.

The "Heisenberg" Rooms (The Empty Rooms):
For rooms that are just empty space with some vibrations (mathematically called Heisenberg states), the author provides a formula that looks like a sum of different patterns. It's like saying, "The fingerprint of this room is a mix of Pattern A, Pattern B, and Pattern C, weighted by how the house was folded."
The "Lattice" Rooms (The Occupied Rooms):
For rooms that contain specific "particles" (lattice vectors), the author finds a surprising rule:
- If the particle is in a "double" position (mathematically, in $2L$ ), the room has a complex, beautiful fingerprint involving the Theta functions.
- The Vanishing Act: If the particle is in a "half-step" position (in $L$ but not $2L$ ), the fingerprint is zero. It's as if these specific rooms simply don't exist in the folded house. The paper proves that for these specific states, the 1-point function vanishes completely.

The Grand Finale: Modular Invariance

The most important part of the paper is the verification at the end. After calculating all these fingerprints, the author checks if they are "modular."

The Analogy: Imagine you have a map of the house. If you rotate the map 90 degrees or stretch it, a "modular" map still looks like a valid map of the same house. It doesn't break.
The Result: The author proves that the fingerprints she calculated for the new folded house do behave this way. Even though the house was folded and twisted, its mathematical signature remains stable and consistent under rotation and stretching. This confirms that the new mathematical structure is valid and "well-behaved."

Summary

In simple terms, this paper is a construction manual for a new type of mathematical structure created by folding an existing one in half. The author:

Developed new formulas to calculate the "signatures" of every room in this new structure.
Discovered that some specific rooms disappear entirely (their signature is zero).
Proved that the entire new structure is mathematically stable and consistent, just like the original mansion.

This work helps mathematicians understand the deeper symmetries of the universe, much like understanding how folding a piece of paper creates a new, intricate shape that still follows the laws of geometry.

Technical Summary: 1-Point Functions for Z2-Orbifolds of Lattice VOAs

Problem Statement
The paper addresses the computation of 1-point correlation functions (trace functions) for the $\mathbb{Z}_2$ -orbifolds of lattice vertex operator algebras (VOAs). While the modular invariance of characters for VOAs is a well-established consequence of Zhu's theory, explicit computations for orbifold theories, particularly involving twisted sectors, remain a technical challenge. Previous work by Mason and Mertens [7] successfully derived 1-point functions for symmetrized Heisenberg and lattice VOAs (the untwisted sector $V_L^+$ ), but the trace functions contributed by the twisted sector (specifically the $+1$ -eigenspace of the twisted module, $(V_L^T)^+$ ) had not been explicitly computed in this context. The paper aims to fill this gap by deriving explicit formulas for the 1-point functions of all states in the $\mathbb{Z}_2$ -orbifold $V = V_L^+ \oplus (V_L^T)^+$ , where $V_L$ is associated with a positive-definite, even, unimodular lattice $L$ of rank $k=8l$ .

Methodology
The author adapts and extends the techniques developed by Mason and Mertens [7] to the $\mathbb{Z}_2$ -orbifold setting. The core methodology involves:

Z2-Twisted Zhu Theory: The paper develops a reduction framework for 2-point functions traced over the twisted module $V_L^T$ . Theorem 3.1 establishes a reduction theorem expressing the twisted 2-point function on the torus in terms of modular data and 1-point functions, utilizing the twisted commutator formulas and the square bracket formalism.
Recursion Formulas: By analyzing the coefficients of the 2-point functions, the author derives recursion formulas (Theorems 3.3 and 3.8) that express 1-point functions of higher-weight states in terms of modular forms (Eisenstein series, theta functions) and 1-point functions of lower-weight states.
Sector Decomposition: The calculations are split based on the lattice structure of the states:
- Twisted Sector ( $V_L^T$ ): Computations are performed for states in the twisted module, distinguishing between lattice vectors in $2L$ and those in $L \setminus 2L$ .
- Orbifold Sectors ( $V_L^+$ and $(V_L^T)^+$ ): The author utilizes Lemma 3.4 to relate traces over the full twisted module to traces over the $+1$ and $-1$ eigenspaces of the involution $\theta$ . This allows for the isolation of the specific trace contributions required for the orbifold $V$ .
Inductive Computation: Using the derived recursion relations, the author performs inductive calculations for Heisenberg states and lattice states, separating cases based on whether the lattice vector $\alpha$ belongs to $2L$ or $L \setminus 2L$ .

Key Contributions and Results
The primary contribution of the paper is the derivation of explicit, closed-form formulas for the 1-point functions of all states in the $\mathbb{Z}_2$ -orbifold $V$ .

Explicit Formulas for the Orbifold:
- Theorem 1.1 provides the 1-point function for Heisenberg states $u = h_{i_1}[-n_1]\cdots h_{i_p}[-n_p]\mathbf{1}$ . The result is a sum of four terms involving the Dedekind eta function $\eta(\tau)$ , Jacobi theta functions $\Theta_1, \Theta_2, \Theta_3$ , and Eisenstein series ( $\hat{E}, \hat{F}, E, F$ ). The formula accounts for contributions from both the untwisted sector ( $V_L^+$ ) and the twisted sector ( $(V_L^T)^+$ ).
- Theorem 1.2 provides the 1-point function for lattice states $u = h_{i_1}[-n_1]\cdots h_{i_p}[-n_p]e^\alpha$ where $\alpha \in 2L$ . The formula similarly combines modular forms with coefficients depending on the lattice pairing $\langle \alpha, \alpha \rangle$ .
- Vanishing Result: A significant finding is that for states where the lattice vector $\alpha \in L \setminus 2L$ , the 1-point function $Z_V(u, \tau)$ vanishes identically. This is attributed to the specific structure of the twisted module and the action of the involution.
Modular Invariance:
- Proposition 6.2 verifies that the derived 1-point functions exhibit modular invariance under the full modular group $SL_2(\mathbb{Z})$ up to a character. The paper demonstrates that under the generators $S$ and $T$ of $SL_2(\mathbb{Z})$ , the functions transform with a weight equal to the $L[0]$ -weight of the state, consistent with the general theory of Zhu [10] and the specific case of cyclic orbifolds discussed by Ekeren, Möller, and Scheithauer [9].

Significance
The paper claims significance primarily in providing the necessary explicit computations to verify the modular properties of $\mathbb{Z}_2$ -orbifolds of lattice VOAs. By combining the trace over the untwisted sector (previously known from [7]) with the newly computed trace over the twisted sector, the author constructs the full 1-point functions for the orbifold theory.

The work serves as a concrete realization of the theoretical expectation that these trace functions should be modular forms. It extends the techniques of Mason and Mertens to the twisted setting, offering a template for analyzing 1-point functions in more complex orbifold constructions. The results confirm that the modular invariance predicted by general VOA axioms holds explicitly for these specific lattice orbifolds, with the trace functions taking the form of combinations of theta functions and Eisenstein series divided by powers of the eta function.