Introduction and Program Context

Let $$X=\Lambda_{24}(4)$$ denote the minimal shell of the Leech lattice. Thus $$|X|=196{,}560, \qquad \|x\|^2=32 \quad (x\in X).$$ The configuration is a sharp spherical $11$-design and is universally optimal for completely monotone potentials .

The finite-dimensional spectral geometry of this system was established in the preceding papers of the SRFP311T1 collaboration.

1. Equivariant Operator Compression . The tangent displacement bundle was identified with the induced module $$\mathcal T \cong \operatorname{Ind}_{\mathrm{Co}_2}^{\mathrm{Co}_0} (V_{\mathrm{nat}}),$$ where $$V_{\mathrm{nat}}=u^\perp\subset\mathbb R^{24}, \qquad \dim V_{\mathrm{nat}}=23.$$ Consequently, $$\mathcal T = \bigoplus_{x\in X}T_x(S^{23}), \qquad \dim\mathcal T = 23\cdot196{,}560 = 4{,}520{,}880.$$ The collective Hessian $H$ commutes with $\mathrm{Co}_0$, reducing its determination to rational intertwining data.

2. Collective Dynamics on $(S^{23})^{196560}$ . The preceding analysis resolved the ambient Euclidean instability issue by including the second fundamental form. In particular, $$\lambda_S = \lambda_\perp-c_f = \frac{1200199}{196608000} >0,$$ and the exact $276$-dimensional rotational nullspace arising from $\mathfrak{so}(24)$ was identified. The mean-curvature conservation law $$\operatorname{tr}_{\mathcal T}(\mathcal K_f)\equiv0$$ then gives $$\operatorname{tr}(H) = \dim(\mathcal T)\lambda_S = \frac{22608148563}{819200}.$$

3. Exact Commutant Reduction and Complete Spectrum . The twelve-dimensional subconstituent intertwiner space was explicitly constructed and saturated. The resulting characteristic polynomial splits over $\mathbb Q$ into twelve linear factors, giving the exact rational spectrum and, in particular, $$\lambda_{\mathrm{ground}} = \frac{73073}{58982400}, \qquad \kappa = \frac{\lambda_{\mathrm{ground}}}{\lambda_S} = \frac{730}{3597}.$$

The Purpose of the Present Paper

The natural next question is not whether a twelve-dimensional finite algebra exists: that question has already been settled. The question is whether this finite spectral object admits a mathematically controlled automorphic realization.

Three logical levels must be separated:

1. Finite-group spectral structure. The twelve-sector decomposition and rational spectral algebra belong to finite-group representation theory and exact linear algebra.

2. Automorphic realization. A theta lift, modular form, automorphic representation, or Hecke module carrying the twelve sectors has not been constructed here.

3. Arithmetic transfer. Even after an automorphic realization exists, the passage from its Hecke data to Euler products and prime-power traces requires a further construction.

The principal exact result of the present paper is therefore a negative structural statement: the ordinary scalar harmonic theta map necessarily annihilates all odd-degree polynomial data.

The Twelve-Sector Tangent Representation

Let $$G=\mathrm{Co}_0=2\cdot\mathrm{Co}_1$$ and let $-I\in G$ denote the central inversion. Fix $u\in X$. Its stabilizer is $$H_u=\operatorname{Stab}_G(u)\cong\mathrm{Co}_2.$$ The tangent representation at $u$ is $$V_{\mathrm{nat}} = T_uS^{23} = u^\perp\subset\mathbb R^{24},$$ of dimension $23$.

The harmonic constituents relevant to the minimal-shell permutation representation occur in degrees $$k=0,1,\ldots,6.$$ Their dimensions are $$1,\quad 24,\quad 299,\quad 2576,\quad 17250,\quad 95680,\quad 80730.$$

The tangent representation is $$\mathcal T \cong \operatorname{Ind}_{H_u}^{G}(V_{\mathrm{nat}}),$$ and the preceding character calculation gives a multiplicity-free decomposition $$\mathcal T_{\mathbb C} \cong \bigoplus_{j=1}^{12}V_j.$$

Central Parity Splitting

The central involution acts on the shell by $$x\longmapsto-x.$$ Since no minimal vector is fixed by $-I$, $$\chi_M(-I)=0$$ for the permutation representation $M$ on $X$.

