Tensor saturation for even spin groups

1 · The essentials

The manuscript studies whether a feature that appears after enlarging three mathematical inputs must already be present before enlargement. The inputs describe objects associated with even spin groups. All three inputs must be enlarged by the same positive whole-number factor. The manuscript shows that, if the enlarged objects have a nonzero combination unchanged by the group’s actions, the original objects have one too. This conclusion requires a specific compatibility condition on the three inputs; it is not an unrestricted statement. The repository describes the result as resolving one part of a broader conjecture. The main result is not formalized in Lean and has not been formally verified.

A picture to help (an imperfect image, not to be taken literally)

As an imperfect image, imagine enlarging three pattern pieces by the same whole-number factor and discovering that they can fit together in a balanced arrangement. The result says that, for the permitted mathematical inputs, enlargement cannot be necessary for such an arrangement to exist. This image does not capture the precise compatibility condition or what “balanced” means mathematically.

Why it matters

The result connects existence at enlarged weights with existence at the original weights, under an explicit lattice condition. The repository identifies it as resolving the type- $D$ part of the simply-laced saturation conjecture. Its scope is the family $Spin (2 n)$ for $n \geq 2$ .

2 · Going further

The precise setting is $G = Spin (2 n)$ with $n \geq 2$ . Let $λ, μ, ν$ be three dominant integral weights, and suppose that $λ + μ + ν$ belongs to the root lattice. Writing $V_{λ}$ for the representation with highest weight $λ$ , the manuscript shows that if $(V_{N λ} \otimes V_{N μ} \otimes V_{N ν})^{G} \neq = 0$ for some positive integer $N$ , then $(V_{λ} \otimes V_{μ} \otimes V_{ν})^{G} \neq = 0$ . Here the superscript $G$ denotes the vectors unchanged by every group action.

The repository calls this “saturation factor one”: once an invariant exists at a common positive integral dilation, no enlargement is needed to obtain an invariant at the original weights. It describes this as the type- $D$ part of the simply-laced saturation conjecture. The root-lattice condition is part of the statement, not an optional qualification.

The supplied abstract states the conclusion but gives no argument or construction, so the main idea of the argument cannot be explained from this source. Only the main manuscript is supplied; no companion manuscripts or relationships between them are described. The result is shown in the manuscript, but it is not formalized in Lean and has not been formally verified.

Useful notions

Groups and their linear actions
Representations and highest weights
Tensor products
Root lattices
Invariant vectors

What was known before / what is new

Before

The source places the problem within the simply-laced saturation conjecture and identifies the even spin group case with its type- $D$ part. It provides no account of earlier partial results, methods, or results for other types.

New

The manuscript shows saturation factor one for $Spin (2 n)$ , $n \geq 2$ , for triples of dominant integral weights whose sum lies in the root lattice. Under those hypotheses, a nonzero tensor invariant at any common positive integral dilation implies one at the original weights. The repository describes this as resolving the type- $D$ part of the conjecture.

Limits and assumptions

The statement applies to three dominant integral weights for $Spin (2 n)$ with $n \geq 2$ , assumes that their sum lies in the root lattice, and uses the same positive integer dilation for all three. The supplied source does not establish a conclusion without these hypotheses or describe the status of the other parts of the simply-laced conjecture. It also supplies no details of the argument. The main result is not formalized in Lean and has not been formally verified.

Mini glossary

Dominant integral weight: A weight satisfying the dominance and integrality conditions used to label the representations in the statement.
Root lattice: The lattice consisting of integer combinations of the roots of the group.
Tensor invariant: A vector in a tensor product of representations that is unchanged by every group action.
Common positive integral dilation: Multiplication of all three weights by the same positive integer.
Saturation factor one: The property that, under the stated hypotheses, existence of an invariant at a common positive integral dilation implies existence at the original weights.

Keywords : Even spin groups · Tensor invariants · Saturation

AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.

3 · Technical details and sources

Claim made in the manuscript (source text)

Proves saturation factor one for $Spin (2 n)$ , 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.

To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.

Manuscripts in this family

★

Tensor saturation for even spin groups

24/09/2026

To be verified

We prove the saturation conjecture for $Spin (2 n)$ , 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 GitHub folder