Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generated
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Explicit affine D and E flag families give exponentially many indecomposables

Statement

Let Q have underlying graph an affine tree of type D~n (n≥4), E~6, E~7 or E~8, with any orientation, over k=Fq. Let δ be its primitive positive null vector. There are constants c>0,m0 such that for every m≥m0 the category has at least cqm/m pairwise nonisomorphic indecomposable representations of dimension mδ. All its representations are nilpotent, since the underlying graph is a tree. The construction uses only partial flags, finite-field descent and source/sink reflection, not a classification of arbitrary quiver indecomposables.

For D~, δ has value 2 along the central chain and 1 on its four outer leaves. For E~, use the star with arm types (p,q,r)=(3,3,3),(2,4,4),(2,3,6), respectively. The central value is N=3,4,6, and the arm values, from the outside inward, are N/s,2N/s,…,(s−1)N/s for an arm of type s.

Facts & Assumptions

Given: A finite field and an oriented affine D or E tree, with the stated dimension vectors. Assume the inherited Axiom of Choice.

[F1]

A Frobenius-stable family of geometric Schur classes of dimension δ whose mth fixed set has cardinality comparable to qm yields at least cqm/m indecomposables of dimension mδ (Finite-field descent and restriction of Schur quiver representations).

[F2]

The kernel/cokernel reflection construction and inverse exact subcategories clause of Reflection classifies finite-Dynkin quiver indecomposables over a finite field applies to every finite acyclic quiver, not only finite Dynkin type. They preserve endomorphism rings and commute with field extension whenever the object is not the reflected simple.

[F3]

Every two orientations of a finite tree are connected by source/sink firings; clause (1) of Coxeter elements of tree type are conjugate by source and sink firings has this scope without a finite-type hypothesis.

[F4]

Grassmannians have standard affine graph charts and dimension r(n−r); iterating these gives partial-flag charts (Standard affine charts on the Grassmannian, The Grassmannian is smooth, irreducible, and has dimension r(n-r)). The finite general linear group has order ∏j=0N−1(QN−Qj) over FQ: choose its ordered basis columns successively outside the span of the preceding columns.

Proof

1.1F4givenalgebra

For affine D, choose all arrows at the outer leaves pointing toward the central chain and choose any orientation of its edges. Take the chain spaces to have dimension 2 and their maps to be isomorphisms; identify them along the chain. The four nonzero leaf maps then specify four lines in a common 2-space. Isomorphisms of such representations are exactly common GL⁡2 transports of the four lines, and their endomorphisms are exactly linear maps preserving all four lines. Three distinct lines force that endomorphism to be scalar: preserving two lines diagonalizes it and preserving a third with both coordinates nonzero equates the diagonal entries. Such configurations exist over an algebraic closure in every characteristic. Their variety F=(P1)4 is irreducible of dimension 4=22. The stated vector is a null vector: each leaf equation is 2⋅1−2=0, each interior chain equation is 2⋅2−2−2=0, and each end branch has 2⋅2−2−1−1=0; the one-vertex chain has four leaves and the same equality. It is primitive because it has entries 1.

1.2F4algebra

For affine E, orient all arms toward the center and take every arm map injective. Such representations modulo changes of bases on the arms are triples of flags in the central N-space, with steps N/s,…,(s−1)N/s. Endomorphisms are exactly central endomorphisms preserving these flags, since an arm endomorphism is their unique restriction. The product flag variety F is irreducible. The dimension of the flag for s equal blocks of size N/s is ∑i<j(N/s)2=N2(s−1)/(2s) by its successive graph charts. Thus dim⁡F=N2, because 1/p+1/q+1/r=1. Each internal null-vector equation is a second difference of this arithmetic progression; at the center it is 2N−N∑s(s−1)/s=0. The vectors have entries with greatest common divisor 1, proving that they are the primitive positive null vectors.

2.1F4step 1.2algebra

