Related papers: Homotopy Classification of Line Bundles Over Rigid…

For the associative algebra $A(\mathfrak g)$ of an infinite-dimensional Lie algebra $\mathfrak g$, we introduce twisted fiber bundles over arbitrary compact topological spaces. Fibers of such bundles are given by elements of algebraic…

In this paper we study a model structure on a category of schemes with a group action and the resulting unstable and stable equivariant motivic homotopy theories. The new model structure introduced here samples a comparison to the one by…

We propose a conjectural semiorthogonal decomposition for the derived category of the moduli space of stable rank 2 bundles with fixed determinant of odd degree, independently formulated by Narasimhan. We discuss some evidence for, and…

Let $X$ be any rational surface. We construct a tilting bundle $T$ on $X$. Moreover, we can choose $T$ in such way that its endomorphism algebra is quasi-hereditary. In particular, the bounded derived category of coherent sheaves on $X$ is…

A theory of double affine and special double affine bundles, i.e. differential manifolds with two compatible (special) affine bundle structures, is developed as an affine counterpart of the theory of double vector bundles. The motivation…

Let $Y$ be a pointed space and let $\mathcal E(Y^r)$ be the group of based self-equivalences of $Y^r$, $r\geq 2$. For $Y$ a homotopy commutative $H$-group we construct a subgroup $\mathcal E_{\mathrm{Mat}}(Y^r)$ of $\mathcal E(Y^r)$ which…

These notes, written version of a Bourbaki talk, survey Morel-Voevodsky's motivic homotopy theory over a field, with a focus on computations of motivic homotopy sheaves, both stable and unstable. We also describe Isaksen-Wang-Xu's…

We introduce and study the homotopy theory of motivic spaces and spectra parametrized by quotient stacks [X/G], where G is a linearly reductive linear algebraic group. We extend to this equivariant setting the main foundational results of…

We show that isomorphism classes $[\mathcal{A}]$ of flat $q\times q$ matrix bundles $\mathcal{A}$ (or projectively flat rank-$q$ complex vector bundles $\mathcal{E}$) on a pro-torus $\mathbb{T}$ are in bijective correspondence with the…

We define an unstable equivariant motivic homotopy category for an algebraic group over a Noetherian base scheme. We show that equivariant algebraic $K$-theory is representable in the resulting homotopy category. Additionally, we establish…

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 is a new field of mathematics based on the surprising and elegant correspondence between Martin-Lofs constructive type theory and abstract homotopy theory. We have a powerful interplay between these disciplines - we can…

We investigate forms of the Hopf invariant one problem in motivic homotopy theory over arbitrary base fields of characteristic not equal to $2$. Maps of Hopf invariant one classically arise from unital products on spheres, and one…

We provide several results on the existence of metrics of non-negative sectional curvature on vector bundles over certain cohomogeneity one manifolds and homogeneous spaces up to suitable stabilization. Beside explicit constructions of the…

Connections between homotopy theory and type theory have recently attracted a lot of attention, with Voevodsky's univalent foundations and the interpretation of Martin-Lof's identity types in Quillen model categories as some of the…

For any smooth proper rigid space $X$ over a complete algebraically closed extension $K$ of $\mathbb Q_p$ we give a geometrisation of the $p$-adic Simpson correspondence of rank one in terms of analytic moduli spaces: The $p$-adic character…

In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we develop here. The hom-spaces are appropriately fibrant, indeed…

We present an algorithm for computing line bundle valued cohomology classes over toric varieties. This is the basic starting point for computing massless modes in both heterotic and Type IIB/F-theory compactifications, where the manifolds…

In this paper we give a Chern-Weil-type construction of characteristic classes of fiber bundles, based on homotopy theory of C-infinity algebras. Our idea is to replace a family of closed manifolds to a family of C-infinity morphisms with…

We define a de Rham cohomology theory for analytic varieties over a valued field $K^\flat$ of equal characteristic $p$ with coefficients in a chosen untilt of the perfection of $K^\flat$ by means of the motivic version of Scholze's tilting…