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.

Invariant subspace problem in Hilbert space: Correlation with the Kadison-Singer problem and the Borel conjecture

Invariant Subspace Problem in Hilbert Spaces: Exploring Applications in Quantum Mechanics, Control Theory, Operator Algebras, Functional Analysis and Accelerator Physics

On the Invariant Subspace Problem via Universal Toeplitz Operators on the Hardy Space Over the Bidisk

Beurling and Model subspaces invariant under a universal operator

A Note on the Invariant Subspace Problem

On the coincidence of the Hausdorff and box dimensions for some affine-invariant sets

On Invariant Subspaces of Subdecomposable Operators

On some special subspaces of a Banach space, from the perspective of best coapproximation

Stability relations for Hilbert space operators and a problem of Kaplansky

A Proof of the Invariant Subspace Conjecture for Separable Hilbert Spaces

Invariant kernels on the space of complex covariance matrices

On the invariant subspace problem via universal Toeplitz operators on the Hardy space $H^{2}(\mathbb{D}^{2})$

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

The Hyperinvarinat Subspace Problem

Invariant Subspaces in the Dual of $A_{cb}(G)$ and $A_M(G)$

Similarity of C1 : Operators and the Hyperinvariant Subspace Problem

On Invariant subspace for hyponormal operators

Isomorphic inverse problems

Deciding subspace reachability problems with application to Skolem's Problem

A note on a Halmos problem