Unmixed and sequentially Cohen-Macaulay skew tableau ideals

Do Trong Hoang,Thanh Vu

2024-10-28

Abstract:We associate a {\it skew tableau ideal} to each filling of a skew Ferrers diagram with positive integers. We classify all unmixed and sequentially Cohen-Macaulay skew tableau ideals. Consequently, we classify all Cohen-Macaulay, Buchsbaum, and generalized Cohen-Macaulay skew tableau ideals.

Commutative Algebra

What problem does this paper attempt to address?

Cohen–Macaulay binomial edge ideals in terms of blocks with whiskers

Kamalesh Saha,Indranath Sengupta

DOI: https://doi.org/10.1142/s0219498825502949

2024-06-19

Journal of Algebra and Its Applications

Abstract:Journal of Algebra and Its Applications, Ahead of Print. For a graph [math] and the binomial edge ideal [math] of [math], Bolognini et al. have proved the following: [math] is strongly unmixed [math][math] is Cohen–Macaulay [math][math] is accessible. Moreover, they have conjectured that the converse of these implications is true. Accessible and strongly unmixed properties are purely combinatorial. We give some motivations to focus only on blocks with whiskers for the characterization of all [math] with Cohen–Macaulay [math]. We show that accessible and strongly unmixed properties of [math] depend only on the corresponding properties of its blocks with whiskers and vice versa. We give a new family of graphs whose binomial edge ideals are Cohen–Macaulay, and from that family, we classify all [math]-regular [math]-connected graphs, with the property that, after attaching some special whiskers to it, the binomial edge ideals become Cohen–Macaulay. To prove the Cohen–Macaulay conjecture, it is enough to show that every non-complete accessible graph [math] has a cut vertex [math] such that [math] is accessible. We show that any non-complete accessible graph [math] having at most three cut vertices has a cut vertex [math] for which [math] is accessible.

mathematics, applied
Monomial ideals whose all matching powers are Cohen-Macaulay

Antonino Ficarra,Somayeh Moradi

2024-10-02

Abstract:In the present paper, we aim to classify monomial ideals whose all matching powers are Cohen-Macaulay. We especially focus our attention on edge ideals. The Cohen-Macaulayness of the last matching power of an edge ideal is characterized, providing an algebraic analogue of the famous Tutte theorem regarding graphs having a perfect matching. For chordal graphs, very well-covered graphs and Cameron-Walker graphs, we completely solve our problem.

Commutative Algebra,Combinatorics
Depth and regularity of tableau ideals

Do Trong Hoang,Thanh Vu

2023-11-14

Abstract:We compute the depth and regularity of ideals associated with arbitrary fillings of positive integers to a Young diagram, called the tableau ideals.

Commutative Algebra,Combinatorics
Sequentially Cohen-Macaulay binomial edge ideals

Ernesto Lax,Giancarlo Rinaldo,Francesco Romeo

2024-07-10

Abstract:We prove that cycles, wheels and block graphs have sequentially Cohen-Macaulay binomial edge ideals. Moreover, we provide a construction of new families of sequentially Cohen-Macaulay graphs by cones.

Commutative Algebra,Combinatorics
The skew immaculate Hecke poset and 0-Hecke modules

Nadia Lafrenière,Rosa Orellana,Anna Pun,Sheila Sundaram,Stephanie van Willigenburg,Tamsen Whitehead McGinley

2024-09-01

Abstract:The immaculate Hecke poset was introduced and investigated by Niese, Sundaram, van Willigenburg, Vega and Wang, who established the full poset structure, and determined modules for the 0-Hecke algebra action on immaculate and row-strict immaculate tableaux. In this paper, we extend their results by introducing the skew immaculate Hecke poset. We investigate the poset structure, and construct modules for the 0-Hecke algebra action on skew immaculate and skew row-strict immaculate tableaux, thus showing that the skew immaculate Hecke poset captures representation-theoretic information analogous to the immaculate Hecke poset. We also describe branching rules for the resulting skew modules.

