Related papers: Synthetic G-jet-structures in modal homotopy type …
The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…
We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order…
The goal of this dissertation is to present results from synthetic homotopy theory based on homotopy type theory (HoTT). After an introduction to Martin-L\"of's dependent type theory and homotopy type theory, key results include a synthetic…
We set up a formalism of Maurer-Cartan moduli sets for L-infinity algebras and associated twistings based on the closed model category structure on formal differential graded algebras (a.k.a. differential graded coalgebras). Among other…
Let $Z \subset \mathbb{A}^k$ be an affine scheme over $\C$ and $\J Z$ its jet scheme. It is well-known that $\mathbb{C}[\J Z]$, the coordinate ring of $\J Z$, has the structure of a commutative vertex algebra. This paper develops the…
We consider the category of presheaves of Gamma-spaces, or equivalently, of Gamma-objects in simplicial presheaves. Our main result is the construction of stable model structures on this category parametrised by local model structures on…
We construct the moduli space of r-jets at a point of Riemannian metrics on a smooth manifold. The construction is closely related to the problem of classification of jet metrics via differential invariants. The moduli space is proved to be…
In this paper we give an explicit formula for the number of subgroups of the modular group of a given index that are genus zero and torsion-free and a formula for their conjugacy classes. We do so by exhibiting a correspondence between…
We construct a real combinatorial model for the configuration spaces of points of compact smooth oriented manifolds without boundary. We use these models to show that the real homotopy type of configuration spaces of a simply connected such…
Given a small simplicial category $\C$ whose underlying ordinary category is equipped with a Grothendieck topology $\tau$, we construct a model structure on the category of simplicially enriched presheaves on $\C$ where the weak…
We construct geometric models for classifying spaces of linear algebraic groups in G-equivariant motivic homotopy theory, where G is a tame group scheme. As a consequence, we show that the equivariant motivic spectrum representing the…
Let $R$ be a ring and Ch($R$) the category of chain complexes of $R$-modules. We put an abelian model structure on Ch($R$) whose homotopy category is equivalent to $K(Proj)$, the homotopy category of all complexes of projectives. However,…
When a reductive group $G$ acts linearly on a complex projective scheme $X$ there is a stratification of $X$ into $G$-invariant locally closed subschemes, with an open stratum $X^{ss}$ formed by the semistable points in the sense of…
We generalize and greatly simplify the approach of Lydakis and Dundas-R\"ondigs-{\O}stv{\ae}r to construct an L-stable model structure for small functors from a closed symmetric monoidal model category V to a V-model category M, where L is…
This paper aims to help the development of new models of homotopy type theory, in particular with models that are based on realizability toposes. For this purpose it develops the foundations of an internal simplicial homotopy that does not…
We prove that any invariant hypercomplex structure on a homogeneous space $M = G/L$ where $G$ is a compact Lie group is obtained via the Joyce's construction, provided that there exists a hyper-Hermitian naturally reductive invariant metric…
In the jet bundle description of Field Theories (multisymplectic models, in particular), there are several choices for the multimomentum bundle where the covariant Hamiltonian formalism takes place. As a consequence, several proposals for…
An attempt is made to bring into harmony two of the paradigms commonly used in the theory of continuous distributions of defects. It is shown that the common differential geometric apparatus is provided neatly by the theory of G-structures.…
Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…
Many moduli spaces are constructed as quotients of group actions; this paper surveys the classical theory, as well as recent progress and applications. We review geometric invariant theory for reductive groups and how it is used to…