Showing 1–7 of 7 results for author: Maithani, A

The Scarf complex of squarefree powers, symbolic powers of edge ideals, and cover ideals of graphs

Authors: Trung Chau, Nursel Erey, Aryaman Maithani

Abstract: Every monomial ideal $I$ has a Scarf complex, which is a subcomplex of its minimal free resolution. We say that $I$ is Scarf if its Scarf complex is also its minimal free resolution. In this paper, we fully characterize all pairs $(G,n)$ of a graph $G$ and an integer $n$ such that the squarefree power $I(G)^{[n]}$ or the symbolic power $I(G)^{(n)}$ of the edge ideal $I(G)$ is Scarf. We also determ… ▽ More Every monomial ideal $I$ has a Scarf complex, which is a subcomplex of its minimal free resolution. We say that $I$ is Scarf if its Scarf complex is also its minimal free resolution. In this paper, we fully characterize all pairs $(G,n)$ of a graph $G$ and an integer $n$ such that the squarefree power $I(G)^{[n]}$ or the symbolic power $I(G)^{(n)}$ of the edge ideal $I(G)$ is Scarf. We also determine all graphs $G$ such that its cover ideal $J(G)$ is Scarf, with an explicit description when $G$ is either chordal or bipartite. △ Less

Submitted 20 March, 2025; v1 submitted 17 March, 2025; originally announced March 2025.

Comments: 20 pages. Minor revisions. Comments welcome!

MSC Class: 13D02; 13F55; 05C65; 05C75; 05E40

Edge ideals with linear quotients and without homological linear quotients

Authors: Trung Chau, Kanoy Kumar Das, Aryaman Maithani

Abstract: A monomial ideal $I$ is said to have homological linear quotients if for each $k\geq 0$, the homological shift ideal $\mathrm{HS}_k(I)$ has linear quotients. It is a well-known fact that if an edge ideal $I(G)$ has homological linear quotients, then $G$ is co-chordal. We construct a family of co-chordal graphs $\{\mathrm{H}_n^c\}_{n\geq 6}$ and propose a conjecture that an edge ideal $I(G)$ has ho… ▽ More A monomial ideal $I$ is said to have homological linear quotients if for each $k\geq 0$, the homological shift ideal $\mathrm{HS}_k(I)$ has linear quotients. It is a well-known fact that if an edge ideal $I(G)$ has homological linear quotients, then $G$ is co-chordal. We construct a family of co-chordal graphs $\{\mathrm{H}_n^c\}_{n\geq 6}$ and propose a conjecture that an edge ideal $I(G)$ has homological linear quotients if and only if $G$ is co-chordal and $\mathrm{H}_n^c$-free for any $n\geq 6$. In this paper, we prove one direction of the conjecture. Moreover, we study possible patterns of pairs $(G,k)$ of a co-chordal graph $G$ and integer $k$ such that $\mathrm{HS}_k(I(G))$ has linear quotients. △ Less

Submitted 14 March, 2025; originally announced March 2025.

Comments: 20 pages, comments are welcome!

MSC Class: 13D02; 13F55; 05E40; 05C75

Polynomial invariants of classical subgroups of $\operatorname{GL}_{2}$: Conjugation over finite fields

Authors: Aryaman Maithani

Abstract: Consider the conjugation action of the general linear group $\operatorname{GL}_{2}(K)$ on the polynomial ring $K[X_{2 \times 2}]$. When $K$ is an infinite field, the ring of invariants is a polynomial ring generated by the trace and the determinant. We describe the ring of invariants when $K$ is a finite field, and show that it is a hypersurface. We also consider the other classical subgroups, and… ▽ More Consider the conjugation action of the general linear group $\operatorname{GL}_{2}(K)$ on the polynomial ring $K[X_{2 \times 2}]$. When $K$ is an infinite field, the ring of invariants is a polynomial ring generated by the trace and the determinant. We describe the ring of invariants when $K$ is a finite field, and show that it is a hypersurface. We also consider the other classical subgroups, and the polynomial rings corresponding to other subspaces of matrices such as the traceless and symmetric matrices. In each case, we show that the invariant ring is either a polynomial ring or a hypersurface. △ Less

Submitted 2 April, 2025; v1 submitted 25 January, 2025; originally announced January 2025.

Comments: are welcome! Updated to include the actions for all classical subgroups. 18 pages

MSC Class: 13A50

Splitting the difference: Computations of the Reynolds operator in classical invariant theory

Authors: Aryaman Maithani

