SearcharxivSearch

arXiv subjects

Trung Chau

Publications and source records attributed to Trung Chau.

At least 19 recordsLinked to original sources

Comparing v-numbers of symbolic and ordinary powers of squarefree monomial ideals

Let $I$ be a squarefree monomial ideal, and let $d$ denote the maximum degree of a minimal generator of $I$. We prove that \[ v(I^t)\le v(I^{(t)})+(t-1)(d-1) \] for all $t\ge1$, where $I^{(t)}$ denotes the $t$-th symbolic power of $I$. In particular, this bound does not depend on the number of variables in the ambient polynomial ring. On the other hand, for every fixed exponent $t\ge2$, the difference \[ v(I^{(t)})-v(I^t) \] can be arbitrarily large. Finally, we determine the $v$-numbers of the ordinary and symbolic powers of edge ideals of paths and cycles.

math.AC

Multiplicity of negative one of independence polynomials of graphs

We initiate the study of the multiplicity of negative one of independence polynomials of graphs. In this article, we simply refer to this as the \emph{multiplicity} of a graph. As applications, we provide a graph-theoretic description of trees whose independence complexes are contractible, give a new sufficient condition for independence polynomials of graphs to be log-concave, and finally, determine possible pairs $(\operatorname{mult}_{-1}P_G, \alpha(G))$, where $P_G$ denotes the independence polynomial of $G$, and $\alpha(G)$ the independence number. The study of the pairs $(\operatorname{mult}_{-1}P_G, \alpha(G))$ is equivalent to finding all pairs of the numerator degree and denominator degree of the Hilbert series of the edge ideal of $G$. We also use spectral graph theory to obtain results on the multiplicity of line graphs of forests. Finally, we give some translations and applications in combinatorial commutative algebra.

math.CO

Golod ideals in combinatorial commutative algebra

In this article we study the Golod property of standard graded algebras. We show that determinantal ideals, binomial edge ideals, and permanental ideals are Golod if and only if they have a linear resolution. Next, we give a characterization of when cover ideals define Golod rings, exploiting some considerations on multidegrees of Koszul cycles and Massey products. Finally, we show that squarefree strongly Golod ideals (and, more generally, lcm-strongly Golod ideals) are Golod, and not just weakly Golod.

math.AC

The v-numbers of permanental ideals

In this article, we compute the $\vv$-number of $2\times 2$ permanental ideals of generic, generic symmetric, and generic Hankel matrices.

math.AC

On Legendrian Thurston-Bennequin-symmetrical graphs

This article reviews the development of Legendrian graph theory in the standard contact 3-sphere ($S^3, \xi_{std}$). We provide a generalized criterion under which the total Thurston-Bennequin invariant of a Legendrian graph (sum of tb of all cycles of the Legendrian graph) can be computed from the tb of its smaller cycles. We verify this criterion for graphs with up to 9 vertices and construct infinite families of examples where it holds. We also present examples demonstrating that each condition in the criterion is necessary. Notably, the graphs satisfying this criterion exhibit a high degree of symmetry.

math.GT

On licci squarefree monomial ideals

We study the licci property for several classes of squarefree monomial ideals arising from graphs and related combinatorial structures. We characterize licci bi-Cohen-Macaulay squarefree monomial ideals, complementary edge ideals, $t$-path ideals of cycles, and $(t-1)$-suspensions of graphs. Consequently, the full list of licci path ideals of trees is obtained. This work extends the known classification of licci edge ideals to a broader family of path ideals.

math.AC

Realizable (reg, deg h)-Pairs for Cover Ideals via Independence Polynomials

