We introduce a natural weighted enumeration of lattice points in a polytope, and give a Brion-type formula for the corresponding generating function. The weighting has combinatorial significance, and its generating function may be viewed as a generalization of the Rogers–Szegő polynomials. It also arises from the geometry of the toric arc scheme associated to the normal fan of the polytope. We show that the asymptotic behaviour of thecoefficients at $q=1$ is Gaussian.

We enumerate the low-dimensional cells in the Voronoi cell complexes attached to the modular groups $\mathit {SL}_N(\mathbb{Z} )$ and $\mathit {GL}_N(\mathbb{Z} )$ for $N=8,9,10,11$, using quotient sublattice techniques for $N=8,9$ and linear programming methods for higher dimensions. These enumerations allow us to compute some cohomology of these groups and prove that $K_8(\mathbb{Z} ) = 0$. We deduce from it new knowledge on the Kummer-Vandiver conjecture.

Levels of cancellativity in commutative monoids M, determined by stable-rank values in $\mathbb {Z}_{> 0} \cup \{\infty \}$ for elements of M, are investigated. The behavior of the stable ranks of multiples $ka$, for $k \in \mathbb {Z}_{> 0}$ and $a \in M$, is determined. In the case of a refinement monoid M, the possible stable-rank values in archimedean components of M are pinned down. Finally, stable rank in monoids built from isomorphism or other equivalence classes of modules over a ring is discussed.

We prove the geometric Satake equivalence for mixed Tate motives over the integral motivic cohomology spectrum. This refines previous versions of the geometric Satake equivalence for split reductive groups. Our new geometric results include Whitney–Tate stratifications of Beilinson–Drinfeld Grassmannians and cellular decompositions of semi-infinite orbits. With future global applications in mind, we also achieve an equivalence relative to a power of the affine line. Finally, we use our equivalence to give Tannakian constructions of Deligne’s modification of the dual group and a modified form of Vinberg’s monoid over the integers.

Segre and Verlinde series have been studied in many cases, including virtual geometries of Quot schemes on surfaces and Calabi–Yau 4-folds. Our work is the first to address the equivariant setting for both ${\mathbb{C}}^2$ and ${\mathbb{C}}^4$ by examining higher degree contributions which have no compact analogue.

1. (i) For ${\mathbb{C}}^2$, we work mostly with virtual geometries of Quot schemes. After connecting the equivariant series in degree zero to the existing results of the first author for compact surfaces, we extend the Segre–Verlinde correspondence to all degrees and to the reduced virtual classes. Additionally, we conjecture that there is an equivariant symmetry of Segre series, which was also observed in the compact setting.

2. (ii) For ${\mathbb{C}}^4$, we give further motivation for the definition of the Verlinde series. Based on empirical data andtorsiopn additional structural results, we conjecture that there is an equivariant Segre–Verlinde correspondence and Segre symmetry analogous to the one for ${\mathbb{C}}^2$.

We improve, by a factor of 2, known homology stability ranges for the integral homology of symplectic groups over commutative local rings with infinite residue field and show that the obstruction to further stability is bounded below by Milnor–Witt K-theory. In particular, our stability range is optimal in many cases.

In the present notes, we study a generalization of the Peterson subalgebra to an oriented (generalized) cohomology theory which we call the formal Peterson subalgebra. Observe that by recent results of Zhong the dual of the formal Peterson algebra provides an algebraic model for the oriented cohomology of the affine Grassmannian.

Our first result shows that the centre of the formal affine Demazure algebra (FADA) generates the formal Peterson subalgebra. Our second observation is motivated by the Peterson conjecture. We show that a certain localization of the formal Peterson subalgebra for the extended Dynkin diagram of type $\hat A_1$ provides an algebraic model for “quantum” oriented cohomology of the projective line. Our last result can be viewed as an extension of the previous results on Hopf algebroids of structure algebras of moment graphs to the case of affine root systems. We prove that the dual of the formal Peterson subalgebra (an oriented cohomology of the affine Grassmannian) is the zeroth Hochschild homology of the FADA.

We study certain categories associated to symmetric quivers with potential, called quasi-Bogomol’nyi–Prasad–Sommerfield (BPS) categories. We construct semiorthogonal decompositions of the categories of matrix factorizations for moduli stacks of representations of (framed or unframed) symmetric quivers with potential, where the summands are categorical Hall products of quasi-BPS categories. These results generalize our previous results about the three-loop quiver. We prove several properties of quasi-BPS categories: wall-crossing equivalence, strong generation, and a categorical support lemma in the case of tripled quivers with potential. We also introduce reduced quasi-BPS categories for preprojective algebras, which have trivial relative Serre functor and are indecomposable when the weight is coprime with the total dimension. In this case, we regard the reduced quasi-BPS categories as noncommutative local hyperkähler varieties and as (twisted) categorical versions of crepant resolutions of singularities of good moduli spaces of representations of preprojective algebras. The studied categories include the local models of quasi-BPS categories of K3 surfaces. In a follow-up paper, we establish analogous properties for quasi-BPS categories of K3 surfaces.

