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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to conduct an in - depth study of the properties of indecomposable objects in a specific mathematical structure, namely in the category \(S(n)\) of finite - dimensional vector spaces with nilpotent operators and their invariant subspaces. Specifically, the paper focuses on the distribution of these indecomposable objects in the category \(S(n)\), especially their positions and supports in the \(T(n)\) triangle. \(T(n)\) is a triangle composed of vectors \((p, r)\), where \(p\) and \(r\) represent the level \(p_X\) and co - level \(r_X\) of the object \(X\) respectively, which are defined as follows:
\[p_X=\frac{|U|}{b_V}, \quad q_X = \frac{|V|}{b_V}, \quad r_X=\frac{|V/U|}{b_V}\]
Here, \(|U|\) and \(|V|\) represent the dimensions of the subspace \(U\) and the global space \(V\) respectively, and \(b_V\) represents the dimension of the kernel of the operator \(T\), that is, the number of Jordan blocks of \(T\).
The main objectives of the paper include:
1. **Classifying indecomposable objects**: By introducing the \(T(n)\) triangle, the paper aims to classify the indecomposable objects in \(S(n)\) and study the positions and supports of these objects in \(T(n)\).
2. **Studying symmetries**: The paper explores the symmetries of the category \(S(n)\), especially duality and rotational symmetry. Duality is defined by \(D\), and rotational symmetry is defined by \(\tau^2\), where \(\tau\) is the Auslander - Reiten translation.
3. **Boundary distance analysis**: The paper introduces the concept of boundary distance, defined as \(d(p, r)=\min\{p, r, n - p - r\}\), and studies the properties of objects with different boundary distances.
4. **Research on special objects**: The paper pays special attention to some special objects, such as picket (objects with a width of 1) and bipicket (objects with a width of 2), and explores their positions and supports in \(T(n)\).
5. **Support of the central line**: The paper also studies the objects on the central line, especially in the case of \(n = 6\), all indecomposable objects are located on 12 central lines.
Through these studies, the paper provides a systematic method to understand the structure and distribution of indecomposable objects in the category \(S(n)\), thus providing a basis for more in - depth mathematical research.