Related papers: Strict algebraic models for rational parametrised …
This paper introduces the category of marked curved Lie algebras with curved morphisms, equipping it with a closed model category structure. This model structure is---when working over an algebraically closed field of characteristic…
We prove that the category of algebras over a cofibrant operad admits a closed model category structure. This leads to the notion of "virtual operad algebra" - the algebra over a cofibrant resolution of the given operad. In particular,…
The purpose of this paper is to generalise Sullivan's rational homotopy theory to non-nilpotent spaces, providing an alternative approach to defining Toen's schematic homotopy types over any field k of characteristic zero. New features…
Beilinson--Bernstein localisation relates representations of a Lie algebra $\mathfrak{g}$ to certain $\mathcal{D}$-modules on the flag variety of $\mathfrak{g}$. In [arXiv:2002.01540], examples of $\mathfrak{sl}_2$-representations which…
After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…
Connections on a trivial bundle MxG can be identified with their holonomy maps, i.e. with homomorphisms of a groupoid of paths in M into the gauge group G. For a connected compact G, various algebras depending on the set of the smooth…
We extend homological perturbation theory to encompass algebraic structures governed by operads and cooperads. The main difficulty is to find a suitable notion of algebra homotopy that generalizes to algebras over operads O. To solve this…
The aim of this short paper is to establish a spectral algebra analog of the Bousfield-Kan "fibration lemma" under appropriate conditions. We work in the context of algebraic structures that can be described as algebras over an operad…
A wealth of geometric and combinatorial properties of a given linear endomorphism $X$ of $\R^N$ is captured in the study of its associated zonotope $Z(X)$, and, by duality, its associated hyperplane arrangement ${\cal H}(X)$. This…
This article gives a solid theoretical grounding to the observation that cubical structures arise naturally when working with parametricity. We claim that cubical models are cofreely parametric. We use categories, lex categories or clans as…
This paper lays some of the foundations for working with not-necessarily-commutative bialgebras and their categories of comodules in $\infty$-categories. We prove that the categories of comodules and modules over a bialgebra always admit…
In this paper, we set up a rational homotopy theory for operads in simplicial sets whose term of arity one is not necessarily reduced to an operadic unit, extending results obtained by the author in the book "Homotopy of operads and…
The classical Kolmogorov-Gelfand theorem gives an embedding of a (compact Hausdorff) topological space X into the linear space of all linear functionals C(X)^* on the algebra of continuous functions C(X). The image is specified by algebraic…
We give an operator algebraic model for the first group of the unit spectrum $gl_1(KU)$ of complex topological K-theory, i.e. $[X, BGL_1(KU)]$, by bundles of stabilized infinite Cuntz C*-algebras $O_{\infty} \otimes \K$. We develop similar…
For a topological space $X$, we introduce a criterion for the $\rm FI$ module $H^i({\rm Conf}_n(X))$ to be finitely generated and give several applications. For instance, if $C$ is a finite connected $CW$ complex, then $X = C \times…
We give a new solution of the "homotopy periods" problem, as highlighted by Sullivan, which places explicit geometrically meaningful formulae first dating back to Whitehead in the context of Quillen's formalism for rational homotopy theory…
W. Fulton and R. MacPherson described a Sullivan dg-algebra model for the space of n-configurations of labeled points in a smooth compact complex algebraic variety X. I. Kriz then gave a simpler model that depends only on the cohomology…
By using the Ringel-Hall algebra approach, we investigate the structure of the Lie algebra $L(\Lambda)$ generated by indecomposable constructible sets in the varieties of modules for any finite dimensional $\mathbb{C}$-algebra $\Lambda.$ We…
We prove the validity over $\mathbb{R}$ of a commutative differential graded algebra model of configuration spaces for simply connected closed smooth manifolds, answering a conjecture of Lambrechts--Stanley. We get as a result that the real…
Parametricity is a key metatheoretic property of type systems, which implies strong uniformity & modularity properties of the structure of types within systems possessing it. In recent years, various systems of dependent type theory have…