Let S and T be smooth projective varieties over an algebraically closed field k. Suppose that S is a surface admitting a decomposition of the diagonal. We show that, away from the characteristic of k, if an algebraic correspondence $T \to S$ acts trivially on the unramified cohomology, then it acts trivially on any normalized, birational and motivic functor. This generalizes Kahn’s result on the torsion order of S. We also exhibit an example of S over $\mathbb {C}$ for which $S \times S$ violates the integral Hodge conjecture.

We describe the modulo $2$ de Rham-Witt complex of a field of characteristic $2$, in terms of the powers of the augmentation ideal of the $\mathbb {Z}/2$-geometric fixed points of real topological restriction homology ${\mathrm {TRR}}$. This is analogous to the conjecture of Milnor, proved in [Kat82] for fields of characteristic $2$, which describes the modulo $2$ Milnor K-theory in terms of the powers of the augmentation ideal of the Witt group of symmetric forms. Our proof provides a somewhat explicit description of these objects, as well as a calculation of the homotopy groups of the geometric fixed points of ${\mathrm {TRR}}$ and of real topological cyclic homology, for all fields.

We show that the fundamental groups of smooth $4$-manifolds that admit geometric decompositions in the sense of Thurston have asymptotic dimension at most four, and equal to four when aspherical. We also show that closed $3$-manifold groups have asymptotic dimension at most three. Our proof method yields that the asymptotic dimension of closed $3$-dimensional Alexandrov spaces is at most three. Thus, we obtain that the Novikov conjecture holds for closed $4$-manifolds with such a geometric decomposition and for closed $3$-dimensional Alexandrov spaces. Consequences of these results include a vanishing result for the Yamabe invariant of certain $0$-surgered geometric $4$-manifolds and the existence of zero in the spectrum of aspherical smooth $4$-manifolds with a geometric decomposition.

We prove a theorem that computes, for any augmented operad $\mathcal{O}$, the stable homology of the Lie algebra of derivations of the free algebra $\mathcal{O}(V)$ with twisted bivariant coefficients (here stabilization occurs as $\dim(V)\to\infty$) out of the homology of the wheeled bar construction of $\mathcal{O}$; this can further be used to prove uniform mixed representation stability for the homology of the positive part of that Lie algebra with constant coefficients. This result generalizes both the Loday–Quillen–Tsygan theorem on the homology of the Lie algebra of infinite matrices and the Fuchs stability theorem for the homology of the Lie algebra of vector fields. We also prove analogous theorems for the Lie algebras of derivations with constant and zero divergence, in which case one has to consider the wheeled bar construction of the wheeled completion of $\mathcal{O}$. Similarly to how cyclic homology of an algebra A may be viewed as an additive version of the algebraic K-theory of A, our results hint at the additive K-theoretic nature of the wheeled bar construction.

Let F be a non-archimedean locally compact field of residual characteristic p, let $G=\operatorname {GL}_{r}(F)$ and let $\widetilde {G}$ be an n-fold metaplectic cover of G with $\operatorname {gcd}(n,p)=1$. We study the category $\operatorname {Rep}_{\mathfrak {s}}(\widetilde {G})$ of complex smooth representations of $\widetilde {G}$ having inertial equivalence class $\mathfrak {s}=(\widetilde {M},\mathcal {O})$, which is a block of the category $\operatorname {Rep}(\widetilde {G})$, following the ‘type theoretical’ strategy of Bushnell-Kutzko.

Precisely, first we construct a ‘maximal simple type’ $(\widetilde {J_{M}},\widetilde {\lambda }_{M})$ of $\widetilde {M}$ as an $\mathfrak {s}_{M}$-type, where $\mathfrak {s}_{M}=(\widetilde {M},\mathcal {O})$ is the related cuspidal inertial equivalence class of $\widetilde {M}$. Along the way, we prove the folklore conjecture that every cuspidal representation of $\widetilde {M}$ could be constructed explicitly by a compact induction. Secondly, we construct ‘simple types’ $(\widetilde {J},\widetilde {\lambda })$ of $\widetilde {G}$ and prove that each of them is an $\mathfrak {s}$-type of a certain block $\operatorname {Rep}_{\mathfrak {s}}(\widetilde {G})$. When $\widetilde {G}$ is either a Kazhdan-Patterson cover or Savin’s cover, the corresponding blocks turn out to be those containing discrete series representations of $\widetilde {G}$. Finally, for a simple type $(\widetilde {J},\widetilde {\lambda })$ of $\widetilde {G}$, we describe the related Hecke algebra $\mathcal {H}(\widetilde {G},\widetilde {\lambda })$, which turns out to be not far from an affine Hecke algebra of type A, and is exactly so if $\widetilde {G}$ is one of the two special covers mentioned above.

