Mathematics - Commutative Algebra Publications (50)


Mathematics - Commutative Algebra Publications

We study the Koszul property of a standard graded $K$-algebra $R$ defined by the binomial edge ideal of a pair of graphs $(G_1,G_2)$. We show that the following statements are equivalent: (i) $R$ is Koszul; (ii) the defining ideal $J_{G_1,G_2}$ of $R$ has a quadratic Gr\"obner basis; (iii) the graded maximal ideal of $R$ has linear quotients with respect to a suitable order of its generators Read More

Given a zero-dimensional ideal I in a polynomial ring, many computations start by finding univariate polynomials in I. Searching for a univariate polynomial in I is a particular case of considering the minimal polynomial of an element in P/I. It is well known that minimal polynomials may be computed via elimination, therefore this is considered to be a "resolved problem". Read More

In this paper, we study divisorial ideals of a Hibi ring which is a toric ring arising from a partially ordered set. We especially characterize the special class of divisorial ideals called conic using the associated partially ordered set. Using our observation of conic divisorial ideals, we also construct a module giving a non-commutative crepant resolution (= NCCR) of the Segre product of polynomial rings. Read More

Given a radical ideal $I$ in a regular ring $R$, the containment problem of symbolic and ordinary powers of $I$ consists of determining when the containment $I^{(a)} \subseteq I^b$ holds. By work of Ein-Lazersfeld-Smith and Hochster-Huneke, there is a uniform answer to this question, but the resulting containments are not necessarily best possible. We show that a conjecture of Harbourne holds when $R/I$ is F-pure, and prove tighter containments in the case when $R/I$ is strongly F-regular. Read More

Let $X$ be a set of $4$ generic points in $\mathbb{P}^2$ with homogeneous coordinate ring $R$. We classify indecomposable graded MCM modules over $R$ by reducing the classification to the Four Subspace problem solved by Nazarova and Gel$'$fand-Ponomarev, or equivalently to the representation theory of the $\widetilde{D}_4$ quiver. In particular, the $\mathbb{P}^1$ tubular family of regular representations corresponds to matrix factorizations of the pencil of conics going through $X$, with smooth conics $Q_{t}$ corresponding to rank one tubes and the singular conics $Q_0, Q_1, Q_{\infty}$ giving the remaining rank two tubes. Read More

The purpose of this article is to clarify the question what makes motives $\mathbb{A}^1$-homotopy invariance. we give construction of the stable model category of nilpotent invariant motives $\mathcal{M}ot_{\operatorname{dg}}^{\operatorname{nilp}}$ and define the nilpotent invriant motives associated with schemes and relative exact categories. For a noetherian scheme $X$, there are two kind of motives associated with $X$ in the homotopy category $\operatorname{Ho}(\mathcal{M}ot^{\operatorname{nilp}}_{\operatorname{dg}})$, namely $M_{\operatorname{nilp}}(X)$ and $M_{\operatorname{nilp}}'(X)$. Read More

We compute toric degenerations arising from the tropicalization of the full flag varieties $\mathcal{F}\ell_4$ and $\mathcal{F}\ell_5$ embedded in a product of Grassmannians. For $\mathcal{F}\ell_4$ and $\mathcal{F}\ell_5$ we compare toric degenerations arising from string polytopes and the FFLV polytope with those obtained from the tropicalization of the flag varieties. We also present a general procedure to find toric degenerations in the cases where the initial ideal arising from a cone of the tropicalization of a variety is not prime. Read More

