We show how the Selberg $\Lambda ^2$-sieve can be used to obtain power saving error terms in a wide class of counting problems which are tackled using the geometry of numbers. Specifically, we give such an error term for the counting function of $S_5$-quintic fields.

Finite $W$-algebras are certain associative algebras arising in Lie theory. Each $W$-algebra is constructed from a pair of a semisimple Lie algebra ${\mathfrak{g}}$ (our base field is algebraically closed and of characteristic 0) and its nilpotent element $e$. In this paper we classify finite-dimensional irreducible modules with integral central character over $W$-algebras. In more detail, in a previous paper the first author proved that the component group $A(e)$ of the centralizer of the nilpotent element under consideration acts on the set of finite-dimensional irreducible modules over the $W$-algebra and the quotient set is naturally identified with the set of primitive ideals in $U({\mathfrak{g}})$ whose associated variety is the closure of the adjoint orbit of $e$. In this paper, for a given primitive ideal with integral central character, we compute the corresponding $A(e)$-orbit. The answer is that the stabilizer of that orbit is basically a subgroup of $A(e)$ introduced by G. Lusztig. In the proof we use a variety of different ingredients: the structure theory of primitive ideals and Harish-Chandra bimodules for semisimple Lie algebras, the representation theory of $W$-algebras, the structure theory of cells and Springer representations, and multi-fusion monoidal categories.

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 semiprime ring with extended centroid $C$ and with maximal right ring of quotients $Q_{mr}(R)$. Let $d{:}\ R\to Q_{mr}(R)$ be an additive map and $b\in Q_{mr}(R)$. An additive map $\delta {:}\ R\to Q_{mr}(R)$ is called a (left) $b$-generalized derivation with associated map $d$ if $\delta (xy)=\delta (x)y+bxd(y)$ for all $x, y\in R$. This gives a unified viewpoint of derivations, generalized derivations and generalized $\sigma $-derivations with an X-inner automorphism $\sigma $. We give a complete characterization of $b$-generalized derivations of $R$ having nilpotent values of bounded index. This extends several known results in the literature.

We consider the natural $A_{\infty }$-structure on the $\mathrm{Ext}$-algebra $\mathrm{Ext}^*(G,G)$ associated with the coherent sheaf $G=\mathcal{O}_C\oplus \mathcal{O}_{p_1}\oplus \cdots \oplus \mathcal{O}_{p_n}$ on a smooth projective curve $C$, where $p_1,\ldots,p_n\in C$ are distinct points. We study the homotopy class of the product $m_3$. Assuming that $h^0(p_1+\cdots +p_n)=1$, we prove that $m_3$ is homotopic to zero if and only if $C$ is hyperelliptic and the points $p_i$ are Weierstrass points. In the latter case we show that $m_4$ is not homotopic to zero, provided the genus of $C$ is greater than $1$. In the case $n=g$ we prove that the $A_{\infty }$-structure is determined uniquely (up to homotopy) by the products $m_i$ with $i\le 6$. Also, in this case we study the rational map $\mathcal{M}_{g,g}\to \mathbb{A}^{g^2-2g}$ associated with the homotopy class of $m_3$. We prove that for $g\ge 6$ it is birational onto its image, while for $g\le 5$ it is dominant. We also give an interpretation of this map in terms of tangents to $C$ in the canonical embedding and in the projective embedding given by the linear series $|2(p_1+\cdots +p_g)|$.

Let $k$ be a base commutative ring, $R$ a commutative ring of coefficients, $X$ a quasi-compact quasi-separated $k$-scheme, and $A$ a sheaf of Azumaya algebras over $X$ of rank $r$. Under the assumption that $1/r\in R$, we prove that the noncommutative motives with $R$-coefficients of $X$ and $A$ are isomorphic. As an application, we conclude that a similar isomorphism holds for every $R$-linear additive invariant. This leads to several computations. Along the way we show that, in the case of finite-dimensional algebras of finite global dimension, all additive invariants are nilinvariant.

Let $\Gamma $ be a group and ${\Gamma }^{\prime } $ be a subgroup of $\Gamma $ of finite index. Let $M$ be a $\Gamma $-module. It is shown that $M$ is (strongly) Gorenstein flat if and only if it is (strongly) Gorenstein flat as a ${\Gamma }^{\prime } $-module. We also provide some criteria in which the classes of Gorenstein projective and strongly Gorenstein flat $\Gamma $-modules are the same.

We prove an analogue of Koszul duality for category $ \mathcal{O} $ of a reductive group $G$ in positive characteristic $\ell $ larger than $1$ plus the number of roots of $G$. However, there are no Koszul rings, and we do not prove an analogue of the Kazhdan–Lusztig conjectures in this context. The main technical result is the formality of the dg-algebra of extensions of parity sheaves on the flag variety if the characteristic of the coefficients is at least the number of roots of $G$ plus $2$.

