Related papers: Derived smooth stacks and prequantum categories
A Q-manifold is a graded manifold endowed with a vector field of degree one squaring to zero. We consider the notion of a Q-bundle, that is, a fiber bundle in the category of Q-manifolds. To each homotopy class of ``gauge fields'' (sections…
To any finite group G in SL_2(C), and each `t' in the center of the group algebra of G, we associate a category, Coh_t. It is defined as a suitable quotient of the category of graded modules over (a graded version of) the deformed…
On smooth projective varieties of dimension $d$, $d$-tilting bundles are important in both geometry and representation theory, since they provide a bridge from the geometry of such varieties to the derived McKay correspondence and to higher…
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…
In this series of three papers, we introduce and study cyclotomic pairs and smooth profinite groups. They are a geometric axiomatisation of Kummer theory for fields, with coefficients $p$-primary roots of unity, for a prime $p$. These…
We give a construction of the moduli space of stable maps to the classifying stack B\mu_r of a cyclic group by a sequence of r-th root constructions on M_{0, n}. We prove a closed formula for the total Chern class of \mu_r-eigenspaces of…
We study the Fulton-Macpherson operational Chow rings of good moduli spaces of properly stable, smooth, Artin stacks. Such spaces are \'etale locally isomorphic to geometric invariant theory quotients of affine schemes, and are therefore…
Let $P$ be a pseudogroup of local diffeomorphisms of an $n$-dimensional smooth manifold $M$. Following Losik we consider characteristic classes of the quotient $M/P$ as elements of the de~Rham cohomology of the second order frame bundles…
Let $\mathcal{X}_1$ and $\mathcal{X}_2$ be smooth proper Deligne-Mumford stacks with projective coarse moduli spaces. We prove a formula for orbifold Gromov-Witten invariants of the product stack $\mathcal{X}_1\times \mathcal{X}_2$ in terms…
We express nested Hilbert schemes of points and curves on a smooth projective surface as "virtual resolutions" of degeneracy loci of maps of vector bundles on smooth ambient spaces. We show how to modify the resulting obstruction theories…
We prove a version of Grothendieck's descent theorem on an `enriched' principal fiber bundle, a principal fiber bundle with an action of a larger group scheme. Using this, we prove the isomorphisms of the equivariant Picard and the class…
Recently, Cohen and Wales built a faithful linear representation of the Artin group of type $D_n$, hence showing the linearity of this group. It was later discovered that this representation is reducible for some complex values of its two…
Kontsevich's characteristic classes are invariants of framed smooth fiber bundles with homology sphere fibers. It was shown by Watanabe that they can be used to distinguish smooth $S^4$-bundles that are all trivial as topological fiber…
In this paper we construct new derived invariants with integral coefficients using the theory of motifs, and give several applications. Specifically, we obtain the following results: For complex algebraic surfaces, we prove that certain…
In \cite{Broer1993}, it was shown that certain line bundles on $\widetilde{\mathcal{N}}=T^*G/B$ have vanishing higher cohomology. We prove a generalization of this theorem for real reductive algebraic groups. More specifically, if…
We propose a global geometric framework which allows one to encode a natural non-perturbative generalisation of usual Batalin-Vilkovisky (BV-)theory. Namely, we construct a concrete model of derived differential geometry, whose geometric…
We define a Chern--Simons invariant of connections on stably trivial vector bundles over smooth manifolds, taking values in $3$-forms modulo closed forms with integral cohomology class. We show an additivity property of this invariant for…
We provide a geometric construction of a sequence of modular blowups of the Artin stack parameterizing pre-stable pairs consisting of a genus-two nodal curve and a smooth divisor. The resulting stack locally diagonalizes the tautological…
Let $(X,\omega_X)$ be a derived scheme with a 0-symplectic form and suppose there is a Hamiltonian $G$-action with a moment map for $G$ a reductive group. We prove, under no further assumptions, that symplectic reduction along any coadjoint…
We clarify the links between the graded Specht construction of modules over cyclotomic Hecke algebras and the RSK construction for quiver Hecke algebras of type A, that was recently imported from the setting of representations of p-adic…