Related papers: Smooth and Proper Maps

We show that a natural class of twistorial maps gives a pattern for apparently different geometric maps, such as, $(1,1)$-geodesic immersions from $(1,2)$-symplectic almost Hermitian manifolds and pseudo horizontally conformal submersions…

We determine a strong form of the decomposition theorem for proper toric maps over finite fields.

Planar graphs and their spatial embedding -- planar maps -- are used in many different fields due to their ubiquity in the real world (leaf veins in biology, street patterns in urban studies, etc.) and are also fundamental objects in…

We show that each refinable map preserves colocal connectedness of the domain while a proximately refinable map does not necessarily. Also, we prove that colocal connectedness is a Whitney property and is not a Whitney reversible property.

This paper aims at setting out the basics of $\mathbb{Z}$-graded manifolds theory. We introduce $\mathbb{Z}$-graded manifolds from local models and give some of their properties. The requirement to work with a completed graded symmetric…

The current work is motivated by the papers $[B_3]$, $[B_6]$, $[Be]$, $[Be-Tu]$. In particular, using Theorem 3.7 of $[B_3]$ and methods developed in this paper, the spectral and strong homology groups of continuous maps were defined and…

It is known that every nonorientable surface $\Sigma$ has an orientable double cover $\tilde{\Sigma}$. The covering map induces an involution on the moduli space $\tilde{\M}$ of gauge equivalence classes of flat $G$-connections on…

Cut-and-project sets $\Sigma\subset\mathbb{R}^n$ represent one of the types of uniformly discrete relatively dense sets. They arise by projection of a section of a higher-dimensional lattice to a suitably oriented subspace. Cut-and-project…

Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this information. Homotopy coherent category theory arose out of a desire to…

We discuss the connection between supersymmetric field theories and topological field theories and show how this connection may be used to construct local lattice field theories which maintain an exact supersymmetry. It is shown how metric…

This paper develops a version of dependent type theory in which isomorphism is handled through a direct generalization of the 1939 definitions of Bourbaki. More specifically we generalize the Bourbaki definition of structure from simple…

This paper concentrates on optical Hamiltonian systems of $T*\T^n$, i.e. those for which $\Hpp$ is a positive definite matrix, and their relationship with symplectic twist maps. We present theorems of decomposition by symplectic twist maps…

Complex systems have motivated continuing interest from the scientific community, leading to new concepts and methods. Growing systems represent a case of particular interest, as their topological, geometrical, and also dynamical properties…

We show how to use topological ideas, such as compactness, to establish orderability properties of infinite groups. A new application is to provide a left-ordering for the group of PL homeomorphisms of a connected surface with boundary…

This paper concerns constructing topological sigma models governing maps from semirigid super Riemann surfaces to general target supermanifolds. We define both the A model and B model in this general setup by defining suitable BRST…

String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of these diagrams is that edges need not be connected to…

This article has two purposes. The first is to give an expository account of the integrable systems approach to harmonic maps from surfaces to Lie groups and symmetric spaces, focusing on spectral curves for harmonic 2-tori. The most…

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 already saw in [A1] that the space of dynamically marked rational maps can be identified to a subspace of the space of covers between trees of spheres on which there is a notion of convergence that makes it sequentially compact. In the…

We show that there exists an underlying manifold with a conformal metric and compatible connection form, and a metric type Hamiltonian (which we call the geometrical picture) that can be put into correspondence with the usual…