Related papers: Rigid rational homotopy types

We show that the existence of rational points on smooth varieties over a field can be detected using homotopy fixed points of etale topological types under the Galois action. As our main example we show that the surjectivity statement in…

We consider three forms of composition of matroids, each of which extends the category of bimatroids to a rigid monoidal category. Many well-known constructions are functorial or defined by morphisms in these categories. Motivating examples…

Let A be a subspace arrangement with a geometric lattice such that codim(x) > 1 for every x in A. Using rational homotopy theory, we prove that the complement M(A) is rationally elliptic if and only if the sum of the orthogonal subspaces is…

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 define a relative rigid fundamental group, which associates to a section $p$ of a smooth and proper morphism $f:X\rightarrow S$ in characteristic $p$, a Hopf algebra in the ind-category of overconvergent $F$-isocrystals on…

It is shown that the K-theory of every noetherian base scheme of finite Krull dimension is represented by a strict ring object in the setting of motivic stable homotopy theory. The adjective `strict' is used to distinguish between the type…

We investigate the homotopy type of a certain homogeneous space for a simple complex algebraic group. We calculate some of its classical topological invariants and introduce a new one. We also propose several conjectures about its…

We show that the category of log homotopy types is a full subcategory of a category of homotopy types with modulus.

We propose foundations for a synthetic theory of $(\infty,1)$-categories within homotopy type theory. We axiomatize a directed interval type, then define higher simplices from it and use them to probe the internal categorical structures of…

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…

Syntomic cohomology here defined yields a link between rigid cohomology and etale cohomology, viewing the last one as the fixed points under Frobenius of the former one. Let V be a complete discrete valuation ring, with perfect residue…

We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…

We give homotopy invariant definitions corresponding to three well known properties of complete intersections, for the ring, the module theory and the endomorphisms of the residue field, and we investigate them for the mod p cochains on a…

In this paper we construct an infinite family of homotopically rigid spaces. These examples are then used as building blocks to forge highly connected rational spaces with prescribed finite group of self-homotopy equivalences. They are also…

This is a companion paper to math.AT/0609762. For a filtered colimit of commutative rings k=colim k_i, we prove that the homotopy theory of smooth and proper dg-algebras over k is the colimit of the homotopy theories of smooth and proper…

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…

We show that every orientable infinite-type surface is properly rigid as a consequence of a more general result. Namely, we prove that if a homotopy equivalence between any two non-compact orientable surfaces is a proper map, then it is…

Let X be a complex projective variety of dimension n with only isolated normal singularities. In this paper we prove, using mixed Hodge theory, that if the link of each singular point of X is (n-2)-connected, then X is a formal topological…

Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type…

Let $\mathbb{k}$ be a commutative ring with global dimension zero. We show that we can rigidify homotopy coherent comodules in connective modules over the Eilenberg-Mac Lane spectrum of $\mathbb{k}$. That is, the $\infty$-category of…