Lorentzian Regularization of the Type IIB Superstring Torus Vacuum

This paper presents a first direct regularized construction of the unprojected sectors of the Type IIB Superstring torus vacuum by developing sector-resolved modular integrals using an $i\varepsilon$-prescription and $E_s$-regularization framework, which is subsequently cross-checked via Lorentzian-inversion reconstruction.

The Gist

The Big Picture: Measuring the "Silence" of the Universe

Imagine the universe as a giant, vibrating drum. In string theory, the fundamental particles (like electrons or photons) are just different notes played on this drum. Usually, physicists calculate the sound of the drum when it's being hit by external forces (like two particles colliding).

But this paper is interested in something much quieter: the vacuum. This is the sound of the drum when nothing is hitting it—the "hum" of empty space itself. Specifically, the authors are looking at a specific type of universe (Type IIB Superstring theory) and trying to calculate the energy of this empty space at a very specific level of complexity (called "one-loop" or "genus-one," which is like a single loop in the fabric of spacetime).

The problem? When you try to calculate this "empty space hum" using standard math, the numbers blow up to infinity. It's like trying to measure the volume of a room, but the math says the room is infinitely big because of a weird echo in the corner.

The Problem: The "Infinite Echo" (The Cusp)

In the math of string theory, the shape of the drum is described by a complex number called a "modulus" ($\tau$). When you integrate over all possible shapes, there is a specific region where the drum stretches out into an infinitely long, thin tube.

• The Analogy: Imagine a rubber band. If you stretch it out, it gets thinner and thinner. In the math, if you stretch it infinitely far, the calculation goes to infinity. This is called the cusp.
• The Issue: In the real world, physics doesn't allow infinities. To get a real answer, you need a rule to stop the stretching or to handle the "echo" that happens when the tube gets too long. In physics, this is often done with a tiny, imaginary adjustment called an $i\epsilon$ prescription (think of it as a tiny "fudge factor" that tells the math how to behave when things get extreme).

The Solution: Two Ways to Tame the Echo

The authors of this paper are building a new, precise way to calculate this vacuum energy without the infinities. They use two different methods to check each other, like using two different rulers to measure a table to ensure you got the right length.

Method 1: The "Lorentzian" Stretch (The Time Traveler)

In standard math, we usually measure things in "Euclidean" space (like a flat map). But in the real world, time flows differently than space (this is "Lorentzian" physics).

