arXiv research

Proves surjectivity of certain smooth maps with non-properness sets.

Localized deformation of scalar curvature and mean curvature on manifolds.

New rigidity theorem on static manifolds with boundary.

This paper is motivated by a relatively recent work by Joyce in special Lagrangian geometry, but the basic idea of the present paper goes back to an earlier pioneering work of Donaldson in Yang--Mills gauge theory; Donaldson discovered a global structure of a (compactified) moduli space of Yang--Mills instantons, and a…

We consider localized deformation for initial data sets of the Einstein field equations with the dominant energy condition. Deformation results with the weak inequality need to be handled delicately. We introduce a modified constraint operator to absorb the first order change of the metric in the dominant energy condit…

We study a model situation in which direct limit ($\text{colim}$) and inverse limit ($\lim$) do not commute, and offer some computations of their "commutator". The homology of a separable metrizable space $X$ has two well-known approximants: $qH_n(X)$ ("Čech homology") and $pH_n(X)$ ("Čech homology with compact support…

Study on ALH manifolds with boundary, showing surjectivity of scalar curvature map and mass rigidity.

The symplectic representation of mapping classes is not surjective for certain types of mapping classes.

We introduce and study (strict) Schottky G-bundles over a compact Riemann surface X, where G is a connected reductive algebraic group. Strict Schottky representations are shown to be related to branes in the moduli space of G-Higgs bundles over X, and we prove that all Schottky $G$-bundles have trivial topological type…

The paper proves neural networks are almost always surjective, impacting model safety.

The paper introduces two-tone colorings for links and shows conditions for surjective dihedral representations.

Study shows non-trivial homology classes in certain symmetric manifolds.

Simplified proof of K3 surface period map surjectivity.

We show that codimension one dimensional Jacobian of the barycentric straightening map is uniformly bounded for most of the higher rank symmetric spaces. As a consequence, we prove that the locally finite simplicial volume of most $\mathbb Q$-rank $1$ locally symmetric spaces is positive, which has been open for many y…

The Hilbert map's image is discussed, showing when it's surjective.

If phi: G-->G' is a surjective homomorphism, we prove that the twisted Alexander polynomial of G is divisible by the twisted Alexander polynomial of G'. As an application, we show non-existence of surjective homomorphism between certain knot groups.

Proves generic surjectivity of vector bundles via degeneration.

In this paper we extend the local scalar curvature rigidity result in [6] to a small domain on general vacuum static spaces, which confirms the interesting dichotomy of local surjectivity and local rigidity about the scalar curvature in general in the light of the paper [10]. We obtain the local scalar curvature rigidi…

Period maps surjective for certain gravitational instantons.

A spherical set is called convex if for every pair of its points there is at least one minimal geodesic segment that joins these points and lies in the set. We prove that for n >= 3 a complete locally-convex (topological) immersion of a connected (n-1)-manifold into the n-sphere is a surjection onto the boundary of a c…

Teichmüller space rigidity proven for Thurston metric.

VAEs struggle with surjective multimodal data, especially class labels describing images.

The paper studies symmetries in quandles and their relative versions.

Eisenhart's theorem extended to sub-Riemannian metrics on specific Lie algebras.

Study surjectivity of Kirwan map for generalized hyperkähler reduction.

Let $G$ be a compact Lie group, and let $LG$ denote the corresponding loop group. Let $(X,ω)$ be a weakly symplectic Banach manifold. Consider a Hamiltonian action of $LG$ on $(X,ω)$, and assume that the moment map $μ: X \to L\fg^*$ is proper. We consider the function $|μ|^2: X \to \R$, and use a version of Morse theor…

Lie groupoids and their orbit spaces are linked through equivalence classes.

This paper generalizes monodromy maps for projective structures with poles.

The paper proves that certain surface mapping class groups do not virtually surject to the integers.

Continues work on derived manifolds and symplectic schemes, constructing virtual classes.

We use Klyachko's methods to prove that the natural map G to G-hat, where G is a torsion-free group and G-hat is obtained by adding a new generator t and a new relator w, is surjective only if w is conjugate to gt or gt^{-1} for some g in G. This solves a special case of the surjectivity problem for group extensions, r…

We prove an analogue of Kirwan surjectivity in the setting of equivariant basic cohomology of K-contact manifolds. If the Reeb vector field induces a free $S^1$-action, the $S^1$-quotient is a symplectic manifold and our result reproduces Kirwan's surjectivity for these symplectic manifolds. We further prove a Tolman-W…

This article is one of three highly influential articles on the topology of manifolds written by Robert D. Edwards in the 1970's but never published. Organizers of the Workshops in Geometric Topology (http://www.uwm.edu/~craigg/workshopgtt.htm) with the support of the National Science Foundation have facilitated the pr…

Surjectivity of Cannon-Thurston map proven for metric graph bundles.

Garoufalidis and Levine defined a filtration for 3-manifolds equipped with some degree 1 map ($\mathbb{Z}π$-homology equivalence) to a fixed 3-manifold $N$ and showed that there is a natural surjection from a space of $π=π_1N$-decorated graphs to the graded quotient of the filtration over $\mathbb{Z}[\frac{1}{2}]$. In …

We strengthen Marshall Hall's Theorem to show that free groups are locally extended residually alternating. Let F be any free group of rank at least two, let H be a finitely generated subgroup of infinite index in F and let {g_1,...,g_n} be a finite subset of F-H. Then there is a surjection f from F to a finite alterna…

P. Buser and P. Sarnak showed in 1994 that the maximum, over the moduli space of Riemann surfaces of genus s, of the least conformal length of a nonseparating loop, is logarithmic in s. We present an application of (polynomially) dense Euclidean packings, to estimates for an analogous 2-dimensional conformal systolic i…

Let $\widehat{\mathcal{C}}_{\mathbb{Z}}$ denote the group of knots in homology spheres that bound homology balls, modulo smooth concordance in homology cobordisms. Answering a question of Matsumoto, the second author previously showed that the natural map from the smooth knot concordance group $\mathcal{C}$ to $\wideha…

Any hyperbolic surface bundle over the circle gives rise to a continuous surjection from the circle to the sphere, by work of Cannon and Thurston. We prove that the order in which this surjection fills out the sphere is dictated by a natural triangulation of the surface bundle (introduced by Agol) when all singularitie…

Let $K$ be a prime knot in $S^3$ and $G(K)=π_1(S^3-K)$ the knot group. We write $K_1 \geq K_2$ if there exists a surjective homomorphism from $G(K_1)$ onto $G(K_2)$. In this paper, we determine this partial order on the set of prime knots with up to 11 crossings. There exist such 801 prime knots and then $640,800$ shou…

This paper uses Morse-theoretic techniques to compute the equivariant Betti numbers of the space of semistable rank two degree zero Higgs bundles over a compact Riemann surface, a method in the spirit of Atiyah and Bott's original approach for semistable holomorphic bundles. This leads to a natural proof that the hyper…

This paper extends Thurston and Tsuboi's work on foliations of $S^3$.

Let $X$ be a compact complex manifold with trivial canonical bundle and satisfying the $\partial\bar{\partial}$-Lemma. We show that the Kuranishi space of $X$ is a smooth universal deformation and that small deformations enjoy the same properties as $X$. If, in addition, $X$ admits a complex symplectic form, then the l…

Let G be a compact connected Lie group, and (M,ω) a Hamiltonian G-space with proper moment map μ. We give a surjectivity result which expresses the K-theory of the symplectic quotient M//G in terms of the equivariant K-theory of the original manifold M, under certain technical conditions on μ. This result is a natural …

In this article we introduce conformal Riemannian morphisms. The idea of conformal Riemannian morphism generalizes the notions of an isometric immersion, a Riemannian submersion, an isometry, a Riemannian map and a conformal Riemannian map. We show that every injective conformal Riemannian morphism is an injective conf…

Let $f:M^m\to N^n$ be a smooth map between two differential manifolds with $N$ connected, $f(M)$ closed and $f(M)\neq N$. In this short note, we show that either all the points of $M$ are critical points of $f$ or the dimension the collection of all critical points of $f$ is not less than $n-1$. Some consequences of th…

Maps between classifying spaces for certain groups are studied, with rational cohomology results.

Finite-gap solutions approximate jets of initial data for certain BKM systems.