Related papers: Strict algebraic models for rational parametrised …

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…

We define a symmetric monoidal structure on the parametrised stable homotopy category over a base space with an action of an $E_\infty$ operad. We discuss products, orientations and push-forwards in parametrised cohomology theories…

Let X, Y be nonsingular real algebraic sets. A map fi:X-->Y is said to be k-regulous, where k is a nonnegative integer, if it is of class C^k and the restriction of fi to some Zariski open dense subset of X is a regular map. Assuming that Y…

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes…

Over the past century, cohomology operations have played a crucial role in homotopy theory and its applications. A powerful framework for constructing such operations is the theory of commutative algebras in spectra. In this article, we…

We give algorithms for the computation of the algebraic de Rham cohomology of open and closed algebraic sets inside projective space or other smooth complex toric varieties. The methods, which are based on Gr\"obner basis computations in…

We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable…

We adapt algorithms for resolving the singularities of complex algebraic varieties to prove that the natural map of homology theories from complex bordism to the bordism theory of complex derived orbifolds splits. In equivariant stable…

Let $X=G/H$ be a reductive homogeneous space with $H$ noncompact, endowed with a $G$-invariant pseudo-Riemannian structure. Let $L$ be a reductive subgroup of $G$ acting properly on $X$ and $\Gamma$ a torsion-free discrete subgroup of $L$.…

In this article, we prove the PL analogue of the theorem of Galatius, Madsen, Tillmann, and Weiss which describes the homotopy type of the smooth cobordism category. More specifically, we introduce the PL Madsen-Tillmann spectrum…

This text gives a construction of a differential graded Lie algebra in Nori's category of effective homological motives. In fact the construction works in more a general setting than that of an Abelian category. This allows us to give the…

We provide a general method computing the mod $p$ Quillen homology of algebras over a monad that parametrizes the structure of mod $p$ homology of spectral Lie algebras. This is the $E^2$-page of the bar spectral sequence converging to the…

By making use of Halperin's local systems over simplicial sets and the model structure of the category of diffeological spaces due to Kihara, we introduce a framework of rational homotopy theory for such smooth spaces with arbitrary…

We give a homotopy classification of the global defects in ordered media, and explain it via the example of biaxial nematic liquid crystals, i.e., systems where the order parameter space is the quotient of the $3$-sphere $S^3$ by the…

We interpret mathematically the pair (master equation, solution of master equation) up to equivalence, as the pair (a presentation of a free triangular dga T over a combination operad O, dga map of T into C, a dga over O) up to homotopy…

The rational homotopy type of a differential graded algebra (DGA) can be represented by a family of tensors on its cohomology, which constitute an $A_\infty$-minimal model of this DGA. When only the cohomology is needed to determine the…

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.…

A general method of producing correspondences and spectral categories out of symmetric ring objects in general categories is given. As an application, stable homotopy theory of spectra $SH$ is recovered from modules over a commutative…

Let $R$ be a commutative noetherian ring, and $\mathcal{Z}$ a stable under specialization subset of $\Spec(R)$. We introduce a notion of $\mathcal{Z}$-cofiniteness and study its main properties. In the case $\dim(\mathcal{Z})\leq 1$, or…

Let $X$ be a smooth projective curve of genus $g \geq 3$, and let $G$ be a nontrivial connected reductive affine algebraic group over $\mathbb{C}$. Examining the moduli spaces of regularly stable $G$-Higgs bundles and holomorphic…