Related papers: Specialization map between stratified bundles and …
For a certain class of abelian categories, we show how to make sense of the "Euler characteristic" of an infinite projective resolution (or, more generally, certain chain complexes that are only bounded above), by passing to a suitable…
We introduce a simplified version of the Grothendieck group of algebraic varieties and use it to show that birational types specialize in families with mild singularities of the central fiber.
We display a symmetric monoidal equivalence between the stable $\infty$-category of filtered spectra, and quasi-coherent sheaves on $\mathbb{A}^1 / \mathbb{G}_m$, the quotient in the setting of spectral algebraic geometry, of the flat…
In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…
We investigate a certain class of (geometric) finite (Galois) coverings of formal fibres of $p$-adic curves and the corresponding quotient of the (geometric) \'etale fundamental group. A key result in our investigation is that these…
We study the geometry and topology of (filtered) algebra-bundles ${\bf\Psi}^{\mathbb Z}$ over a smooth manifold $X$ with typical fibre $\Psi^{\mathbb Z}(Z; V)$, the algebra of classical pseudodifferential operators of integral order on the…
For any smooth proper rigid analytic space $X$ over a complete algebraically closed extension of $\mathbb Q_p$, we construct a $p$-adic Simpson correspondence: an equivalence of categories between vector bundles on Scholze's pro-\'etale…
We construct Hodge filtered cohomology groups for complex manifolds that combine the topological information of generalized cohomology theories with geometric data of Hodge filtered holomorphic forms. This theory provides a natural…
Let $k$ be a field with separable closure $\bar{k}\supset k$, and let $X$ be a qcqs $k$-scheme. We use the theory of profinite Galois categories developed by Barwick-Glasman-Haine to provide a quick conceptual proof that the sequences…
Given a finite, flat morphism between embeddable noetherian schemes of pure dimension 1, we define the notion of direct and inverse image for generalized divisors and generalized line bundles. In the case when we deal with (possibly…
We characterize, for every higher smooth stack equipped with "tangential structure", the induced higher group extension of the geometric realization of its higher automorphism stack. We show that when restricted to smooth manifolds equipped…
Let $X$ be a normal, connected and projective variety over an algebraically closed field $k$. It is known that a vector bundle $V$ on $X$ is essentially finite if and only if it is trivialized by a proper surjective morphism $f:Y\to X$. In…
We consider principal bundles as generalized morphisms between topological groupoids. In the category of these generalized morphisms two topological groupoids are isomorphic if and only if they are Morita equivalent. We show that the fibers…
The tame fundamental group scheme for an algebraic variety is the maximal linearly reductive quotient of Nori's fundamental group scheme. In this paper, we study the tame fundamental group schemes of smooth curves defined over algebraically…
We describe the action of the different Frobenius morphisms on the cohomology ring of the moduli stack of algebraic vector bundles of fixed rank and determinant on an algebraic curve over a finite field in characteristic p and analyse…
We prove that the nonvarying strata of abelian and quadratic differentials in [CM1, CM2] have trivial tautological rings and are affine varieties. We also prove that strata of $k$-differentials of infinite area are affine varieties for all…
A equivalence relation, preserving the Chern-Weil form, is defined between connections on a complex vector bundle. Bundles equipped with such an equivalence class are called Structured Bundles, and their isomorphism classes form an abelian…
A proof of Grothendieck--Serre conjecture on principal bundles over a semi-local regular ring containing an infinite field is given in [FP] recently. That proof is based significantly on Theorem 1.0.1 stated below in the Introduction and…
In this paper, which is a sequel of arXiv:2002.07494, we investigate, for any reductive group $G$ over an algebraically closed field $k$, the Picard group of the universal moduli stack $\mathrm{Bun}_{G,g,n}$ of $G$-bundles over $n$-pointed…
In this article, we functorially associate definable sets to $k$-analytic curves, and definable maps to analytic morphisms between them, for a large class of $k$-analytic curves. Given a $k$-analytic curve $X$, our association allows us to…