On each tangent space the differential of $-I$ is again multiplication by $-1$. Hence $$\chi_{\mathcal T}(-I)=0.$$

The twelve sectors are listed in Table [tab:12_sectors].

The Rational Spectral Algebra

The multiplicity-free complex decomposition gives $$\operatorname{End}_G(\mathcal T_{\mathbb C}) \cong \mathbb C^{12}.$$ The rational statement requires additional arithmetic information about the irreducible characters.

Thus there are twelve primitive rational idempotents $$P_1,\ldots,P_{12},$$ satisfying $$P_iP_j=\delta_{ij}P_i, \qquad \sum_{j=1}^{12}P_j=I_{\mathcal T}.$$ The Hessian has the spectral resolution $$H=\sum_{j=1}^{12}\lambda_jP_j, \qquad \lambda_j\in\mathbb Q.$$

This finite algebra is the object for which an automorphic realization is sought.

The Scalar Harmonic Theta Map

Let $$\operatorname{Harm}_k(\mathbb R^{24})$$ denote the space of homogeneous harmonic polynomials of degree $k$. For $$P\in\operatorname{Harm}_k(\mathbb R^{24}),$$ define $$\Theta_{\Lambda_{24},P}(\tau) = \sum_{x\in\Lambda_{24}} P(x)q^{\|x\|^2/2}, \qquad q=e^{2\pi i\tau}.$$

For an even unimodular lattice of rank $24$, the classical harmonic theta construction gives a modular form of weight $$12+k$$ for $\mathrm{SL}_2(\mathbb Z)$, subject to the standard harmonic-theta hypotheses .

The construction nevertheless has a canonical kernel.

Odd-Degree Vanishing

Automorphic Consequence

The result rules out one particular realization mechanism:

$$\boxed{ \text{ordinary scalar harmonic theta series cannot encode odd-degree data.} }$$

It does not rule out automorphic realizations of the twelve sectors by other constructions. In particular, one may seek vector-valued theta series, Jacobi forms, Weil-representation-valued forms, representation-valued theta kernels, or more general theta lifts.

This distinction is essential: the obstruction is to the ordinary scalar map, not to automorphy itself.

The Vector-Valued Leech Theta Realization Problem

The natural response to the scalar obstruction is to retain information that is destroyed by scalar summation.

The coefficient system separates three structures: $$\Lambda_{24} \quad\text{(lattice)}, \qquad V_j \quad\text{(finite-group sector)}, \qquad W_j \quad\text{(automorphic coefficient space)}.$$

The Spectral Hecke-Realization Problem

Define the finite spectral algebra $$\mathcal A_\Lambda = \operatorname{End}_{\mathrm{Co}_0} (\mathcal T_{\mathbb Q}) \cong \mathbb Q^{12}.$$

A Hecke realization requires more than a formal identification of two twelve-dimensional vector spaces.

A faithful realization additionally requires $\Phi$ to identify the twelve primitive spectral idempotents with twelve distinct automorphic eigensystems.

Comparison with Established Hecke Constructions

The research program contains a separate example in which a lattice theta construction leads to a concrete Hecke field: the rank-$88$, weight-$44$ extremal theta construction .

There the cuspidal projection $$F_{43} = \Theta_{88}^{\mathrm{ext}}-E_{44}$$ belongs to $$S_{44}(\mathrm{SL}_2(\mathbb Z)).$$ A direct computation of a Hecke operator produces an irreducible cubic characteristic polynomial over $\mathbb Q$, thereby exhibiting a concrete totally real cubic Hecke field.

The methodological point for the Leech problem is not that the same Hecke field should occur, but that a genuine automorphic realization must be constructed and tested at the operator level:

$$\boxed{ \text{construct }\mathcal V \;\longrightarrow\; \text{compute }T_n \;\longrightarrow\; \text{identify eigensystems}. }$$

No corresponding twelve-sector Hecke realization is asserted here.

Borcherds Products and the Partition–Prime Boundary

The arithmetic discussion requires a separate distinction.

In the Lorentzian Leech construction inside $\mathrm{II}_{25,1}$, Borcherds’ product involves the coefficients of $$\frac{1}{\Delta(\tau)} = \sum_{n=-1}^{\infty}c(n)q^n = q^{-1}+24+324q+3200q^2+25650q^3+\cdots.$$

