The Second Vanishing Theorem for Local Cohomology Modules

2025-02-11T23:06:59Z

We prove the Second Vanishing Theorem for local cohomology modules of an unramified regular local ring in its full generality and provide a new proof of the Second Vanishing Theorem in prime characteristic $p$. As an application of our vanishing theorem for unramified regular local rings, we extend our topological characterization of the highest Lyubeznik number of an equi-characteristic local ring to the setting of mixed characteristic. An upper bound of local cohomological dimension in mixed characteristic is also obtained by partially extending Lyubeznik's vanishing theorem in prime characteristic $p$ to mixed characteristic.

Next-to-minimal weight of toric codes defined over hypersimplices

2025-02-11T17:22:44Z

Toric codes are a type of evaluation codes introduced by J.P. Hansen in 2000. They are produced by evaluating (a vector space composed by) polynomials at the points of $(\mathbb{F}_q^*)^s$, the monomials of these polynomials being related to a certain polytope. Toric codes related to hypersimplices are the result of the evaluation of a vector space of square-free homogeneous polynomials of degree $d$. The dimension and minimum distance of toric codes related to hypersimplices have been determined by Jaramillo et al. in 2021. The next-to-minimal weight in the case $d = 1$ has been determined by Jaramillo-Velez et al. in 2023. In this work we use tools from Gr\"obner basis theory to determine the next-to-minimal weight of these codes for $d$ such that $3 \leq d \leq \frac{s - 2}{2}$ or $\frac{s + 2}{2} \leq d < s$.

Noetherian rings of non-local rank

2025-02-11T10:49:17Z

The rank of a ring $R$ is the supremum of minimal cardinalities of generating sets of $I$, among all ideals $I$ in $R$. In this paper, we obtain a characterization of Noetherian rings $R$ whose rank is not equal to the supremum of ranks of localizations of $R$ at maximal ideals. It turns out that any such ring is a direct product of a finite number of local principal Artinian rings and Dedekind domains, at least one of which is not principal ideal ring. As an application, we show that the rank of the ring of polynomials over an Artinian ring can be computed locally.

A note on the Casas-Alvero Conjecture

2025-02-11T08:12:43Z

