In analogy with the complex analytic case, Mustaţă constructed (a family of) Bernstein–Sato polynomials for the structure sheaf ${\mathcal{O}}_{X}$ and a hypersurface $(f=0)$ in $X$, where $X$ is a regular variety over an $F$-finite field of positive characteristic (see Mustaţă, Bernstein–Sato polynomials in positive characteristic, J. Algebra 321(1) (2009), 128–151). He shows that the suitably interpreted zeros of his Bernstein–Sato polynomials correspond to the $F$-jumping numbers of the test ideal filtration ${\it\tau}(X,f^{t})$. In the present paper we generalize Mustaţă’s construction replacing ${\mathcal{O}}_{X}$ by an arbitrary $F$-regular Cartier module $M$ on $X$ and show an analogous correspondence of the zeros of our Bernstein–Sato polynomials with the jumping numbers of the associated filtration of test modules ${\it\tau}(M,f^{t})$ provided that $f$ is a nonzero divisor on $M$.

Building on coprincipal mesoprimary decomposition [Kahle and Miller, Decompositions of commutative monoid congruences and binomial ideals, Algebra and Number Theory 8 (2014), 1297–1364], we combinatorially construct an irreducible decomposition of any given binomial ideal. In a parallel manner, for congruences in commutative monoids we construct decompositions that are direct combinatorial analogues of binomial irreducible decompositions, and for binomial ideals we construct decompositions into ideals that are as irreducible as possible while remaining binomial. We provide an example of a binomial ideal that is not an intersection of irreducible binomial ideals, thus answering a question of Eisenbud and Sturmfels [Binomial ideals, Duke Math. J. 84 (1996), 1–45].

We consider plane Cremona maps with proper base points and the base ideal generated by the linear system of forms defining the map. The object of this work is to study the link between the algebraic properties of the base ideal and those of the ideal of these points fattened by the virtual multiplicities arising from the linear system. We reveal conditions which naturally regulate this association, with particular emphasis on the homological side. While most classical numerical inequalities concern the three highest virtual multiplicities, here we emphasize also the role of one single highest multiplicity. In this vein we describe classes of Cremona maps for large and small values of the highest virtual multiplicity. We also deal with the delicate question as to when is the base ideal non-saturated and consider the structure of its saturation.

We prove that the Hilbert–Kunz multiplicity is upper semi-continuous in F-finite rings and algebras of essentially finite type over an excellent local ring.

Many results are known about test ideals and $F$ -singularities for $\mathbb{Q}$ -Gorenstein rings. In this paper, we generalize many of these results to the case when the symbolic Rees algebra ${\mathcal{O}}_{X}\oplus {\mathcal{O}}_{X}(-K_{X})\oplus {\mathcal{O}}_{X}(-2K_{X})\oplus \cdots \,$ is finitely generated (or more generally, in the log setting for $-K_{X}-\unicode[STIX]{x1D6E5}$ ). In particular, we show that the $F$ -jumping numbers of $\unicode[STIX]{x1D70F}(X,\mathfrak{a}^{t})$ are discrete and rational. We show that test ideals $\unicode[STIX]{x1D70F}(X)$ can be described by alterations as in Blickle–Schwede–Tucker (and hence show that splinters are strongly $F$ -regular in this setting – recovering a result of Singh). We demonstrate that multiplier ideals reduce to test ideals under reduction modulo $p$ when the symbolic Rees algebra is finitely generated. We prove that Hartshorne–Speiser–Lyubeznik–Gabber-type stabilization still holds. We also show that test ideals satisfy global generation properties in this setting.

Abstract Let G be a linear algebraic group over an algebraically closed field 𝕜 acting rationally on a G-module V with its null-cone. Let δ(G, V) and σ(G, V) denote the minimal number d such that for every and , respectively, there exists a homogeneous invariant f of positive degree at most d such that f(v) ≠ 0. Then δ(G) and σ(G) denote the supremum of these numbers taken over all G-modules V. For positive characteristics, we show that δ(G) = ∞ for any subgroup G of GL2(𝕜) that contains an infinite unipotent group, and σ(G) is finite if and only if G is finite. In characteristic zero, δ(G) = 1 for any group G, and we show that if σ(G) is finite, then G 0 is unipotent. Our results also lead to a more elementary proof that β sep(G) is finite if and only if G is finite.