Since $$\Delta(\tau) = q\prod_{m\geq1}(1-q^m)^{24},$$ the positive-index coefficients may be interpreted as $24$-colored partition numbers: $$c(n)=p_{24}(n+1).$$

The distinction is therefore structural rather than numerical.

Euler Products and Prime-Power Traces

Prime-power coefficients arise naturally from logarithmic derivatives of Euler products.

Let $\pi$ be an automorphic representation with unramified local Satake parameter $$A_p\in\mathrm{GL}_d(\mathbb C).$$ Its standard Euler product is formally $$L(s,\pi) = \prod_p \det(I-A_pp^{-s})^{-1}.$$

In a region of absolute convergence, $$-\frac{L'(s,\pi)}{L(s,\pi)} = \sum_p\sum_{k\geq1} \frac{\operatorname{tr}(A_p^k)\log p}{p^{ks}}.$$ Equivalently, $$-\frac{L'(s,\pi)}{L(s,\pi)} = \sum_{n\geq1} \frac{\Lambda_\pi(n)}{n^s},$$ where $$\Lambda_\pi(p^k) = \operatorname{tr}(A_p^k)\log p$$ and $\Lambda_\pi(n)=0$ away from prime powers.

Logical Boundaries of the Program

The results of the present paper establish several implications and several non-implications.

What the Finite Spectral Calculation Gives

The preceding work gives an exact finite algebra $$\mathcal A_\Lambda\cong\mathbb Q^{12}$$ together with twelve rational spectral idempotents.

This is strong information about the $\mathrm{Co}_0$-module $\mathcal T_{\mathbb Q}$ and the Hessian acting on it.

What It Does Not Give Automatically

The identity $$\mathcal A_\Lambda\cong\mathbb Q^{12}$$ does not, by itself, imply the existence of:

1. twelve modular eigenforms;

2. twelve automorphic representations;

3. a Hecke algebra canonically isomorphic to $\mathbb Q^{12}$;

4. an $L$-function naturally attached to the Hessian;

5. a transfer operator with that $L$-function as Fredholm determinant.

These require additional constructions.

In particular, rational Schur index one is a statement about the rational realization of finite-group representations. A Hecke algebra is an independent arithmetic object, and an identification between the two must be exhibited rather than inferred from dimension alone.

Epistemic Status of the Program

Table 1 summarizes the logical status of the principal statements.

Conclusion

The preceding papers establish an exact twelve-sector rational spectral algebra for the tangent Hessian of the Leech minimal shell: $$\operatorname{End}_{\mathrm{Co}_0} (\mathcal T_{\mathbb Q}) \cong \mathbb Q^{12}.$$

The present paper determines the first precise obstruction to a naive automorphic realization.

First, ordinary scalar harmonic theta series cannot detect odd-degree polynomial data. The obstruction is exact and follows from the identity $$\Lambda_{24}=-\Lambda_{24}.$$

Second, this obstruction identifies the appropriate next problem rather than ending the program: one must construct a richer coefficient system capable of retaining the information annihilated by scalar summation.

Third, the existence of the finite rational algebra does not imply the existence of a Hecke algebra realization. Such a realization requires an explicit automorphic space, transform, Hecke action, and identification of the twelve spectral idempotents with automorphic eigensystems.

Fourth, the Borcherds coefficients associated with $1/\Delta$ are partition coefficients, not prime-distribution coefficients. Prime powers enter only through Euler products and their logarithmic derivatives. Any dynamical prime trace attached to the Leech spectral system therefore requires an actual automorphic $L$-function and a corresponding transfer construction.

