We prove a criterion for the constancy of the Hilbert–Samuel function for locally Noetherian schemes such that the local rings are excellent at every point. More precisely, we show that the Hilbert–Samuel function is locally constant on such a scheme if and only if the scheme is normally flat along its reduction and the reduction itself is regular. Regularity of the underlying reduced scheme is a significant new property.

Let M be a Puiseux monoid, that is, a monoid consisting of nonnegative rationals (under standard addition). In this paper, we study factorisations in atomic Puiseux monoids through the lens of their associated Betti graphs. The Betti graph of $b \in M$ is the graph whose vertices are the factorisations of b with edges between factorisations that share at least one atom. If the Betti graph associated to b is disconnected, then we call b a Betti element of M. We explicitly compute the set of Betti elements for a large class of Puiseux monoids (the atomisations of certain infinite sequences of rationals). The process of atomisation is quite useful in studying the arithmetic of Puiseux monoids, and it has been actively considered in recent literature. This leads to an argument that for every positive integer n, there exists an atomic Puiseux monoid with exactly n Betti elements.

We give a short new proof of a recent result of Hanlon-Hicks-Lazarev about toric varieties. As in their work, this leads to a proof of a conjecture of Berkesch-Erman-Smith on virtual resolutions and to a resolution of the diagonal in the simplicial case.

Given any commutative Noetherian ring R and an element x in R, we consider the full subcategory $\mathsf{C}(x)$ of its singularity category consisting of objects for which the morphism that is given by the multiplication by x is zero. Our main observation is that we can establish a relation between $\mathsf{C}(x), \mathsf{C}(y)$ and $\mathsf{C}(xy)$ for any two ring elements x and y. Utilizing this observation, we obtain a decomposition of the singularity category and consequently an upper bound on the dimension of the singularity category.

We invoke the Bernstein–Gel$'$fand–Gel$'$fand (BGG) correspondence to study subcomplexes of free resolutions given by two well-known complexes, the Koszul and the Eagon–Northcott. This approach provides a complete characterization of the ranks of free modules in a subcomplex in the Koszul case and imposes numerical restrictions in the Eagon–Northcott case.

In the derived category of a commutative noetherian ring, we explicitly construct a silting object associated with each sp-filtration of the Zariski spectrum satisfying the “slice” condition. Our new construction is based on local cohomology and it allows us to study when the silting object is tilting. For a ring admitting a dualizing complex, this occurs precisely when the sp-filtration arises from a codimension function on the spectrum. In the absence of a dualizing complex, the situation is more delicate and the tilting property is closely related to the condition that the ring is a homomorphic image of a Cohen–Macaulay ring. We also provide dual versions of our results in the cosilting case.

We prove that the multiplicity of a filtration of a local ring satisfies various convexity properties. In particular, we show the multiplicity is convex along geodesics. As a consequence, we prove that the volume of a valuation is log convex on simplices of quasi-monomial valuations and give a new proof of a theorem of Xu and Zhuang on the uniqueness of normalized volume minimizers. In another direction, we generalize a theorem of Rees on multiplicities of ideals to filtrations and characterize when the Minkowski inequality for filtrations is an equality under mild assumptions.

Let $S=K[x_1,\ldots ,x_n]$ be the polynomial ring over a field K, and let A be a finitely generated standard graded S-algebra. We show that if the defining ideal of A has a quadratic initial ideal, then all the graded components of A are componentwise linear. Applying this result to the Rees ring $\mathcal {R}(I)$ of a graded ideal I gives a criterion on I to have componentwise linear powers. Moreover, for any given graph G, a construction on G is presented which produces graphs whose cover ideals $I_G$ have componentwise linear powers. This, in particular, implies that for any Cohen–Macaulay Cameron–Walker graph G all powers of $I_G$ have linear resolutions. Moreover, forming a cone on special graphs like unmixed chordal graphs, path graphs, and Cohen–Macaulay bipartite graphs produces cover ideals with componentwise linear powers.

We conduct a systematic study of the Ehrhart theory of certain slices of rectangular prisms. Our polytopes are generalizations of the hypersimplex and are contained in the larger class of polypositroids introduced by Lam and Postnikov; moreover, they coincide with polymatroids satisfying the strong exchange property up to an affinity. We give a combinatorial formula for all the Ehrhart coefficients in terms of the number of weighted permutations satisfying certain compatibility properties. This result proves that all these polytopes are Ehrhart positive. Additionally, via an extension of a result by Early and Kim, we give a combinatorial interpretation for all the coefficients of the $h^*$-polynomial. All of our results provide a combinatorial understanding of the Hilbert functions and the h-vectors of all algebras of Veronese type, a problem that had remained elusive up to this point. A variety of applications are discussed, including expressions for the volumes of these slices of prisms as weighted combinations of Eulerian numbers; some extensions of Laplace’s result on the combinatorial interpretation of the volume of the hypersimplex; a multivariate generalization of the flag Eulerian numbers and refinements; and a short proof of the Ehrhart positivity of the independence polytope of all uniform matroids.