Representation Theory,Combinatorics
Some Cohen-Macaulay and unmixed binomial edge ideals

Dariush Kiani,Sara Saeedi Madani

DOI: https://doi.org/10.48550/arXiv.1506.01362

2015-06-04

Abstract:We study unmixed and Cohen-Macaulay properties of the binomial edge ideal of some classes of graphs. We compute the depth of the binomial edge ideal of a generalized block graph. We also characterize all generalized block graphs whose binomial edge ideals are Cohen-Macaulay and unmixed. So that we generalize the results of Ene, Herzog and Hibi on block graphs. Moreover, we study unmixedness and Cohen-Macaulayness of the binomial edge ideal of some graph products such as the join and corona of two graphs with respect to the original graphs'.

Commutative Algebra,Combinatorics
Minimal skew semistandard tableaux and the Hillman--Grassl correspondence

Alejandro H. Morales,Greta Panova,GaYee Park

2023-11-16

Abstract:Standard tableaux of skew shape are fundamental objects in enumerative and algebraic combinatorics and no product formula for the number is known. In 2014, Naruse gave a formula (NHLF) as a positive sum over excited diagrams of products of hook-lengths. Subsequently, Morales, Pak, and Panova gave a $q$-analogue of this formula in terms of skew semistandard tableaux (SSYT). They also showed, partly algebraically, that the Hillman--Grassl map, restricted to skew semistandard tableaux, is behind their $q$-analogue. We study the problem of circumventing the algebraic part and proving the bijection completely combinatorially, which we do for border strips. For a skew shape, we define minimal semistandard Young tableaux, that are in correspondence with excited diagrams via a new description of the Hillman--Grassl bijection and have an analogue of excited moves. Lastly, we relate the minimal skew SSYT with the terms of the Okounkov-Olshanski formula (OOF) for counting standard tableaux of skew shape. Our construction immediately implies that the summands in the NHLF are less than the summands in the OOF and we characterize the shapes where both formulas have the same number of summands.

Combinatorics
A remark on sequentially Cohen-Macaulay monomial ideals

Mozhgan Koolani,Amir Mafi

2024-05-22

