# Tensor saturation for even spin groups

> For even spin groups, an invariant after stretching the weights implies one before, if the weights pass a parity test.

Canonical: https://closedform.nishachay.tech/e/openai-math-2026-204/
Last updated: 2026-10-14

**For even spin groups, an invariant after stretching the weights implies one before, if the weights pass a parity test.**

**Trust:** Claimed, not checked · **Papers:** 1 · **First paper:** September 24, 2026 · **Field:** Algebra · **Entry:** 204

*Explained by AI.* Drafted by one AI model and checked sentence by sentence against the paper by a different one. Spot a mistake? Report an error.

Combining three symmetry patterns of a group sometimes leaves something unchanged, called an invariant. The saturation question asks whether, if stretched versions of the patterns combine to an invariant, the originals do too. A simple parity test is needed, and Knutson and Tao settled the question for one family in 1999. This paper claims to settle it for the even spin groups, called type D.

## At a glance

- **First step:** 2006 (Misha Kapovich and John Millson, “Structure of the tensor product semigroup”)
- **Significance:** Solid. If the proof holds, it settles the type D part of a conjecture whose type A case was a celebrated 1999 theorem.
- **Trust:** Claimed, not checked
- **Field:** Algebra (1 paper)

## The explanation

Start with the simplest symmetry group in this story, SL(2). Its basic representations are labelled by whole numbers 0, 1, 2, and so on. Combining labels a and b gives the labels from |a − b| up to a + b, in steps of 2. Three representations a, b, c combine to leave something unchanged when c appears in a combined with b.

Try 1, 1, 1. Combining 1 and 1 gives 0 and 2, but not 1. So there is no invariant. Now stretch everything by 2, to get 2, 2, 2. Combining 2 and 2 gives 0, 2 and 4, which includes 2. Now there is an invariant. Stretching created one where none existed. The reason is parity: 1 + 1 + 1 is odd, while 2 + 2 + 2 is even.

So any honest version of the question needs a parity test. In general this test asks that the three labels add up to an element of the root lattice[1]. The root lattice is the set of labels that the group's basic directions, its roots, can reach. Without it, the group's center acts and kills any invariant[1]. For SL(2), the test is that a + b + c is even.

The saturation problem asks this. If stretched labels give a tensor invariant, do the original labels give one too[2]? A tensor invariant here is a vector in the combined representation that the whole group leaves fixed. The question links to the geometry of eigenvalues, through work of Klyachko[3]. Knutson and Tao answered it for type A, the groups SL(n), with their honeycomb theorem in 1999[4]. Kapovich and Millson then conjectured the same, with the parity test, for all simply laced groups[5].

Before this paper, type D was known only in small cases. Kapovich, Kumar and Millson did Spin(8)[6]. Kiers did Spin(10) and Spin(12). Other work showed that a stretch by four always suffices for these groups. Those results do not give the factor-one statement under the parity test[7].

This paper claims the type D case[8]. For Spin(2n) with n at least 2, three labels that pass the parity test give an invariant whenever some stretch of them does[9]. The claim includes the half-integer spin labels[10]. For n = 2, Spin(4) is two copies of SL(2), so the opening example is a piece of it.

The proof turns the question into one about paths through the space of labels. Real-number paths exist by a geometric argument. The one obstacle is making them integral. The directions used may span the space without reaching every lattice point[11]. In type D the paper shows only one obstruction remains, a parity mismatch between two pieces[12]. It moves the path to fix that mismatch, while keeping the path admissible throughout[13]. A separate construction then turns integral paths into actual invariants[14].

How sure is this? No Lean formalization is listed for this paper. The claim rests on the paper's own long argument. No specialist review of the paper has been published.

**What it doesn't show.** This does not cover the exceptional simply laced groups E6, E7 and E8.

## Where it came from

This result comes from an unreleased OpenAI model, published in the openai/math release on 6 October 2026.

## Hype check

Solid if the proof holds. No Lean check is listed and no specialist review is published.

## Words used

- **Representation:** A way for a group to act on a vector space by linear maps.
- **Highest weight:** The label that picks out one irreducible representation of the group.
- **Tensor invariant:** A vector in a combined (tensor product) representation that every group element leaves fixed.
- **Root lattice:** The set of labels reachable by whole-number combinations of the group's roots.
- **Saturation:** The property that an invariant after stretching the labels implies one before.
- **Spin group:** A group that double-covers the rotations of a space; Spin(2n) is type D.

