On odd-spin $A_{1}^{(1)}$-string functions, cross-spin identities, and mock theta conjecture-like identities

This paper derives the polar-finite decomposition for odd-spin admissible-level $A_{1}^{(1)}$ characters and establishes new mock theta conjecture-like identities for the corresponding string functions at levels $2/3$and$2/5$.

The Gist

Imagine the universe of mathematics as a giant, intricate library. Inside this library, there are special books called Kac–Moody algebras. These aren't stories about dragons or knights; they are complex blueprints describing the symmetries of the universe, used by physicists to understand string theory and by mathematicians to solve deep puzzles.

Inside these blueprints, there are specific chapters called String Functions. You can think of a String Function as a "recipe" or a "fingerprint" that tells you exactly how a specific particle or state behaves within this mathematical universe.

For a long time, mathematicians could easily read the recipes for "Even Spin" particles (let's call them the "Even Twins"). They knew exactly how to write these recipes down using simple, well-behaved tools called Theta Functions (think of these as standard, reliable measuring cups).

However, the "Odd Spin" particles (the "Odd Twins") were much harder to understand. Their recipes were messy, full of holes, and didn't seem to follow the same rules. For decades, no one could figure out how to write down the recipe for the Odd Twins in a clean way, especially for certain tricky levels of complexity (like the 2/3 and 2/5 levels).

The Problem: The Messy Kitchen

The authors of this paper, Stepan Konenkov and Eric T. Mortenson, decided to tackle the "Odd Spin" mess.

Imagine you are trying to bake a cake (the String Function), but your batter is full of lumps and holes (mathematical "poles").

• The Old Way: Previous researchers could only bake the "Even Spin" cakes perfectly. They had a special technique called Polar-Finite Decomposition. This is like having a magic sieve that separates the smooth batter (the "Finite Part") from the lumps and holes (the "Polar Part").
• The New Challenge: The authors realized they needed to build a new sieve specifically for the "Odd Spin" batter. The old sieve didn't work because the Odd Twins had a different shape.

The Breakthrough: A New Sieve

In this paper, the authors successfully built that new sieve for the Odd Spin characters.

1. The Decomposition: They figured out exactly how to separate the "smooth batter" from the "lumps" for the Odd Spin particles. This is the Polar-Finite Decomposition. It's a massive, complex formula, but it proves that even the messy Odd Spin recipes can be broken down into understandable pieces.
2. The Connection to Ramanujan: Here is where it gets magical. The "smooth batter" they found wasn't just any old batter; it turned out to be made of ingredients from a famous, mysterious cookbook left behind by the Indian genius Srinivasa Ramanujan. These ingredients are called Mock Theta Functions.
   • Ramanujan wrote these down in his last letter to a friend, but he didn't explain how they worked. They were like "ghosts" of normal math functions.
   • The authors discovered that the recipes for the Odd Spin particles are actually written in the language of these "ghost" functions.

The Twist: The "Cross-Spin" Identity

The authors also used a clever trick called the Cross-Spin Identity.

• Imagine you have a recipe for an Even Spin cake.
• You want to know the recipe for an Odd Spin cake.
• Usually, you can't just swap them. But the authors found a "translation key" (the Cross-Spin Identity) that lets you translate an Even Spin recipe into an Odd Spin one, but only if the complexity level is right.

The Surprise:
For some levels (like 1/2 and 1/3), the translation worked perfectly, and the Odd Spin recipes looked very similar to the Even Spin ones.
But for the tricky levels (2/3 and 2/5), the translation revealed something unexpected. The Odd Spin recipes could not be written using the exact same Ramanujan ingredients (Mock Theta functions) that the Even Spin recipes used.

• It's like trying to bake an Odd Spin cake using the same chocolate chips as the Even Spin cake, but realizing you actually need peppermint chips instead!
• The authors had to find new sets of Ramanujan's "ghost" ingredients to describe these specific Odd Spin levels. They found that for the 2/3 level, there are actually multiple different ways to write the recipe using different sets of these ghost ingredients.

Why Does This Matter?

Think of this paper as solving a missing piece of a cosmic puzzle.

• For Physicists: It helps them understand the behavior of particles in string theory more clearly, especially those with "odd" properties.
• For Mathematicians: It connects two very different worlds: the rigid, structured world of Lie algebras (the blueprints) and the mysterious, fluid world of Ramanujan's Mock Theta functions (the ghosts). It shows that these "ghosts" are actually the fundamental building blocks of these physical realities.

In a Nutshell

The authors took a messy, unsolvable math problem (Odd Spin String Functions), built a new tool to clean it up (Polar-Finite Decomposition), and discovered that the clean result is written in the secret code of a mathematical genius (Ramanujan's Mock Theta Functions). They also found that for the most difficult cases, the code is even more complex and unique than anyone expected, requiring new sets of "ghost" ingredients to solve.

Technical Summary

Here is a detailed technical summary of the paper "On Odd-Spin $A^{(1)}_1$ 1-String Functions, Cross-Spin Identities, and Mock Theta Conjecture-Like Identities" by Stepan Konenkov and Eric T. Mortenson.

1. Problem Statement

The paper addresses a long-standing open problem in the theory of affine Kac–Moody algebras: determining the explicit forms and modularity of string functions and branching coefficients. Specifically, the authors focus on the affine algebra $A^{(1)}_1$ at positive admissible levels.

While the modular properties of integral-level string functions were established by Kac and Peterson, and connections to mock theta functions were recently discovered for even-spin admissible-level string functions (by Borozenets and Mortenson), the case for odd-spin string functions remained largely unresolved.

• The Gap: Previous work successfully expressed even-spin string functions for levels like $1/2, 1/3, 2/3, 1/5,$and$2/5$in terms of Ramanujan's mock theta functions. However, for **odd-spin** string functions at levels$2/3$and$2/5$, no such explicit "mock theta conjecture-like" identities were known.
• The Challenge: Existing "cross-spin identities" (which relate odd-spin functions to even-spin ones) only work when the level parameter $p$ is odd. When $p$ is even (as in levels $2/3$and$2/5$), odd-spin functions cannot be reduced to even-spin ones, necessitating a direct derivation for the odd-spin case.

2. Methodology

The authors employ a combination of analytic number theory, the theory of mock modular forms, and representation theory. The core methodology involves:

1. Polar-Finite Decomposition:

   • Building on the work of Zwegers and Dabholkar–Murthy–Zagier, the authors decompose meromorphic Jacobi forms (specifically the admissible characters) into a "finite part" (a linear combination of theta functions with mock modular coefficients) and a "polar part" (determined by the poles, expressed via Appell functions).
   • The paper derives the first explicit polar-finite decomposition for odd-spin admissible characters, a significant generalization of previous results limited to even spins.

2. Quasi-Periodicity:

   • The authors utilize quasi-periodicity relations for odd-spin string functions (previously developed by Konenkov and Mortenson) to bridge the gap between the character expansion and the string function coefficients.

3. Appell Functions and Mock Theta Functions:

   • They express Ramanujan's mock theta functions (orders 2, 3, and 10) in terms of Appell functions ($m(x, z; q)$).
   • By specializing the polar-finite decomposition at specific values of the variable $z$ (often involving roots of unity or specific powers of $q$), they isolate the string functions and convert the Appell function terms into mock theta functions.

4. Cross-Spin Identities:

   • For cases where direct derivation is complex, they utilize a generalized cross-spin identity (Theorem 1.7) to relate odd-spin string functions to other odd-spin or even-spin functions, verifying consistency across different quantum numbers.

5. Theta Function Identities:

   • The proofs rely heavily on intricate identities involving Jacobi theta functions, including the Quintuple Product Identity and specific families of identities (Propositions 6.1 and 6.2) to simplify the resulting expressions.

3. Key Contributions and Results

A. Odd-Spin Polar-Finite Decomposition (Theorem 2.2)

The primary theoretical contribution is the derivation of the polar-finite decomposition for the admissible $A^{(1)}_1$ character of odd spin.

• Unlike the even-spin case, the odd-spin decomposition involves different summation structures and Appell function arguments.
• This decomposition serves as the foundational tool for all subsequent identities in the paper.

B. Mock Theta Conjecture-Like Identities for Levels 1/2, 1/3, and 1/5

The authors derive explicit identities for odd-spin string functions at levels $1/2, 1/3,$and$1/5$.

• Consistency Check: These results are shown to be consistent with the even-spin results found in prior literature via cross-spin identities.
• Structure: The string functions are expressed as linear combinations of theta functions and mock theta functions (e.g., $A_2, \mu_2, f_3, \omega_3$).

C. New Identities for Levels 2/3 and 2/5 (The Core Novelty)

The paper successfully resolves the previously open cases for odd-spin string functions at levels $2/3$and$2/5$.

• Level 2/3 (Theorem 2.7 & 2.9):
  • The authors discover that odd-spin $2/3$-level string functions cannot be expressed using the exact same set of third-order mock theta functions used for the even-spin case.
  • Instead, they find multiple distinct identities involving different sets of third-order mock theta functions (specifically $\psi_3$ and $\chi_3$, or $f_3$).
  • This reveals a richer structure for odd-spin functions than previously anticipated.
• Level 2/5 (Theorem 2.12):
  • Similar to the $2/3$case, the odd-spin$2/5$-level functions require a different set of tenth-order mock theta functions compared to the even-spin counterparts. The identities involve$\chi_{10}$and$X_{10}$but exclude$\psi_{10}$and$\phi_{10}$, which appear in the even-spin formulas.

D. Cross-Spin Verification

The authors use the cross-spin identity (Theorem 1.7) to verify their new odd-spin results against known even-spin results for levels $1/2$and$1/3$, confirming the validity of their polar-finite decomposition approach.

4. Significance

• Completeness of the Theory: This work completes the picture of mock theta conjecture-like identities for positive admissible-level $A^{(1)}_1$ string functions, covering both even and odd spins across all relevant fractional levels ($1/2, 1/3, 2/3, 1/5, 2/5$).
• New Mathematical Structures: The discovery that odd-spin functions at levels $2/3$and$2/5$ require different mock theta functions than their even-spin analogs suggests a deeper, more complex symmetry breaking in the odd-spin sector of the theory.
• Methodological Advancement: The successful application of polar-finite decomposition to odd-spin characters provides a robust framework for future investigations into other Kac–Moody algebras or negative admissible levels.
• Connection to Physics: Since these string functions are related to parafermionic theories and conformal field theories (CFT), these explicit formulas provide new tools for physicists studying statistical mechanics and string theory models involving odd-spin sectors.

In summary, Konenkov and Mortenson have extended the bridge between Kac–Moody algebra representation theory and Ramanujan's mock theta functions to the previously inaccessible domain of odd-spin, fractional-level string functions, revealing new identities and structural nuances in the process.