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.
On-device research index
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
168,695 papers · 148 categories
Trend · papers per month
48 results for “Schoenflies theorem”
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.
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…
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…
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.
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.
Involutions on S^4math.GT
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.
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…
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.
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…
This paper gives a complete proof of the result announced in the title.
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 …
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.
This paper describes a method to construct standard 4-balls from homotopy 4-balls in .
problem The problem is whether every homotopy 4-ball in 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 .
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.
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 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.
In a recent paper, {\it Algorithms for Deforming and Contracting Simply Connected Discrete Closed Manifolds (II)}, we discussed two algorithms for deforming and contracting a simply connected discrete closed manifold into a discrete sphere. The first algorithm was a continuation of work that began in {\it Algorithms fo…
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…
AI generates theorems and proofs for training theorem provers.
problem Limited human-written theorems and proofs for supervised learning.
method Proposes a neural generator to automatically synthesize theorems and proofs.
result Synthetic data improves automated theorem proving in Metamath.
Global inverse function theorem proved easily using Riemannian geometry.
problem Global inverse function theorem in Riemannian geometry.
method Hopf--Rinow theorem in Riemannian geometry.
result Hadamard's global inverse function theorem is proven easily.
A new comparison theorem for geometric spaces.
problem Geometric space comparison theorems.
method Relative form of Toponogov comparison theorem.
result New geometric space comparison theorem established.
Paper develops formulas and theorems in Hermitian geometry.
problem None explicitly stated in the abstract.
method Develops second variational formulas and index forms in Hermitian geometry.
result Establishes results analogous to classical theorems in Riemannian geometry.
The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.
problem Establishing theorems for subharmonic and holomorphic functions on specific geometric structures.
method Using subharmonic and holomorphic functions on Riemannian manifolds and gradient shrinking Ricci solitons.
result Proves Liouville type theorems as applications of the established theorems.
Revises a theorem by Thurston, finding a counter-example and a weaker version.
problem The bounded image theorem in Haken manifolds.
method Providing a counter-example and a weaker version of the second statement of Thurston's theorem.
result A counter-example and a weaker version of the second statement of Thurston's theorem are presented.
Proofs for Moon's theorem and its generalization.
problem Proving Moon's theorem and its generalization.
method Proofs based on key lemmas.
result Generalization of the four-vertex theorem.
Analyzes Saito vanishing theorem using methods.
problem Proving the Saito vanishing theorem.
method Uses -methods to prove the theorem.
result Analytic proof of the Saito vanishing theorem.
Investigates proving geometric theorems over complex and real numbers using tilings.
problem Proving incidence theorems over C and R using the master theorem.
method Formalizes tiling proofs and introduces a hierarchy of theorems based on topological spaces.
result Identifies which theorems can or cannot be proved over C and R.
Extends symplectic reduction and theorem to Lie algebroids.
problem Symplectic reduction and theorem for Lie algebroids.
method Extends Marsden-Weinstein reduction and Darboux-Moser-Weinstein theorems.
result Obtained coisotropic embedding theorem for symplectic Lie algebroids.
Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.
problem Complex Brunn-Minkowski theory and extension theorems.
method Hilbert bundle approach to complex Brunn-Minkowski theory.
result Generalizes Guan's sharp strong openness theorem and sharp Ohsawa-Takegoshi extension theorem.
Proves Thurston's bounded image theorem for Haken manifolds.
problem Proving Thurston's bounded image theorem for Haken manifolds.
method Using recent developments in Kleinian group theory.
result A proof of Thurston's original bounded image theorem.
Method upgrades limit theorems to mixing limit theorems for dynamical systems.
problem Improving limit theorems for dynamical systems.
method General method for upgrading limit theorems to mixing limit theorems.
result Mixing limit theorems for specific subbundles of the Kontsevich-Zorich cocycle.
Formulates Index III lemma and Rauch III theorem with applications.
problem Develops new mathematical theorems based on existing ones.
method Formulation of Index III lemma and Rauch III theorem based on Index I, II lemmas and Rauch I, II theorems.
result Presented Rauch's type theorem and volume comparison result as applications.
In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop gr…
The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.
problem Understanding the distinction between incidence theorems over division rings and fields.
method Extending the surface-graph approach to noncommutative settings, the paper analyzes the topological properties of graphs embedded on surfaces of different genera.
result Theorems associated with graphs on the sphere hold over any division ring, while those on surfaces of positive genus typically hold only if the ground ring is a field.
Proves two theorems on odd-dimensional manifolds with boundary.
problem Proving theorems on manifolds with boundaries.
method Proof of theorems using mathematical techniques.
result Proved the general Kastler-Kalau-Walze and Dabrowski-Sitarz-Zalecki type theorems.
Sharp convergence theorem for sphere submanifolds proved.
problem Sphere submanifolds in spheres.
method Proved a sharp convergence theorem.
result New differentiable sphere theorem for submanifolds in spheres.
INT benchmark tests theorem proving agents' ability to generalize to unseen theorems.
problem Evaluating theorem proving agents' ability to generalize to unseen theorems.
method INT benchmark based on a theorem generation and proof procedure with adjustable knobs for measuring 6 types of generalization.
result MCTS can help agents prove new theorems.
A homological selection theorem for C-spaces, as well as, a finite-dimensional homological selection theorem is established. We apply the finite-dimensional homological selection theorem to obtain fixed-point theorems for usco homologically UV^n set-valued maps.
Abstracts a theorem for non-smooth maps in infinite dimensions.
problem Generalizing inverse mapping theorem for non-smooth maps.
method Introduces property A and applies it to non-smooth maps.
result Generalized inverse mapping theorems for non-smooth maps.
Atiyah-Singer theorem links math fields, predicts topological insights.
problem Understanding the interplay between analysis, geometry, and topology.
method Analyzes and generalizes topological invariants in differential geometry.
result Predicts the index of elliptic operators based on topology.
Paper generalizes a theorem for real analytic singularities.
problem No specific problem stated; focuses on generalization.
method Generalization of a theorem for complex singularities.
result Generalized Join theorem for real analytic singularities.
Some Kollar-Enoki type injectivity and Nadel type vanishing theorems on compact Kahler manifoldsmath.AG
The paper proves injectivity and vanishing theorems on compact Kahler manifolds.
problem Injectivity and vanishing theorems on compact Kahler manifolds.
method Hodge theory, Bochner-Kodaira-Nakano identity, analytic method, transcendental method, Demailly-Peternell-Schneider equisingular approximation theorem, Hormander L2 estimates.
result The main injectivity theorem implies several Nadel type vanishing theorems.
Several proofs of Fáry--Milnor theorem are presented.
problem Fáry--Milnor theorem
method Sketches several proofs
result Proofs of Fáry--Milnor theorem
Reidemeister's theorem proved using smooth functions and transversality.
problem Proving Reidemeister's theorem
method Using smooth functions and transversality
result Reidemeister's theorem proved