A New Proof of Reifenberg’s Topological Disc Theorem

Guanghao Hong,Lihe Wang

DOI: https://doi.org/10.2140/pjm.2010.246.325

2010-01-01

Pacific Journal of Mathematics

Abstract:We offer a new proof to the classical topological disk theorem of Reifenberg. The novelty of our method is that we construct the approximating surfaces globally, which makes our proof rather simple and direct.

What problem does this paper attempt to address?

A Geometric Approach to the Topological Disk Theorem of Reifenberg

Guanghao Hong,Lihe Wang

DOI: https://doi.org/10.2140/pjm.2007.233.321

2007-01-01

Pacific Journal of Mathematics

Abstract:We offer a new approach to the classical topological disk theorem of Reifenberg in the codimension-1 case. Our proof, using 1/2-level sets of the smoothing of the characteristic function of the domain Omega as approximating surfaces of partial derivative Omega, is much simpler than Reifenberg's original one (1960). We also extend the result to parabolic space.
Intrinsic Topological Representation of Real Algebraic Surfaces

Jin-San Cheng,Xiao-Shan Gao,Ming Li

DOI: https://doi.org/10.1145/1113439.1113444

2005-01-01

ACM SIGSAM Bulletin

Abstract:Determining the topology of an algebraic surface is not only an interesting mathematical problem, but also a key issue in computer graphics and CAGD. An algorithm is proposed to determine the intrinsic topology of an implicit real algebraic surface f(x,y,z) = 0 in R3, where f(x,y,z) ∈ Q[x,y,z] and Q is the field of rational numbers. There exist algorithms to determine the topology for algebraic surfaces of special type [2, 3, 4, 7]. The CAD method proposed by Collins [1] can divide the space into cylindrical parts. But it does not give the connection information neither the intrinsic representation.
On a Proof of the Labastida-Marino-Ooguri-Vafa Conjecture

Kefeng Liu,Pan Peng

DOI: https://doi.org/10.4310/jdg/1292940692

2010-01-01

Mathematical Research Letters

Abstract:We outline a proof of a remarkable conjecture of Labastida-Mari{\~n}o-Ooguri-Vafa about certain new algebraic structures of quantum link invariants and the integrality of infinite family of new topological invariants. Our method is based on the cut-and-join analysis and a special rational ring characterizing the structure of the Chern-Simons partition function.
A Finite Topological Type Theorem for Open Manifolds with Non-negative Ricci Curvature and Almost Maximal Local Rewinding Volume

HongZhi Huang

DOI: https://doi.org/10.1093/imrn/rnad311

2024-01-02

International Mathematics Research Notices

Abstract:Abstract In this paper, we present finite topological type theorems for open manifolds with non-negative Ricci curvature, under almost maximal local rewinding volume. Unlike previous related research, our theorems remove the constraints of sectional curvature or conjugate radius, which were crucial additional assumptions on metric regularity in prior results. Notably, our settings do not necessarily satisfy a triangle comparison of Toponogov type. In fact, the method we adopt also extends to many previous related studies.

mathematics
Proof of Riemann hypothesis by topological and analytical methods

Farhad Ghaboussi

2024-11-27

Abstract:We introduce a differential topological proof and an analytical proof of Riemann hypothesis according to the saddle point method because Riemann calculated the integral representation of zeta function on the critical line by this method. This topological proof of RH proves that the existence of integral representation of zeta functions requires certain differential topological conditions on its integrand according to which the zeta function vanishes on the critical line. The analytical proof of RH is the local implementation of topological proof or its coordinate representation.

General Physics
Topological Characterisation of Rational Maps with Siegel Disks

Gaofei Zhang

DOI: https://doi.org/10.1017/s0305004121000098

2021-01-01

Mathematical Proceedings of the Cambridge Philosophical Society

Abstract:AbstractWe extend Thurston’s topological characterisation theorem for postcritically finite rational maps to a class of rational maps which have a fixed bounded type Siegel disk. This makes a small step towards generalizing Thurston’s theorem to geometrically infinite rational maps.
Global Topology of Hyperbolic Components: Cantor Circle Case

Xiaoguang Wang,Yongcheng Yin

DOI: https://doi.org/10.1112/plms.12058

2017-01-01

Proceedings of the London Mathematical Society

