Proves surjectivity of certain smooth maps with non-properness sets.
problem Surjectivity of linear operators and global diffeomorphisms of semialgebraic maps.
method Analytic proof involving C∞ semialgebraic local diffeomorphisms and linear partial differential operators. result A new analytic conjecture for polynomial local diffeomorphisms of Rn implies known results. Modified constraint operator for localized deformation with dominant energy condition.
problem Handling localized deformation with initial data sets under the dominant energy condition.
method Introduced a modified constraint operator to absorb metric changes and established local surjectivity theorem.
result Promoted dominant energy condition to strict inequality through compactly supported variations.
Localized deformation of scalar curvature and mean curvature on manifolds.
problem Deforming scalar curvature and mean curvature on compact manifolds with boundary.
method Proving localized surjection of scalar curvature and mean curvature map, handling non-variational linearized problem.
result Localized deformations of scalar curvature and mean curvature on compact manifolds are possible.
New rigidity theorem on static manifolds with boundary.
problem Static metrics on manifolds with boundary.
method Obata-type rigidity theorem, sufficient geometric conditions.
result Scalar curvature map can be locally surjective at static metrics on 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…
Study on ALH manifolds with boundary, showing surjectivity of scalar curvature map and mass rigidity.
problem Characterizing ALH manifolds with boundary and their mass.
method Scalar curvature deformation analysis and mass rigidity study.
result ALH manifolds that minimize mass integrals are characterized.
Study of homology commutativity in separable metrizable spaces.
problem Homology commutativity in separable metrizable spaces.
method Computations and analysis of homology approximants and maps.
result Affirmative solution to the surjectivity problem for locally compact spaces in cohomology.
Direct proof of cohomology isomorphism for pullback Lie algebroids.
problem Cohomology of pullback Lie algebroids under surjective submersions.
method Differential-geometric proof, leafwise cohomology vanishing, exhaustion-and-patching argument.
result Cohomology isomorphism and injectivity properties for pullback Lie algebroids.
The symplectic representation of mapping classes is not surjective for certain types of mapping classes.
problem The surjectivity of the symplectic representation of mapping classes, particularly pseudo-Anosov ones, is not always preserved.
method Explicit construction of symplectic matrices with a bi-Perron leading eigenvalue that cannot be represented by orientable pseudo-Anosov mapping classes.
result The symplectic representation of orientable pseudo-Anosov mapping classes is not surjective.
The paper proves neural networks are almost always surjective, impacting model safety.
problem Ensuring neural networks can generate any output, including harmful content.
method Analyzing fundamental neural architectures and generative models.
result Many neural architectures are almost always surjective, allowing for arbitrary outputs.
Study shows non-trivial homology classes in certain symmetric manifolds.
problem Understanding bounded cohomology of symmetric manifolds.
method Analyzing totally geodesic submanifolds and their homology.
result Comparison map is not surjective in specific cohomology degrees.
The paper introduces two-tone colorings for links and shows conditions for surjective dihedral representations.
problem The challenge is to find conditions for links to admit surjective dihedral representations.
method The method involves introducing two-tone colorings and providing conditions for the link groups to admit such representations.
result Any link with at least 3 components admits a surjective homomorphism to the dihedral group of arbitrary degree.
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 Q-rank 1 locally symmetric spaces is positive, which has been open for many y…
Simplified proof of K3 surface period map surjectivity.
problem Surjectivity of period map on K3 surfaces.
method Utilizes hyperkähler geometry and collapsing techniques.
result Simple proof of Todorov's result on K3 surfaces.
The Hilbert map's image is discussed, showing when it's surjective.
problem Understanding when the Hilbert map is surjective.
method Analyzing the Hilbert map's properties to determine surjectivity.
result Necessary and sufficient conditions for the Hilbert map to be 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.
Compact complex manifolds with trivial canonical bundle and ∂∂ˉ-Lemma have smooth deformations and a surjective Albanese map.
problem Understanding the structure and deformations of compact complex manifolds with specific properties.
method Analyzing the Kuranishi space, showing smooth deformations, and studying the Albanese map.
result Compact complex manifolds with trivial canonical bundle and ∂∂ˉ-Lemma have smooth deformations and a surjective Albanese map. Study how local differential geometry affects global algebraic geometry of curves.
problem Understand the relationship between local and global algebraic geometry of curves.
method Investigate the web-structure of algebraic curves and its differential geometry.
result Local differential geometry determines global algebraic geometry of Fano manifolds up to biregular equivalences.
Proves generic surjectivity of vector bundles via degeneration.
problem Understanding generic surjectivity of vector bundles.
method Uses degeneration argument, Berndtsson's theorem, and Lempert's proof.
result Generalizes previous work on L2 division theorem. 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…
Kirwan surjectivity proved for K-contact manifolds with free S^1-action.
problem Proving Kirwan surjectivity for K-contact manifolds.
method Analogue of Kirwan surjectivity in equivariant basic cohomology.
result Symplectic manifold quotient reproduces Kirwan's surjectivity.
A map's critical points and surjectivity are linked in this note.
problem Understanding the critical points and surjectivity of smooth maps between manifolds.
method Analyzing the critical points and dimension of their collection for smooth maps between manifolds.
result The dimension of the critical points collection is at least n-1, affecting surjectivity.
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…
Period maps surjective for certain gravitational instantons.
problem Understanding the uniformization of gravitational instantons.
method Uniformization theorems by Chen--Chen, Chen--Viaclovsky, Collins--Jacob--Lin, and Hein--Sun--Viaclovsky--Zhang.
result Period maps surjective for ALH*, ALG, and ALG* gravitational instantons.
Teichmüller space rigidity proven for Thurston metric.
problem Understanding isometries in Teichmüller space with Thurston metric.
method Analyzing R-linear surjective isometries between cotangent spaces. result Every isometry between hyperbolic surfaces induces an isometry in Teichmüller space.
Study of Schottky bundles over Riemann surfaces, proving their trivial topological type.
problem Understanding Schottky bundles and their properties over Riemann surfaces.
method Introduced and studied (strict) Schottky G-bundles, relating them to Higgs bundles and proving their trivial topological type.
result All Schottky G-bundles have trivial topological type.
VAEs struggle with surjective multimodal data, especially class labels describing images.
problem VAEs struggle to capture variability in surjective multimodal data.
method Theoretical and empirical demonstration of VAEs with a mixture of experts posterior.
result VAEs with a mixture of experts posterior can disregard variation in surjective multimodal data.
The paper studies symmetries in quandles and their relative versions.
problem Understanding symmetries in quandle structures and their transformations.
method Introducing relative versions of inner automorphism and transvection groups, and using them to characterize and classify surjective homomorphisms.
result Characterization of connected homomorphisms and classification of quandle structures under certain symmetry assumptions.
Lie groupoids and their orbit spaces are linked through equivalence classes.
problem Understanding the relationship between Lie groupoids and their orbit spaces.
method Introducing lift-complete Lie groupoids and showing equivalence between categories.
result Morita equivalence class of a lift-complete Lie groupoid is determined by its orbit space.
Eisenhart's theorem extended to sub-Riemannian metrics on specific Lie algebras.
problem Extending Eisenhart's theorem to sub-Riemannian metrics on step 2 distributions.
method Introducing ad-surjective step 2 nilpotent Lie algebras and extending Eisenhart's theorem.
result The theorem holds for sub-Riemannian metrics on ad-surjective step 2 distributions.
Study surjectivity of Kirwan map for generalized hyperkähler reduction.
problem Establishing surjectivity of Kirwan map for a specific class of Hamiltonian manifolds.
method Defined a close analogue of hyperkähler reduction for manifolds with equivariant functions under semi-linear G-actions. result Surjectivity of Kirwan map proved for the defined class of manifolds.
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→R, and use a version of Morse theor…
This paper generalizes monodromy maps for projective structures with poles.
problem Understanding the monodromy of projective structures with poles.
method Generalizing the monodromy map from compact curves to those with poles.
result The monodromy map for projective structures with poles is a local biholomorphism.
Study surjections between braid groups on surfaces, focusing on lower central series.
problem Determine conditions for surjections between braid groups on surfaces.
method Utilizes properties of lower central series and combinatorial methods.
result Identifies specific values of m and n for which surjections exist between braid groups.
Continues work on derived manifolds and symplectic schemes, constructing virtual classes.
problem Constructing virtual fundamental classes for derived manifolds and schemes.
method Cosection localization, reduced virtual fundamental classes, and applications to Donaldson-Thomas theory.
result Virtual fundamental classes for (−2)-shifted symplectic derived schemes are consistent with algebraic and differential geometric constructions. The paper proves that certain surface mapping class groups do not virtually surject to the integers.
problem Proving that certain mapping class groups do not virtually surject to the integers.
method Analyzing the structure of finite-index subgroups of mapping class groups of surfaces of genus ≥ 3.
result Finite-index subgroups of mapping class groups of surfaces of genus ≥ 3 do not virtually surject to the integers.
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…
Kirwan surjectivity proven for equivariant Dolbeault cohomology.
problem Understanding cohomology of Kähler quotients for Hamiltonian actions.
method Using Cartan-Chern-Weil theory to define and prove a Kirwan map.
result A natural surjective Kirwan map established between equivariant Dolbeault cohomologies.
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…
Study shows non-locally-flat concordance elements in knot theory.
problem Understanding non-locally-flat concordance elements in knot theory.
method Utilized Heegaard Floer homology.
result Cokernel of the map from smooth knot concordance group to homology concordance group is infinitely generated and contains elements of infinite order.
Surjectivity of Cannon-Thurston map proven for metric graph bundles.
problem Proving surjectivity of Cannon-Thurston map in metric graph bundles.
method Generalized Mj-Sardar's result to include more types of fibers.
result Continuous extension map between boundaries is surjective.
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…
The paper shows how surjective homomorphisms between surface braid groups factor and computes their automorphism groups.
problem Characterizing surjective homomorphisms and automorphisms of surface braid groups.
method Analyzing the structure of surface braid groups and their homomorphisms.
result Surjective homomorphisms factor through forgetful maps and automorphisms are geometric.
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…
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 S3 and G(K)=π1(S3−K) the knot group. We write K1≥K2 if there exists a surjective homomorphism from G(K1) onto G(K2). 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 extends Thurston and Tsuboi's work on foliations of S3.
problem Proving surjectivity and splitting of homomorphisms related to foliations.
method Real analytic construction and modification of Thurston and Tsuboi's arguments.
result Proves the splitting of the second homomorphism and lifts Tsuboi's subgroup.
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…