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

We extend Homotopy Type Theory with a novel modality that is simultaneously a monad and a comonad. Because this modality induces a non-trivial endomap on every type, it requires a more intricate judgemental structure than previous modal…

The stable category of modules over the algebra of a finite group with coefficients in a field is a compactly generated tensor triangulated category, that has been studied extensively in representation theory. In this paper, we provide a…

Let $k$ be an algebraically closed field of any characteristic, and let $(X,P)$ be an orbifold curve over $k$. We construct the moduli space $\mathrm{M}_{(X,P)}^{\mathrm{ss}}(n, \Delta)$ of $P$-semistable bundles on $(X,P)$ of rank $n$ and…

The aim of this work is to construct certain homotopy t-structures on various categories of motivic homotopy theory, extending works of Voevodsky, Morel, D\'eglise and Ayoub. We prove these $t$-structures possess many good properties, some…

Following ideas of Bondarko, we construct a DG category whose homotopy category is equivalent to the full subcategory of motives over a base-scheme $S$ generated by the motives of smooth projective $S$-schemes, assuming that $S$ is itself…

We propose a generalization of Sullivan's de Rham homotopy theory to non-simply connected spaces. The formulation is such that the real homotopy type of a manifold should be the closed tensor dg-category of flat bundles on it much the same…

In this article, we study freeness of hyperplane arrangements. One of the most investigated arrangement is a graphic arrangement. Stanley proved that a graphic arrangement is free if and only if the corresponding graph is chordal and Dirac…

In this paper we proof the existence of a linearization for singular principal G-bundles not depending on the base curve. This allow us to construct the relative compact moduli space of {\delta}-(semi)stable singular principal G-bundles…

The main result of this paper is the construction of a family of superintegrable Hamiltonian systems on moduli spaces of flat connections on a principle $G$-bundle on a surface. The moduli space is a Poisson variety with Atiyah-Bott Poisson…

This work concerns representations of a finite flat group scheme $G$, defined over a noetherian commutative ring $R$. The focus is on lattices, namely, finitely generated $G$-modules that are projective as $R$-modules, and on the full…

In this paper, we continue the program initiated by Kahn-Saito-Yamazaki by constructing and studying an unstable motivic homotopy category with modulus, extending the Morel-Voevodsky construction from smooth schemes over a field $k$ to…

We give an explicit finite-dimensional model for the derived moduli stack of flat connections on $\mathbb{C}^k$ with logarithmic singularities along a weighted homogeneous Saito free divisor. We investigate in detail the case of plane…

In this work we use Hodge theoretic methods to study homotopy types of complex projective manifolds with arbitrary fundamental groups. The main tool we use is the \textit{schematization functor} $X \mapsto (X\otimes \mathbb{C})^{sch}$,…

We propose a new moduli-theoretic approach to the $p$-adic Simpson correspondence for a smooth proper rigid space $X$ over $\mathbb C_p$ with coefficients in any rigid analytic group $G$, in terms of a comparison of moduli stacks. For its…

Based on a general formula due to R.Bryant, we work out the topological structure of the space of torsion-free $G_2$-structures generating the same associated Riemannian metric on a compact $7$-manifold. We also identify a corresponding Lie…

We prove the existence of a projective good moduli space of principal $\mathcal{G}$-bundles under nonconnected reductive group schemes $\mathcal{G}$ over a smooth projective curve $C$. We also prove that the moduli stack of…

We prove that for many degrees in a stable range the homotopy groups of the moduli space of metrics of positive scalar curvature on S^n and on other manifolds are non-trivial. This is achieved by further developing and then applying a…

We study the structure of the rational motivic stable homotopy category over general base schemes. Our first class of results concerns the six operations: we prove absolute purity, stability of constructible objects, and…

Homotopy type theory (HoTT) can be seen as a generalisation of structural set theory, in the sense that 0-types represent structural sets within the more general notion of types. For material set theory, we also have concrete models as…

In this paper, we give an expository account of the geometric properties of the moduli stack of $G$-bundles. For $G$ an algebraic group over a base field and $X \to S$ a flat, finitely presented, projective morphism of schemes, we give a…