Related papers: Maps to spaces in the genus of infinite quaternion…
We prove several new transversality results for formal CR maps between formal real hypersurfaces in complex space. Both cases of finite and infinite type hypersurfaces are tackled in this note.
We completely classify the locally finite, infinite graphs with pure mapping class groups admitting a coarsely bounded generating set. We also study algebraic properties of the pure mapping class group: We establish a semidirect product…
Gaussian elimination answers any question about a finitely presented vector space. However, a "uniform family" of such presentations--given as generic relations among an unspecified number of generators--is susceptible to elimination only…
In classical covering space theory, a covering map induces an injection of fundamental groups. This paper reveals a dual property for certain quotient maps having connected fibers, with applications to orbit spaces of vector fields and leaf…
We obtain a complete description of the planar cubic Cayley graphs, providing an explicit presentation and embedding for each of them. This turns out to be a rich class, comprising several infinite families. We obtain counterexamples to…
For any infinite-type surface $S$, a natural question is whether the homology of its mapping class group contains any non-trivial classes that are supported on (i) a compact subsurface or (ii) a finite-type subsurface. Our purpose here is…
We classify curvature-adapted real hypersurfaces $M$ of non-flat quaternionic space forms $\mathbb HP^m$ and $\mathbb HH^m$ that are of Chen type 2 in an appropriately defined (pseudo) Euclidean space of quaternion-Hermitian matrices, where…
The theory of condensed mathematics by Dustin Clausen and Peter Scholze claims that topological spaces should be replaced by the definition of condensed sets. The main purpose of this paper is to investigate in which way the theory of…
This is the fourth in a series of papers extending Martin-L\"of's meaning explanation of dependent type theory to higher-dimensional types. In this installment, we show how to define cubical type systems supporting a general schema of…
The fundamental axioms of the quantum theory do not explicitly identify the algebraic structure of the linear space for which orthogonal subspaces correspond to the propositions (equivalence classes of physical questions). The projective…
We construct certain non-degenerate maps and sets, mainly in the complex-analytic category. For example, we show that for every countable subset S in an irreducible complex space X there exists a holomorphic map from the unit disk to X such…
We discuss the role of Poisson-Nijenhuis geometry in the definition of multiplicative integrable models on symplectic groupoids. These are integrable models that are compatible with the groupoid structure in such a way that the set of…
We describe how the loop group maps corresponding to special submanifolds associated to integrable systems may be thought of as certain Grassmann submanifolds of infinite dimensional homogeneous spaces. In general, the associated families…
Let $n$ be a positive integer and $H$ a Hilbert space. The description of the general form of bijective maps on the set of $n$-dimensional subspaces of $H$ preserving the maximal principal angle has been obtained recently. This is a…
Given a finite modular tensor category, we associate with each compact surface with boundary a cochain complex in such a way that the mapping class group of the surface acts projectively on its cohomology groups. In degree zero, this action…
We prove that the GKM graphs of GKM$_4$ manifolds that are either Hamiltonian or of complexity one extend to torus graphs. The arguments are based on a reformulation of the extension problem in terms of a natural representation of the…
We show that in all homotopy classes of mappings from complex projective space to Riemannian manifolds, the infimum of the energy is proportional to the infimal area in the homotopy class of mappings of the 2-sphere which represents the…
We prove that a maximal totally complex submanifold $N^{2n}$ of the quaternionic projective space $\mathbb{H}\mathbb{P}^n$ ($n\geq 2$) is a parallel submanifold, provided one of the following conditions is satisfied: (1) $N$ is the orbit of…
We determine the Batalin-Vilkovisky algebra structure of the integral loop homology of quaternionic projective spaces and octonionic projective plane.
We introduce a precise notion, in terms of few Schlessinger's type conditions, of extended deformation functors which is compatible with most of recent ideas in the Derived Deformation Theory (DDT) program and with geometric examples. With…