For a reduced hyperplane arrangement, we prove the analytic Twisted Logarithmic Comparison Theorem, subject to mild combinatorial arithmetic conditions on the weights defining the twist. This gives a quasi-isomorphism between the twisted logarithmic de Rham complex and the twisted meromorphic de Rham complex. The latter computes the cohomology of the arrangement’s complement with coefficients from the corresponding rank one local system. We also prove the algebraic variant (when the arrangement is central), and the analytic and algebraic (untwisted) Logarithmic Comparison Theorems. The last item positively resolves an old conjecture of Terao. We also prove that: Every nontrivial rank one local system on the complement can be computed via these Twisted Logarithmic Comparison Theorems; these computations are explicit finite-dimensional linear algebra. Finally, we give some $\mathscr {D}_{X}$-module applications: For example, we give a sharp restriction on the codimension one components of the multivariate Bernstein–Sato ideal attached to an arbitrary factorization of an arrangement. The bound corresponds to (and, in the univariate case, gives an independent proof of) M. Saito’s result that the roots of the Bernstein–Sato polynomial of a non-smooth, central, reduced arrangement live in $(-2 + 1/d, 0).$

Let $(A,\mathfrak{m})$ be a Cohen–Macaulay local ring, and then the notion of a $T$-split sequence was introduced in the part-1 of this paper for the $\mathfrak{m}$-adic filtration with the help of the numerical function $e^T_A$. In this article, we explore the relation between Auslander–Reiten (AR)-sequences and $T$-split sequences. For a Gorenstein ring $(A,\mathfrak{m})$, we define a Hom-finite Krull–Remak–Schmidt category $\mathcal{D}_A$ as a quotient of the stable category $\underline{\mathrm{CM}}(A)$. This category preserves isomorphism, that is, $M\cong N$ in $\mathcal{D}_A$ if and only if $M\cong N$ in $\underline{\mathrm{CM}}(A)$.This article has two objectives: first objective is to extend the notion of $T$-split sequences, and second objective is to explore the function $e^T_A$ and $T$-split sequences. When $(A,\mathfrak{m})$ is an analytically unramified Cohen–Macaulay local ring and $I$ is an $\mathfrak{m}$-primary ideal, then we extend the techniques in part-1 of this paper to the integral closure filtration with respect to $I$ and prove a version of Brauer–Thrall-II for a class of such rings.

Let $(A,\mathfrak{m})$ be a regular local ring of dimension $d \geq 1$, I an $\mathfrak{m}$-primary ideal. Let N be a nonzero finitely generated A-module. Consider the functions

\begin{equation*}t^I(N, n) = \sum_{i = 0}^{d}\ell(\text{Tor}^A_i(N, A/I^n)) \ \text{and}\ e^I(N, n) = \sum_{i = 0}^{d}\ell(\text{Ext}_A^i(N, A/I^n))\end{equation*}

of polynomial type and let their degrees be $t^I(N) $ and $e^I(N)$. We prove that $t^I(N) = e^I(N) = \max\{\dim N, d -1 \}$. A crucial ingredient in the proof is that $D^b(A)_f$, the bounded derived category of A with finite length cohomology, has no proper thick subcategories.

We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure quotients and pure extensions, as well as providing a way to show the existence of approximations. One key ingredient is a new characterization of phantom maps. We then introduce an axiomatic form of Auslander–Gruson–Jensen duality, from which we define dual definable categories, and show that these coincide with symmetric coproduct closed duality pairs. This framework is ubiquitous, encompassing both algebraic triangulated categories and stable homotopy theories. Accordingly, we provide many applications in both settings, with a particular emphasis on silting theory and stratified tensor-triangulated categories.

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 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 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.

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.

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.

Let $\mathfrak{p}$ be a prime ideal in a commutative noetherian ring R and denote by $k(\mathfrak{p})$ the residue field of the local ring $R_\mathfrak{p}$. We prove that if an R-module M satisfies $\operatorname{Ext}_R^{n}(k(\mathfrak{p}),M)=0$ for some $n\geqslant\dim R$, then $\operatorname{Ext}_R^i(k(\mathfrak{p}),M)=0$ holds for all $i \geqslant n$. This improves a result of Christensen, Iyengar and Marley by lowering the bound on n. We also improve existing results on Tor-rigidity. This progress is driven by the existence of minimal semi-flat-cotorsion replacements in the derived category as recently proved by Nakamura and Thompson.

In this paper, we are concerned with certain invariants of modules, called reducing invariants, which have been recently introduced and studied by Araya–Celikbas and Araya–Takahashi. We raise the question whether the residue field of each commutative Noetherian local ring has finite reducing projective dimension and obtain an affirmative answer for the question for a large class of local rings. Furthermore, we construct new examples of modules of infinite projective dimension that have finite reducing projective dimension and study several fundamental properties of reducing dimensions, especially properties under local homomorphisms of local rings.

Let $({\cal{A}},{\cal{E}})$ be an exact category. We establish basic results that allow one to identify sub(bi)functors of ${\operatorname{Ext}}_{\cal{E}}(-,-)$ using additivity of numerical functions and restriction to subcategories. We also study a small number of these new functors over commutative local rings in detail and find a range of applications from detecting regularity to understanding Ulrich modules.

In this article, we prove that a complete Noetherian local domain of mixed characteristic $p>0$ with perfect residue field has an integral extension that is an integrally closed, almost Cohen–Macaulay domain such that the Frobenius map is surjective modulo p. This result is seen as a mixed characteristic analog of the fact that the perfect closure of a complete local domain in positive characteristic is almost Cohen–Macaulay. To this aim, we carry out a detailed study of decompletion of perfectoid rings and establish the Witt-perfect (decompleted) version of André’s perfectoid Abhyankar’s lemma and Riemann’s extension theorem.

Consider a reductive linear algebraic group G acting linearly on a polynomial ring S over an infinite field; key examples are the general linear group, the symplectic group, the orthogonal group, and the special linear group, with the classical representations as in Weyl’s book: For the general linear group, consider a direct sum of copies of the standard representation and copies of the dual; in the other cases, take copies of the standard representation. The invariant rings in the respective cases are determinantal rings, rings defined by Pfaffians of alternating matrices, symmetric determinantal rings and the Plücker coordinate rings of Grassmannians; these are the classical invariant rings of the title, with $S^G\subseteq S$ being the natural embedding.

Over a field of characteristic zero, a reductive group is linearly reductive, and it follows that the invariant ring $S^G$ is a pure subring of S, equivalently, $S^G$ is a direct summand of S as an $S^G$-module. Over fields of positive characteristic, reductive groups are typically no longer linearly reductive. We determine, in the positive characteristic case, precisely when the inclusion $S^G\subseteq S$ is pure. It turns out that if $S^G\subseteq S$ is pure, then either the invariant ring $S^G$ is regular or the group G is linearly reductive.

For a finitely dominated Poincaré duality space $M$, we show how the first author's total obstruction $\mu _M$ to the existence of a Poincaré embedding of the diagonal map $M \to M \times M$ in [17] relates to the Reidemeister trace of the identity map of $M$. We then apply this relationship to show that $\mu _M$ vanishes when suitable conditions on the fundamental group of $M$ are satisfied.