Let $G$ be a finite simple graph on $n$ vertices and set $R=\Bbbk[x_1,\dots,x_n]$, with edge ideal $I(G)$ and cover ideal $J(G)$. We give an explicit description of the $h$-polynomial of $R/J(G)$, in a form that extends to the Alexander dual of any squarefree monomial ideal. We then express $\textrm{deg } h_{R/I(G)}(t)$ and $\textrm{deg } h_{R/J(G)}(t)$ in terms of the independence polynomial $P_G(x)=\sum_{i\ge 0} g_i x^i$ via an invariant $M(G)$, the multiplicity of $x=-1$ as a root of $P_G(x)$. In particular, we prove \[\textrm{deg } h_{R/I(G)}(t)=\alpha(G)-M(G) \qquad\text{and}\qquad \textrm{deg } h_{R/J(G)}(t)=n-2-M(G), \] where $\alpha(G)$ is the independence number of $G$. As a corollary, $M(G)$ is the additive inverse of the $\mathfrak{a}$-invariants of $R/I(G)$ and $R/J(G)$. We develop recursions and closed formulas for $M(G)$ for broad graph families, and use them to analyze which (reg, deg h)-pairs occur for cover ideals within chordal classes, including explicit constructions realizing extremal behavior. We conclude with a conjectural bound on $\left|\textrm{reg }(R/J(G))-\textrm{deg } h_{R/J(G)}(t)\right|$ for connected graphs.

math.AC

Symbolic powers and integral closures via extremal ideals

This paper demonstrates that extremal ideals can be used to great effect to compute integral closures of powers and symbolic powers of square-free monomial ideals. We show that the generators of these powers are images of the generators of the corresponding powers of extremal ideals under a specific ring homomorphism. Extremal ideals provide sharp bounds for a variety of invariants widely studied in the literature, including resurgence, asymptotic resurgence, and symbolic defect, as well as Betti numbers of symbolic powers and of integral closures of powers of square-free monomial ideals. When restricted to the class of extremal ideals, algebraic computations are reduced to problems of discrete geometry and linear programming, allowing the use of a wide variety of techniques. As a result, in situations where computations are feasible for extremal ideals, we provide concrete sharp bounds for many of these invariants. Our methods reduce finding homological invariants and algebraic constructions for infinitely many ideals to computations for a single highly symmetric ideal, based solely on the number of generators.

math.AC

Scarf complexes of connected and path ideals

The $t$-connected ideal of a graph $G$ is generated by all connected induced subgraphs of $G$ with $t$ vertices. When $t = 2$, this coincides with the usual edge ideal of the graph. Following the work of Faridi et al., we give a classification of the graphs whose $t$-connected ideals are minimally resolved by their Scarf complex. We also consider the $t$-path ideal of a graph $G$ which is the ideal generated by all paths of length $t$ in $G$. In this case, we are able to give a classification of the same type for paths of length $t = 4$.

math.AC

From neural codes to homological invariants: regularity and projective dimension of polarized neural ideals

Neural codes form an algebraic framework to study the nervous system, and understanding neural codes is a key goal of mathematical neuroscience. Neural rings and ideals are the tools connecting neuroscience and commutative algebra. In this article, we study the projective dimension and (Castelnuovo-Mumford) regularity of polarized neural ideals on $n$ neurons. Particularly, we find all the possible values for these two invariants. Moreover, we characterize when these ideals have linear resolution or linear quotients, assuming that they are generated in degree $n$.

math.AC

Projective monomial curves associated to numerical semigroups with multiplicity $e$, width $e-1$, and embedding dimension $e-2$

Numerical semigroups with multiplicity $e$, width $e-1$, and embedding dimension $e-2$ are of the form $$S(e,m,n) = \langle \{e, e+1, \ldots, 2e-1\} \setminus \{e+m, e+n\} \rangle,$$ for some $1 \leq m < n \leq e-2$. Inspired by the work of Sally, Herzog and Stamate studied the special case $S(e,2,3)$, which they called the ``Sally numerical semigroups''. Recently, Dubey et. al. computed a minimal generating set of the defining ideal of the numerical semigroups $S(e,m,n)$ for $m \geq 2$. In this article, we first obtain an analog for the numerical semigroups $S(e,1,n)$, and then shift our focus to the projective monomial curves in $\mathbb{P}^{e-2}$ defined by the semigroups $S(e,m,n)$. We obtain a Gr\"{o}bner basis for the defining ideal of the projective monomial curves associated to the semigroups $S(e,m,n)$. Moreover, we provide characterizations of Cohen--Macaulay and Gorenstein properties of these curves. Specifically, we prove that these are Cohen--Macaulay if and only if $(m,n) \neq (e-4,e-3)$, and Gorenstein if and only if $(e,m,n)\in \{ (4,1,2), (5,2,3)\}$. Furthermore, when these curves are Cohen--Macaulay, we compute the Castelnuovo--Mumford regularity of their coordinate ring.