We give a diagrammatic presentation for the category of Soergel bimodules for the dihedral group $W$. The (two-colored) Temperley–Lieb category is embedded inside this category as the degree $0$ morphisms between color-alternating objects. The indecomposable Soergel bimodules are the images of Jones–Wenzl projectors. When $W$ is infinite, the parameter $q$ of the Temperley–Lieb algebra may be generic, yielding a quantum version of the geometric Satake equivalence for $\mathfrak{sl}_{2}$. When $W$ is finite, $q$ must be specialized to an appropriate root of unity, and the negligible Jones–Wenzl projector yields the Soergel bimodule for the longest element of $W$.

We develop a comprehensive theory of the stable representation categories of several sequences of groups, including the classical and symmetric groups, and their relation to the unstable categories. An important component of this theory is an array of equivalences between the stable representation category and various other categories, each of which has its own flavor (representation theoretic, combinatorial, commutative algebraic, or categorical) and offers a distinct perspective on the stable category. We use this theory to produce a host of specific results: for example, the construction of injective resolutions of simple objects, duality between the orthogonal and symplectic theories, and a canonical derived auto-equivalence of the general linear theory.

Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor (for example, a ring of integers in an algebraic number field or a holomorphy ring in an algebraic function field). The catenary degree $\mathsf{c}(H)$ of $H$ is the smallest integer $N$ with the following property: for each $a\in H$ and each pair of factorizations $z,z^{\prime }$ of $a$ , there exist factorizations $z=z_{0},\dots ,z_{k}=z^{\prime }$ of $a$ such that, for each $i\in [1,k]$ , $z_{i}$ arises from $z_{i-1}$ by replacing at most $N$ atoms from $z_{i-1}$ by at most $N$ new atoms. To exclude trivial cases, suppose that $|G|\geq 3$ . Then the catenary degree depends only on the class group $G$ and we have $\mathsf{c}(H)\in [3,\mathsf{D}(G)]$ , where $\mathsf{D}(G)$ denotes the Davenport constant of $G$ . The cases when $\mathsf{c}(H)\in \{3,4,\mathsf{D}(G)\}$ have been previously characterized (see Theorem A). Based on a characterization of the catenary degree determined in the paper by Geroldinger et al. [‘The catenary degree of Krull monoids I’, J. Théor. Nombres Bordeaux23 (2011), 137–169], we determine the class groups satisfying $\mathsf{c}(H)=\mathsf{D}(G)-1$ . Apart from the extremal cases mentioned, the precise value of $\mathsf{c}(H)$ is known for no further class groups.

We study new families of curves that are suitable for efficiently parametrizing their moduli spaces. We explicitly construct such families for smooth plane quartics in order to determine unique representatives for the isomorphism classes of smooth plane quartics over finite fields. In this way, we can visualize the distributions of their traces of Frobenius. This leads to new observations on fluctuations with respect to the limiting symmetry imposed by the theory of Katz and Sarnak.

We study the McKay correspondence for representations of the cyclic group of order $p$ in characteristic $p$. The main tool is the motivic integration generalized to quotient stacks associated to representations. Our version of the change of variables formula leads to an explicit computation of the stringy invariant of the quotient variety. A consequence is that a crepant resolution of the quotient variety (if any) has topological Euler characteristic $p$ as in the tame case. Also, we link a crepant resolution with a count of Artin–Schreier extensions of the power series field with respect to weights determined by ramification jumps and the representation.

Let $k$ be a field and $\mathbb{V}$ the affine threefold in $\mathbb{A}^4_k$ defined by $x^m y=F(x, z, t)$, $m \ge 2$. In this paper, we show that $\mathbb{V} \cong \mathbb{A}^3_k$ if and only if $f(z, t): = F(0, z, t)$ is a coordinate of $k[z, t]$. In particular, when $k$ is a field of positive characteristic and $f$ defines a non-trivial line in the affine plane $\mathbb{A}^2_k$ (we shall call such a $\mathbb{V}$ as an Asanuma threefold), then $\mathbb{V}\ncong \mathbb{A}^3_k$ although $\mathbb{V} \times \mathbb{A}^1_k \cong \mathbb{A}^4_k$, thereby providing a family of counter-examples to Zariski’s cancellation conjecture for the affine 3-space in positive characteristic. Our main result also proves a special case of the embedding conjecture of Abhyankar–Sathaye in arbitrary characteristic.

Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}R$ be a commutative ring, $I(R)$ be the set of all ideals of $R$ and $S$ be a subset of $I^*(R)=I(R)\setminus \{0\}$. We define a Cayley sum digraph of ideals of $R$, denoted by $\overrightarrow{\mathrm{Cay}}^+ (I(R),S)$, as a directed graph whose vertex set is the set $I(R)$ and, for every two distinct vertices $I$ and $J$, there is an arc from $I$ to $J$, denoted by $I\longrightarrow J$, whenever $I+K=J$, for some ideal $K $ in $S$. Also, the Cayley sum graph $ \mathrm{Cay}^+ (I(R), S)$ is an undirected graph whose vertex set is the set $I(R)$ and two distinct vertices $I$ and $J$ are adjacent whenever $I+K=J$ or $J+K=I$, for some ideal $K $ in $ S$. In this paper, we study some basic properties of the graphs $\overrightarrow{\mathrm{Cay}}^+ (I(R),S)$ and $ \mathrm{Cay}^+ (I(R), S)$ such as connectivity, girth and clique number. Moreover, we investigate the planarity, outerplanarity and ring graph of $ \mathrm{Cay}^+ (I(R), S)$ and also we provide some characterization for rings $R$ whose Cayley sum graphs have genus one.

