Related papers: Motivic rational homotopy type

Using the trivial fiber topology we describe motivic $\infty$-loop spaces and fibrant replacements in the motivic stable homotopy category $\mathbf{SH}_{\mathbb{A}^1,\mathrm{Nis}}(B)$ defined over one-dimensional base schemes $B$.

We survey some results on real rational surfaces focused on their topology and their birational geometry.

Making a survey of recent constructions of universal cohomologies we suggest a new framework for a theory of motives in algebraic geometry.

We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory'', or more precisely that the category of such models…

We construct a theory of motivic integration for smooth rigid varieties. As an application new invariants of degenerations are obtained.

This paper gives a first step towards developing synthetic differential geometry within homotopy type theory. Its model theory will be discussed in a subsequent paper.

We define a notion of colimit for diagrams in a motivic category indexed by a presheaf of spaces (e.g. an \'etale classifying space), and we study basic properties of this construction. As a case study, we construct the motivic analogs of…

We introduce the notion of a logical model category which is a Quillen model category satisfying some additional conditions. Those conditions provide enough expressive power that one can soundly interpret dependent products and sums in it.…

In this paper, we present a general approach to establish motivic cohomology and build part of its six operations formalism. Applying this together with symplectic orientation on MW-motivic cohomology, we discuss the embedding theorem of…

In this paper, we describe the homotopy type of the homotopy fixed point sets of $S^3$-actions on rational spheres and complex projective spaces, and provide some properties of $S^1$-actions on a general rational complex.

Building on earlier work concerning the motives of $G$-bundles, we study the structure of motives associated with certain classes of $G$-varieties. In particular, we show that the corresponding motives lie within the category of mixed-Tate…

We develop the theory of multiple polylogarithms from analytic, Hodge and motivic point of view. Define the category of mixed Tate motives over a ring of integers in a number field. Describe explicitly the multiple polylogarithm Hopf…

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…

The purpose of this article is to define and study the notion of absolute intersection motive.

We establish some upper and lower bounds of the rational topological complexity for certain classes of elliptic spaces. Our techniques permit us in particular to show that the rational topological complexity coincides with the dimension of…

This is an introduction to the study of abstract homotopy theory by means of model categories and $(\infty,1)$-categories. The only prerequisites are very basic general topology and abstract algebra. None categorical background is needed.…

We investigate inductive types in type theory, using the insights provided by homotopy type theory and univalent foundations of mathematics. We do so by introducing the new notion of a homotopy-initial algebra. This notion is defined by a…

In this paper we lay the foundations of an $\infty$-categorical theory of Stokes data.

The moduli spaces refered to are topological spaces whose path components parametrize homotopy types. Such objects have been studied in two separate contexts: rational homotopy types, in the work of several authors in the late 1970's; and…

This paper presents a gentle and informal introduction to the Skorokhod topologies. Focus is on motivating examples and concepts.