Related papers: Delooping the functor calculus tower
In this note, we study the delooping of spaces and maps in homotopy type theory. We show that in some cases, spaces have a unique delooping, and give a simple description of the delooping in these cases. We explain why some maps, such as…
We introduce the notion of translational Riemannian manifolds and define a Gauss map for orientable immersed hypersurfaces lying in these ambients, an associated translational curvature and prove a Gauss-Bonnet theorem. We also use this…
Let M be a meromorphic connection with poles along a smooth divisor D in a smooth algebraic variety. Let Sol M be the solution complex of M. We prove that the good formal decomposition locus of M coincides with the locus where the…
In this article, we investigate the regularity for certain elliptic systems without a $L^2$-antisymmetric structure. As applications, we prove some $\epsilon$-regularity theorems for weakly harmonic maps from the unit ball $B= B(m) \subset…
We relate the theory of moduli spaces $\overline{\mathcal{M}}_{0,\mathcal{A}}$ of stable weighted curves of genus $0$ to the equivariant topology of complex Grassmann manifolds $G_{n,2}$, with the canonical action of the compact torus…
To any affine scheme with a $\mathbb{G}_m$-action, we provide a Bousfield colocalization on the equivariant derived category of modules by constructing, via homotopical methods, an idempotent integral kernel. This endows the equivariant…
We show that for a wide class of manifold pairs N, M satisfying dim(M) = dim(N) + 1, every \pi_1-injective map f : N --> M factorises up to homotopy as a finite cover of an embedding. This result, in the spirit of Waldhausen's torus…
The reconstruction theorem deals with dynamical systems that are given by a map $T:X\to X$ of a compact metric space $X$ together with an observable $f:X \to \R$ from $X$ to the real line $\R$. In 1981, by use of Whitney's embedding…
The moduli space ${\rm M}_{d}$, of complex rational maps of degree $d \geq 2$, is a connected complex orbifold which carries a natural real structure, coming from usual complex conjugation. Its real points are the classes of rational maps…
A key result in equivariant symplectic geometry is Delzant's classification of compact connected symplectic toric manifolds. The moment map induces an embedding of the quotient of the manifold by the torus action into the dual of the Lie…
For a univalent smooth mapping $f$ of the unit disk $\ID$ of complex plane onto the manifold $f(\ID)$, let $d_f(z_0)$ be the radius of the largest univalent disk on the manifold $f(\ID)$ centered at $f(z_0)$ ($|z_0|<1$). The main aim of the…
The main goal of this article is to relate asymptotic geometric properties on a tower of coverings of a non-compact K\"ahler manifold of finite volume with reasonable geometric assumptions to its universal covering. Applicable examples…
Modular operads are a special type of operad: in fact, they bear the same relationship to operads that graphs do to trees (i.e. simply connected graphs). One of the basic examples of a modular operad is the collection of…
Although structural maps such as subductions and inductions appear naturally in diffeology, one of the challenges is providing suitable analogous for submersions, immersions, and \'{e}tale maps (i.e., local diffeomorphisms) consistent with…
We present a new compactification $M(d,n)$ of the moduli space of self-maps of $\mathbb{CP}^1$ of degree $d$ with $n$ markings. It is constructed via GIT from the stable maps moduli space $\ ar M_{0,n}(\mathbb{CP}^1 \times \mathbb{CP}^1,…
For a given self-adjoint first order elliptic differential operator on a closed smooth manifold, we prove a list of results on when the delocalized eta invariant associated to a regular covering space can be approximated by the delocalized…
These notes are devoted to explaining aspects of the mirror manifold problem that can be naturally understood from the point of view of topological field theory. Basically this involves studying the topological field theories made by…
We prove that the algebra of endomorphisms of a Weyl module of critical level is isomorphic to the algebra of functions on the space of monodromy-free opers on the disc with regular singularity and residue determined by the highest weight…
This paper describes a consequence of the more general results of a previous paper which is of independent interest. We construct a functor from the category of dendroidal sets, which models the theory of infinity-operads, into the category…
We prove that isomorphism classes of principal bundles over a diffeological space are in bijection to certain maps on its free loop space, both in a setup with and without connections on the bundles. The maps on the loop space are smooth…