We leave the construction of a ‘semi-simple type’ related to a general block $\operatorname {Rep}_{\mathfrak {s}}(\widetilde {G})$ to a future phase of the work.

Inspired by work of Szymik and Wahl on the homology of Higman–Thompson groups, we establish a general connection between ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces, based on the construction of small permutative categories of compact open bisections. This allows us to analyse homological invariants of topological full groups in terms of homology for ample groupoids.

Applications include complete rational computations, general vanishing and acyclicity results for group homology of topological full groups as well as a proof of Matui’s AH-conjecture for all minimal, ample groupoids with comparison.

We investigate the structure of circle actions with the Rokhlin property, particularly in relation to equivariant $KK$-theory. Our main results are $\mathbb {T}$-equivariant versions of celebrated results of Kirchberg: any Rokhlin action on a separable, nuclear C*-algebra is $KK^{\mathbb {T}}$-equivalent to a Rokhlin action on a Kirchberg algebra; and two circle actions with the Rokhlin property on a Kirchberg algebra are conjugate if and only if they are $KK^{\mathbb {T}}$-equivalent.

In the presence of the Universal Coefficient Theorem (UCT), $KK^{\mathbb {T}}$-equivalence for Rokhlin actions reduces to isomorphism of a K-theoretical invariant, namely of a canonical pure extension naturally associated with any Rokhlin action, and we provide a complete description of the extensions that arise from actions on nuclear $C^*$-algebras. In contrast with the non-equivariant setting, we exhibit an example showing that an isomorphism between the $K^{\mathbb {T}}$-theories of Rokhlin actions on Kirchberg algebras does not necessarily lift to a $KK^{\mathbb {T}}$-equivalence; this is the first example of its kind, even in the absence of the Rokhlin property.

We consider generalised Dirac-Schrödinger operators, consisting of a self-adjoint elliptic first-order differential operator $\mathcal {D}$ with a skew-adjoint ‘potential’ given by a (suitable) family of unbounded operators. The index of such an operator represents the pairing (Kasparov product) of the K-theory class of the potential with the K-homology class of $\mathcal {D}$. Our main result in this paper is a generalisation of the Callias Theorem: the index of the Dirac-Schrödinger operator can be computed on a suitable compact hypersurface. Our theorem simultaneously generalises (and is inspired by) the well-known result that the spectral flow of a path of relatively compact perturbations depends only on the endpoints.

For an arbitrary ring A, we study the abelianization of the elementary group $\mathit{{\rm E}}_2(A)$. In particular, we show that for a commutative ring A there exists an exact sequence

\begin{equation*}{\rm K}_2(2,A)/{\rm C}(2,A) \rightarrow A/M \rightarrow \mathit{{\rm E}}_2(A)^{\rm ab} \rightarrow 1,\end{equation*}

where ${\rm C}(2,A)$ is the central subgroup of the Steinberg group $\mathit{{\rm St}}(2,A)$ generated by the Steinberg symbols and M is the additive subgroup of A generated by $x(a^2-1)$ and $3(b+1)(c+1)$, with $x\in A, a,b,c \in {A^\times}$.

We realise Buchweitz and Flenner’s semiregularity map (and hence a fortiori Bloch’s semiregularity map) for a smooth variety X as the tangent of a generalised Abel–Jacobi map on the derived moduli stack of perfect complexes on X. The target of this map is an analogue of Deligne cohomology defined in terms of cyclic homology, and Goodwillie’s theorem on nilpotent ideals ensures that it has the desired tangent space (a truncated de Rham complex).

Immediate consequences are the semiregularity conjectures: that the semiregularity maps annihilate all obstructions, and that if X is deformed, semiregularity measures the failure of the Chern character to remain a Hodge class. This gives rise to reduced obstruction theories of the type featuring in the study of reduced Gromov–Witten and Pandharipande–Thomas invariants. We also give generalisations allowing X to be singular, and even a derived stack.

We show that for $\mathrm {C}^*$-algebras with the global Glimm property, the rank of every operator can be realized as the rank of a soft operator, that is, an element whose hereditary sub-$\mathrm {C}^*$-algebra has no nonzero, unital quotients. This implies that the radius of comparison of such a $\mathrm {C}^*$-algebra is determined by the soft part of its Cuntz semigroup.

Under a mild additional assumption, we show that every Cuntz class dominates a (unique) largest soft Cuntz class. This defines a retract from the Cuntz semigroup onto its soft part, and it follows that the covering dimensions of these semigroups differ by at most $1$.

We extend the notion of regular coherence from rings to additive categories and show that well-known consequences of regular coherence for rings also apply to additive categories. For instance, the negative K-groups and all twisted Nil-groups vanish for an additive category, if it is regular coherent. This will be applied to nested sequences of additive categories, motivated by our ongoing project to determine the algebraic K-theory of the Hecke algebra of a reductive p-adic group.