The aim of this paper is to introduce $\tau $-tilting theory, which ‘completes’ (classical) tilting theory from the viewpoint of mutation. It is well known in tilting theory that an almost complete tilting module for any finite-dimensional algebra over a field $k$ is a direct summand of exactly one or two tilting modules. An important property in cluster-tilting theory is that an almost complete cluster-tilting object in a 2-CY triangulated category is a direct summand of exactly two cluster-tilting objects. Reformulated for path algebras $kQ$, this says that an almost complete support tilting module has exactly two complements. We generalize (support) tilting modules to what we call (support) $\tau $-tilting modules, and show that an almost complete support $\tau $-tilting module has exactly two complements for any finite-dimensional algebra. For a finite-dimensional $k$-algebra $\Lambda $, we establish bijections between functorially finite torsion classes in $ \mathsf{mod} \hspace{0.167em} \Lambda $, support $\tau $-tilting modules and two-term silting complexes in ${ \mathsf{K} }^{\mathrm{b} } ( \mathsf{proj} \hspace{0.167em} \Lambda )$. Moreover, these objects correspond bijectively to cluster-tilting objects in $ \mathcal{C} $ if $\Lambda $ is a 2-CY tilted algebra associated with a 2-CY triangulated category $ \mathcal{C} $. As an application, we show that the property of having two complements holds also for two-term silting complexes in ${ \mathsf{K} }^{\mathrm{b} } ( \mathsf{proj} \hspace{0.167em} \Lambda )$.

Let $\mathfrak{F}$ be a locally compact nonarchimedean field with residue characteristic $p$, and let $\mathrm{G} $ be the group of $\mathfrak{F}$-rational points of a connected split reductive group over $\mathfrak{F}$. For $k$ an arbitrary field of any characteristic, we study the homological properties of the Iwahori–Hecke $k$-algebra ${\mathrm{H} }^{\prime } $ and of the pro-$p$ Iwahori–Hecke $k$-algebra $\mathrm{H} $ of $\mathrm{G} $. We prove that both of these algebras are Gorenstein rings with self-injective dimension bounded above by the rank of $\mathrm{G} $. If $\mathrm{G} $ is semisimple, we also show that this upper bound is sharp, that both $\mathrm{H} $ and ${\mathrm{H} }^{\prime } $ are Auslander–Gorenstein, and that there is a duality functor on the finite length modules of $\mathrm{H} $ (respectively ${\mathrm{H} }^{\prime } $). We obtain the analogous Gorenstein and Auslander–Gorenstein properties for the graded rings associated to $\mathrm{H} $ and ${\mathrm{H} }^{\prime } $.

When $k$ has characteristic $p$, we prove that in ‘most’ cases $\mathrm{H} $ and ${\mathrm{H} }^{\prime } $ have infinite global dimension. In particular, we deduce that the category of smooth $k$-representations of $\mathrm{G} = {\mathrm{PGL} }_{2} ({ \mathbb{Q} }_{p} )$ generated by their invariant vectors under the pro-$p$ Iwahori subgroup has infinite global dimension (at least if $k$ is algebraically closed).

In this article, we introduce the notion of the uniquely $I$-clean ring and show that, if $R$ is a ring and $I$ is an ideal of $R$ then $R$ is uniquely $I$-clean if and only if ($R/ I$ is Boolean and idempotents lift uniquely modulo $I$) if and only if (for each $a\in R$ there exists a central idempotent $e\in R$ such that $e- a\in I$ and $I$ is idempotent-free). We examine when ideal extension is uniquely clean relative to an ideal. Also we obtain conditions on a ring $R$ and an ideal $I$ of $R$ under which uniquely $I$-clean rings coincide with uniquely clean rings. Further we prove that a ring $R$ is uniquely nil-clean if and only if ($N(R)$ is an ideal of $R$ and $R$ is uniquely $N(R)$-clean) if and only if $R$ is both uniquely clean and nil-clean if and only if ($R$ is an abelian exchange ring with $J(R)$ nil and every quasiregular element is uniquely clean). We also show that $R$ is a uniquely clean ring such that every prime ideal of $R$ is maximal if and only if $R$ is uniquely nil-clean ring and $N(R)= {\mathrm{Nil} }_{\ast } (R)$.

We develop some basic homological theory of hopfological algebra as defined by Khovanov [Hopfological algebra and categorification at a root of unity: the first steps, Preprint (2006), arXiv:math/0509083v2]. Several properties in hopfological algebra analogous to those of usual homological theory of DG algebras are obtained.

If $T$ is any finite higher commutator in an associative ring $R$, for example, $T= [[R, R] , [R, R] ] $, and if $T$ has minimal cardinality so that the ideal generated by $T$ is infinite, then $T$ is in the centre of $R$ and ${T}^{2} = 0$. Also, if $T$ is any finite, higher commutator containing no nonzero nilpotent element then $T$ generates a finite ideal.

We consider the incidence semirings of graphs and prove that every incidence semiring has convenient visible bases for its right ideals and for its left ideals, and that these visible bases can be used to determine the weights of all right ideals that have maximum weight and all left ideals that have maximum weight.