• The Analogy: Imagine you are walking along a path that leads to a cliff. In the standard math, you just keep walking off the cliff into infinity. The authors say, "Wait, in the real world, you can't just fall off."
• The Fix: They change the path. Instead of walking straight off the edge, they turn the path slightly into a "complex" direction (a direction that doesn't exist on a normal map but exists in advanced math). This turns the infinite cliff into a manageable loop. This is the Lorentzian prescription. It ensures that the "long tube" of the string behaves like a real physical particle moving through time, rather than a mathematical ghost.

Method 2: The "Es-Regularized" Filter (The Sieve)

The second method is a mathematical tool developed by other researchers (Manschot and Wang).

• The Analogy: Imagine you have a bucket of water with sand in it. You want to know how much water is left, but the sand makes it messy. This method uses a special "sieve" (called an Es-regularized integral) that separates the water from the sand perfectly.
• The Fix: They break the calculation down into tiny pieces (modes). For each piece, they calculate the "compact" part (the safe, finite part) and the "tail" part (the dangerous, infinite part). They then use a special function (the $E_s$ function) to subtract the infinite tail exactly, leaving only the clean, finite result.

The Main Achievement: Checking the "Unprojected" Parts

Usually, physicists calculate the final answer by adding up all the different "spin" possibilities of the strings and watching them cancel each other out to zero (because the universe is stable).

• The Paper's Twist: This paper stops before that final cancellation. It calculates the value of each individual piece (each "sector") separately.
• The Analogy: Imagine a magic trick where four people stand on a scale. If you weigh them all together, the scale reads zero because they are holding weights that cancel out. This paper weighs each person individually first. It shows that Person A weighs 5kg, Person B weighs 5kg, etc.
• Why this matters: By calculating each piece individually using their new "Lorentzian" and "Sieve" rules, they prove that the math works perfectly for every single piece before they are combined. They show that the "Lorentzian" method and the "Sieve" method give the exact same result for every single piece.

The Final Result: The "Zero" is Real

After calculating all the individual pieces, they put them back together.

• The Result: Just as expected by the laws of physics, when they combine the four pieces with the correct signs (plus and minus), the total sum is exactly zero.
• The Significance: The paper didn't just find the answer "zero." It proved how the math gets to zero. It showed that the "infinite echo" (the cusp) is handled correctly by the Lorentzian rules, and that the "sieve" method removes the infinities perfectly. It confirms that the "unprojected" parts of the string theory (the raw ingredients) are mathematically consistent and well-behaved, even before they are mixed into the final physical vacuum.

Summary in One Sentence

The authors created a new, double-checked mathematical recipe to measure the "empty space" energy of a string theory universe, proving that even the most dangerous, infinite parts of the calculation can be tamed and handled correctly, piece by piece, before they cancel out to give a stable, zero-energy result.

Technical Summary

Technical Summary: Lorentzian Regularization of the Type IIB Superstring Torus Vacuum

Problem Statement
The paper addresses the definition of one-loop amplitudes in perturbative string theory, specifically focusing on the Type IIB superstring torus vacuum. A central difficulty in genus-one string perturbation theory is that the modular integral over the fundamental domain is non-compact due to the cusp at $y \to \infty$ (the non-separating degeneration where a long tube forms). In this regime, intermediate string states can go on-shell, requiring a physical prescription (analogous to the Feynman $i\epsilon$ in field theory) to define the Lorentzian amplitude. While standard references treat the modular integral as a geometric object, the analytic content is inseparable from the cusp geometry. The vacuum problem isolates this modular regularization step from the additional kinematic structures (puncture positions and Koba–Nielsen factors) present in non-vacuum amplitudes. The specific challenge is to construct a regularized framework that acts on the unprojected spin-sector data of the Type IIB torus before the final GSO (Gliozzi-Scherk-Olive) projection, ensuring compatibility with both Lorentzian continuation and modular symmetry.

Methodology
The authors employ a sector-resolved approach, decomposing the Type IIB torus integrand into four auxiliary sectors ($VV, VS, SV, SS$) based on left- and right-moving spin structures ($V$ for vector, $S$ for spinor) before the Jacobi identity enforces their cancellation. The methodology proceeds through the following steps:

1. Sector Decomposition: The integrand is expressed in terms of $SO(8)$ characters ($V_8, S_8$) and decomposed into four auxiliary modular integrands $Z_{XY}$. These sectors share a common Fourier coefficient structure derived from the holomorphic block $A(\tau) = \vartheta_2(\tau)^4 / (2\eta(\tau)^{12})$.
2. Geometric Decomposition: The integration domain (the fundamental domain $\mathcal{F}$) is truncated at a finite height $Y$ and split into a compact "keyhole" region ($\mathcal{F}_1$) and a non-compact cusp strip ($S_{1,Y}$).
3. Lorentzian Prescription: Following the framework of Witten and the $E_s$-regularized modular-integral formalism of Manschot and Wang, the Euclidean cusp strip is replaced by a Lorentzian contour. This involves retaining a finite Euclidean segment and continuing the integration variable into the complex plane (vertical tail) to implement the causal $i\epsilon$ prescription.
4. Regularized Mode Blocks: The integral is reorganized into a sum over Fourier modes. The cusp contribution is mapped to generalized exponential integrals ($E_s$). A regularized mode block $L^r_{m,n,s}$ is defined, consisting of a compact keyhole integral and a diagonal analytic tail term involving $E_s(4\pi m)$.
5. Sector Summation and GSO Projection: The regularized blocks are paired with the Fourier coefficients of the four auxiliary sectors to define sector functionals. The physical Type IIB amplitude is recovered by applying the signed GSO projection ($VV - VS - SV + SS$) to these regularized sector sums.

Key Contributions and Results

• Explicit Sector Construction: The paper provides the first direct regularized construction of the unprojected sectors of the Type IIB torus vacuum. It explicitly separates the auxiliary spin-sector data, applying the modular-integral map to each sector individually before the final physical contraction.
• Equivalence of Prescriptions: The construction independently cross-checks the Lorentzian contour prescription with the $E_s$-regularized modular-integral framework. It demonstrates that the Lorentzian continuation of the long-tube variable yields the same analytic tail as the generalized exponential integral $E_s$, confirming the consistency of the two approaches at the sector level.
• Coefficient-Level Cancellation: The authors establish that the four auxiliary sector integrals ($I^r_{VV}, I^r_{VS}, I^r_{SV}, I^r_{SS}$) are exactly equal due to the identity $V_8 = S_8$ holding for the Fourier coefficients. Consequently, the regularized GSO projection commutes with the summation, yielding a vanishing result ($I^r_{IIB} = 0$) mode-by-mode. This confirms that the regularization scheme respects the supersymmetric cancellation inherent in the Type IIB theory.
• Exact Normalization: The paper derives an exact analytical expression for the constant (zero) mode contribution to a single auxiliary sector:
  $$A^{00}_{XY} = \frac{512}{9\sqrt{3}}$$
  This result clarifies the normalization distinction between the closed-string left-right product (coefficient 64) and holomorphic open-string comparisons (coefficient 16).
• Diagonal Projection: The analysis confirms that the cusp strip contribution acts diagonally on the Fourier labels ($m=n$) due to horizontal Fourier orthogonality, while off-diagonal modes receive contributions only from the compact keyhole region.

Significance
The paper claims to provide a "first direct regularized construction of the unprojected sectors of the Type IIB Superstring torus vacuum." Its primary significance lies in isolating the modular regularization step from kinematic complexities, thereby offering a clean test case for the interplay between Lorentzian prescriptions, modular geometry, and GSO projections. By demonstrating that the regularization map commutes with the GSO projection and that the sector functionals are well-defined and equal prior to cancellation, the work validates the use of $E_s$-regularized blocks and Lorentzian contours as robust tools for analyzing string amplitudes. The results serve as a foundational check for more complex non-vacuum amplitudes and provide a precise dictionary between worldsheet degeneration data and analytic special functions.