arXiv subjects
Publications and source records attributed to Leila Khatami.
We give a complete classification of the Jordan types occurring in the nilpotent commutator of a nilpotent matrix whose Jordan type is a hook partition. As a consequence, we also show that two partitions with the same generic commuting Jordan type need not commute with each other.
The authors here show that the partition $P_{k,l}(Q)$ in the table $\mathcal T(Q)$ of partitions having maximal nilpotent commutator a given stable partition $Q$, defined in [IKVZ2], is identical to the analogous partition $P_{k,l}^Q$ defined by the authors in [BIK] using the Burge correspondence.
An $n\times n$ nilpotent matrix $B$ is determined up to conjugacy by a partition $P_B$ of $n$, its Jordan type given by the sizes of its Jordan blocks. The Jordan type $\mathfrak D(P)$ of a nilpotent matrix in the dense orbit of the nilpotent commutator of a given nilpotent matrix of Jordan type $P$ is stable - has parts differing pairwise by at least two - and was determined by R. Basili. The second two authors, with B. Van Steirteghem and R. Zhao determined a rectangular table of partitions $\mathfrak D^{-1}(Q)$ having a given stable partition $Q$ as the Jordan type of its maximum nilpotent commutator. They proposed a box conjecture, that would generalize the answer to stable partitions $Q$ having $\ell$ parts: it was proven recently by J.~Irving, T. Ko\v{s}ir and M. Mastnak. Using this result and also some tropical calculations, the authors here determine equations defining the loci of each partition in $\mathfrak D^{-1}(Q)$, when $Q$ is stable with two parts. The equations for each locus form a complete intersection. The authors propose a conjecture generalizing their result to arbitrary stable $Q$.
In this paper, we survey the progress in the problem of finding the maximum commuting nilpotent orbit that intersects the centralizer of a given nilpotent matrix.
We let $A=R/I$ be a standard graded Artinian algebra quotient of $R={\sf k}[x,y]$, the polynomial ring in two variables over a field ${\sf k}$ by an ideal $I$, and let $n$ be its vector space dimension. The Jordan type $P_\ell$ of a linear form $\ell\in A_1$ is the partition of $n$ determining the Jordan block decomposition of the multiplication on $A$ by $\ell$ -- which is nilpotent. The first three authors previously determined which partitions of $n=\dim_{\sf k}A$ may occur as the Jordan type for some linear form $\ell$ on a graded complete intersection Artinian quotient $A=R/(f,g)$ of $R$, and they counted the number of such partitions for each complete intersection Hilbert function $T$ arXiv:1810.00716.\par We here consider the family $\mathrm{G}_T$ of graded Artinian quotients $A=R/I$ of $R={\sf k}[x,y]$, having arbitrary Hilbert function $H(A)=T$. The Jordan cell $\mathbb V(E_P)$ corresponding to a partition $P$ having diagonal lengths $T$ is comprised of all ideals $I$ in $R$ whose initial ideal is the monomial ideal $E_P$ determined by $P$. These cells give a decomposition of the variety $\mathrm{G}_T$ into affine spaces. We determine the generic number $κ(P)$ of generators for the ideals in each cell $\mathbb V(E_P)$, generalizing a result of arXiv:1810.00716. In particular, we determine those partitions for which $κ(P)=κ(T)$, the generic number of generators for an ideal defining an algebra $A$ in $\mathrm{G}_T$. We also count the number of partitions $P$ of diagonal lengths $T$ having a given $κ(P)$. A main tool is a combinatorial and geometric result allowing us to split $T$ and any partition $P$ of diagonal lengths $T$ into simpler $T_i$ and partitions $P_i$, such that $\mathbb V(E_P)$ is the product of the cells $\mathbb V(E_{P_i})$, and $T_i$ is single-block: $\mathrm{G}_{T_i}$ is a Grassmannian.
We determine every Jordan type partition that occurs as the Jordan block decomposition for the multiplication map by a linear form in a height two homogeneous complete intersection (CI) Artinian algebra $A$ over an algebraically closed field $\sf k$ of characteristic zero or large enough. We show that these CI Jordan type partitions are those satisfying specific numerical conditions; also, given the Hilbert function $H(A)$, they are completely determined by which higher Hessians of $A$ vanish at the point corresponding to the linear form. We also show new combinatorial results about such partitions, and in particular we give ways to construct them from a branch label or hook code, showing how branches are attached to a fundamental triangle to form the Ferrers graph.
The Jordan type of a nilpotent matrix is the partition giving the sizes of its Jordan blocks. We study pairs of partitions $(P,Q)$, where $Q={\mathcal Q}(P)$ is the Jordan type of a generic nilpotent matrix A commuting with a nilpotent matrix B of Jordan type $ P$. T. Košir and P. Oblak have shown that $Q$ has parts that differ pairwise by at least two. Such partitions, which are also known as "super distinct" or "Rogers-Ramanujan", are exactly those that are stable or "self-large" in the sense that ${\mathcal Q}(Q)=Q$. In 2012 P. Oblak formulated a conjecture concerning the cardinality of the set of partitions $P$ such that ${\mathcal Q}(P)$ is a given stable partition $ Q$ with two parts, and proved some special cases. R. Zhao refined this to posit that those partitions $P$ such that ${\mathcal Q}(P)= Q=(u,u-r)$ with $u>r\ge 2$ could be arranged in an $(r-1)$ by $(u-r)$ table ${\mathcal T}(Q)$ where the entry in the $k$-th row and $\ell$-th column has $k+\ell$ parts. We prove this Table Theorem, and then generalize the statement to propose a Box Conjecture for the set of partitions $P$ for which ${\mathcal Q}(P)=Q$, for an arbitrary stable partition $Q$.
Let $k$ be an infinite field. Fix a Jordan nilpotent $n$ by $n$ matrix $B = J_P$ with entries in $k$ and associated Jordan type $P$. Let $Q(P)$ be the Jordan type of a generic nilpotent matrix commuting with $B$. In this paper, we use the combinatorics of a poset associated to the partition $P$, to give an explicit formula for the smallest part of $Q(P)$, which is independent of the characteristic of $k$. This, in particular, leads to a complete description of $Q(P)$ when it has at most three parts.
Let $B$ be an $n \times n$ nilpotent matrix with entries in an infinite field $\k$. Assume that $B$ is in Jordan canonical form with the associated Jordan block partition $P$. In this paper, we study a poset $\mathcal{D}_P$ associated to the nilpotent commutator of $B$ and a certain partition of $n$, denoted by $λ_U(P)$, defined in terms of the lengths of unions of special chains in $\mathcal{D}_P$. Polona Oblak associated to a given partition $P$ another partition $Ob(P)$ resulting from a recursive process. She conjectured that $Ob(P)$ is the same as the Jordan partition $Q(P)$ of a generic element of the nilpotent commutator of $B$. Roberta Basili, Anthony Iarrobino and the author later generalized the process introduced by Oblak. In this paper we show that all such processes result in the partition $λ_U(P)$.
It is well-known that a nilpotent n by n matrix B is determined up to conjugacy by a partition of n formed by the sizes of the Jordan blocks of B. We call this partition the Jordan type of B. We obtain partial results on the following problem: for any partition P of n describe the type Q(P) of a generic nilpotent matrix commuting with a given nilpotent matrix of type P. A conjectural description for Q(P) was given by P. Oblak and restated by L. Khatami. In this paper we prove "half" of this conjecture by showing that this conjectural type is less than or equal to Q(P) in the dominance order on partitions.
The Chouinard's formula for injective dimension is extended to the Gorenstein injective dimension.
A generalization of Grothendieck's non-vanishing theorem is proved for a module which is finite over a local homomorphism. It is also proved that the Gorenstein injective dimension of such a module, if finite, is bounded below by its Krull dimension and is equal to the supremum of the depths of the localizations of the ring over primes in the support of the module.
Let $(R,\frak m, k)$ be a noetherian local ring. It is well-known that $R$ is regular if and only if the injective dimension of $k$ is finite. In this paper it is shown that $R$ is Gorenstein if and only if the Gorenstein injective dimension of $k$ is finite. On the other hand a generalized version of the so-called Bass formula is proved for finitely generated modules of finite Gorenstein injective dimension. It also improves Christensen's generalized Bass formula (cf. "Gorenstein dimensions", volume 1747 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 2000).
The so-called 'change-of-ring' results are well-known expressions which present several connections between projective, injective and flat dimensions over the various base rings. In this note we extend these results to the Gorenstein dimensions over Cohen-Macaulay local rings.
Let $(R,\fm)$ be a commutative Noetherian local ring. Suppose that $M$ and $N$ are finitely generated modules over $R$ such that $M$ has finite projective dimension and such that $\Tor^R_i(M,N)=0$ for all $i>0$. The main result of this note gives a condition on $M$ which is necessary and sufficient for the tensor product of $M$ and $N$ to be a Cohen--Macaulay module over $R$, provided $N$ is itself a Cohen--Macaulay module.