Let $G$ be a finite simple graph. The line graph $L(G)$ represents the adjacencies between edges of $G$. We define first the line simplicial complex $\Delta_L(G)$ of $G$ containing Gallai and anti-Gallai simplicial complexes $\Delta_{\Gamma}(G)$ and $\Delta_{\Gamma'}(G)$ (respectively) as spanning subcomplexes. Read More

Let $\Delta$ be a simplicial complex of a matroid $M$. In this paper, we explicitly compute the regularity of all the symbolic powers of a Stanley-Reisner ideal $I_\Delta$ in terms of combinatorial data of the matroid $M$. In order to do that, we provide a sharp bound between the arboricity of $M$ and the circumference of its dual $M^*$. Read More

We give a sufficient condition for a Verdier quotient $\ct/\cs$ of a triangulated category $\ct$ by a thick subcategory $\cs$ to be realized inside of $\ct$ as an ideal quotient. As applications, we deduce three significant results by Buchweitz, Orlov and Amiot--Guo--Keller. Read More

We construct a ring with the properties of the title of the paper. We also construct some other local rings of embedding dimension 4 with exotic properties. Among the methods used are the {\tt Macaulay2}-package {\tt DGAlgebras} by Frank Moore, combined with and inspired by results by Anick, Avramov, Backelin, Katth\"an, Lemaire, Levin, L\"ofwall and others. Read More

We deal with the algebraicity of an iterated Puiseux series in several variables in terms of the properties of its coefficients. Our aim is to generalize to several variables the results from [HM15]. We show that the algebraicity of such a series for given bounded degrees is determined by a finite number of explicit universal polynomial formulas. Read More

Let $\mathfrak{q}$ denote an $\mathfrak{m}$-primary ideal of a $d$-dimensional local ring $(A, \mathfrak{m}).$ Let $\underline{a} = a_1,\ldots,a_d \subset \mathfrak{q}$ be a system of parameters. Then there is the following inequality for the multiplicities $c \cdot e(\mathfrak{q};A) \leq e(\underline{a};A)$ where $c$ denotes the product of the initial degrees of $a_i$ in the form ring $G_A(\mathfrak{q}). Read More

The depth of tensor product of modules over a Gorenstein local ring is studied. For finitely generated modules M and N over a Gorenstein local ring R, under some assumptions on the vanishing of finite number of Tate and relative homology modules, the depth($M\otimes N$) is determined in terms of the depth(M) and depth(N). Read More

A theorem of Hukuhara, Levelt, and Turrittin states that every formal differential operator has a Jordan decomposition. We provide a new proof of this theorem by showing that every differential polynomial has a linear factorisation. The latter statement can be considered as a differential analogue of Puiseux's Theorem. Read More

Using the concept of ring diadic range 1 we proved that a commutative Bezout ring is an elementary divisor ring iff it is a ring diadic range 1. Read More

We show that the cosupport of a commutative noetherian ring is precisely the set of primes appearing in a minimal pure-injective resolution of the ring. As an application of this, we prove that every countable commutative noetherian ring has full cosupport. We also settle the comparison of cosupport and support of finitely generated modules over any commutative noetherian ring of finite Krull dimension. Read More

In this paper we want to revive the object sectional matrix which encodes the Hilbert functions of successive hyperplane sections of a homogeneous ideal. We translate and/or reprove recent results in this language. Moreover, some new results are shown about their maximal growth and Persistence Theorem, a gen- eralization of Gotzmann's persistence Theorem. Read More

Let $\{ R_n, {\mathfrak m}_n \}_{n \ge 0}$ be an infinite sequence of regular local rings with $R_{n+1}$ birationally dominating $R_n$ and ${\mathfrak m}_nR_{n+1}$ a principal ideal of $R_{n+1}$ for each $n$. We examine properties of the integrally closed local domain $S = \bigcup_{n \ge 0}R_n$. Read More

A commutative noetherian ring with a dualizing complex is Gorenstein if and only if every acyclic complex of injective modules is totally acyclic. We extend this characterization, which is due to Iyengar and Krause, to arbitrary commutative noetherian rings, i.e. Read More

Let $R$ be a commutative noetherian ring. We give a criterion for a complex of cotorsion flat modules to be minimal, i.e. Read More

The Buchsbaum-Eisenbud-Horrocks Conjecture predicts that if M is a non-zero module of finite length and finite projective dimension over a local ring R of dimension d, then the i-th Betti number of M is at least d choose i. This conjecture implies that the sum of all the Betti numbers of such a module must be at least 2^d. We prove the latter holds in a large number of cases. Read More

In this note, we continue to be interested in the relationship that connects the restricted distribution of finitude at the local level of intermediate fields of a purely inseparable extension $K/k$ to the absolute or global finitude of $K/k$. In "{\it $w\_0$-generated field extensions,}Arch. Math. Read More

The purpose of this note is to show a new series of examples of homogeneous ideals $I$ in ${\mathbb K}[x,y,z,w]$ for which the containment $I^{(3)}\subset I^2$ fails. These ideals are supported on certain arrangements of lines in ${\mathbb P}^3$, which resemble Fermat configurations of points in ${\mathbb P}^2$, see \cite{NagSec16}. All examples exhibiting the failure of the containment $I^{(3)}\subseteq I^2$ constructed so far have been supported on points or cones over configurations of points. Read More

An algorithmic proof of the General N\'eron Desingularization theorem and its uniform version is given for morphisms with big smooth locus. This generalizes the results for the one-dimensional case. Read More

Let $I$ and $J$ be nonzero ideals in two Noetherian algebras $A$ and $B$ over a field $k$. We study algebraic properties and invariants of symbolic powers of the ideal $I+J$ in $A\otimes_k B$. Our main technical result is the binomial expansion $(I+J)^{(n)} = \sum_{i+j = n} I^{(i)} J^{(j)}$ for all $n > 0$. Read More

We give algorithms to construct the N\'eron Desingularization and the easy case from \cite{KK} of the General N\'eron Desingularization. Read More

Our main goal in this paper is to set the general frame for studying the dimension theory of tensor products of algebras over an arbitrary ring $R$. Actually, we translate the theory initiated by A. Grothendieck and R. Read More

In skew-symmetrizable case, we give a positive affirmation to a conjecture proposed by Sergey Fomin and Andrei Zelevinsky, which says each seed $\Sigma_t$ is uniquely determined by its {\bf C-matrix} in a cluster algebra $\mathcal A(\Sigma_{t_0})$ with principle coefficients at $t_0$. More discussion is given in the sign-skew-symmetric case so as to obtain a conclusion as weak version of the conjecture in this general case. Read More

We study the arithmetically Cohen-Macaulay (ACM) property for finite sets of points in multiprojective spaces, especially $(\mathbb P^1)^n$. A combinatorial characterization, the $(\star)$-property, is known in $\mathbb P^1 \times \mathbb P^1$. We propose a combinatorial property, $(\star_n)$, that directly generalizes the $(\star)$-property to $(\mathbb P^1)^n$ for larger $n$. Read More

For an almost complete intersection $(R, \mathfrak{m}) $ we establish an inequality between multiplicity and Cohen-Macaulay defect, ${\rm e}(R)\ge \dim(R)-{\rm} depth(R),$ when $\dim(R)\le 3$ or ${\rm e}(R)\le 2$. This inequality yields an analogous inequality for the canonical module of an analytically reduced ring. As one application, we prove that the residue field of a certain subclass of (possibly non-Cohen Macaulay) almost complete intersections has a resolution by residual approximation complexes. Read More

Let $A$ be a commutative noetherian ring, let $\mathfrak{a} \subseteq A$ be an ideal, and let $J$ be an injective $A$-module. A basic result in the structure theory of injective modules states that the $A$-module $\Gamma_{\mathfrak{a}}(J)$ consisting of $\mathfrak{a}$-torsion elements is also an injective $A$-module. Equivalently, the torsion theory associated to $\mathfrak{a}$ is stable. Read More

We prove identities on compound matrices in extended tropical semirings. Such identities include analogues to properties of conjugate matrices, powers of matrices and~$\adj(A)\det(A)^{ -1}$, all of which have implications on the eigenvalues of the corresponding matrices. A tropical Sylvester-Franke identity is provided as well. Read More

Let $G$ be a finite simple graph and $I(G)$ denote the corresponding edge ideal. In this paper we prove that if $G$ is a unicyclic graph then for all $s \geq 1$ the regularity of $I(G)^s$ is exactly $2s+\text{reg}(I(G))-2$. We also characterize the unicyclic graphs with regularity $\nu(G)+1$ and $\nu(G)+2$, where $\nu(G)$ denotes the induced matching number of $G$. Read More

In this paper, we generalize McCoy's theorem for the zero-divisors of polynomials and investigate zero-divisors of semimodules and prove that under suitable conditions, the monoid semimodule $M[G]$ has very few zero-divisors if and only if the semimodule $M$ does so. Then we introduce Ohm-Rush and McCoy semialgebras and prove some interesting results for prime ideals of monoid semirings. In the last section of the paper, we investigate the set of zero-divisors of McCoy semialgebras. Read More

We give an introduction to the McKay correspondence and its connection to quotients of $\mathbb{C}^n$ by finite reflection groups. This yields a natural construction of noncommutative resolutions of the discriminants of these reflection groups. This paper is an extended version of E. Read More

We develop combinatorial tools to study the relationship between the Stanley depth of a monomial ideal $I$ and the Stanley depth of its compliment, $S/I$. Using these results we are able to prove that if $S$ is a polynomial ring with at most 5 indeterminates and $I$ is a square-free monomial ideal, then the Stanley depth of $S/I$ is strictly larger than the Stanley depth of $I$. Using a computer search, we are able to extend this strict inequality up to polynomial rings with at most 7 indeterminates. Read More

Constructing $r$-th nonresidue over a finite field is a fundamental computational problem. A related problem is to construct an irreducible polynomial of degree $r^e$ (where $r$ is a prime) over a given finite field $\mathbb{F}_q$ of characteristic $p$ (equivalently, constructing the bigger field $\mathbb{F}_{q^{r^e}}$). Both these problems have famous randomized algorithms but the derandomization is an open question. Read More

Given a monomial ideal in a polynomial ring over a field, we define the generalized Newton complementary dual of the given ideal. We show good properties of such duals including linear quotients and isomorphisms between the special fiber rings. We construct the cellular free resolutions of duals of strongly stable ideals generated in the same degree. Read More

Let $R$ be a commutative Noetherian ring, $\mathfrak a$ and $\mathfrak b$ ideals of $R$. In this paper, we study the finiteness dimension $f_{\mathfrak a}(M)$ of $M$ relative to $\mathfrak a$ and the $\mathfrak b$-minimum $\mathfrak a$-adjusted depth $\lambda_{\mathfrak a}^{\mathfrak b}(M)$ of $M$, where the underlying module $M$ is relative Cohen-Macaulay w.r. Read More

This is essentially an erratum, with some example to indicate inconsistencies. Suppose $A=k[X_1, X_2, \ldots, X_n]$ is a polynomial ring over a field $k$. The Complete Intersection conjecture states that, for any ideal $I$ in $A$, $\mu(I)=\mu(I/I^2)$, where $\mu$ denotes the minimal number of generators. Read More

We study the Artin Approximation property with constraints in a different frame. As a consequence we give a nested Artin Strong Approximation property for algebraic power series rings over a field. Read More

This paper consists of two parts. First, we extend a few fundamental aspects of the classical theory of non-unique factorization, as presented in Geroldinger and Halter-Koch's 2006 monograph on the subject, to a non-commutative and non-cancellative setting. More in detail, we introduce notions of factorization, distance, and catenary degree, along with a generalization of weak transfer homomorphisms we refer to as equimorphisms. Read More

We show that a non-trivial fiber product $S\times_k T$ of commutative noetherian local rings $S,T$ with a common residue field $k$ is Gorenstein if and only if it is a hypersurface of dimension 1. In this case, both $S$ and $T$ are regular rings of dimension 1. We also give some applications of this result. Read More

A numerical monoid is an additive submonoid of the non-negative integers. Given a numerical monoid $S$, consider the family of "shifted" monoids $M_n$ obtained by adding $n$ to each generator of $S$. In this paper, we examine minimal relations among the generators of $M_n$ when $n$ is sufficiently large, culminating in a description that is periodic in the shift parameter $n$. Read More

Our goal is to determine when the trivial extensions of commutative rings by modules are Cohen-Macaulay in the sense of Hamilton and Marley. For this purpose, we provide a generalization of the concept of Cohen-Macaulayness of rings to modules. Read More

We show the Cohen-Macaulayness and describe the canonical module of residual intersections $J=\mathfrak{a}\colon_R I$ in a Cohen-Macaulay local ring $R$, under sliding depth type hypotheses. For this purpose, we construct and study, using a recent article of Hassanzadeh and the second named author, a family of complexes that contains important informations on a residual intersection and its canonical module. We also determine several invariants of residual intersections as the graded canonical module, the Hilbert series, the Castelnuovo-Mumford regularity and the type. Read More

Based upon a previous work of Manjunath and Sturmfels for a finite, complete, undirected graph, and a refined algorithm by Er\"ocal, Motsak, Schreyer and Steenpa{\ss} for computing syzygies, we display a free resolution of the lattice ideal associated to a finite, strongly connected, weighted, directed graph. Moreover, the resolution is minimal precisely when the digraph is strongly complete. Read More

In this article, the finitely generated flat modules of a commutative ring are studied both from an algebraic point of view and from a topological point of view. Then, as an application, some major results in the literature on the projectivity of f.g. Read More

Given a Serre class $\mathcal{S}$ of modules, we compare the containment of the Koszul homology, Ext modules, Tor modules, local homology, and local cohomology in $\mathcal{S}$ up to a given bound $s \geq 0$. As some applications, we give a full characterization of noetherian local homology modules. Further, we establish a comprehensive vanishing result which readily leads to the formerly known descriptions of the numerical invariants width and depth in terms of Koszul homology, local homology, and local cohomology. Read More