The program can consequently be represented as the following sequence of mathematically distinct arrows: $$\boxed{ \begin{array}{ccccc} \text{Leech geometry} & \longrightarrow & \mathbb Q^{12}\text{ spectral algebra} & & \\[4pt] && \downarrow & \text{\small open Hecke realization} & \\[4pt] && \text{automorphic representation} & & \\[4pt] && \downarrow & \text{\small open transfer construction} & \\[4pt] && L(s,\pi_{\Lambda}) & \longrightarrow & -\dfrac{L'}{L}(s,\pi_{\Lambda}) \\[4pt] && && \downarrow \\[4pt] && && \text{prime-power trace}. \end{array} }$$

The significance of the present result is therefore not a claim that the automorphic endpoint has already been reached. Rather, it identifies the first exact boundary condition that any successful construction must cross: the scalar harmonic theta map is insufficient, and the missing information must be carried by an explicitly constructed coefficient system.

GAP Character Induction Certificate

The following listing records the character-theoretic audit used for the twelve-sector decomposition and rationality checks.

LoadPackage("ctbllib");
LoadPackage("wedderga");

g_tbl := CharacterTable("2.Co1");
h_tbl := CharacterTable("Co2");

# Central involution -I class
c_minus_I := First([1..NrConjugacyClasses(g_tbl)],
  i -> SizesConjugacyClasses(g_tbl)[i] = 1 and
       OrdersClassRepresentatives(g_tbl)[i] = 2);

# Natural 24-dimensional character
idx_24 := First([1..Length(Irr(g_tbl))],
  i -> Irr(g_tbl)[i][1] = 24 and
       Irr(g_tbl)[i][c_minus_I] = -24);

chi24 := Irr(g_tbl)[idx_24];

# Induced permutation character
fus := FusionConjugacyClasses(h_tbl, g_tbl);
chiM := InducedClassFunction(h_tbl, g_tbl,
                             TrivialCharacter(h_tbl));

# Tangent character
chiT := chiM * (chi24 - TrivialCharacter(g_tbl));

# Multiplicities
mults := List(Irr(g_tbl),
              chi -> ScalarProduct(g_tbl, chiT, chi));

active := Filtered([1..Length(Irr(g_tbl))],
                   i -> mults[i] <> 0);

cert_mult_free :=
  ForAll(mults, m -> m in [0,1]) and
  Length(active) = 12;

cert_rational :=
  ForAll(active, i ->
    CharacterField(g_tbl, [Irr(g_tbl)[i]]) = Rationals);

cert_schur :=
  ForAll(active, i ->
    SchurIndex(Irr(g_tbl)[i]) = 1);

Print("Multiplicity-Free (12 sectors): ",
      cert_mult_free, "\n");

Print("All Character Fields == Q     : ",
      cert_rational, "\n");

Print("All Schur Indices == 1        : ",
      cert_schur, "\n");

Lean 4 Rational Arithmetic Certificate

The following Lean artifact verifies the rational identities used for the trace, screening ratio, parity dimensions, and spectral trace sum.

import Mathlib.Data.Rat.Basic
import Mathlib.Data.Matrix.Basic
import Mathlib.Tactic

namespace LeechAutomorphicBoundary

def tangent_dim : Rat := 4520880

def lambda_S : Rat :=
  1200199 / 196608000

def lambda_ground : Rat :=
  73073 / 58982400

def screening_ratio : Rat :=
  lambda_ground / lambda_S

theorem screening_ratio_eval :
    screening_ratio = 730 / 3597 := by
  norm_num [screening_ratio, lambda_ground, lambda_S]

def total_trace : Rat :=
  tangent_dim * lambda_S

theorem total_trace_eval :
    total_trace = 22608148563 / 819200 := by
  norm_num [total_trace, tangent_dim, lambda_S]

def d_even : List Rat :=
  [276, 299, 17250, 44275, 376740, 1821600]

def d_odd : List Rat :=
  [24, 2576, 4576, 95680, 315744, 1841840]

theorem even_parity_dim :
    d_even.sum = 2260440 := by
  norm_num [d_even]

theorem odd_parity_dim :
    d_odd.sum = 2260440 := by
  norm_num [d_odd]

theorem total_bundle_dim :
    d_even.sum + d_odd.sum = tangent_dim := by
  norm_num [d_even, d_odd, tangent_dim]

def lambda_list : List Rat :=
  [
    0,
    797071 / 737280,
    872241 / 10240000,
    219791 / 92160000,
    199381 / 18432000,
    24731 / 5760000,
    24913889 / 6553600,
    432845153 / 1474560000,
    73073 / 58982400,
    40598593 / 1474560000,
    558817 / 163840000,
    1479317 / 294912000
  ]

def d_all : List Rat :=
  d_even ++ d_odd

theorem spectrum_trace_sum_rule :
    (List.zipWith (· * ·) d_all lambda_list).sum
      = total_trace := by
  norm_num [
    d_all,
    d_even,
    d_odd,
    lambda_list,
    total_trace,
    tangent_dim,
    lambda_S
  ]

end LeechAutomorphicBoundary