Automorphism Groups of Kausz Compactifications

• Generalized Kausz compactifications are moduli spaces constructed via canonical blow-ups on Grassmannians, providing explicit control over automorphism and Picard groups.
• The construction employs blow-ups along loci determined by vanishing Plücker coordinates, yielding boundary divisors in simple normal crossings configuration.
• Automorphism group classification uncovers key symmetries, including USD and DUAL involutions, linking classical group actions with modern moduli theory.

Generalized Kausz compactifications, denoted $\mathcal T_{s,p,n}$, are moduli-theoretic compactifications constructed from the Grassmannian and equipped with natural boundary divisors arising via canonical blow-up procedures. The automorphism groups of these varieties, and of related spaces of complete collineations, reveal deep connections between linear algebraic group actions, the geometry of Grassmannians, and intersection theory on spherical varieties. The theory extends classical constructions, like the wonderful compactification of $GL_p$, and offers explicit control over automorphism groups, Picard groups, and anticanonical divisor positivity properties, providing a uniform geometric framework across a broad class of parameters $(s,p,n)$ (Fang, 6 Jan 2026). All work assumes an algebraically closed field $\mathbb K$ of characteristic zero.

1. Construction of $\mathcal T_{s,p,n}$

Let $E$ be an $n$-dimensional vector space over $\mathbb K$, with a direct sum splitting $E = E_1 \oplus E_2$, $\dim E_1 = s$, $GL_p$0. The Grassmannian $GL_p$1 of $GL_p$2-planes in $GL_p$3 admits a Plücker-type embedding into $GL_p$4. The exterior power decomposes as

$GL_p$5

yielding a rational map

$GL_p$6

The generalized Kausz compactification is defined as the Zariski closure of the graph of this map: $GL_p$7 Alternatively, $GL_p$8 is obtained by a canonical sequence of blow-ups at explicitly determined loci

$GL_p$9

Blowing up $(s,p,n)$0 along $(s,p,n)$1, then the strict transform of $(s,p,n)$2, and so forth up to $(s,p,n)$3 yields a variety isomorphic to $(s,p,n)$4; the construction is independent of the order of the $(s,p,n)$5.

The boundary consists of $(s,p,n)$6 smooth prime divisors, denoted $(s,p,n)$7, in simple normal crossings configuration. The Picard group is freely generated by the pullback $(s,p,n)$8 of the hyperplane class on $(s,p,n)$9 and these boundary divisors, except in certain low-rank cases. The effective cone is spanned by the $\mathbb K$0 boundary divisors and a small number of strict transforms $\mathbb K$1 of the $\mathbb K$2 ("B-stable" divisors).

2. Classification of Automorphism Groups of $\mathbb K$3

The natural group $\mathbb K$4 acts equivariantly on $\mathbb K$5 via its canonical linear action on $\mathbb K$6 and the submodules $\mathbb K$7. The automorphism group classification, established in Theorem 1.7, is as follows:

Parameter regime	Automorphism group	Notable symmetry/involution
$\mathbb K$8	$\mathbb K$9	None
$\mathcal T_{s,p,n}$0	$\mathcal T_{s,p,n}$1	USD: exchange $\mathcal T_{s,p,n}$2
$\mathcal T_{s,p,n}$3	$\mathcal T_{s,p,n}$4	DUAL: Grassmann duality
$\mathcal T_{s,p,n}$5	$\mathcal T_{s,p,n}$6	Both USD and DUAL
Low-rank degenerate cases	Classical projective/parabolic automorphism groups	Degenerate phenomena

Here, $\mathcal T_{s,p,n}$7 denotes the center appropriate to the context (typically the scalar matrices in $\mathcal T_{s,p,n}$8), and the USD and DUAL involutions arise respectively from summand exchange and Grassmann duality isomorphisms.

3. Proof Methodology and (Semi-)Positivity of the Anticanonical Bundle

The proof utilizes three main ingredients:

1. Action on the Picard group: Since automorphisms must permute the finite set of boundary divisors and B-stable divisors, and the Picard group is generated by these along with $\mathcal T_{s,p,n}$9, only involutions corresponding to USD and DUAL manifest as genuine automorphisms affecting Pic$E$0 nontrivially.
2. Descent to $E$1: Any automorphism fixing $E$2 and acting compatibly with the boundary stratification must descend to an automorphism of $E$3. The automorphism groups of $E$4 are classical: $E$5 for $E$6 and $E$7 for $E$8 (incorporating Grassmann duality).
3. Intersection-theoretic positivity: Intersection numbers with $E$9-invariant curves (parametrized via Mille–Crêpes charts) show that $n$0 is nef and big, with ampleness only for $n$1. Brion's theory of spherical varieties ensures that the cone of effective cycles is generated by the $n$2-orbit closures, which suffices to establish the minimality of the automorphism group beyond the expected involutions.

4. Automorphism Groups of Spaces of Complete Collineations $n$3

The related moduli space $n$4, referred to as the space of complete collineations, is constructed as the projection of $n$5: $n$6 Equivalently, it is the blow-down of $n$7 in $n$8, or can be realized as an iterated blow-up of $n$9, yielding a compactification of the space of rank-$\mathbb K$0 linear maps $\mathbb K$1.

The same group $\mathbb K$2 acts on $\mathbb K$3, and intersection-theoretic calculations show that $\mathbb K$4 is ample (unlike $\mathbb K$5, which is only nef for $\mathbb K$6). The automorphism group admits a parallel description, with $\mathbb K$7 replaced by $\mathbb K$8:

• If $\mathbb K$9, $E = E_1 \oplus E_2$0.
• If $E = E_1 \oplus E_2$1, a USD involution is present.
• If $E = E_1 \oplus E_2$2, a DUAL involution is present.
• If $E = E_1 \oplus E_2$3, both involutions occur.

5. Corollaries and Explicit Examples

Several special cases of the construction recover notable classical geometries:

• For $E = E_1 \oplus E_2$4, $E = E_1 \oplus E_2$5 and $E = E_1 \oplus E_2$6 recover the classical Kausz compactification of $E = E_1 \oplus E_2$7, and the boundary exceptional divisors encode the wonderful compactification structure; both USD and DUAL involutions are present, giving up to $E = E_1 \oplus E_2$8 extra automorphism factors.
• For $E = E_1 \oplus E_2$9 or $\dim E_1 = s$0, $\dim E_1 = s$1 or $\dim E_1 = s$2, and the automorphism group is $\dim E_1 = s$3 as expected.
• For $\dim E_1 = s$4, $\dim E_1 = s$5, the involution exchanges the two Grassmann factors $\dim E_1 = s$6.
• For $\dim E_1 = s$7 or $\dim E_1 = s$8 (rank of the construction), the anticanonical bundle is ample, therefore both $\dim E_1 = s$9 and $GL_p$00 are Fano.
• The Picard group in all cases has the basis $GL_p$01 (with only the appropriate combinations surviving to $GL_p$02 after blow-down).

6. Significance and Structural Uniformity

These results establish the extent to which wonderful-type compactifications and their automorphism groups can be extended from the linear group setting to moduli spaces with more general block structures. The explicit blow-up constructions from $GL_p$03, in conjunction with combinatorial (via Mille–Crêpes charts) and intersection-theoretic methods, yield a comprehensive and highly uniform description of automorphism groups and Picard groups for the entire family of generalized Kausz and complete collineation compactifications, with degeneracies arising only in tractable, low-dimensional scenarios (Fang, 6 Jan 2026).