The purpose of this paper is twofold. We present first a vanishing theorem for families of linear series with base ideal being a fat points ideal. We then apply this result in order to give a partial proof of a conjecture raised by Bocci, Harbourne and Huneke concerning containment relations between ordinary and symbolic powers of planar point ideals.

A singularity in characteristic zero is said to be of dense $F$-pure type if its modulo $p$ reduction is locally Frobenius split for infinitely many $p$. We prove that if $x\in X$ is an isolated log canonical singularity with $\mu (x\in X)\leq 2$ (where the invariant $\mu $ is as defined in Definition 1.4), then it is of dense $F$-pure type. As a corollary, we prove the equivalence of log canonicity and being of dense $F$-pure type in the case of three-dimensional isolated $ \mathbb{Q} $-Gorenstein normal singularities.

For a characteristic-$p\gt 0$ variety $X$ with controlled $F$-singularities, we state conditions which imply that a divisorial sheaf is Cohen–Macaulay or at least has depth $\geq $3 at certain points. This mirrors results of Kollár for varieties in characteristic 0. As an application, we show that relative canonical sheaves are compatible with arbitrary base change for certain families with sharply $F$-pure fibers.

Let be a classical Lie superalgebra and let ℱ be the category of finite-dimensional -supermodules which are completely reducible over the reductive Lie algebra . In [B. D. Boe, J. R. Kujawa and D. K. Nakano, Complexity and module varieties for classical Lie superalgebras, Int. Math. Res. Not. IMRN (2011), 696–724], we demonstrated that for any module M in ℱ the rate of growth of the minimal projective resolution (i.e. the complexity of M) is bounded by the dimension of . In this paper we compute the complexity of the simple modules and the Kac modules for the Lie superalgebra . In both cases we show that the complexity is related to the atypicality of the block containing the module.

Suppose that W is a finite, unitary, reflection group acting on the complex vector space V and X is a subspace of V. Define N to be the setwise stabilizer of X in W, Z to be the pointwise stabilizer, and C=N/Z. Then restriction defines a homomorphism from the algebra of W-invariant polynomial functions on V to the algebra of C-invariant functions on X. In this note we consider the special case when W is a Coxeter group, V is the complexified reflection representation of W, and X is in the lattice of the arrangement of W, and give a simple, combinatorial characterization of when the restriction mapping is surjective in terms of the exponents of W and C. As an application of our result, in the case when W is the Weyl group of a semisimple, complex Lie algebra, we complete a calculation begun by Richardson in 1987 and obtain a simple combinatorial characterization of regular decomposition classes whose closure is a normal variety.

We define a hyperplane group to be a finite group generated by reflections fixing a single hyperplane pointwise. Landweber and Stong proved that the invariant ring of a hyperplane group is again a polynomial ring in any characteristic. Recently, Hartmann and Shepler gave a constructive proof of this result. By their algorithm, one can always construct generators that are additive. In this paper, we study hyperplane groups of order a power of a prime p in characteristic p and give a slightly different construction of the generators than Hartmann and Shepler. We then show that such generators have a particular form. Furthermore, we show that if the group is defined by a finite additive subgroup W ⊆ , the vanishing ideal of W is generated by polynomials obtained from a set of generators of the invariant ring that are additive. Finally, we give a shorter proof of the fact that the module of the invariant differential 1-forms is free in our situation.

The paper deals with the classification of Leibniz central extensions of a filiform Lie algebra. We choose a basis with respect to which the multiplication table has a simple form. In low-dimensional cases isomorphism classes of the central extensions are given. In the case of parametric families of orbits, invariant functions (orbit functions) are provided.