Searcharxiv⌕ Search

arXiv subjects

Huy Tai Ha

Publications and source records attributed to Huy Tai Ha.

At least 19 recordsLinked to original sources
arXiv2024

Monomial ideals with minimal generalized Barile-Macchia resolutions

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.

math.AC↗
arXiv2023

Integral closures of powers of sums of ideals

Let $k$ be a field, let $A$ and $B$ be polynomial rings over $k$, and let $S= A \otimes_k B$. Let $I \subseteq A$ and $J \subseteq B$ be monomial ideals. We establish a binomial expansion for rational powers of $I+J \subseteq S$ in terms of those of $I$ and $J$. Particularly, for a positive rational number $u$, we prove that $(I+J)_u = \sum_{0 \le ω\le u, \ ω\in \mathbb{Q}} I_ωJ_{u-ω},$ and that the sum on the right hand side is a finite sum. This finite sum can be made more precise using jumping numbers of rational powers of $I$ and $J$. We further give sufficient conditions for this formula to hold for the integral closures of powers of $I+J$ in terms of those of $I$ and $J$. Under these conditions, we provide explicit formulas for the depth and regularity of $\overline{(I+J)^k}$ in terms of those of powers of $I$ and $J$.

math.AC↗
arXiv2023

Newton-Okounkov body, Rees algebra, and analytic spread of graded families of monomial ideals

Let $\mathcal{I} = \{I_k\}_{k \in \mathbb{N}}$ be a graded family of monomial ideal. We use the Newton-Okounkov body of $\mathcal{I}$ to: (a) give a characterization for the Noetherian property of the Rees algebra of the family; and (b) present a combinatorial interpretation for the analytic spread of the family. We also apply these results to investigate the generation type and the Veronese degree of the symbolic Rees algebra of a monomial ideal.

math.AC↗
arXiv2021

Binomial expansion for saturated and symbolic powers of sums of ideals

There are two different notions for symbolic powers of ideals existing in the literature, one defined in terms of associated primes, the other in terms of minimal primes. Elaborating on an idea known to Eisenbud, Herzog, Hibi, and Trung, we interpret both notions of symbolic powers as suitable saturations of the ordinary powers. We prove a binomial expansion formula for saturated powers of sums of ideals. This gives a uniform treatment to an array of existing and new results on both notions of symbolic powers of such sums: binomial expansion formulas, computations of depth and regularity, and criteria for the equality of ordinary and symbolic powers.

math.AC↗
arXiv2021

Powers of componentwise linear ideals: The Herzog--Hibi--Ohsugi Conjecture and related problems

In 1999 Herzog and Hibi introduced componentwise linear ideals. A homogeneous ideal $I$ is componentwise linear if for all non-negative integers $d$, the ideal generated by the homogeneous elements of degree $d$ in $I$ has a linear resolution. For square-free monomial ideals, componentwise linearity is related via Alexander duality to the property of being sequentially Cohen-Macaulay for the corresponding simplicial complexes. In general, the property of being componentwise linear is not preserved by taking powers. In 2011, Herzog, Hibi, and Ohsugi conjectured that if $I$ is the cover ideal of a chordal graph, then $I^s$ is componentwise linear for all $s \geq 1$. We survey some of the basic properties of componentwise linear ideals, and then specialize to the progress on the Herzog-Hibi-Ohsugi conjecture during the last decade. We also survey the related problem of determining when the symbolic powers of a cover ideal are componentwise linear.

math.AC↗
arXiv2021

The Alexander-Hirschowitz theorem and related problems

We present a proof of the celebrated result due to Alexander and Hirschowitz which determines when a general set of double points in $\mathbb P^n$ has the expected Hilbert function. Our intended audience are Commutative Algebraists who may be new to interpolation problems. In particular, the main aim of our presentation is to provide a self-contained proof containing all details (including some we could not find in the literature). Also, considering our intended audience, we have added (a) short appendices to make this survey more accessible and (b) a few open problems related to the Alexander-Hirschowitz theorem and the interpolation problems.

math.AC↗
arXiv2021

Saturation bounds for smooth varieties

We prove bounds on the saturation degrees of homogeneous ideals (and their powers) defining smooth complex projective varieties. For example, we show that a classical statement due to Macualay for zero-dimensional complete intersection ideals holds for any smooth variety. For curves, we bound the saturation degree of powers in terms of the regularity.

math.AG↗
arXiv2020

Max Min vertex cover and the size of Betti tables

Let $G$ be a finite simple graph on $n$ vertices, that contains no isolated vertices, and let $I(G) \subseteq S = K[x_1, \dots, x_n]$ be its edge ideal. In this paper, we study the pair of integers that measure the projective dimension and the regularity of $S/I(G)$. We show that if the projective dimension of $S/I(G)$ attains its minimum value $2\sqrt{n}-2$ then, with only one exception, the its regularity must be 1. We also provide a full description for the spectrum of the projective dimension of $S/I(G)$ when the regularity attains its minimum value 1.