The Casas--Alvero conjecture predicts that every univariate polynomial $f$ over a field $K$ of characteristic zero having a common factor with each of its derivatives $H\_i(f)$ is a power of a linear polynomial. Let $f=x^d+a\_1x^{d-1}+\cdots+a\_1x \in K[a\_1,\ldots,a\_{d-1}][x]$ and let $R\_i = Res(f,H\_i(f))\in K[a\_1,\ldots,a\_{d-1}]$ be the resultant of $f$ and $H\_i(f)$, $i \in \{1,\ldots,d-1\}$. The Casas-Alvero Conjecture is equivalent to saying that $R\_1,\ldots,R\_{d-1}$ are ``independent'' in a certain sense, namely that the height $ht(R\_1,\ldots,R\_{d-1})=d-1$ in $K[a\_1,\ldots,a\_{d-1}]$. In this paper we prove a very partial result in this direction : if $i \in \{d-3,d-2,d-1\}$ then $R\_i \notin \sqrt{(R\_1,\ldots,\breve{R\_i},\ldots,R\_{d-1}}$.

Solving bihomogeneous polynomial systems with a zero-dimensional projection

2025-02-10T21:33:26Z

We study bihomogeneous systems defining, non-zero dimensional, biprojective varieties for which the projection onto the first group of variables results in a finite set of points. To compute (with) the 0-dimensional projection and the corresponding quotient ring, we introduce linear maps that greatly extend the classical multiplication maps for zero-dimensional systems, but are not those associated to the elimination ideal; we also call them multiplication maps. We construct them using linear algebra on the restriction of the ideal to a carefully chosen bidegree or, if available, from an arbitrary Gr\"obner bases. The multiplication maps allow us to compute the elimination ideal of the projection, by generalizing FGLM algorithm to bihomogenous, non-zero dimensional, varieties. We also study their properties, like their minimal polynomials and the multiplicities of their eigenvalues, and show that we can use the eigenvalues to compute numerical approximations of the zero-dimensional projection. Finally, we establish a single exponential complexity bound for computing multiplication maps and Gr\"obner bases, that we express in terms of the bidegrees of the generators of the corresponding bihomogeneous ideal.

A note on multiplicative roots of multivariable formal power series

2025-02-10T17:44:30Z

Suppose that we are given a formal power series of many variables with coefficients in $\mathbb{R}$ (or $\mathbb{C}$) and we want to compute its $n$-th (multiplicative) root. As can be expected coefficients of the root have to satisfy a system of infinitely many equations. We present such a system of equations that strictly corresponds with the system for $n$-th of a formal power series of one variable. With help of an example we show that the case of formal power series of many variables is very different from the one variable case with respect to the existence of roots.

Differentially Henselian Fields

2025-02-10T14:24:54Z

We study the class of differentially henselian fields, which are henselian valued fields equipped with generic derivations in the sense of Cubides Kovacics and Point, and are special cases of differentially large fields in the sense of Le\'on S\'anchez and Tressl. We prove that many results from henselian valued fields as well as differentially large fields can be lifted to the differentially henselian setting, for instance Ax-Kochen/Ershov principles, characterisations in terms of differential algebras, etc. We also give methods to concretely construct such fields in terms of iterated power series expansions and inductive constructions on transcendence bases.

Shellable flag simplicial complexes of non-simple polyominoes

2025-02-10T13:48:34Z

In this article we investigate the shellability of the flag simplicial complexes attached to non-simple and thin polyominoes. As a consequence, we obtain the Cohen-Macaulayness and a combinatorial interepetation of the $h$-polynomial of the related coordinate rings.

Quasi-homogeneous singularities of projective hypersurfaces and Jacobian syzygies

2025-02-10T09:31:55Z

We prove an unexpected general relation between the Jacobian syzygies of a projective hypersurface $V\subset \mathbb{P}^n$ with only isolated singularities and the nature of its singularities. This allows to establish a new method for the identification of quasi-homogeneous hypersurface isolated singularities. The result gives an insight on how the geometry is reflected in the Jacobian syzygies and extends previous results of the first, second and last author for free and nearly free plane curves [1].

Minimal cellular resolutions of monomial ideals with five generators and their Artinian reductions

2025-02-10T06:22:11Z

We prove that monomial ideals with at most five generators and their Artinian reductions have minimal generalized Barile-Macchia resolutions. As a corollary, these ideals have minimal cellular resolutions, extending a result by Faridi, D.G, Ghorbanic, and Pour. This corollary is independently obtained by Montaner, Garc\'{i}a, and Mafi, using a different class of cellular resolutions called pruned resolutions.

A special subring of the Nagata ring and the Serre's conjecture ring

2025-02-10T05:54:43Z

Many ring theorists researched various properties of Nagata rings and Serre's conjecture rings. In this paper, we introduce a subring (refer to the Anderson ring) of both the Nagata ring and the Serre's conjecture ring (up to isomorphism), and investigate properties of the Anderson rings. Additionally, we compare the properties of the Anderson rings with those of Nagata rings and Serre's conjecture rings.

Divided powers and Kähler differentials

2025-02-09T16:49:47Z

Divided power algebras form an important variety of non-binary universal algebras. We identify the universal enveloping algebra and K\"ahler differentials associated to a divided power algebra over a general commutative ring, simplifying and generalizing work of Roby and Dokas.

The stable rank of $\mathbb{Z}[x]$ is $3$

2025-02-09T11:28:04Z

Grunewald, Mennicke and Vaserstein proved that the Bass stable rank of $\mathbb{Z}[x]$, the ring of the univariate polynomials over $\mathbb{Z}$, is $3$. This note addresses minor errors found in their proof. Using their method, we show in addition that the unimodular row $(3, x + 1, x^2 + 16)$ is not stable.

$p$-anisotropy on the moment curve for homology manifolds and cycles

2025-02-08T20:18:18Z

We prove that the Gorensteinification of the face ring of a cycle is totally $p$-anisotropic in characteristic $p$. In other words, given an appropriate Artinian reduction, it contains no nonzero $p$-isotropic elements. Moreover, we prove that the linear system of parameters can be chosen corresponding to a geometric realization with points on the moment curve. In particular, this implies that the parameters do not have to be chosen very generically.

Sparse systems with high local multiplicity

2025-02-08T18:14:05Z

Consider a sparse system of n Laurent polynomials in n variables with complex coefficients and support in a finite lattice set A. The maximal number of isolated roots of the system in the complex n-torus is known to be the normalized volume of the convex hull of A (the BKK bound). We explore the following question: if the cardinality of A equals n+m+1, what is the maximum local intersection multiplicity at one point in the torus in terms of n and m? This study was initiated by Gabrielov in the multivariate case. We give an upper bound that is always sharp when m=1 and, under a generic technical hypothesis, it is considerably smaller for any dimension n and codimension m. We also present, for any value of n and m, a particular sparse system with high local multiplicity with exponents in the vertices of a cyclic polytope and we explain the rationale of our choice. Our work raises several interesting questions.