Abstract:We prove that in the moduli space Md of degree d2 rational maps, any hyperbolic component in the disconnectedness locus and of Cantor circle type is a finite quotient of R4d-4-nxTn, where n is determined by dynamics. The proof uses some ideas from Riemann surface theory (Abel's Theorem), dynamical system and algebraic topology.
A New Proof for Zassenhaus-Groemer-Oler Inequality

Qinghai Liu,Xiang Li,Lidong Wu,Hai Du,Zhao Zhang,Weili Wu,Xiaodong Hu,Yinfeng Xu

DOI: https://doi.org/10.1142/s1793830912500140

2012-01-01

Discrete Mathematics Algorithms and Applications

Abstract:In this paper, we present a new proof for a well-known inequality, conjectured by Zassenhaus in 1947 and proved independently by Groemer in 1960 and Oler in 1961. The inequality gives an upper bound for the number of nonoverlapping unit discs whose centers can be packed into a compact convex region, and recently obtains a lot of applications in study of sensor networks.
On the topology of constant mean curvature surfaces in H2 X R with boundary in a plane

Vlad Moraru,Barbara Nelli

DOI: https://doi.org/10.48550/arXiv.1907.09156

2019-10-28

Abstract:A gap in the proof prevents us to show that surfaces with constant mean curvature closed to 1/2 in H2 X R and having boundary with curvature greater than one, contained in a horizontal section P of H2 X R are topological disks, provided they are contained in one of the two halfspaces determined by P. This is the analogue in H2 X R of a result in R3 by A. Ros and H. Rosenberg [13, Theorem 2].

Differential Geometry
Topological field theory on r-spin surfaces and the Arf invariant

Ingo Runkel,Lóránt Szegedy

DOI: https://doi.org/10.1063/5.0037826

2021-10-01

Abstract:We give a combinatorial model for r-spin surfaces with parametrised boundary based on Novak (2015). The r-spin structure is encoded in terms of $\mathbb{Z}_r$-valued indices assigned to the edges of a polygonal decomposition. This combinatorial model is designed for our state sum construction of two-dimensional topological field theories on r-spin surfaces. We show that an example of such a topological field theory computes the Arf-invariant of an r-spin surface as introduced in Geiges, Gonzalo (2012) and Randal-Williams (2014). This implies in particular that the r-spin Arf-invariant is constant on orbits of the mapping class group, providing an alternative proof of that fact.

Quantum Algebra,High Energy Physics - Theory,Mathematical Physics,Geometric Topology
Proof of the Toponogov Conjecture on Complete Surfaces

Brendan Guilfoyle,Wilhelm Klingenberg

2024-09-28

Abstract:We prove a conjecture of Toponogov on complete convex planes, namely that such planes must contain an umbilic point, albeit at infinity. Our proof is indirect. It uses Fredholm regularity of an associated Riemann-Hilbert boundary value problem and an existence result for holomorphic discs with Lagrangian boundary conditions, both of which apply to a putative counterexample. Corollaries of the main theorem include a Hawking-Penrose singularity-type theorem, as well as the proof of a conjecture of Milnor's from 1965 in the convex case.

Differential Geometry
Notes on the Cheeger and Colding version of the Reifenberg theorem for metric spaces

Nicola Gigli,Ivan Yuri Violo

2024-06-20

Abstract:The classical Reifenberg's theorem says that a set which is sufficiently well approximated by planes uniformly at all scales is a topological Hölder manifold. Remarkably, this generalizes to metric spaces, where the approximation by planes is replaced by the Gromov-Hausdorff distance. This fact was shown by Cheeger and Colding in an appendix of one of their celebrated works on Ricci limit spaces [8]. Given the recent interest around this statement in the growing field of analysis in metric spaces, in this note we provide a self contained and detailed proof of the Cheeger and Colding result. Our presentation substantially expands the arguments in [8] and makes explicit all the relevant estimates and constructions. As a byproduct we also shows a biLipschitz version of this result which, even if folklore among experts, was not present in the literature. This work is an extract from the doctoral dissertation of the second author.

Metric Geometry,Differential Geometry
A New Proof of the Gromov's Theorem on Almost Flat Manifolds

Xiaochun Rong

DOI: https://doi.org/10.48550/arXiv.1906.03377

2022-11-17

Abstract:We will give a new proof for the Gromov's theorem on almost flat manifolds, which is an inductive proof on dimension.

Differential Geometry
A Differentiable Sphere Theorem Inspired by Rigidity of Minimal Submanifolds

Hong-Wei Xu,Ling Tian

DOI: https://doi.org/10.2140/pjm.2011.254.499

2011-01-01

Pacific Journal of Mathematics

Abstract:We prove a vanishing theorem for the fundamental group of a compact submanifold in a space form, and then present a refined version of Ejiri's rigidity theorem for minimal submanifolds in a sphere. Inspired by the refined Ejiri theorem, we verify a new differentiable sphere theorem for compact submanifolds in space forms. We also show that our differentiable sphere theorem is sharp. We emphasize that our method of Ricci flow in the proof of the sphere theorem seems useful in the study of curvature and topology. Also, we obtain a differentiable pinching theorem for compact submanifolds in a Riemannian manifold.
Proof of the Caratheodory Conjecture

Brendan Guilfoyle,Wilhelm Klingenberg

2024-10-02

Abstract:A well-known conjecture of Caratheodory states that the number of umbilic points on a closed convex surface in ${\mathbb E}^3$ must be greater than one. In this paper we prove this for $C^{3+\alpha}$-smooth surfaces. The Conjecture is first reformulated in terms of complex points on a Lagrangian surface in $TS^2$, viewed as the space of oriented geodesics in ${\mathbb E}^3$. Here complex and Lagrangian refer to the canonical neutral Kaehler structure on $TS^2$. We then prove that the existence of a closed convex surface with only one umbilic point implies the existence of a totally real Lagrangian hemisphere in $TS^2$, to which it is not possible to attach the edge of a holomorphic disc. The main step in the proof is to establish the existence of a holomorphic disc with edge contained on any given totally real Lagrangian hemisphere. To construct the holomorphic disc we utilize mean curvature flow with respect to the neutral metric. Long-time existence of this flow is proven by a priori estimates and we show that the flowing disc is asymptotically holomorphic. Existence of a holomorphic disc is then deduced from Schauder estimates.

Differential Geometry,Analysis of PDEs,Symplectic Geometry
Spanning disks in triangulations of surfaces

Katie Clinch,Sean Dewar,Niloufar Fuladi,Maximilian Gorsky,Tony Huynh,Eleftherios Kastis,Anthony Nixon,Brigitte Servatius

2024-10-06

Abstract:Given a triangulation $G$ of a surface $\mathbb{D}$, a spanning disk is a disk $\mathbb{D} \subseteq \mathbb{S}$ containing all the vertices of $G$ such that the boundary of $\mathbb{D}$ is a cycle of $G$. In this paper, we consider the question of when a triangulation of a surface contains a spanning disk. We give a very short proof that every triangulation of the torus contains a spanning disk, which strengthens a theorem of Nevo and Tarabykin. For arbitrary surfaces, we prove that triangulations with sufficiently high facewidth always contain spanning disks. Finally, we exhibit triangulations which do not have spanning disks. This shows that a minimum facewidth condition is necessary. Our results are motivated by and have applications for rigidity questions in the plane.

Combinatorics,Discrete Mathematics
Lovasz' Conjecture and Other Applications of Topological Methods in Discrete Mathematics

Jingsi Hou,Guangyan Huang,Sammy Suliman,Haoran Yan

2024-05-02

Abstract:In 20th century mathematics, the field of topology, which concerns the properties of geometric objects under continuous transformation, has proved surprisingly useful in application to the study of discrete mathematics, such as combinatorics, graph theory, and theoretical computer science. In this paper, we seek to provide an introduction to the relevant topological concepts to non-specialists, as well as a selection of some existing applications to theorems in discrete mathematics.

History and Overview,Combinatorics
Proof of Riemann hypothesis and its topological evidence

Farhad Ghaboussi

2024-10-24

Abstract:The proof of Riemann hypothesis is given according to Riemann's saddle point method which is used by him to derive the integral representation of zeta function. The topological evidence of method is also discussed.

General Physics
A Note on the Discrete Jordan Curve Theorem (Revised)

Li Chen

DOI: https://doi.org/10.1117/12.364115

2013-12-02

Abstract:According to a general definition of discrete curves, surfaces, and manifolds. This paper focuses on the Jordan curve theorem in 2D discrete spaces. The Jordan curve theorem says that a (simply) closed curve separates a simply connected surface into two components. Based on the definition of discrete surfaces, we give three reasonable definitions of simply connected spaces. Theoretically, these three definition shall be equivalent. We have proved the Jordan curve theorem under the third definition of simply connected spaces. The Jordan theorem shows the relationship among an object, its boundary, and its outside area. After the publication of the first version of the paper ({\it L. Chen, Note on the discrete Jordan Curve Theorem. In: SPIE Conf. on Vision Geometry VIII, vol. 3811, pp. 82-94. (1999).}), we found some statements in the original proof of the Jordan Curve Theorem were not explained well. One case was not proven in details. In this revision, we added two more minor definitions and make the proof more solid and sound when it is needed for embedding a discrete surface into a Euclidean space. In this revision, we also proved that the third definition of simply connected spaces equivalent to the second definition of simply connected spaces.

General Topology,Combinatorics

A New Proof of Reifenberg’s Topological Disc Theorem

A Geometric Approach to the Topological Disk Theorem of Reifenberg

Intrinsic Topological Representation of Real Algebraic Surfaces

On a Proof of the Labastida-Marino-Ooguri-Vafa Conjecture

A Finite Topological Type Theorem for Open Manifolds with Non-negative Ricci Curvature and Almost Maximal Local Rewinding Volume

Proof of Riemann hypothesis by topological and analytical methods

Topological Characterisation of Rational Maps with Siegel Disks

Global Topology of Hyperbolic Components: Cantor Circle Case

A New Proof for Zassenhaus-Groemer-Oler Inequality

On the topology of constant mean curvature surfaces in H2 X R with boundary in a plane

Topological field theory on r-spin surfaces and the Arf invariant

Proof of the Toponogov Conjecture on Complete Surfaces

Notes on the Cheeger and Colding version of the Reifenberg theorem for metric spaces

A New Proof of the Gromov's Theorem on Almost Flat Manifolds

A Differentiable Sphere Theorem Inspired by Rigidity of Minimal Submanifolds

Proof of the Caratheodory Conjecture

Spanning disks in triangulations of surfaces

Lovasz' Conjecture and Other Applications of Topological Methods in Discrete Mathematics

Proof of Riemann hypothesis and its topological evidence

A Note on the Discrete Jordan Curve Theorem (Revised)