New examples of Schoenflies balls are produced using a 5D approach.
problem Identifying Schoenflies balls that are not standard.
method Using a 5-dimensional perspective, algebraic and geometric handle cancellation.
result New examples of Schoenflies balls not known to be standard are produced.
This paper describes a method to construct standard 4-balls from homotopy 4-balls in C2.
problem The problem is whether every homotopy 4-ball in S4 is standard. method The approach is to use Stein surfaces and pseudoconvex domains to construct a diffeomorphic domain that is the union of three pseudoconvex domains, ensuring it is a standard 4-ball.
result The construction method ensures that the domain is a standard 4-ball, providing a compelling reimbedding construction for homotopy 4-balls in C2. This paper gives a complete proof of the result announced in the title.
The stable Andrews-Curtis conjecture in combinatorial group theory is the statement that every balanced presentation of the trivial group can be simplified to the trivial form by elementary moves corresponding to "handle-slides" together with "stabilization" moves. Schoenflies conjecture is the statement that the compl…
Approaches 4D Schoenflies via pseudo-isotopy.
problem Smooth 4D Schoenflies conjecture.
method Pseudo-isotopy theory.
result Offers new approach to 4D Schoenflies.
There is a relation between the generalized Property R Conjecture and the Schoenflies Conjecture that suggests a new line of attack on the latter. The approach gives a quick proof of the genus 2 Schoenflies Conjecture and suffices to prove the genus 3 case, even in the absence of new progress on the generalized Propert…
We show that both, the Jordan curve theorem and the Schoenflies theorem extend to non-metric manifolds (at least in the two-dimensional context), and conclude by some dynamical applications à la Poincaré-Bendixson.
3D Schoenflies theorem for simply-connected 2-complexes.
problem Embedding simply-connected 2-complexes in 3-space uniquely.
method Proving a 3-dimensional Schoenflies theorem for 3-connected link graphs.
result Essentially unique locally flat embedding into 3-sphere.
BiLipschitz mappings can be extended to preserve area.
problem Extending biLipschitz mappings to preserve area.
method Proving biLipschitz mappings can be extended to biLipschitz mappings preserving area.
result BiLipschitz mappings can be extended to preserve area.
In this paper we prove a new version of the Schoenflies extension theorem for collared domains in Euclidean n-space: for 1 < p < n, locally bi-Lipschitz homeomorphisms between collared domains with locally p-integrable, second-order weak derivatives admit homeomorphic extensions of the same regularity. Moreover, the th…
The paper connects diffeomorphism groups and sphere embeddings, proving a group structure.
problem Understanding the homotopy types of diffeomorphism groups and sphere embeddings.
method Cerf's upgraded proof, scanning maps, canceling handles, Embedding Calculus.
result The monoid of Schoenflies spheres forms a group under connect-sum.
We prove a discrete Jordan-Brouwer-Schoenflies separation theorem telling that a (d-1)-sphere H embedded in a d-sphere G defines two different connected graphs A,B in G such a way that the intersection of A and B is H and the union is G and such that the complementary graphs A,B are both d-balls. The graph theoretic de…
This is the announcement of an alternative approach to the 3-dimensional Poincaré Conjecture, different from Perelman's big and spectacular breakthrough. No claim concerning the other parts of the Thurston Geometrization Conjecture, come with our purely 4-dimensional line of argument.
The paper classifies involutions on S^4, proving linearities under certain conditions.
problem Classifying involutions on S^4 with specific fixed-point sets.
method Combining surgery theory, Schoenflies theorem, and equivariant topology.
result Linear involutions on S^4 with 1-dimensional fixed-point sets are proven.
This is an expository paper giving a proof of the existence and uniqueness of smooth structures (hence also PL structures) on topological surfaces. Most published proofs rely on the topological Schoenflies theorem, but here we use instead the Kirby torus trick. This has the advantage of reducing the point-set topology …
Calegari's 4-spheres from fibered knots are proven standard.
problem Proving Calegari's 4-spheres from fibered knots are standard.
method 5-dimensional handlebody techniques and mapping class groups of 3-dimensional handlebodies.
result All Calegari's homotopy 4-spheres from fibered knots are diffeomorphic to the standard 4-sphere.
We give a general treatment of the somewhat unfamiliar operation on manifolds called Connected Sum at Infinity, or CSI for short. A driving ambition has been to make the geometry behind the well definition and basic properties of CSI as clear and elementary as possible. CSI then yields a very natural and elementary pro…
We show that a smooth embedding of a closed 3-manifold in S^3 x R can be isotoped so that every generic level divides S^3 x t into two handlebodies (i.e., is Heegaard) provided the original embedding has a unique local maximum with respect to the R coordinate. This allows uniqueness of embeddings to be studied via the …
Smooth flows with surgery approximate weak mean curvature flows with spherical and neck-pinch singularities.
problem Approximating weak mean curvature flows with singularities using smooth flows.
method Combining Choi-Haslhofer-Hershkovits and Choi-Haslhofer-Hershkovits-White work on canonical neighbourhoods and barriers to flows with surgery.
result Smooth flows with surgery can approximate weak mean curvature flows with spherical and neck-pinch singularities.
Classifies manifolds and discrete subgroups of Lie groups using descriptive set theory.
problem Classifying manifolds and discrete subgroups of Lie groups.
method Descriptive set theory and Borel complexity computations.
result Complexity of homeomorphism problems for manifolds and conjugacy relations for subgroups.
Low-entropy surfaces can be flowed into spheres and cylinders.
problem Proving mean curvature flow for low-entropy hypersurfaces.
method Low-entropy density drop argument and recent work on hypersurfaces.
result Closed hypersurfaces with entropy ≤ 2 can be flowed into spherical and cylindrical shapes.
3-balls in 4-sphere become isotopic in 5-ball.
problem Whether 3-balls in 4-sphere become isotopic in 5-ball.
method Analyzing the embedding of 3-balls in 4-sphere and 5-ball.
result Affirmative answer to Gay, Hughes, Kim, and Miller's question.
Study on ball widths and minimal submanifolds in space forms.
problem Understanding widths of balls and minimal submanifolds.
method Analyzing the area of equatorial balls and related bounds for minimal submanifolds.
result Lower bounds for the area of free boundary minimal submanifolds.
Two minimal hypersurfaces in a ball intersect in any half-ball.
problem Intersection properties of minimal hypersurfaces in a ball.
method Analyzing the intersection of two minimal hypersurfaces in a unit Euclidean ball.
result Intersection point in any half-ball, strong Frankel property.
New surface area measures defined for ball-convex bodies, leading to entropy and inequalities.
problem Defining and analyzing surface area measures for ball-convex bodies.
method Introducing Lp relative surface areas, proving invariance and inequalities, and using geometric interpretations. result Established inequalities and a new notion of entropy for ball-convex bodies.
Sharp lower bound found for geodesic ball eigenvalues.
problem Finding the minimum eigenvalue for geodesic balls.
method Applied Li-Schoen's uniform Poincare inequality for non-negative Ricci curvature manifolds.
result Sharp lower bound of the first Dirichlet eigenvalue for geodesic balls.
Paper calculates ball number of links using Lorentz geometry and circle packing.
problem Calculating the minimum number of balls needed to represent a link.
method Lorentz geometry and circle packing theorem applied to ball packings.
result Shows ball(L)≤5cr(L) for any link L. Quantifies nearly spherical subsets in complex ball geometry.
problem Isoperimetric inequality for nearly spherical domains in Bergman ball.
method Proves a quantitative isoperimetric inequality for nearly spherical subsets of Bergman ball.
result First result on isoperimetric phenomenon in Bergman ball.
Sharp geometric inequalities for free boundary hypersurfaces in balls.
problem Understanding geometric properties of free boundary hypersurfaces in balls.
method Proving a family of sharp geometric inequalities.
result Family of sharp geometric inequalities for free boundary hypersurfaces in balls.
New minimal surfaces found in ball with boundary constraints.
problem Finding minimal surfaces with boundary conditions.
method Equivariant differential geometry approach.
result A family of free boundary minimal surfaces in the unit ball.
New examples show non-locally-flat PL-disk bounds in rational homology balls but not in integer homology balls.
problem Characterizing knots that bound PL-disks in integer homology balls.
method Involutive Heegaard Floer homology formal properties.
result Found infinitely many manifold-knot pairs (Y, J) where J does not bound a PL-disk in an integer homology ball but does in a rational homology ball.
Study constructs disks with curved boundaries in a 3D ball.
problem Constructing non-planar free boundary disks in a unit ball.
method Infinite family of non-planar disks with non-positive Gaussian curvature.
result Constructs disks with curved boundaries in a unit ball.
Study shows no smooth embeddings of rational homology balls into complex projective plane.
problem Embedding rational homology balls into complex projective plane.
method Elementary arguments to prove non-existence of almost complex embeddings.
result No smooth embeddings of rational homology balls into complex projective plane.
Sharp inequality outside ball proved using Neumann method.
problem Anisotropic isoperimetric inequality for domains outside an Euclidean ball.
method Applied ABP method to Neumann boundary value problem.
result Proved sharp anisotropic isoperimetric inequality.
Fourth-order problem on half-ball with corner behavior.
problem Fourth-order problem with corner behavior on half-ball.
method Conformal mapping to isolate corner effect.
result Gauss-Bonnet formula simplifies to constant term at corner.
Classifies surgeries on torus knots and cables that bound rational homology balls.
problem Which surgeries on torus knots and cables bound rational homology balls?
method Classification based on integral surgeries and rational numbers q/p for cables.
result Set of rational numbers q/p for cables of a given knot K is bounded.
New illumination bodies defined for ball-convex shapes, proving convexity and establishing surface area measures.
problem Characterizing properties of ball-convex shapes.
method Introducing illumination bodies and weighted illumination bodies, proving convexity, and establishing surface area measures.
result Illumination bodies are convex and provide surface area measures for ball-convex shapes.
In hyperbolic space Hn we set a geodesic ball of radius ρ. Consider a k dimensional minimal submanifold passing through the origin of the geodesic ball with boundary lies on the boundary of that geodesic ball. We prove that its area is no less than the totally geodesic k dimensional submanifold passing through…
Study non-existence of complex ball quotients in Torelli locus.
problem Non-existence of totally geodesic complex ball quotients in Torelli locus.
method Analytic techniques.
result Analytic techniques used to study non-existence.
The paper characterizes unit balls among Stein spaces with specific groups using Bergman-Einstein metrics.
problem Characterizing unit balls among Stein spaces with specific groups.
method Study of Bergman metric on finite ball quotients and its Kähler-Einstein property.
result The Bergman-Einstein metric exists only on the unit ball itself for finite ball quotients with trivial groups.
Fintushel and Stern showed that the Brieskorn sphere Σ(2,3,7) bounds a rational homology ball, while its non-trivial Rokhlin invariant obstructs it from bounding an integral homology ball. It is known that their argument can be modified to show that the figure-eight knot is rationally slice, and we use this fact to p…
Study compares eigenvalues on spherically symmetric manifolds to Euclidean balls.
problem Comparing eigenvalues on spherically symmetric manifolds to Euclidean balls.
method Examines Dirichlet Laplace eigenvalues on balls of spherically symmetric manifolds and Euclidean space.
result Eigenvalues on spherically symmetric manifolds are smaller for small radii, but larger for hyperbolic spaces.
Sharp inequality found on three-balls for fourth order Sobolev traces.
problem Fourth order Sobolev trace inequality on three-balls.
method Established through equivalence to a third order Sobolev inequality on two-spheres.
result Sharp fourth order Sobolev trace inequality on three-balls.
Study shows Seifert fibered spaces don't bound rational homology balls.
problem Understanding when Seifert fibered spaces bound rational homology balls.
method Analyzes Seifert fibered spaces with different conditions and orientations.
result Characterizes conditions for Seifert fibered spaces to bound rational homology balls.
New balls smoothly fit in CP² but not symplectically.
problem Embedding Stein rational homology balls in CP².
method Constructing a family of smooth but not symplectic embeddings.
result Existence of a doubly infinite family of such embeddings.
We prove the diameter of the intersection of two closed convex balls in a Riemannian manifold eventually decreases continuously as the centers of the balls move apart.
We describe two methods for showing that a vector can not be the f-vector of a homology d-ball. As a consequence, we disprove a conjectured characterization of the f-vectors of balls of dimension five and higher due to Billera and Lee. We also provide a construction of triangulated balls with various f-vectors. We show…
The paper constructs new rational homology 3-spheres bounding rational homology 4-balls.
problem Constructing rational homology 3-spheres that bound rational homology 4-balls.
method Exploring plumbed 3-manifolds and using rational homology circles.
result Infinite families of rational homology 3-spheres that bound rational homology 4-balls.