Result 204, Algebra

Tensor saturation for even spin groups

Proves saturation factor one for Spin(2n)\mathop{\mathrm{Spin}}\nolimits (2n), n ≥ 2: for three dominant integral weights whose sum lies in the root lattice, an invariant at any common positive integral dilation already gives an invariant at the original weights. This resolves the type-D part of the simply-laced saturation conjecture.

Proof

The bigger picture

Why it matters

Combining representations of a symmetry group can produce an invariant, something the symmetry leaves unchanged. For even spin groups, the manuscript reports that certain such combinations need no enlargement of their representation labels.

What changes?

The claim covers Spin(2n) for every integer n at least 2. Take three dominant integral weights, labels of irreducible representations, whose sum belongs to the root lattice, the integer combinations of the group's roots. If multiplying all three weights by the same positive integer yields a tensor product with a nonzero invariant, then the original tensor product already has one. This is saturation factor one, resolving the type-D part of the simply-laced saturation conjecture.

What does that help mathematicians do?

Under the root-lattice condition, the result rules out a specific gap: an invariant cannot be absent at the original weights yet appear after common scaling. A researcher can therefore establish existence using a convenient positive integral dilation and transfer that conclusion back to the original representations. This concerns whether an invariant exists, not whether scaling preserves the number of independent invariants.

Are there practical applications?

Its immediate value is foundational: it sharpens the rules for when three representations of an even spin group can combine to contain a symmetry-preserving component. The reported result is an existence theorem, not a method for constructing that component or a demonstrated computational speedup. The supplied abstract claims no practical deployment.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

Manuscript

Tensor saturation for even spin groups

September 24, 2026 46 pages

We prove the saturation conjecture for Spin(2n)\mathop{\mathrm{Spin}}\nolimits (2n), n ≥ 2. If three dominant integral weights sum to an element of the root lattice, then the existence of a nonzero tensor invariant after a positive integral dilation implies the existence of one at the original weights.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:Tensor-Saturation-for-Even-Spin-Groups-September-24-2026,
  author = {{OpenAI}},
  title = {{Tensor saturation for even spin groups}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Tensor-Saturation-for-Even-Spin-Groups-September-24-2026/Tensor-Saturation-for-Even-Spin-Groups-September-24-2026.pdf}{OAI:Tensor-Saturation-for-Even-Spin-Groups-September-24-2026}},
  year = {2026}
}

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 8 hours ago. Titles, subjects, summaries, abstracts and Lean notes are OpenAI's; page counts are read from the PDFs. The map, related results, search, kinds of results and the named-problem index are Emergent Mind's, built with text embeddings and an LLM, and may contain errors.

An Emergent Mind Labs project. Emergent Mind is not affiliated with OpenAI. None of these results has been peer reviewed. Cite the manuscripts themselves, using the BibTeX on each result's page.