## The original paper

- [Tensor saturation for even spin groups](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) - September 24, 2026

## Quoted lines from the paper (14)

[1] From [Tensor saturation for even spin groups](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):

> A necessary congruence is that the sum of the original weights belong to the root lattice: otherwise the center acts nontrivially on the tensor product.

[2] From [Tensor saturation for even spin groups](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):

> The saturation problem asks whether occurrence of a tensor invariant at dilated highest weights forces occurrence at the original weights.

[3] From [Tensor saturation for even spin groups](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):

> Klyachko connected the Hermitian eigenvalue problem with tensor occurrence after dilation.

[4] From [Tensor saturation for even spin groups](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):

> Knutson and Tao's honeycomb theorem answered this question in type $A$.

[5] From [Tensor saturation for even spin groups](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):

> Kapovich and Millson formulated the analogous root-lattice assertion for simply laced groups; see also.

[6] From [Tensor saturation for even spin groups](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):

> Kapovich, Kumar, and Millson proved saturation for $\Spin(8)$, and Kiers proved it for $\Spin(10)$ and $\Spin(12)$.

[7] From [Tensor saturation for even spin groups](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):

> These factors do not give the scale-one conclusion under the root-lattice hypothesis.

[8] From [Tensor saturation for even spin groups](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):

> We prove its type-$D$ case.

[9] From [Tensor saturation for even spin groups](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):

> Let $G=\Spin(2n)$, $n\ge2$, and let $\lambda,\mu,\nu$ be dominant integral weights such that $\lambda+\mu+\nu\in Q(D_n)$.

[10] From [Tensor saturation for even spin groups](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):

> The theorem includes the half-integral spin weights.

[11] From [Tensor saturation for even spin groups](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):

> A real root basis need not generate the full root lattice, and this is where integrality can fail.

[12] From [Tensor saturation for even spin groups](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):

> In type $D$, rank reduction leaves only one obstruction: the signed root graph has two unbalanced components, each with an odd coordinate sum in its assigned label difference.

[13] From [Tensor saturation for even spin groups](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):

> Reaching those coefficients arithmetically does not yet give a path: the switch times and signs must remain admissible throughout the motion.

[14] From [Tensor saturation for even spin groups](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):

> A separate construction with exterior and spin columns supplies tensor occurrence.

## Other sources

- [M. Kapovich and J. J. Millson, “Structure of the tensor product semigroup”, Asian Journal of Mathematics 10 (2006), 493–540](https://arxiv.org/abs/math/0508186)
- [A. Knutson and T. Tao, “The honeycomb model of GL_n(C) tensor products I: Proof of the saturation conjecture”, Journal of the AMS 12 (1999), 1055–1090](https://doi.org/10.1090/S0894-0347-99-00299-4)

## Related

- [Donovan's conjecture over fields and complete mixed-characteristic DVRs](https://closedform.nishachay.tech/e/openai-math-2026-203/) - Algebra
- [Saxl’s conjecture and universal tensor squares](https://closedform.nishachay.tech/e/openai-math-2026-205/) - Algebra
- [The blockwise Alperin weight conjecture](https://closedform.nishachay.tech/e/openai-math-2026-202/) - Algebra
- [Finite lattice representation and undecidability](https://closedform.nishachay.tech/e/openai-math-2026-206/) - Algebra
- [A counterexample to Kurosh’s division-ring problem](https://closedform.nishachay.tech/e/openai-math-2026-201/) - Algebra
- [Algebra](https://closedform.nishachay.tech/science/mathematics/algebra/) - Field · 18 results
- [Open since the 2000s](https://closedform.nishachay.tech/open-since/2000s/) - Era · 48 results
- [Claimed, not yet checked](https://closedform.nishachay.tech/trust/claimed/) - Trust · 130 results
- [Solid results](https://closedform.nishachay.tech/significance/solid/) - Significance · 50 results
- [Report an error](https://github.com/nishachay/closed-form/issues/new?template=report-error.yml&labels=entry-error&title=%5Bentry%20204%5D%20)