Abstract:We consider the category $\mathcal S(n)$ of all pairs $X = (U,V)$, where $V$ is a finite-dimensional vector space with a nilpotent operator $T$ with $T^n = 0$, and $U$ is a subspace of $V$ such that $T(U) \subseteq U$. Our main interest in an object $X=(U,V)$ are the three numbers $uX=\dim U$ (for the subspace), $wX=\dim V/U$ (for the factor) and $bX=\dim {\rm Ker} T$ (for the operator). Actually, instead of looking at the reference space $\Bbb R^3$ with the triples $(uX,wX,bX)$, we will focus the attention to the corresponding projective space $\Bbb T(n)$ which contains for a non-zero object $X$ the level-colevel pair {\bf pr}$X = (uX/bX,wX/bX)$ supporting the object $X$. We use $\Bbb T(n)$ to visualize part of the categorical structure of $\mathcal S(n)$: The action of the duality $D$ and the square $\tau_n^2$ of the Auslander-Reiten translation are represented on $\Bbb T(n)$ by a reflection and a rotation by $120^\circ$ degrees, respectively. Moreover for $n\geq 6$, each component of the Auslander-Reiten quiver of $\mathcal S(n)$ has support either contained in the center of $\Bbb T(n)$ or with the center as its only accumulation point. We show that the only indecomposable objects $X$ in $\mathcal S(n)$ with support having boundary distance smaller than 1 are objects with $bX=1$ which lie on the boundary, whereas any rational vector in $\Bbb T(n)$ with boundary distance at least 2 supports infinitely many indecomposable objects. At present, it is not clear at all what happens for vectors with boundary distance between 1 and 2. The use of $\Bbb T(n)$ provides even in the (quite well-understood) case $n = 6$ some surprises: In particular, we will show that any indecomposable object in $\mathcal S(6)$ lies on one of 12 central lines in $\Bbb T(6)$. The paper is essentially self-contained, all prerequisites which are needed are outlined in detail.

On an Efficient Induction Step with Nklt(X,D) — Notes to Todorov

On Explicit Birational Geometry for Minimal N$n$‐folds of Canonical Dimension N−1$n-1$

On the Iitaka volumes of log canonical surfaces and threefolds

On Explicit Birational Geometry for Minimal N-Folds of Canonical Dimension N-1

The projective space has maximal volume among all toric Kähler-Einstein manifolds

Three approaches to a categorical Torelli theorem for cubic threefolds of non-Eckardt type via the equivariant Kuznetsov components

Complex Projective 3-Fold with Non-Negative Canonical Euler-Poincare Characteristic

K3 surfaces with two involutions and low Picard number

Generalized Nonvanishing Conjecture and Iitaka Conjecture

Explicit Birational Geometry of 3-Folds and 4-Folds of General Type, III

Equivariant embedding theorems and topological index maps

Invariant Subspaces of Nilpotent Operators. Level, Mean, and Colevel: The Triangle $\Bbb T(n)$

Categorical and K-theoretic Donaldson-Thomas theory of $\mathbb{C}^3$ (part I)

Tautological Hilbert scheme invariants of Calabi-Yau 4-folds via virtual pullback

Intersection theory and volumes of moduli spaces of flat metrics on the sphere (with an appendix by Vincent Koziarz and Duc-Manh Nguyen)

Invariant Stability Conditions on Certain Calabi-Yau Threefolds

On projective varieties of general type with many global k-forms

Equivariant K-theory and refined Vafa-Witten invariants

Toric wedge induction and toric lifting property for piecewise linear spheres with a few vertices

The Incidence Variety Compactification of strata of d-differentials in genus 0

The Nonvanishing problem for varieties with nef anticanonical bundle