-
A model for the assembly map of bordism-invariant functors
Authors:
Jordan Levin,
Guglielmo Nocera,
Victor Saunier
Abstract:
We study oplax colimits of stable categories, of hermitian categories and of Poincaré categories in nice cases. This allows us to produce a categorical model of the assembly map of a bordism-invariant functor of Poincaré categories which is also a Verdier projection, whose kernel we explicitly describe. As a direct application, we generalize the Shaneson splitting for bordism-invariant functors of…
▽ More
We study oplax colimits of stable categories, of hermitian categories and of Poincaré categories in nice cases. This allows us to produce a categorical model of the assembly map of a bordism-invariant functor of Poincaré categories which is also a Verdier projection, whose kernel we explicitly describe. As a direct application, we generalize the Shaneson splitting for bordism-invariant functors of Poincaré categories proved by Calmès-Dotto-Harpaz-Hebestreit-Land-Moi-Nardin-Nikolaus-Steimle to allow for twists. We also show our methods can tackle their general twisted Shaneson splitting of Poincaré-Verdier localizing invariants which specifies to a twisted Bass-Heller-Swan decomposition for the underlying stable categories, generalizing part of recent work of Kirstein-Kremer.
△ Less
Submitted 5 June, 2025;
originally announced June 2025.
-
The derived Brauer map via twisted sheaves
Authors:
Guglielmo Nocera,
Michele Pernice
Abstract:
Let $X$ be a quasicompact quasiseparated scheme. The collection of derived Azumaya algebras in the sense of Toën forms a group, which contains the classical Brauer group of $X$ and which we call $Br^\dagger(X)$ following Lurie. Toën introduced a map $φ:Br^\dagger(X)\to H^2_{et}(X,\mathbb G_m)$ which extends the classical Brauer map, but instead of being injective, it is surjective. In this paper w…
▽ More
Let $X$ be a quasicompact quasiseparated scheme. The collection of derived Azumaya algebras in the sense of Toën forms a group, which contains the classical Brauer group of $X$ and which we call $Br^\dagger(X)$ following Lurie. Toën introduced a map $φ:Br^\dagger(X)\to H^2_{et}(X,\mathbb G_m)$ which extends the classical Brauer map, but instead of being injective, it is surjective. In this paper we study the restriction of $φ$ to a subgroup $Br(X)\subset Br^\dagger(X)$, which we call the "derived Brauer group", on which $φ$ becomes an isomorphism $Br(X)\simeq H^2_{et}(X,\mathbb G_m)$. This map may be interpreted as a derived version of the classical Brauer map which offers a way to "fill the gap" between the classical Brauer group and the cohomogical Brauer group. The group $Br(X)$ was introduced by Lurie by making use of the theory of prestable $\infty$-categories. There, the mentioned isomorphism of abelian groups was deduced from an equivalence of $\infty$-categories between the "Brauer space" of invertible presentable prestable $\mathcal O_X$-linear categories, and the space $Map(X,K(\mathbb G_m,2))$. We offer an alternative proof of this equivalence of $\infty$-categories, characterizing the functor from the left to the right via gerbes of connective trivializations, and its inverse via connective twisted sheaves. We also prove that this equivalence carries a symmetric monoidal structure, thus proving a conjecture of Binda an Porta.
△ Less
Submitted 2 September, 2023; v1 submitted 16 May, 2022;
originally announced May 2022.
-
Whitney stratifications are conically smooth
Authors:
Guglielmo Nocera,
Marco Volpe
Abstract:
The notion of conically smooth structure on a stratified space was introduced by Ayala, Francis and Tanaka. This is a very well behaved analogue of a differential structure in the context of stratified topological spaces, satisfying good properties such as the existence of resolutions of singularities and handlebody decompositions. In this paper we prove Ayala, Francis and Tanaka's conjecture that…
▽ More
The notion of conically smooth structure on a stratified space was introduced by Ayala, Francis and Tanaka. This is a very well behaved analogue of a differential structure in the context of stratified topological spaces, satisfying good properties such as the existence of resolutions of singularities and handlebody decompositions. In this paper we prove Ayala, Francis and Tanaka's conjecture that any Whitney stratified space admits a canonical conically smooth structure. We thus establish a connection between the theory of conically smooth spaces and the classical examples of stratified spaces from differential topology.
△ Less
Submitted 8 August, 2023; v1 submitted 19 May, 2021;
originally announced May 2021.
-
A model for the E3 fusion-convolution product of constructible sheaves on the affine Grassmannian
Authors:
Guglielmo Nocera
Abstract:
Let $G$ be a complex reductive group. The spherical Hecke category of $G$ can be presented as the category of $G_{\mathcal O}$-equivariant constructible sheaves on the affine Grassmannian $\mathrm{Gr}_G$. This category admits a convolution product, extending the convolution product of equivariant perverse sheaves. In this paper, we upgrade the mentioned convolution product to a left t-exact…
▽ More
Let $G$ be a complex reductive group. The spherical Hecke category of $G$ can be presented as the category of $G_{\mathcal O}$-equivariant constructible sheaves on the affine Grassmannian $\mathrm{Gr}_G$. This category admits a convolution product, extending the convolution product of equivariant perverse sheaves. In this paper, we upgrade the mentioned convolution product to a left t-exact $\mathbb E_3$-monoidal structure in $\infty$-categories. The construction is intrinsic to the automorphic side. Our main tools are the Beilinson--Drinfeld Grassmannian, Lurie's characterization of $\mathbb E_k$-algebras via the topological Ran space, the homotopy theory of stratified spaces, and the formalism of correspondences.
△ Less
Submitted 21 May, 2025; v1 submitted 15 December, 2020;
originally announced December 2020.