Abstract: If $G$ is a linearly reductive group acting rationally on a polynomial ring $S$, then the inclusion $S^{G} \hookrightarrow S$ possesses a unique $G$-equivariant splitting, called the Reynolds operator. We describe algorithms for computing the Reynolds operator for the classical actions as in Weyl's book. The groups are the general linear group, the special linear group, the orthogonal group, and t… ▽ More If $G$ is a linearly reductive group acting rationally on a polynomial ring $S$, then the inclusion $S^{G} \hookrightarrow S$ possesses a unique $G$-equivariant splitting, called the Reynolds operator. We describe algorithms for computing the Reynolds operator for the classical actions as in Weyl's book. The groups are the general linear group, the special linear group, the orthogonal group, and the symplectic group, with their classical representations: direct sums of copies of the standard representation and copies of the dual representation. △ Less

Submitted 25 December, 2024; originally announced December 2024.

Comments: are welcome! 19 pages

MSC Class: 13A50 (Primary) 13P99; 14L24; 14L35 (Secondary)

Monomial ideals with minimal generalized Barile-Macchia resolutions

Authors: Trung Chau, Huy Tai Ha, Aryaman Maithani

Abstract: We identify several classes of monomial ideals that possess minimal generalized Barile-Macchia resolutions. These classes of ideals include generic monomial ideals, monomial ideals with linear quotients, and edge ideals of hypertrees. We also characterize connected unicyclic graphs whose edge ideals are bridge-friendly and, in particular, have minimal Barile-Macchia resolutions. Barile-Macchia and… ▽ More We identify several classes of monomial ideals that possess minimal generalized Barile-Macchia resolutions. These classes of ideals include generic monomial ideals, monomial ideals with linear quotients, and edge ideals of hypertrees. We also characterize connected unicyclic graphs whose edge ideals are bridge-friendly and, in particular, have minimal Barile-Macchia resolutions. Barile-Macchia and generalized Barile-Macchia resolutions are cellular resolutions and special types of Morse resolutions. △ Less

Submitted 16 December, 2024; originally announced December 2024.

Comments: are welcome! 17 pages

MSC Class: 13D02 (Primary); 13F55; 05C65; 05C75; 05E40

Minimal cellular resolutions of powers of graphs

Authors: Trung Chau, Tài Huy Hà, Aryaman Maithani

Abstract: Let $G$ be a connected graph and let $I(G)$ denote its edge ideal. We classify when $I(G)^n$, for $n \ge 1$, admits a minimal Lyubeznik resolution. We also give a characterization for when $I(G)^n$ is bridge-friendly, which, in turn, implies that $I(G)^n$ has a minimal Barile-Macchia cellular resolution. Let $G$ be a connected graph and let $I(G)$ denote its edge ideal. We classify when $I(G)^n$, for $n \ge 1$, admits a minimal Lyubeznik resolution. We also give a characterization for when $I(G)^n$ is bridge-friendly, which, in turn, implies that $I(G)^n$ has a minimal Barile-Macchia cellular resolution. △ Less

Submitted 12 December, 2024; v1 submitted 5 April, 2024; originally announced April 2024.

Comments: are welcome! 20 pages. Title changed, some results are removed to make the paper shorter and more focused

MSC Class: 13D02 (Primary); 13F55; 05C65; 05C75; 05E40

Linear quotients of connected ideals of graphs

Authors: H. Ananthnarayan, Omkar Javadekar, Aryaman Maithani

Abstract: As a higher analogue of the edge ideal of a graph, we study the $t$-connected ideal $\operatorname{J}_{t}$. This is the monomial ideal generated by the connected subsets of size $t$. For chordal graphs, we show that $\operatorname{J}_{t}$ has a linear resolution iff the tree is $t$-gap-free, and that this is equivalent to having linear quotients. We then show that if $G$ is any gap-free and $t$-cl… ▽ More As a higher analogue of the edge ideal of a graph, we study the $t$-connected ideal $\operatorname{J}_{t}$. This is the monomial ideal generated by the connected subsets of size $t$. For chordal graphs, we show that $\operatorname{J}_{t}$ has a linear resolution iff the tree is $t$-gap-free, and that this is equivalent to having linear quotients. We then show that if $G$ is any gap-free and $t$-claw-free graph, then $\operatorname{J}_{t}(G)$ has linear quotients and, hence, linear resolution. △ Less

Submitted 1 April, 2025; v1 submitted 2 January, 2024; originally announced January 2024.

Comments: 12 pages. This is the final version of the article, which has now appeared in the Journal of Algebraic Combinatorics

MSC Class: 13F55; 13D02; 05E40

Journal ref: Journal of Algebraic Combinatorics, Volume 61, article number 34 (2025)