Descending strong generation in algebraic geometry

2025-02-12T18:35:23Z

We formalize the main approach for showing Zariski descent-type statements for strong generation of triangulated categories associated to algebro-geometric objects. This recovers various known statements in the literature. As applications we show that strong generation for the singularity category of a Noetherian separated scheme is Zariski local and obtain a strong generation result for the bounded derived category of a Noetherian concentrated algebraic stacks with finite diagonal.

Local cohomology and Segre products

2025-02-12T18:12:46Z

We prove a K\"{u}nneth formula for local cohomology of a Segr\'{e} product of graded modules supported in a Segr\'{e} product of ideals. In order to apply our formula to the study of cohomological dimension, we also investigate asymptotic behaviors of Eulerian graded $\scr{D}$-modules.

Set-Theoretically Perfect Ideals and Residual Intersections

2025-02-12T18:12:10Z

This paper studies algebraic residual intersections in rings with Serre's condition $ S_{s} $. It demonstrates that residual intersections admit free approaches i.e. perfect subideal with the same radical. This fact leads to determining a uniform upper bound for the multiplicity of residual intersections. In positive characteristic, it follows that residual intersections are cohomologically complete intersection and, hence, their variety is connected in codimension one.

A note on toric ideals of graphs and Knutson-Miller-Yong decompositions

2025-02-12T02:19:22Z

We use a Gr\"obner basis technique first introduced by Knutson, Miller and Yong to study the interplay between properties of a graph $G$ and algebraic properties of the toric ideal that it defines. We first recover a well-known height formula for the toric ideal of a graph $I_G$ and demonstrate an algebraic property that can detect when a graph deletion is bipartite. We also bound the chromatic number $\chi(G)$ using information about an initial ideal of $I_G$.

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.