We introduce a new concept of rank – relative rank associated to a filtered collection of polynomials. When the filtration is trivial, our relative rank coincides with Schmidt rank (also called strength). We also introduce the notion of relative bias. The main result of the paper is a relation between these two quantities over finite fields (as a special case, we obtain a new proof of the results in [21]). This relation allows us to get an accurate estimate for the number of points on an affine variety given by a collection of polynomials which is of high relative rank (Lemma 3.2). The key advantage of relative rank is that it allows one to perform an efficient regularization procedure which is polynomial in the initial number of polynomials (the regularization process with Schmidt rank is far worse than tower exponential). The main result allows us to replace Schmidt rank with relative rank in many key applications in combinatorics, algebraic geometry, and algebra. For example, we prove that any collection of polynomials $\mathcal P=(P_i)_{i=1}^c$ of degrees $\le d$ in a polynomial ring over an algebraically closed field of characteristic $>d$ is contained in an ideal $\mathcal I({\mathcal Q})$, generated by a collection ${\mathcal Q}$ of polynomials of degrees $\le d$ which form a regular sequence, and ${\mathcal Q}$ is of size $\le A c^{A}$, where $A=A(d)$ is independent of the number of variables.

We give an explicit formula to count the number of geometric branches of a curve in positive characteristic using the theory of tight closure. This formula readily shows that the property of having a single geometric branch characterizes F-nilpotent curves. Further, we show that a reduced, local F-nilpotent ring has a single geometric branch; in particular, it is a domain. Finally, we study inequalities of Frobenius test exponents along purely inseparable ring extensions with applications to F-nilpotent affine semigroup rings.

It is well known that the edge ideal $I(G)$ of a simple graph G has linear quotients if and only if $G^c$ is chordal. We investigate when the property of having linear quotients is inherited by homological shift ideals of an edge ideal. We will see that adding a cluster to the graph $G^c$ when $I(G)$ has homological linear quotients results in a graph with the same property. In particular, $I(G)$ has homological linear quotients when $G^c$ is a block graph. We also show that adding pinnacles to trees preserves the property of having homological linear quotients for the edge ideal of their complements. Furthermore, $I(G)$ has homological linear quotients for every graph G such that $G^c$ is a $\lambda $-minimal chordal graph.

We prove new results concerning the additive Galois module structure of wildly ramified non-abelian extensions $K/\mathbb{Q}$ with Galois group isomorphic to $A_4$, $S_4$, $A_5$, and dihedral groups of order $2p^n$ for certain prime powers $p^n$. In particular, when $K/\mathbb{Q}$ is a Galois extension with Galois group $G$ isomorphic to $A_4$, $S_4$ or $A_5$, we give necessary and sufficient conditions for the ring of integers $\mathcal{O}_{K}$ to be free over its associated order in the rational group algebra $\mathbb{Q}[G]$.

We characterize the finite codimension sub-${\mathbf {k}}$-algebras of ${\mathbf {k}}[\![t]\!]$ as the solutions of a computable finite family of higher differential operators. For this end, we establish a duality between such a sub-algebras and the finite codimension ${\mathbf {k}}$-vector spaces of ${\mathbf {k}}[u]$, this ring acts on ${\mathbf {k}}[\![t]\!]$ by differentiation.

Valuation rings and perfectoid rings are examples of (usually non-Noetherian) rings that behave in some sense like regular rings. We give and study an extension of the concept of regular local rings to non-Noetherian rings so that it includes valuation and perfectoid rings and it is related to Grothendieck’s definition of formal smoothness as in the Noetherian case. For that, we have to take into account the topologies. We prove a descent theorem for regularity along flat homomorphisms (in fact for homomorphisms of finite flat dimension), extending some known results from the Noetherian to the non-Noetherian case, as well as generalizing some recent results in the non-Noetherian case, such as the descent of regularity from perfectoid rings by B. Bhatt, S. Iyengar and L. Ma.

We extend the notion of y-variables (coefficients) in cluster algebras to cluster scattering diagrams (CSDs). Accordingly, we extend the dilogarithm identity associated with a period in a cluster pattern to the one associated with a loop in a CSD. We show that these identities are constructed from and reduced to trivial ones by applying the pentagon identity possibly infinitely many times.

This paper extends the results of Boij, Eisenbud, Erman, Schreyer and Söderberg on the structure of Betti cones of finitely generated graded modules and finite free complexes over polynomial rings, to all finitely generated graded rings admitting linear Noether normalizations. The key new input is the existence of lim Ulrich sequences of graded modules over such rings.

The sheaf-function correspondence identifies the group of constructible functions on a real analytic manifold M with the Grothendieck group of constructible sheaves on M. When M is a finite dimensional real vector space, Kashiwara-Schapira have recently introduced the convolution distance between sheaves of $\mathbf {k}$-vector spaces on M. In this paper, we characterize distances on the group of constructible functions on a real finite dimensional vector space that can be controlled by the convolution distance through the sheaf-function correspondence. Our main result asserts that such distances are almost trivial: they vanish as soon as two constructible functions have the same Euler integral. We formulate consequences of our result for Topological Data Analysis: there cannot exist nontrivial additive invariants of persistence modules that are continuous for the interleaving distance.

There are several ways to convert a closure or interior operation to a different operation that has particular desirable properties. In this paper, we axiomatize three ways to do so, drawing on disparate examples from the literature, including tight closure, basically full closure, and various versions of integral closure. In doing so, we explore several such desirable properties, including hereditary, residual, and cofunctorial, and see how they interact with other properties such as the finitistic property.

In this paper, we express the reduction types of Picard curves in terms of tropical invariants associated with binary quintics. We also give a general framework for tropical invariants associated with group actions on arbitrary varieties. The problem of finding tropical invariants for binary forms fits in this general framework by mapping the space of binary forms to symmetrized versions of the Deligne–Mumford compactification $\overline{M}_{0,n}$.