Related papers: Synthetic G-jet-structures in modal homotopy type …

For a semisimple complex algebraic group $G$ we determine the rational cohomology and the Hodge-Tate structure of the moduli stack ${\mathscr B}un_{G,X}$ of principal $G$-bundles over a connected smooth complex projective variety $X$ of…

We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…

We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free commutative-monoid construction, we formalise and establish the…

The moduli space of jets of certain G-structures (basically those which admit a canonical linear connection) is shown to be isomorphic to the quotient of a natural G-module by G.

We construct monads for framed torsion-free sheaves on blow-ups of the complex projective plane at finitely many distinct points. Using these monads we prove that the moduli space of such sheaves is a smooth algebraic variety. Moreover we…

In this survey we provide an overview of some recent developments in the construction of moduli spaces using stack-theoretic techniques. We will also explain the analogue of Harder-Narasimhan stratifications for general stacks, known as…

We give a systematic construction of semiorthogonal decompositions of derived categories of coherent sheaves on quasi-smooth derived algebraic stacks over $\mathbb{C}$, where the summands are subcategories defined by weight conditions, and…

Using the machinery of etale homotopy theory a' la Artin-Mazur we determine the etale homotopy types of moduli stacks over $\bar{\Q}$ parametrizing families of algebraic curves of genus g greater than 1 endowed with an action of a finite…

Let $X$ be a smooth projective curve over an algebraically closed field $k$. Let $\mathcal{G}$ be a Bruhat-Tits group scheme on $X$ which is generically semi-simple and trivial. We show that the \'etale fundamental group of the moduli stack…

We show that if G is a finite constant group acting on a scheme X such that the order of G is invertible in the residue fields of X, then the G-equivariant motivic stable homotopy category of X is equivalent to the stabilization of the…

In this article, we are going to construct arithmetic moduli stacks of $G$-bundles after our previous construction on Hodge-Iwasawa theory. These stacks parametrize certain Hodge-Iwasawa structures in a coherent way.

We study the singular homology (with field coefficients) of the moduli stack of stable n-pointed complex curves of genus g (the Deligne-Mumford compactification). Each of its irreducible boundary components determines via the…

We develop the homotopy theory of semisimplicial sets constructively and without reference to point-set topology to obtain a constructive model for $\omega$-groupoids. Most of the development is folklore, but for a few results the author is…

It is shown that any irreducible analytic 1-flat $G$-structure as well as any analytic torsion-free affine connection with irreducibly acting holonomy group can, in principle, be contstructed by twistor methods.

We construct the moduli stack of torsors over the formal punctured disk in characteristic p > 0 for a finite group isomorphic to the semidirect product of a p-group and a tame cyclic group. We prove that the stack is a limit of separated…

We construct a topological model for cellular, 2-complete, stable C-motivic homotopy theory that uses no algebro-geometric foundations. We compute the Steenrod algebra in this context, and we construct a "motivic modular forms" spectrum…

We prove a comparison isomorphism between the De Rham rational homotopy type of a smooth proper log variety defined over a p-adic field and the crystalline rational homotopy type of a semi-stable reduction mod p.

We construct the moduli spaces of stable maps, \bar M_g,n(P^r,d), via geometric invariant theory (GIT). This construction is only valid over Spec C, but a special case is a GIT presentation of the moduli space of stable curves of genus g…

We define pointwise partial differential relations for holomorphic discs. Given a relative homotopy class, a relation, and a generic almost complex structure we provide the moduli space of discs which have an injective point with the…

For an arbitrary reductive group $G$, we compute the infinitesimal automorphisms of $L$-valued principal $G$-Higgs bundles over a compact K\"ahler manifold $X$, extending known results for $\Omega_X^{1}$-valued $G$-Higgs bundles. Using this…