Search arXiv⌕ Search

arXiv · 0708.3149

Convexity of Hypersurfaces in Spherical Spaces

Abstract

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 convex set.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Konstantin Rybnikov. 2007-10-02. Convexity of Hypersurfaces in Spherical Spaces. https://arxiv.org/abs/0708.3149

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The Converse Problem for the Morley Tetrahedron: Counterexamples, Conjectures, and Partial Results

An earlier paper in Acta Mathematica Hungarica showed that the Morley construction preserves equality of opposite edge pairs and proposed two converse conjectures. We disprove both. A nonisosceles tetrahedron $T_1$ and an isosceles but nonregular tetrahedron $T_2$ have regular Morley tetrahedra, and an analytic curve of nonisosceles tetrahedra has isosceles Morley tetrahedra. The tetrahedron $T_2$ has edges $AB=CD=1$ and $AC=AD=BC=BD=\sqrt{(21+4\sqrt6)/45}$. Both examples have four equal cross edges. We conjecture that every tetrahedron with a regular Morley tetrahedron has this property, and prove it whenever the original tetrahedron has a nontrivial symmetry. Within the class with four equal cross edges, only the regular tetrahedron, $T_1$ and $T_2$ have regular Morley tetrahedra. The sextic defining $T_1$ has Galois group $S_6$, so $T_1$ cannot be expressed by radicals. The proof-critical computer-assisted checks use exact rational arithmetic.

math.MG↗

Towards Strongly Aperiodic Monotiles in Higher Dimensions

The discovery of Chair44 (Tsiokos, 2026) settled the three-dimensional einstein problem with a strongly aperiodic polyhedral monotile in $\mathbb{R}^3$. This note extends the underlying mechanism---the rep-$2^N$ chair $C_N = [0,2]^N \setminus (1,2]^N$ with corner/socket markings---to $\mathbb{R}^N$. Besides expository material (the rep-$2^N$ dissection and a conditional strong-aperiodicity theorem under lattice registration and hierarchical enforcement), the note makes a new computational contribution. We introduce a frame-marking formalism in which the marking of a tile is its full orientation frame and the matching rule is the contact language generated by the substitution itself; this makes the search for matching rules finite in every dimension. We give a finite certificate (coarsening closure, tightness, and a two-shell enclosure analysis) whose validity implies that every lattice-registered tiling by the marked tile is uniquely hierarchical, hence strongly aperiodic. For $N=3$ the certificate passes: it yields explicit facet matching rules on the 24 panels of $C_3$ (135 admissible facet-contact triples) and reproduces, from first principles and independently of published constructions, the Chair44 statistics 2388 $\to$ 44 admissible contacts (30 occurring), 33 one-shell clusters, 15 extendable, each forcing a unique supertile. Among the 2187 homochiral frame assignments of the 3D substitution with a translated central child, the certified one is unique up to conjugation. For $N=4$ the same pipeline is run on several structured families of frame assignments (canonical, $D_4$-, $Z_2\times Z_2$- and $Z_4$-symmetric, and a lift of the 3D solution); none is coarsening-closed, and we report the failure data. A self-similar marking of $C_4$ thus remains an explicitly finite, open computational problem, which we state precisely. Code: https://github.com/dimkadimon/Monotile-RN

math.MG↗

Pullback metrics and homological obstructions to BLD remetrization of branched covers

We characterize admissible BLD remetrizations of branched self-covers of spheres by linear local contractibility of their canonical pullback length metrics. A relative homology obstruction involving the total degree of an inverse image component yields uniform porosity of branch values. Explicit degree-two cusp covers of $\mathbb S^n$, $n\ge3$, have uniformly porous branch values of Hausdorff dimension $n-2$ but admit no compatible Ahlfors $n$-regular, linearly locally contractible BLD source metric. Short homologically essential loops provide the obstruction, showing that porosity is necessary but insufficient for admissibility. We also prove quasisymmetric invariance and sharp degree dependence of porosity for sphere-to-sphere covers in dimension two.

math.MG↗