Showing 1–14 of 14 results for author: Khatami, L

Identifying Partitions with maximum commuting orbit $Q=(u,u-r)$

Authors: Mats Boij, Anthony Iarrobino, Leila Khatami

Abstract: 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. 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. △ Less

Submitted 27 November, 2024; originally announced November 2024.

Comments: 15 pages, 3 figures, Overlap with arXiv 2409.13553 (this is [BIK]) section 2, Notations and Background, in order for this note to be self contained

MSC Class: 15A27 (Primary) 05A17; 13E10; 14A05; 15A20 (Secondary)

Jordan Type stratification of spaces of commuting nilpotent matrices

Authors: Mats Boij, Anthony Iarrobino, Leila Khatami

Abstract: 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 sec… ▽ More 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š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$. △ Less

Submitted 28 January, 2025; v1 submitted 20 September, 2024; originally announced September 2024.

MSC Class: Primary: 15A27; Secondary: 05A17; 13E10; 14A05; 15A20

Commuting Jordan Types: a Survey

Authors: Leila Khatami

Abstract: 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. 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. △ Less

Submitted 17 April, 2023; originally announced April 2023.

Comments: 17 Pages, 4 Figures

MSC Class: 15A27; 05E40; 06A11; 13E10; 15A21

Number of generators of ideals in Jordan cells of the family of graded Artinian algebras of height two

Authors: Nasrin Altafi, Anthony Iarrobino, Leila Khatami, Joachim Yaméogo

Abstract: 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 th… ▽ More 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. △ Less

Submitted 21 November, 2022; v1 submitted 21 June, 2020; originally announced June 2020.

Comments: 53 pages, 20 figures, new title, and revised for clarity

MSC Class: 13E10 (Primary) 05A17; 05E40; 13D40; 14C05 (Secondary)

Complete intersection Jordan types in height two

Authors: Nasrin Altafi, Anthony Iarrobino, Leila Khatami

Abstract: 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 t… ▽ More 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. △ Less

Submitted 6 June, 2020; v1 submitted 1 October, 2018; originally announced October 2018.

Comments: 54 pages, 19 figures

MSC Class: 13E10 (Primary) 05A17; 05E40; 13D40; 13H10; 14C05 (Secondary)

Journal ref: J. Algebra 557 (2020), 224--277

Nilpotent matrices having a given Jordan type as maximum commuting nilpotent orbit

Authors: Anthony Iarrobino, Leila Khatami, Bart Van Steirteghem, Rui Zhao

Abstract: 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 "su… ▽ More 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$. △ Less

Submitted 13 March, 2018; v1 submitted 7 September, 2014; originally announced September 2014.

Comments: v1: 48 pages, 8 figures ; v2: 61 pages, 7 figures, colors used in tables, improved exposition, details added to some proofs; v3: 48 pages, shortened for submission, then extensively revised for clarity/corrected after substantial referee comments

MSC Class: 15A27 (Primary); 05E40 (Secondary); 13E10; 15A21

Journal ref: Linear Algebra and its Applications, 546 (2018) 210-260

The smallest part of the generic partition of the nilpotent commutator of a nilpotent matrix

Authors: Leila Khatami

Abstract: 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… ▽ More 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. △ Less

Submitted 22 February, 2013; originally announced February 2013.

Comments: This paper is a much revised and extended version of results and proofs outlined in the last two sections of a preprint circulated early in 2012. (See arXiv:1202.6089v1.)

MSC Class: 05E40; 06A11; 14L30; 15A21

Bound on the Jordan type of a generic nilpotent matrix commuting with a given matrix

Authors: Anthony Iarrobino, Leila Khatami

Abstract: 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 f… ▽ More 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. △ Less

Submitted 19 November, 2012; v1 submitted 20 April, 2012; originally announced April 2012.

Comments: 43 pages, 3 figures. Revised after referee comments. Role of characteristic of k is clarified

MSC Class: 05E15 (primary); 14L30; 05E10; 06A11; 15A30; 16S50 (secondary)

Journal ref: J. Algebraic Combinatorics, Vol 38 (2013) \#4, p. 947--972

The poset of the nilpotent commutator of a nilpotent matrix

Authors: Leila Khatami

Abstract: 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… ▽ More 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)$. △ Less

Submitted 20 December, 2012; v1 submitted 27 February, 2012; originally announced February 2012.

Comments: This revised version includes the results in the first two sections of the version submitted earlier in February 2012; more results are added and some proofs are refined. The results in Chapter 3 of the previous version are included in an extended independent paper

MSC Class: 05E40; 06A11; 14L30; 15A21

Local cohomology and Gorenstein injective dimension over local homomorphisms

Authors: Leila Khatami, Massoud Tousi, Siamak Yassemi

Abstract: 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. 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. △ Less

Submitted 22 May, 2006; originally announced May 2006.

MSC Class: 13D05; 13D45; 14B15

A Note On Gorenstein Injective Dimension

Authors: Leila Khatami

Abstract: The Chouinard's formula for injective dimension is extended to the Gorenstein injective dimension. The Chouinard's formula for injective dimension is extended to the Gorenstein injective dimension. △ Less

Submitted 22 May, 2006; originally announced May 2006.

MSC Class: 13D05

Gorenstein injective dimension, Bass formula and Gorenstein rings

Authors: Leila Khatami, Siamak Yassemi

Abstract: 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 inject… ▽ More 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). △ Less

Submitted 1 June, 2004; v1 submitted 31 December, 2003; originally announced December 2003.

Comments: 13 pages, Main theorem in section 3 generalized, with new corollaries

MSC Class: 13D05; 13H10

Gorenstein Dimensions under Base Change

Authors: Leila Khatami, Siamak Yassemi

Abstract: 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. 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. △ Less

Submitted 18 November, 2002; v1 submitted 7 October, 2002; originally announced October 2002.

Comments: 27 pages

MSC Class: 13D05; 13D25

Cohen--Macaulayness of tensor products

Authors: Leila Khatami, Siamak Yassemi

Abstract: 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 its… ▽ More 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. △ Less

Submitted 24 September, 2002; originally announced September 2002.

Comments: 10 pages

MSC Class: 13C14; 13D45; 13H10