Abstract:Let $R=K[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over a field $K$. We show that if $G$ is a connected graph with a basic $5$-cycle $C$, then $G$ is a sequentially Cohen-Macaulay graph if and only if there exists a shedding vertex $x$ of $C$ such that $G\setminus x$ and $G\setminus N[x]$ are sequentially Cohen-Macaulay graphs. Furthermore, we study the sequentially Cohen-Macaulay and Castelnuovo-Mumford regularity of square-free monomial ideals in some special cases.

Commutative Algebra
Cohen-Macaulay weighted oriented chordal and simplicial graphs

Kamalesh Saha

DOI: https://doi.org/10.1007/s00013-024-01990-2

2024-04-12

Archiv der Mathematik

Abstract:Herzog, Hibi, and Zheng classified the Cohen-Macaulay edge ideals of chordal graphs. In this paper, we classify Cohen-Macaulay edge ideals of (vertex) weighted oriented chordal and simplicial graphs, a more general class of monomial ideals. In particular, we show that the Cohen-Macaulay property of these ideals is equivalent to the unmixed one and hence, independent of the underlying field.

mathematics
Cohen–Macaulayness of Vertex Splittable Monomial Ideals

Marilena Crupi,Antonino Ficarra

DOI: https://doi.org/10.3390/math12060912

IF: 2.4

2024-03-21

Mathematics

Abstract:In this paper, we give a new criterion for the Cohen–Macaulayness of vertex splittable ideals, a family of monomial ideals recently introduced by Moradi and Khosh-Ahang. Our result relies on a Betti splitting of the ideal and provides an inductive way of checking the Cohen–Macaulay property. As a result, we obtain characterizations for Gorenstein, level and pseudo-Gorenstein vertex splittable ideals. Furthermore, we provide new and simpler combinatorial proofs of known Cohen–Macaulay criteria for several families of monomial ideals, such as (vector-spread) strongly stable ideals and (componentwise) polymatroidals. Finally, we characterize the family of bi-Cohen–Macaulay graphs by the novel criterion for the Cohen–Macaulayness of vertex splittable ideals.

mathematics
Systems of ideals parametrized by combinatorial structures

Robert P. Laudone,Andrew Snowden

2023-04-07

Abstract:A symmetric chain of ideals is a rule that assigns to each finite set $S$ an ideal $I_S$ in the polynomial ring $\mathbb{C}[x_i]_{i \in S}$ such that if $\phi \colon S \to T$ is an embedding of finite sets then the induced homomorphism $\phi_*$ maps $I_S$ into $I_T$. Cohen proved a fundamental noetherian result for such chains, which has seen intense interest in recent years due to a wide array of new applications. In this paper, we consider similar chains of ideals, but where finite sets are replaced by more complicated combinatorial objects, such as trees. We give a general criterion for a Cohen-like theorem, and give several specific examples where our criterion holds. We also prove similar results for certain limiting situations, where a permutation group acts on an infinite variable polynomial ring. This connects to topics in model theory, such as Fraïssé limits and oligomorphic groups.

Commutative Algebra,Combinatorics,Representation Theory
Gröbner bases, symmetric matrices, and type C Kazhdan–Lusztig varieties

Laura Escobar,Alex Fink,Jenna Rajchgot,Alexander Woo

DOI: https://doi.org/10.1112/jlms.12856

2024-02-03

Journal of the London Mathematical Society

Abstract:Abstract We study a class of combinatorially defined polynomial ideals that are generated by minors of a generic symmetric matrix. Included within this class are the symmetric determinantal ideals, the symmetric ladder determinantal ideals, and the symmetric Schubert determinantal ideals of A. Fink, J. Rajchgot, and S. Sullivant. Each ideal in our class is a type C analog of a Kazhdan–Lusztig ideal of A. Woo and A. Yong; that is, it is the scheme‐theoretic defining ideal of the intersection of a type C Schubert variety with a type C opposite Schubert cell, appropriately coordinatized. The Kazhdan–Lusztig ideals that arise are exactly those where the opposite cell is 123‐avoiding. Our main results include Gröbner bases for these ideals, prime decompositions of their initial ideals (which are Stanley–Reisner ideals of subword complexes), and combinatorial formulas for their multigraded Hilbert series in terms of pipe dreams.

mathematics
On skew braces and their ideals (with an Appendix by Agata Smoktunowicz)

A. Konovalov,A. Smoktunowicz,L. Vendramin

DOI: https://doi.org/10.48550/arXiv.1804.04106

2018-04-11

Rings and Algebras

Abstract:We define combinatorial representations of finite skew braces and use this idea to produce a database of skew braces of small size. This database is then used to explore different concepts of the theory of skew braces such as ideals, series of ideals, prime and semiprime ideals, Baer and Wedderburn radicals and solvability. The paper contains several questions.
Cohen-Macaulay edge-weighted edge ideals of very well-covered graphs

Seyed Amin Seyed Fakhari,Kosuke Shibata,Naoki Terai,Siamak Yassemi

DOI: https://doi.org/10.48550/arXiv.2003.12379

2020-03-27

Abstract:We characterize unmixed and Cohen-Macaulay edge-weighted edge ideals of very well-covered graphs. We also provide examples of oriented graphs which have unmixed and non-Cohen-Macaulay vertex-weighted edge ideals, while the edge ideal of their underlying graph is Cohen-Macaulay. This disproves a conjecture posed by Pitones, Reyes and Toledo.

Commutative Algebra,Combinatorics
Cohen-Macaulay Property of Binomial Edge Ideals with Girth of Graphs

Kamalesh Saha,Indranath Sengupta

2024-09-10

Abstract:Conca and Varbaro (Invent. Math. 221 (2020), no. 3) showed the equality of depth of a graded ideal and its initial ideal in a polynomial ring when the initial ideal is square-free. In this paper, we give some beautiful applications of this fact in the study of Cohen-Macaulay binomial edge ideals. We prove that for the characterization of Cohen-Macaulay binomial edge ideals, it is enough to consider only "biconnected graphs with some whisker attached" and this done by investigating the initial ideals. We give several necessary conditions for a binomial edge ideal to be Cohen-Macaulay in terms of smaller graphs. Also, under a hypothesis, we give a sufficient condition for Cohen-Macaulayness of binomial edge ideals in terms of blocks of graphs. Moreover, we show that a graph with Cohen-Macaulay binomial edge ideal has girth less than $5$ or equal to infinity.

Commutative Algebra
Cohen-Macaulayness of vertex splittable monomial ideals

Marilena Crupi,Antonino Ficarra

DOI: https://doi.org/10.3390/math12060912

2024-03-21

Abstract:In this paper, we give a new criterion for the Cohen-Macaulayness of vertex splittable ideals, a family of monomial ideals recently introduced by Moradi and Khosh-Ahang. Our result relies on a Betti splitting of the ideal and provides an inductive way of checking the Cohen-Macaulay property. As a result, we obtain characterizations for Gorenstein, level and pseudo-Gorenstein vertex splittable ideals. Furthermore, we provide new and simpler combinatorial proofs of known Cohen-Macaulay criteria for several families of monomial ideals, such as (vector-spread) strongly stable ideals and (componentwise) polymatroidals. Finally, we characterize the family of bi-Cohen-Macaulay graphs by the novel criterion for the Cohen-Macaulayness of vertex splittable ideals.

Commutative Algebra
Cohen–Macaulay weighted oriented edge ideals and its Alexander dual

Kamalesh Saha,Indranath Sengupta

DOI: https://doi.org/10.1142/s0219498825502937

2024-06-25

Journal of Algebra and Its Applications

Abstract:Journal of Algebra and Its Applications, Ahead of Print. The study of the edge ideal [math] of a weighted oriented graph [math] with underlying graph [math] started in the context of Reed–Muller type codes. We generalize some Cohen–Macaulay constructions for [math], which Villarreal gave for edge ideals of simple graphs. Our constructions can be used to produce large classes of Cohen–Macaulay weighted oriented edge ideals. We use these constructions to classify all the Cohen–Macaulay weighted oriented edge ideals, whose underlying graph is a cycle. We also show that [math] is Cohen–Macaulay if and only if [math] is unmixed and [math] is Cohen–Macaulay, where [math] denotes the cycle of length [math]. Miller generalized the concept of Alexander dual ideals of square-free monomial ideals to arbitrary monomial ideals, and in that direction, we study the Alexander dual of [math] and its conditions to be Cohen–Macaulay.

mathematics, applied
Cohen-Macaulay representations of Artin-Schelter Gorenstein algebras of dimension one

Osamu Iyama,Yuta Kimura,Kenta Ueyama

2024-04-09

Abstract:The existence of a tilting or silting object is an important feature for an algebraic triangulated category since it gives an equivalence with the derived category of a ring. By applying tilting theory, we study Cohen-Macaulay representations of $\mathbb N$-graded Artin-Schelter Gorenstein algebras $A=\bigoplus_{i\in \mathbb N}A_i$, where do not assume that $A_0$ is a field. This is a large class of noncommutative Gorenstein rings containing Gorenstein orders. In this paper, we concentrate on the case where $A$ has dimension one. Under the assumptions that $A$ is ring-indecomposable and $A_0$ has finite global dimension, we show that the stable category $\operatorname{\underline{\mathsf{CM}}}_0^{\mathbb Z}A$ always admits an (explicitly constructed) silting object. We also show that $\operatorname{\underline{\mathsf{CM}}}_0^{\mathbb Z}A$ admits a tilting object if and only if either $A$ is Artin-Schelter regular or the average Gorenstein parameter $p^A_\mathrm{av} \in {\mathbb Q}$ of $A$ is non-positive. These results are far-reaching generalizations of the results of Buchweitz, Iyama, and Yamaura. We give two different proofs of the second result; one is based on Orlov-type semiorthogonal decompositions, and the other is based on a more direct calculation. We apply our results to a Gorenstein tiled order $A$ to prove that $\operatorname{\underline{\mathsf{CM}}}^{\mathbb Z}A$ is equivalent to the derived category of the incidence algebra of an (explicitly constructed) poset. We also apply our results and Koszul duality to prove that the derived category $\mathsf{D}^\mathrm{b}(\operatorname{\mathsf{qgr}} A)$ of a smooth noncommutative projective quadric hypersurface $\operatorname{\mathsf{qgr}} A$ admits an (explicitly constructed) tilting object, which contains the tilting object of $\operatorname{\underline{\mathsf{CM}}}^{\mathbb Z}A$ due to Smith and Van den Bergh as a direct summand.

Representation Theory,Commutative Algebra,Algebraic Geometry,Rings and Algebras
Ideals of étale groupoid algebras with coefficients in a sheaf with applications to topological dynamics

Gilles G. de Castro,Daniel Gonçalves,Benjamin Steinberg

2024-04-23

Abstract:We prove the Effros-Hahn conjecture for groupoid algebras with coefficients in a sheaf, obtaining as a consequence a description of the ideals in skew inverse semigroup rings. We also use the description of the ideals to characterize when the groupoid algebras with coefficients in a sheaf are von Neumann regular, primitive, semiprimitive, or simple. We apply our results to the topological dynamics of actions of inverse semigroups, describing the existence of dense orbits and minimality in terms of primitivity and simplicity, respectively, of the associated algebra. Moreover, we apply our results to the usual complex groupoid algebra of continuous functions with compact support, used to build the C*-algebra associated with a groupoid, and describe criteria for its simplicity.

Rings and Algebras,Dynamical Systems,Operator Algebras
A classification of nonzero skew immaculate functions

Sarah Mason,Jack Xie

2024-02-07

Abstract:This article presents conditions under which the skewed version of immaculate noncommutative symmetric functions are nonzero. The work is motivated by the quest to determine when the matrix definition of a skew immaculate function aligns with the Hopf algberaic definition. We describe a necessary condition for a skew immaculate function to include a non-zero term, as well as a sufficient condition for there to be at least one non-zero term that survives any cancellation. We bring in several classical theorems such as the Pigeonhole Principle from combinatorics and Hall's Matching Theorem from graph theory to prove our theorems.

Combinatorics

Unmixed and sequentially Cohen-Macaulay skew tableau ideals

Cohen–Macaulay binomial edge ideals in terms of blocks with whiskers

Monomial ideals whose all matching powers are Cohen-Macaulay

Depth and regularity of tableau ideals

Sequentially Cohen-Macaulay binomial edge ideals

The skew immaculate Hecke poset and 0-Hecke modules

Some Cohen-Macaulay and unmixed binomial edge ideals

Minimal skew semistandard tableaux and the Hillman--Grassl correspondence

A remark on sequentially Cohen-Macaulay monomial ideals

Cohen-Macaulay weighted oriented chordal and simplicial graphs

Cohen–Macaulayness of Vertex Splittable Monomial Ideals

Systems of ideals parametrized by combinatorial structures

Gröbner bases, symmetric matrices, and type C Kazhdan–Lusztig varieties

On skew braces and their ideals (with an Appendix by Agata Smoktunowicz)

Cohen-Macaulay edge-weighted edge ideals of very well-covered graphs

Cohen-Macaulay Property of Binomial Edge Ideals with Girth of Graphs

Cohen-Macaulayness of vertex splittable monomial ideals

Cohen–Macaulay weighted oriented edge ideals and its Alexander dual

Cohen-Macaulay representations of Artin-Schelter Gorenstein algebras of dimension one

Ideals of étale groupoid algebras with coefficients in a sheaf with applications to topological dynamics

A classification of nonzero skew immaculate functions