For E6 choose two opposite full flags in dimension 3. Their common endomorphisms are diagonal. Choose the first line of the third full flag to be spanned by (1,1,1) and extend it to any full flag. A diagonal endomorphism preserving this line has equal entries, so the common endomorphism algebra is scalar. For E7 choose two opposite full flags in dimension 4. Choose the third, two-dimensional subspace to be spanned by u=(1,1,1,1) and v=(λ1,λ2,λ3,λ4) with four distinct λi over the algebraic closure. If a diagonal matrix preserves this plane, its diagonal entries are a+bλi, while preservation of v says bλi2+(a−d)λi−c=0 for all four distinct λi. A quadratic polynomial cannot have four distinct roots unless zero, so b=c=0 and d=a. The matrix is scalar. These arguments hold in every characteristic.

3.1F4step 2.1algebra

For E8, choose a full flag in a 6-space grouped into three consecutive pairs, and the opposite partial flag consisting of the last pair and last two pairs. An endomorphism preserving both is block diagonal with three upper triangular 2-by-2 blocks: the full flag makes it upper triangular and the opposite partial flag eliminates the off-block entries. Choose three full flags ℓi⊂Pi in a 3-space whose common endomorphisms are scalar, as in step 2.1. Map this space into ⨁i=13(k3/ℓi) by its three quotient maps; it is injective because the three lines have zero intersection. Identify the first coordinate line in each two-dimensional quotient with Pi/ℓi. Use the image as the remaining three-dimensional subspace in the 6-space. If the three upper triangular blocks preserve this image, they induce a common endomorphism C of k3; the quotient identities force C to preserve every ℓi and Pi. Hence C is scalar by step 2.1, and surjectivity of the quotient maps forces each block to be that same scalar. Thus E8 also has a configuration with scalar endomorphism algebra in every characteristic.

4.1F1F4step 1.1step 1.2step 2.1step 3.1algebra

For each of these product flag varieties F, let Fs be the locus of scalar endomorphism algebra. It is nonempty by steps 1.1, 2.1 and 3.1 and open: preservation of the flags is a finite linear system in the N2 matrix entries; its kernel always contains the scalars, and has dimension 1 exactly when some (N2−1)-minor is nonzero. Every product flag variety has an affine big cell of dimension N2 over k. Its intersection with Fs is nonempty by irreducibility, so on that cell one such minor is a nonzero polynomial over k of fixed degree. A nonzero degree-D polynomial in d variables has at most DQd−1 zeros over FQ, by induction on variables and the one-variable root bound. Therefore ∣Fs(FQ)∣≥c1QN2 for large Q. The full flag counts, or a finite cover by the standard cells [F4], give ∣F(FQ)∣≤c2QN2. Every orbit in Fs(FQ) has cardinality ∣GL⁡N(FQ)∣/(Q−1), because its endomorphisms are exactly the scalars. By [F4] that orbit cardinality is bounded above and below by fixed positive constants times QN2−1. Hence its number of rational orbits is bounded above and below by fixed positive constants times Q.

5.1F1step 4.1algebra

Let S be the geometric Schur classes of the representations just constructed, with the injection/isomorphism conditions on the arrows. These conditions are invariant under Frobenius and base extension. The finite-field descent lemma [F1] shows that Frobenius-fixed classes have rational models; all these rank conditions hold on that model because they hold after scalar extension. Two rational models in one geometric Schur class are rationally isomorphic by the same lemma. After normalizing the chain isomorphisms and forgetting the arm bases, their classes are precisely the rational flag orbits counted in step 4.1. Thus the fixed-class numbers are comparable to qm, and [F1] gives the claimed exponential lower bound for the chosen orientations.

6.1F1F2F3step 1.1step 1.2step 5.1algebra∎

For an arbitrary orientation of the same tree, use a finite sequence of source/sink firings from [F3]. The null-vector equations checked in steps 1.1–1.2 imply siδ=δ at every vertex. A δ-dimensional indecomposable is never a vertex simple. The reflection equivalences [F2] therefore give bijections of Schur classes of dimension δ through the whole firing sequence. They commute with extension and Frobenius and hence preserve all fixed-class counts and exact Frobenius orbit lengths. Apply [F1] again to get the bound in the target orientation. Every path of length at least the number of vertices in a tree orientation is zero, so all constructed representations are nilpotent. This completes the full orientation and category assertions.

Depends on

Used by

Dependency tree · two levels

26 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources