arXiv subjects
Publications and source records attributed to Aldo Conca.
Let $X$ be the union of $n$ generic linear subspaces of codimension $>1$ in $\mathbb{P}^d$. Improving an earlier bound due to Derksen and Sidman, we prove that the Castelnuovo-Mumford regularity of $X$ satisfies $ \operatorname{reg}(X) \le n - [n / (2d-1)]$.
This paper extends the article of the Bruns and Conca on SAGBI bases and their computation (J. Symb. Comput. 120 (2024)) in two directions. (i) We describe the extension of the Singular library sagbiNormaliz.sing to the computation of defining ideals of subalgebras of polynomial rings. (ii) We give a complete classification of the algebras of minors for which the generating set is a SAGBI basis with respect to a suitable monomial order and we identify universal SAGBI basis in three cases. The investigation is illustrated by several examples.
Binomial edge ideals associated to a simple graph G were introduced by Herzog and collaborators and, independently, by Ohtani. They became an ``instant classic" in combinatorial commutative algebra with more than 100 papers devoted to their investigation over the past 15 years. They exhibit many striking properties, including being radical and, moreover, Cartwright-Sturmfels. Using the fact that binomial edge ideals can be seen as ideals of 2-minors of a matrix of variables with two rows, generalized binomial edge ideals of 2-minors of matrices of m rows were introduced by Rauh and proved to be radical. The goal of this paper is to prove that generalized binomial edge ideals are Cartwright-Sturmfels. On the way we provide results on ideal constructions preserving the Cartwright-Sturmfels property. We also give examples and counterexamples to the Cartwright-Sturmfels property for higher minors.
We show that the intersection of the irreducible components of a hypersurface defined by a polynomial with square-free support has F-rational singularities in characteristic $p>0$. As a consequence, we obtain that hypersurfaces defined by irreducible polynomials with square-free support have F-rational singularities, positively answering a question of Bath, Mustaţă, and Walther.
We consider ideals in a polynomial ring generated by collections of power sum polynomials, and obtain conditions under which these define complete intersection rings, normal domains, and unique factorization domains. We also settle a key case of a conjecture of Conca, Krattenthaler, and Watanabe, and prove other results in that direction.
For $K$ an infinite field of characteristic other than two, consider the action of the special orthogonal group $\operatorname{SO}_t(K)$ on a polynomial ring via copies of the regular representation. When $K$ has characteristic zero, Boutot's theorem implies that the invariant ring has rational singularities; when $K$ has positive characteristic, the invariant ring is $F$-regular, as proven by Hashimoto using good filtrations. We give a new proof of this, viewing the invariant ring for $\operatorname{SO}_t(K)$ as a cyclic cover of the invariant ring for the corresponding orthogonal group; this point of view has a number of useful consequences, for example it readily yields the $a$-invariant and information on the Hilbert series. Indeed, we use this to show that the $h$-vector of the invariant ring for $\operatorname{SO}_t(K)$ need not be unimodal.
In 1965 Buchberger defined Gröbner bases and an algorithm to compute them. Despite a slow start, already in the eighties Gröbner bases had become the main device for symbolic computations involving polynomials as well as a theoretical tool for the investigation of ideals and varieties via the so-called Gröbner deformation techniques. Rings and algebraic varieties defined by means of determinants are among the most classical objects in commutative algebra, algebraic geometry and invariant theory. By the end of the the eighties the time was ripe for the computation of Gröbner bases of determinantal ideals. We will tell the tale of how (universal) Gröbner bases of determinantal ideals were identified and the key role played by Bernd Sturmfels and his collaborators in this enterprise.
Let $R$ be a finitely generated $\mathbb N$-graded algebra domain over a Noetherian ring and let $I$ be a homogeneous ideal of $R$. Given $P\in Ass(R/I)$ one defines the $v$-invariant $v_P(I)$ of $I$ at $P$ as the least $c\in \mathbb N$ such that $P=I:f$ for some $f\in R_c$. A classical result of Brodmann asserts that $Ass(R/I^n)$ is constant for large $n$. So it makes sense to consider a prime ideal $P\in Ass(R/I^n)$ for all the large $n$ and investigate how $v_P(I^n)$ depends on $n$. We prove that $v_P(I^n)$ is eventually a linear function of $n$. When $R$ is the polynomial ring over a field this statement has been proved independently also by Ficarra and Sgroi in a recent preprint.
We study several properties of multihomogeneous prime ideals. We show that the multigraded generic initial ideal of a prime has very special properties, for instance, its radical is Cohen-Macaulay. We develop a comprehensive study of multidegrees in arbitrary positive multigraded settings. In these environments, we extend the notion of Cartwright-Sturmfels ideals by means of a standardization technique. Furthermore, we recover or extend important results in the literature, for instance: we provide a multidegree version of Hartshorne's result stating the upper semicontinuity of arithmetic degree under flat degenerations, and we give an alternative proof of Brion's result regarding multiplicity-free varieties.
The maximal minors of a matrix of indeterminates are a universal Gröbner basis by a theorem of Bernstein, Sturmfels and Zelevinsky. On the other hand it is known that they are not always a universal Sagbi basis. By an experimental approach we discuss their behavior under varying monomial orders and their extensions to Sagbi bases. These experiments motivated a new implementation of the Sagbi algorithm which is organized in a Singular script and falls back on Normaliz for the combinatorial computations. In comparison to packages in the current standard distributions of Macaulay 2 and Singular it extends the range of computability by at least one order of magnitude.
A Taylor variety consists of all fixed order Taylor polynomials of rational functions, where the number of variables and degrees of numerators and denominators are fixed. In one variable, Taylor varieties are given by rank constraints on Hankel matrices. Inversion of the natural parametrization is known as Padé approximation. We study the dimension and defining ideals of Taylor varieties. Taylor hypersurfaces are interesting for projective geometry, since their Hessians tend to vanish. In three and more variables, there exist defective Taylor varieties whose dimension is smaller than the number of parameters. We explain this with Fröberg's Conjecture in commutative algebra.
Can one tell if an ideal is radical just by looking at the degrees of the generators? In general, this is hopeless. However, there are special collections of degrees in multigraded polynomial rings, with the property that any multigraded ideal generated by elements of those degrees is radical. We call such a collection of degrees a radical support. In this paper, we give a combinatorial characterization of radical supports. Our characterization is in terms of properties of cycles in an associated labelled graph. We also show that the notion of radical support is closely related to that of Cartwright-Sturmfels ideals. In fact, any ideal generated by multigraded generators whose multidegrees form a radical support is a Cartwright-Sturmfels ideal. Conversely, a collection of degrees such that any multigraded ideal generated by elements of those degrees is Cartwright-Sturmfels is a radical support.
We prove a doubly exponential bound for the Castelnuovo-Mumford regularity of prime ideals defining varieties with polynomial parametrisation.
The goal of this short note is to study the secant varieties of the triple Segre product of type (1,a,b) by means of the standard tools of combinatorial commutative algebra. We reprove and extend to arbitrary characteristic results of Landsberg and Weyman regarding the defining ideal and the Cohen-Macaulay property of the secant varieties. Furthermore for these varieties we compute the degree and give a bound for their Castelnuovo-Mumford regularity which is sharp in many cases.
This note has two goals. The first is to give a short and self contained introduction to the Castelnuovo-Mumford regularity for standard graded ring $R$ over a general base ring. The second is to present a simple and concise proof of a classical result due to Cutkosky, Herzog and Trung and, independently, to Kodiyalam asserting that the regularity of powers of an homogeneous ideal $I$ of $R$ is eventually a linear function in $v$. Finally we show how the flexibility of the definition of the Castelnuovo-Mumford regularity over general base rings can be used to give a simple characterization of the ideals whose powers have a linear resolution in terms of the regularity of the Rees ring.
Inspired by work of Cartwright and Sturmfels, in a previous paper we introduced two classes of multigraded ideals named after them. These ideals are defined in terms of properties of their multigraded generic initial ideals. The goal of this paper is showing that three families of ideals that have recently attracted the attention of researchers are Cartwright-Sturmfels ideals. More specifically, we prove that binomial edge ideals, multigraded homogenizations of linear spaces, and multiview ideals are Cartwright-Sturmfels ideals, hence recovering and extending recent results of Herzog-Hibi-Hreinsdottir-Kahle-Rauh, Ohtani, Ardila-Boocher, Aholt-Sturmfels-Thomas, and Binglin Li. We also propose a conjecture on the rigidity of local cohomology modules of Cartwright-Sturmfels ideals, that was inspired by a theorem of Brion. We provide some evidence for the conjecture by proving it in the monomial case.
Let $I_1,\dots,I_n$ be ideals generated by linear forms in a polynomial ring over an infinite field and let $J = I_1 \cdots I_n$. We describe a minimal free resolution of $J$ and show that it is supported on a polymatroid obtained from the underlying representable polymatroid by means of the so-called Dilworth truncation. Formulas for the projective dimension and Betti numbers are given in terms of the polymatroid as well as a characterization of the associated primes. Along the way we show that $J$ has linear quotients. In fact, we do this for a large class of ideals $J_P$, where $P$ is a certain poset ideal associated to the underlying subspace arrangement.
Let I be a homogeneous ideal of a polynomial ring S. We prove that if the initial ideal J of I, w.r.t. a term order on S, is square-free, then the extremal Betti numbers of S/I and of S/J coincide. In particular, depth(S/I)=depth(S/J) and reg(S/I)=reg(S/J).