Let k be an algebraically closed field of characteristic $p>0$. Let X be a normal projective surface over k with canonical singularities whose anticanonical divisor is nef and big. We prove that X is globally F-regular except for the following cases: (1) $K_X^2=4$ and $p=2$, (2) $K_X^2=3$ and $p \in \{2, 3\}$, (3) $K_X^2=2$ and $p \in \{2, 3\}$, (4) $K_X^2=1$ and $p \in \{2, 3, 5\}$. For each degree $K_X^2$, the assumption of p is optimal.

The notion of Vasconcelos invariant, known in the literature as v-number, of a homogeneous ideal in a polynomial ring over a field was introduced in 2020 to study the asymptotic behavior of the minimum distance of projective Reed–Muller type codes. We initiate the study of this invariant for graded modules. Let R be a Noetherian $\mathbb {N}$-graded ring and M be a finitely generated graded R-module. The v-number $v(M)$ can be defined as the least possible degree of a homogeneous element x of M for which $(0:_Rx)$ is a prime ideal of R. For a homogeneous ideal I of R, we mainly prove that $v(I^nM)$ and $v(I^nM/I^{n+1}M)$ are eventually linear functions of n. In addition, if $(0:_M I)=0$, then $v(M/I^{n}M)$ is also eventually linear with the same leading coefficient as that of $v(I^nM/I^{n+1}M)$. These leading coefficients are described explicitly. The result on the linearity of $v(M/I^{n}M)$ considerably strengthens a recent result of Conca which was shown when R is a domain and $M=R$, and Ficarra–Sgroi where the polynomial case is treated.

We establish a McKay correspondence for finite and linearly reductive subgroup schemes of ${\mathbf {SL}}_2$ in positive characteristic. As an application, we obtain a McKay correspondence for all rational double point singularities in characteristic $p\geq 7$. We discuss linearly reductive quotient singularities and canonical lifts over the ring of Witt vectors. In dimension 2, we establish simultaneous resolutions of singularities of these canonical lifts via G-Hilbert schemes. In the appendix, we discuss several approaches towards the notion of conjugacy classes for finite group schemes: This is an ingredient in McKay correspondences, but also of independent interest.

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.

Let $\Omega _n$ be the ring of polynomial-valued holomorphic differential forms on complex n-space, referred to in physics as the superspace ring of rank n. The symmetric group ${\mathfrak {S}}_n$ acts diagonally on $\Omega _n$ by permuting commuting and anticommuting generators simultaneously. We let $SI_n \subseteq \Omega _n$ be the ideal generated by ${\mathfrak {S}}_n$-invariants with vanishing constant term and study the quotient $SR_n = \Omega _n / SI_n$ of superspace by this ideal. We calculate the doubly-graded Hilbert series of $SR_n$ and prove an ‘operator theorem’, which characterizes the harmonic space $SH_n \subseteq \Omega _n$ attached to $SR_n$ in terms of the Vandermonde determinant and certain differential operators. Our methods employ commutative algebra results that were used in the study of Hessenberg varieties. Our results prove conjectures of N. Bergeron, Colmenarejo, Li, Machacek, Sulzgruber, Swanson, Wallach and Zabrocki.

We classify the automorphic Lie algebras of equivariant maps from a complex torus to $\mathfrak{sl}_2(\mathbb{C})$. For each case, we compute a basis in a normal form. The automorphic Lie algebras correspond precisely to two disjoint families of Lie algebras parametrised by the modular curve of $\mathrm{PSL}_2({\mathbb{Z}})$, apart from four cases, which are all isomorphic to Onsager’s algebra.

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.

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

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.

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

We investigate the geometry of codimension one foliations on smooth projective varieties defined over fields of positive characteristic with an eye toward applications to the structure of codimension one holomorphic foliations on projective manifolds.

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.

In a 1968 issue of the Proceedings, P. M. Cohn famously claimed that a commutative domain is atomic if and only if it satisfies the ascending chain condition on principal ideals (ACCP). Some years later, a counterexample was however provided by A. Grams, who showed that every commutative domain with the ACCP is atomic, but not vice versa. This has led to the problem of finding a sensible (ideal-theoretic) characterisation of atomicity.

The question (explicitly stated on p. 3 of A. Geroldinger and F. Halter–Koch’s 2006 monograph on factorisation) is still open. We settle it here by using the language of monoids and preorders.

Using Cohen’s classification of symplectic reflection groups, we prove that the parabolic subgroups, that is, stabilizer subgroups, of a finite symplectic reflection group, are themselves symplectic reflection groups. This is the symplectic analog of Steinberg’s Theorem for complex reflection groups.

Using computational results required in the proof, we show the nonexistence of symplectic resolutions for symplectic quotient singularities corresponding to three exceptional symplectic reflection groups, thus reducing further the number of cases for which the existence question remains open.

Another immediate consequence of our result is that the singular locus of the symplectic quotient singularity associated to a symplectic reflection group is pure of codimension two.