Connections between annihilators and ideals in Frobenius and symmetric algebras are used to provide a new proof of a result of Nakayama on quotient algebras, and an application is given to central symmetric algebras.

A semiring is a set $S$ with two binary operations $+ $ and $\cdot $ such that both the additive reduct ${S}_{+ } $ and the multiplicative reduct ${S}_{\bullet } $ are semigroups which satisfy the distributive laws. If $R$ is a ring, then, following Chaptal [‘Anneaux dont le demi-groupe multiplicatif est inverse’, C. R. Acad. Sci. Paris Ser. A–B 262 (1966), 274–277], ${R}_{\bullet } $ is a union of groups if and only if ${R}_{\bullet } $ is an inverse semigroup if and only if ${R}_{\bullet } $ is a Clifford semigroup. In Zeleznikow [‘Regular semirings’, Semigroup Forum 23 (1981), 119–136], it is proved that if $R$ is a regular ring then ${R}_{\bullet } $ is orthodox if and only if ${R}_{\bullet } $ is a union of groups if and only if ${R}_{\bullet } $ is an inverse semigroup if and only if ${R}_{\bullet } $ is a Clifford semigroup. The latter result, also known as Zeleznikow’s theorem, does not hold in general even for semirings $S$ with ${S}_{+ } $ a semilattice Zeleznikow [‘Regular semirings’, Semigroup Forum 23 (1981), 119–136]. The Zeleznikow problem on a certain class of semirings involves finding condition(s) such that Zeleznikow’s theorem holds on that class. The main objective of this paper is to solve the Zeleznikow problem for those semirings $S$ for which ${S}_{+ } $ is a semilattice.

We prove that neat and coneat submodules of a module coincide when $R$ is a commutative ring such that every maximal ideal is principal, extending a recent result by Fuchs. We characterise absolutely neat (coneat) modules and study their closure properties. We show that a module is absolutely neat if and only if it is injective with respect to the Dickson torsion theory.

This article is devoted to the historical study of the ADS-problem with a special emphasis on the use of methods and techniques, emerging with the development of the theory of rings: accessible subrings, iterated maximal essential extensions of rings, completely normal rings. We construct new examples of classes for which Kurosh’s chain stabilizes at any given step. We recall the old nontrivial questions, and we pose a new one.

The aim of this paper is to give a classification theorem for commutative torsion filial rings.

Here we prove that, for a $2$-primal ring $R$, the Laurent series ring $R((x))$ is a clean ring if and only if $R$ is a semiregular ring with $J(R)$ nil. This disproves the claim in K. I. Sonin [‘Semiprime and semiperfect rings of Laurent series’, Math. Notes 60 (1996), 222–226] that the Laurent series ring over a clean ring is again clean. As an application of the result, it is shown that, for a $2$-primal ring $R$, $R((x))$ is semiperfect if and only if $R((x))$ is semiregular if and only if $R$ is semiperfect with $J(R)$ nil.

We show that for a normal locally-$\mathscr{P}$ space $X$ (where $\mathscr{P}$ is a topological property subject to some mild requirements) the subset ${C}_{\mathscr{P}} (X)$ of ${C}_{b} (X)$ consisting of those elements whose support has a neighborhood with $\mathscr{P}$, is a subalgebra of ${C}_{b} (X)$ isometrically isomorphic to ${C}_{c} (Y)$ for some unique (up to homeomorphism) locally compact Hausdorff space $Y$. The space $Y$ is explicitly constructed as a subspace of the Stone–Čech compactification $\beta X$ of $X$ and contains $X$ as a dense subspace. Under certain conditions, ${C}_{\mathscr{P}} (X)$ coincides with the set of those elements of ${C}_{b} (X)$ whose support has $\mathscr{P}$, it moreover becomes a Banach algebra, and simultaneously, $Y$ satisfies ${C}_{c} (Y)= {C}_{0} (Y)$. This includes the cases when $\mathscr{P}$ is the Lindelöf property and $X$ is either a locally compact paracompact space or a locally-$\mathscr{P}$ metrizable space. In either of the latter cases, if $X$ is non-$\mathscr{P}$, then $Y$ is nonnormal and ${C}_{\mathscr{P}} (X)$ fits properly between ${C}_{0} (X)$ and ${C}_{b} (X)$; even more, we can fit a chain of ideals of certain length between ${C}_{0} (X)$ and ${C}_{b} (X)$. The known construction of $Y$ enables us to derive a few further properties of either ${C}_{\mathscr{P}} (X)$ or $Y$. Specifically, when $\mathscr{P}$ is the Lindelöf property and $X$ is a locally-$\mathscr{P}$ metrizable space, we show that

$$\begin{eqnarray*}\dim C_{\mathscr{P}}(X)= \ell \mathop{(X)}\nolimits ^{{\aleph }_{0} } ,\end{eqnarray*}$$

$\ell (X)$

$X$

$\mathscr{P}$

$X$

$$\begin{eqnarray*}Y= {\mathrm{int} }_{\beta X} \upsilon X\end{eqnarray*}$$

$\upsilon X$

$X$