math.AC

Admissible set and squarefree-power-like function with applications to squarefree symbolic powers

We introduce the abstract notion of squarefree-power-like functions, which unify the sequences of squarefree ordinary and symbolic powers of squarefree monomial ideals. By employing the Tor-vanishing criteria for mixed sums of ideals, we establish sharp lower bounds for their Castelnuovo-Mumford regularity in terms of what we call the admissible set of the associated hypergraph. As an application, we derive the first general combinatorial lower bound for the regularity of squarefree symbolic powers of monomial ideals. In the setting of edge ideals, by exploiting the special combinatorial structures of block graphs and Cohen-Macaulay chordal graphs, we show that this bound turns into an exact formula for all squarefree symbolic powers of block graphs, as well as for the second squarefree symbolic powers of edge ideals of Cohen-Macaulay chordal graphs.

math.AC

The $F$-singularities of algebras defined by permanents

Let $X$ be a matrix of indeterminates, $t$ an integer, and $P_t(X)$ define the ideal generated by the permanents of all $t\times t$ submatrix of $X$. $P_t(X)$ is called a permanental ideal. In this article, we study the algebras $\Bbbk[X]/P_t(X)$ where $X$ is a generic, symmetric, or a Hankel matrix of indeterminates. When $\operatorname{char}\Bbbk = 2$, $P_t(X)$ is also known as a determinantal ideal, a popular class in commutative algebra and algebraic geometry, and thus many properties of $P_t(X)$ are known in this case. We prove that, if $X$ is an $n\times n$ matrix and $\operatorname{char} \Bbbk>2$, the algebra $\Bbbk[X]/P_n(X)$ is $F$-regular, just like when $\operatorname{char} \Bbbk = 2$. On the other hand, we obtain a full characterization of when $\Bbbk[X]/P_2(X)$ is $F$-pure or $F$-regular, when $\operatorname{char} \Bbbk >2$, and the answer is different than that in even characteristic.

math.AC

Extremal behavior of ideals of minors

Let $(R,\mathfrak m,\mathsf k)$ be either a fiber product or an artinian stretched Gorenstein ring, with $\operatorname{ch}(\mathsf k)\neq 2$ in the latter case. We prove that the ideals of minors of the minimal free resolution of any finitely generated $R$-module are eventually 2-periodic. Moreover, if the embedding dimension of $R$ is at least 3, eventually the ideals of minors become the powers of the maximal ideal, yielding the 1-periodicity. These are analogs of results obtained over complete intersections and Golod rings by Brown, Dao, and Sridhar. We also study the transfer of periodicity between rings. Specifically, we prove that for any local ring $(R,\mathfrak m)$, if $x\in \mathfrak m$ is a super-regular element and $M$ is an $R/(x)$ module whose ideals of minors are asymptotically the powers of the maximal ideal over $R/(x)$, then the same holds for the ideals of minors of $M$ over $R$.

math.AC

Maximal minors of $1$-generic matrices have rational singularities

We show that the quotient ring by the ideal of maximal minors of a $1$-generic matrix has rational singularities. This answers a conjecture of Eisenbud (1988) that such rings are normal, and generalizes a result of Conca, Mostafazadehfard, Singh and Varbaro (2018) that generic Hankel determinantal rings have rational singularities in characteristic zero.

math.AC

Permanental ideals of symmetric matrices

In this article, we study the ideal generated by $2\times 2$ permanents of a symmetric matrix. We denote this ideal by $P_2(X)$ where $X$ is a symmetric matrix. We compute a Gr\"obner basis, dimension, depth, minimal primes, and a primary decomposition of $P_2(X)$. It can be seen that the answer is reliant on whether the characteristic of the base field is two, and thus these ideals constitute a class of ideals whose algebraic properties depend on characteristics of the base field.

math.AC