math.CO↗
arXiv2019

Algebraic algorithms for even circuits in graphs

We present an algebraic algorithm to detect the existence of and to list all indecomposable even circuits in a given graph. We also discuss an application of our work to the study of directed cycles in digraphs.

math.CO↗
arXiv2019

Initially regular sequences and depths of ideals

For an arbitrary ideal $I$ in a polynomial ring $R$ we define the notion of initially regular sequences on $R/I$. These sequences share properties with regular sequences. In particular, the length of an initially regular sequence provides a lower bound for the depth of $R/I$. Using combinatorial information from the initial ideal of $I$ we construct sequences of linear polynomials that form initially regular sequences on $R/I$. We identify situations where initially regular sequences are also regular sequences, and we show that our results can be combined with polarization to improve known depth bounds for general monomial ideals.

math.AC↗
arXiv2019

Resurgence numbers of fiber products of projective schemes

We investigate the resurgence and asymptotic resurgence numbers of fiber products of projective schemes. Particularly, we show that while the asymptotic resurgence number of the k-fold fiber product of a projective scheme remains unchanged, its resurgence number could strictly increase.

math.AG↗
arXiv2019

Symbolic powers of sums of ideals

Let $I$ and $J$ be nonzero ideals in two Noetherian algebras $A$ and $B$ over a field $k$. Let $I+J$ denote the ideal generated by $I$ and $J$ in $A\otimes_k B$. We prove the following expansion for the symbolic powers: $$(I+J)^{(n)} = \sum_{i+j = n} I^{(i)} J^{(j)}.$$ If $A$ and $B$ are polynomial rings and if chara$(k) = 0$ or if $I$ and $J$ are monomial ideals, we give exact formulas for the depth and the Castelnuovo-Mumford regularity of $(I+J)^{(n)}$, which depend on the interplay between the symbolic powers of $I$ and $J$. The proof involves a result of independent interest which states that under the above assumption, the induced map Tor$_i^A(k,I^{(n)}) \to$ Tor$_i^A(k,I^{(n-1)})$ is zero for all $i \ge 0$, $n \ge 0$. We also investigate other properties and invariants of $(I+J)^{(n)}$ such as the equality between ordinary and symbolic powers, the Waldschmidt constant and the Cohen-Macaulayness.

math.AC↗
arXiv2019

Depth functions of powers of homogeneous ideals

We settle a conjecture of Herzog and Hibi, which states that the function depth $S/Q^n$, $n \ge 1$, where $Q$ is a homogeneous ideal in a polynomial ring $S$, can be any convergent numerical function. We also give a positive answer to a long-standing open question of Ratliff on the associated primes of powers of ideals.

math.AC↗
arXiv2019

Regularity of powers of edge ideals: from local properties to global bounds

Let $I = I(G)$ be the edge ideal of a graph $G$. We give various general upper bounds for the regularity function $\text{reg} I^s$, for $s \ge 1$, addressing a conjecture made by the authors and Alilooee. When $G$ is a gap-free graph and locally of regularity 2, we show that $\text{reg} I^s = 2s$ for all $s \ge 2$. This is a slightly weaker version of a conjecture of Nevo and Peeva. Our method is to investigate the regularity function $\text{reg}I^s$, for $s \ge 1$, via local information of $I$.

math.AC↗
arXiv2019

Symbolic powers of edge ideals of graphs

Let $G$ be a graph and let $I = I(G)$ be its edge ideal. When $G$ is unicyclic, we give a decomposition of symbolic powers of $I$ in terms of its ordinary powers. This allows us to explicitly compute the Waldschmidt constant and the resurgence number of $I$. When $G$ is an odd cycle, we explicitly compute the regularity of $I^{(s)}$ for all $s \in \mathbb{N}$. In doing so, we also give a natural lower bound for the regularity function $\text{reg } I^{(s)}$, for $s \in \mathbb{N}$, for an arbitrary graph $G$.

math.AC↗
arXiv2019

Membership criteria and containments of powers of monomial ideals

We present a close relationship between matching number, covering numbers and their fractional versions in combinatorial optimization and ordinary powers, integral closures of powers, and symbolic powers of monomial ideals. This relationship leads to several new results and problems on the containments between these powers.

math.AC↗
arXiv2019

Fiber invariants of projective morphisms and regularity of powers of ideals

We introduce an invariant, associated to a coherent sheaf over a projective morphism of schemes, which controls when sheaf cohomology can be passed through the given morphism. We then use this invariant to estimate the stability indexes of the regularity and a*-invariant of powers of homogeneous ideals.

math.AC↗