Related papers: Azumaya geometry and representation stacks

We introduce a notion of derived Azumaya's algebras over rings and schemes. We prove that any such algebra $B$ on a scheme $X$ provides a class $\phi(B)$ in $H^{1}_{et}(X,\mathbb{Z})\times H^{2}_{et}(X,\mathbb{G}_{m})$. We prove that for…

This is an expended and revised version of the preprint "Schematization of homotopy types". The purpose of this work is to introduce a notion of \emph{affine stacks}, which is a homotopy version of the notion of affine schemes, and to give…

Let $A$ be a sheaf of Azumaya algebras over a Noetherian base $S$. In this paper we describe using generalized Severi-Brauer varieties, a quasi-projective moduli space parametrizing sheaves of \`etale subalgebras of $A$. In the case that…

We give a geometrical criterion to determine when a quaternion algebra over the function field of a stable elliptic surface X is an Azumaya algebra over X.

Let $S$ be a non-empty scheme with 2 invertible. In this paper we present a functor $F: AZ_*^{n'} \rightarrow GS_*^n$ where $AZ_*^{n'}$ and $GS_*^n$ are fibered categories over $Sch_S$ given respectively by degree-$n'$ Azumaya algebras with…

For a smooth toric variety X over a field of positive characteristic, a T-equivariant \'{e}tale cover Y \rightarrow T^*X^{(1)} trivializing the sheaf of crystalline differential operators on X is constructed. This trivialization is used to…

We compute arithmetic Chern classes of sheaves on an arithmetic surface X associated to a Hermitian Azumaya algebra.

Using formal-local methods, we prove that a separated and normal tame Artin surface has the resolution property. By proving that normal tame Artin stacks can be rigidified, we ultimately reduce our analysis to establishing the existence of…

We consider moduli spaces of Azumaya algebras on K3 surfaces and construct an example. In some cases we show a derived equivalence which corresponds to a derived equivalence between twisted sheaves. We prove if $A$ and $A'$ are Morita…

Raynaud--Gruson characterized flat and pure morphisms between affine schemes in terms of projective modules. We give a similar characterization for non-affine morphisms. As an application, we show that every quasi-coherent sheaf is the…

In previous work, the second author introduced a topology, for spaces of irreducible representations, that reduces to the classical Zariski topology over commutative rings but provides a proper refinement in various noncommutative settings.…

We develop a theory of unbounded derived categories of quasi-coherent sheaves on algebraic stacks. In particular, we show that these categories are compactly generated by perfect complexes for stacks that either have finite stabilizers or…

In this paper we continue our investigation of signatures of hermitian forms over Azumaya algebras with involution over commutative rings. We show that the approach used in an earlier paper for central simple algebras can be extended to…

We show that every scheme/algebraic space/stack that is quasi-compact with quasi-finite diagonal can be approximated by a noetherian scheme/algebraic space/stack. More generally, we show that any stack which is etale-locally a global…

We introduce the \verb|Macaulay2| package \verb|RepHomology| for the computations of representation homology of certain spaces. The main methods implement computing the representation homology of surfaces (with group coefficients, and…

In the preprint arXiv:2511.07900 we proved that there exists a localizing ring $A_M$ for $A$ an associative ring with unit, and $M=\oplus_{i=1}^rM_i$ a direct sum of $r\geq 1$ simple right $A$-modules. For a homomorphism of associative…

I extend the ramified geometric Satake equivalence of Zhu from tamely ramified groups to include the case of general connected reductive groups. As a prerequisite I prove basic results on the geometry of affine flag varieties.

We prove that the classical algebraic varieties over algebraically closed fields can be defined over arbitrary fields $k.$ Then we prove that for associative algebras $A$, there exist local representing objects $A_M$ for simple modules $M.$…

We start with a small paradigm shift about group representations, namely the observation that restriction to a subgroup can be understood as an extension-of-scalars. We deduce that, given a group $G$, the derived and the stable categories…

Let $\Gamma$ be a finite subgroup of $\SL_2(\C)$. We consider $\Gamma$-fixed point sets in Hilbert schemes of points on the affine plane $\C^2$. The direct sum of homology groups of components has a structure of a representation of the…