arXiv research

New method constructs smooth functions with specific Reeb graphs and preimages on 3D manifolds.

The paper constructs real algebraic functions with specific singularities and preimages.

Study reconstructs Morse-Bott functions with specific preimage conditions on 3D manifolds.

Variant of previous work on smooth algebraic functions with compact and non-compact preimages.

Constructs real algebraic functions with both compact and non-compact preimages.

The paper solves graph realization problems for Reeb graphs of Morse functions.

The study finds a special type of smooth function on connected sums of manifolds.

Constructs real algebraic functions with specified preimages.

Links with isotopic preimages in $S^3$ are isotopic in $RP^3$.

Hardness proven for embedding simplicial complexes in R^d, especially for k-dimensional ones.

There are examples of branched surfaces that do not fully carry laminations, but their preimage in a finite cover does fully carry a lamination

For any atoroidal iwip $φ\in Out(F_N)$ the mapping torus group $G_φ=F_N\rtimes_φ<t>e$ is hyperbolic, and the embedding $ι: F_N \overset{\lhd}{\longrightarrow} G_φ$ induces a continuous, $F_N$-equivariant and surjective {\em Cannon-Thurston map} $\hat ι: \partial F_N \to \partial G_φ$. We prove that for any $φ$ as above…

New diagrams classify triply periodic entanglements.

For a smooth function on a smooth manifold of a suitable class, the space of all connected components of preimages is the graph and called the {\it Reeb graph}. Reeb graphs are fundamental tools in the algebraic and differential topological theory of Morse functions and more general functions which are not so wild. In …

This paper reconstructs equivalence classes in 1D neural networks.

Suppose X,Y are manifolds, f,g:X->Y are maps. The well-known Coincidence Problem studies the coincidence set C={x:f(x)=g(x)}. The number m=dimX-dimY is called the codimension of the problem. More general is the Preimage Problem. For a map f:X->Z and a submanifold Y of Z, it studies the preimage set C={x:f(x) in Y}, and…

The Reeb space of a function or a map on a manifold is defined as the space of all connected components of preimages and represents the manifold compactly. In fact, Reeb spaces are fundamental and useful tools in geometric theory of so-called Morse functions and more general maps which are sufficiently tame. Can we con…

Study reveals uniform difference in stretch factors between genus two handlebody group and outer automorphism group.

Let M be a compact closed non-orientable surface. We show that the space of representations of the fundamental group of M into PSL(2,R) has exactly two connected components. These two components are the preimages of a certain Stiefel-Whitney characteristic class, computed in a similar way as the Euler class in the orie…

We consider a complete biharmonic immersed submanifold $M$ in an Euclidean space $\mathbb{E}^N$. Assume that the immersion is proper, that is, the preimage of every compact set in $\mathbb{E}^N$ is also compact in $M$. Then, we prove that $M$ is minimal. It is considered as an affirmative answer to the global version o…

The study explores congruence subgroups of braid groups and their quotients.

Kernel PCA helps analyze multivariate extremes and clusters them effectively.

New real algebraic maps with prescribed images and compositions are constructed locally like moment maps.

By studying the Heegaard Floer homology of the preimage of a knot K in S^3 inside its double branched cover, we develop simple obstructions to K having finite order in the classical smooth concordance group. As an application, we prove that all 2-bridge knots of crossing number at most 12 for which the smooth concordan…

Studying the invertibility of deep neural networks (DNNs) provides a principled approach to better understand the behavior of these powerful models. Despite being a promising diagnostic tool, a consistent theory on their invertibility is still lacking. We derive a theoretically motivated approach to explore the preimag…

In [3] Borzellino and Brunsden started to develop an elementary differential topology theory for orbifolds. In this paper we carry on their project by defining a mapping degree for proper maps between orbifolds, which counts preimages of regular values with appropriate weights. We show that the mapping degree satisfies…

We study transversality for Lipschitz-Fredholm maps in the context of bounded Fréchet manifolds. We show that the set of all Lipschitz-Fredholm maps of a fixed index between Fréchet spaces has the transverse stability property. We give a straightforward extension of the Smale transversality theorem by using the general…

We consider a complete nonnegative biminimal submanifold M (that is, a complete biminimal submanifold with lambda>=0) in a Euclidean space E^N. Assume that the immersion is proper, that is, the preimage of every compact set in E^N is also compact in M. Then, we prove that M is minimal. From this result, we give an affi…

fastHDMI improves neuroimaging variable selection in high-dimensional data.

