Related papers: Motivic rational homotopy type
Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly…
To smooth schemes equipped with a smooth affine group scheme action, we associate an equivariant motivic homotopy category. Underlying our construction is the choice of an `equivariant Nisnevich topology' induced by a complete, regular, and…
Vietoris-Rips and degree Rips complexes are represented as homotopy types by their underlying posets of simplices, and basic homotopy stability theorems are recast in these terms. These homotopy types are viewed as systems (or functors),…
We give a concise exposition of Voevodsky's theory of motives.
This survey is a guide for the non specialist on how to use rational homotopy theory techniques to get approximations of Farber's topological complexity, in particular, and of Schwarz's sectional category, in general.
This paper presents a novel connection between homotopical algebra and mathematical logic. It is shown that a form of intensional type theory is valid in any Quillen model category, generalizing the Hofmann-Streicher groupoid model of…
We study stable rationality properties of conic bundles over rational surfaces.
In this paper, we show that for finite $CW$-complexes $X$ and two-stage space $Y$ (for example $n$-spheres $S^n$, homogeneous spaces and $F_0$-spaces), the rational homotopy type of $\map(X, Y)$ is determined by the cohomology algebra…
We study the homotopy types of spaces of algebraic (rational) maps from real projective spaces into complex projective spaces. In a previous paper we have shown that the inclusion of the first space into the second one is a homotopy…
This paper gives an introduction to some results on monodromy groupoids and the monodromy principle, and then develops the notion of monodromy groupoid for group groupoids.
In this paper we explore the isotropic stable motivic homotopy category constructed from the usual stable motivic homotopy category, following the work of Vishik on isotropic motives (see [29]), by killing anisotropic varieties. In…
We describe various path homology theories constructed for a directed hypergraph. We introduce the category of directed hypergraphs and the notion of a homotopy in this category. Also, we investigate the functoriality and the homotopy…
Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges posed by this approach to formalizing homotopy-theoretic…
This paper gives a short and historical survey on the theory of pure motives in algebraic geometry and reviews some of the recent developments of this theory in noncommutative geometry. The second part of the paper outlines the new theory…
These are notes of a series of talks about motivic integration I gave on the M\"unster Model Theory Month. Readers are assumed to have some basic knowledge of model theory and of valued fields. The notes are closest to the Cluckers-Loeser…
We introduce the Hoffman-Singleton manifold based on some specific subgraph of the Hoffman-Singleton graph. This manifold is motivated in a combinatorial fashion, and it is defined rigorously in geometric terms. We also present a few…
We discuss a question by Felix, Oprea, and Tanre concerning nonnegative curvature and (rational) homotopy type.
We treat interpolation for various logics.
We illustrate the principle: rational generating series occuring in arithmetic geometry are motivic in nature.
I review the theoretical motivation for the axion and present an update of the experimental status of axion searches. I finally comment on some aspects of the physics of axion-like particles.