Related papers: Synthetic differential geometry within homotopy ty…
This is an introduction to the subject of the differential topology of the space of smooth loops in a finite dimensional manifold. It began as the background notes to a series of seminars given at NTNU and subsequently at Sheffield. I am…
This article investigates the homotopy theory of simplicial commutative algebras with a view to homological applications.
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 work is an introduction to the local geometric theory of Veronese webs developed in the last twenty years. Among the different possible approach, here one has chosen the point of view of differential forms. Moreover, in order to make…
The concept of homotopic distance and its higher analog are introduced in [6]. In this paper we introduce some important properties of higher homotopic distance, investigate the conditions under which $\cat$, $\secat$ and higher dimensional…
In this article we study multisymplectic geometry, i.e., the geometry of manifolds with a non-degenerate, closed differential form. First we describe the transition from Lagrangian to Hamiltonian classical field theories, and then we…
In this paper we survey several intersection and non-intersection phenomena appearing in the realm of symplectic topology. We discuss their implications and finally outline some new relations of the subject to algebraic geometry.
This presentation is the sequel of a paper published in GETCO'00 proceedings where a research program to construct an appropriate algebraic setting for the study of deformations of higher dimensional automata was sketched. This paper…
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…
Simplicial type theory extends homotopy type theory with a directed path type which internalizes the notion of a homomorphism within a type. This concept has significant applications both within mathematics -- where it allows for synthetic…
In this paper, we give a survey of a geometrical theory of Jacobi forms of higher degree. And we present some geometric results and discuss some geometric problems to be investigated in the future.
The goal of this article is to survey recent developments in the theory of contact structures in dimension three.
The aim of this paper is to develop the theory of distributions, not necessarily of compact support, in a topos model of Synthetic Differential Geometry, the so-called "Cahiers Topos". As an application, we study the evolution through time…
The theory of $G$-structures provides us with a unified framework for a large class of geometric structures, including symplectic, complex and Riemannian structures, as well as foliations and many others. Surprisingly, contact geometry -…
The physics of a photonic structure is commonly described in terms of its apparent geometric dimensionality. On the other hand, with the concept of synthetic dimension, it is in fact possible to explore physics in a space with a…
We discuss a strategy to construct gapped boundaries for a large class of symmetry-protected topological phases (SPT phases) beyond group cohomology. This is done by a generalization of the symmetry extension method previously used for…
We introduce Displayed Type Theory (dTT), a multi-modal homotopy type theory with discrete and simplicial modes. In the intended semantics, the discrete mode is interpreted by a model for an arbitrary $\infty$-topos, while the simplicial…
To various kinds of quadratic functors, homotopy types of two stage spaces are assigned. It is investigated what kind of homotopy types are obtainable in this way.
The inhomogeneous metric theory for the set of simultaneously $\psi$-approximable points lying on a planar curve is developed. Our results naturally incorporate the homogeneous Khintchine-Jarnik type theorems recently established in [Ann.…
In this paper, the recently developed differential homotopy approach is applied to the problem of disentangling dynamical and topological fields of the $3d$ higher-spin gauge theory at the linear level. This formalism allows us to reproduce…