We prove that the preimage of a germ of a singular analytic hypersurface under a germ of a finite holomorphic map $g: (\mathbb{C}^n,0) \rightarrow (\mathbb{C}^n,0)$ is again singular. This provides a generalization of previous results of this nature by Ebenfelt-Rothschild [Comm. Anal. Geom. 15 (2007), no. 2, 491-507], …

We introduce a simple combinatorial method for computing all versions of the knot Floer homology of the preimage of a two-bridge knot K(p,q) inside its double-branched cover, -L(p,q). The 4-pointed genus 1 Heegaard diagram we obtain looks like a twisted version of the toroidal grid diagrams recently introduced by Manol…

We consider the family of constant curvature fiber metrics for a Lefschetz fibration with regular fibers of genus greater than one. A result of Obitsu and Wolpert is refined by showing that on an appropriate resolution of the total space, constructed by iterated blow-up, this family is log-smooth, i.e. polyhomogeneous …

By evaluating the Burau representation at t=-1, we obtain a symplectic representation of the braid group. We define the congruence subgroups of the braid group to be the preimages of the principal congruence subgroups of the symplectic group. Our main result is that the level four congruence subgroup of the braid group…

Constructs real algebraic maps with specific geometric constraints.

In this work we describe a method to reconstruct the braid monodromy of the preimage of a curve by a Kummer cover. This method is interesting, since it combines two techniques, namely, the reconstruction of a highly non-generic braid monodromy with a systematic method to go from a non-generic to a generic braid monodro…

Let $f:V^n\looparrowright M^m$ be a smooth generic immersion. Then the set of points, that have at least $k$ preimages is an image of a (non-generic) immersion. If the manifolds $V^n$ and $M^m$ are oriented and $m-n$ is even, then the manifold of $k$-fold points is also oriented. In this paper we compute the oriented b…

For finitely supported random walks on finitely generated groups $G$ we prove that the identity map on $G$ extends to a continuous equivariant surjection from the Martin boundary to the Floyd boundary, with preimages of conical points being singletons. This yields new results for relatively hyperbolic groups. Our key e…

Conditions for simple closed curves in surface covers.

On non-Kähler manifolds the notion of harmonic maps is modified to that of Hermitian harmonic maps in order to be compatible with the complex structure. The resulting semilinear elliptic system is {\it not} in divergence form. The case of noncompact complete preimage and target manifolds is considered. We give conditio…

The paper extends previous work on Reeb graphs of smooth functions on 3D manifolds to non-orientable cases.

Phase plotting is a useful way of visualising functions on complex space. We reinvent the method in the context of hyperbolic geometry, and we use it to plot functions on various representative surfaces for hyperbolic space, illustrating with direct motions in particular. The reinvention is nontrivial, and we discuss t…

We consider symplectic manifolds with Hamiltonian torus actions which are "almost but not quite completely integrable": the dimension of the torus is one less than half the dimension of the manifold. We provide a complete set of invariants for such spaces when they are "centered" and the moment map is proper. In partic…

This paper proves that every finite volume hyperbolic 3-manifold M contains a ubiquitous collection of closed, immersed, quasi-Fuchsian surfaces. These surfaces are ubiquitous in the sense that their preimages in the universal cover separate any pair of disjoint, non-asymptotic geodesic planes. The proof relies in a cr…

Let K in S^3 be a knot, and let \widetilde{K} denote the preimage of K inside its double branched cover, Σ(K). We prove, for each integer n > 1, the existence of a spectral sequence from Khovanov's categorification of the reduced n-colored Jones polynomial of the mirror of K to the knot Floer homology of (Σ(K),\widetil…

Let M,N and B\subset N be compact smooth manifolds of dimensions n+k,n and \ell, respectively. Given a map f from M to N, we give homological conditions under which g^{-1}(B) has nontrivial cohomology (with local coefficients) for any map g homotopic to f. We also show that a certain cohomology class in H^j(N,N-B) is P…

Finite subdivision rules in high dimensions can be difficult to visualize and require complex topological structures to be constructed explicitly. In many applications, only the history graph is needed. We characterize the history graph of a subdivision rule, and define a combinatorial subdivision rule based on such gr…

As in the case of the associahedron and cyclohedron, the permutohedron can also be defined as an appropriate compactification of a configuration space of points on an interval or on a circle. The construction of the compactification endows the permutohedron with a projection to the cyclohedron, and the cyclohedron with…

It is proved that if S^6 possesses an integrable complex structure, then there exists a 1-dimensional family of pairwise different exotic complex structures on P_3(C). This follows immediately from the main result of the paper: S^6 is not the underlying differentiable manifold of an almost homogeneous complex manifold …