An axiom of unique reflection
We characterize neutral planes by three metric conditions: existence of geodesics, side-side-side congruence, and uniqueness of reflection.
math.MG↗
arXiv subjects
Anton Petrunin
Publications and source records attributed to Anton Petrunin.
Metric foundations of geometry
A metric space is called all-set-homogeneous if every isometry between two of its subsets extends to an isometry of the whole space. We classify all-set-homogeneous length spaces: besides the classical examples, they include the universal metric trees of finite valence.
math.MG↗
Braid spaces have no geodesic loops
The braid spaces are defined as universal metric coverings of the standard complex spaces, branched over certain hyperplane arrangements. We describe a natural family of convex functions on braid spaces and use them to prove that braid spaces contain no geodesic loops. This statement is a consequence of the well-known conjecture that every braid space is CAT(0).
math.MG↗
Gromov's tori are optimal
We give an optimal bound on normal curvatures of immersed n-torus in a Euclidean ball of large dimension.
math.DG↗
A gallery of open problems in geometry that keep me puzzled and amused
This is a collection of open questions in geometry that I think of as \textit{puzzles}: they stick to my brain --- I see grips, but no spare hands. Puzzle-charm is the only criterion for inclusion here; importance is ignored.
math.DG↗
Milnor's cartography problem
We solve John Milnor's problem: among all convex regions of a given area on the sphere, the round disk requires the greatest distortion in cartographic projections onto the plane.
math.DG↗
Lectures on piecewise distance-preserving maps
The lectures discuss piecewise distance-preserving maps from a 2-dimensional polyhedral space into the plane.
math.DG↗
Quadratic metric comparisons
We study the effects on length spaces imposed by quadratic inequalities on the six distances between the points in every quadruple.
math.DG↗
Lectures on Alexandrov spaces with curvature bounded below
An introduction to Alexandrov spaces with curvature bounded below. Topics include various comparison conditions, the globalization theorem, tangent spaces and spaces of directions, gradient flows, the splitting theorem, dimension and volume, Gromov's selection theorem, the boundary and the doubling theorem, and quotient spaces. We also give a brief overview of the two-dimensional theory, the main precursor to modern Alexandrov geometry.
math.DG↗
An isoperimetric inequality for mean shadow
We prove an isoperimetric inequality in terms of the mean shadow area.
math.MG↗
Nash's theorem via Günther's trick
We present a proof of Nash's smooth embedding theorem with an emphasis on accessibility and rigor.
math.DG↗
An invitation to Alexandrov geometry: CAT(0) spaces
Our goal is to show the beauty and power of Alexandrov geometry by reaching interesting applications and theorems with a minimum of preparation. The topics include 1. Reshetnyak's gluing theorem, 2. Estimates on the number of collisions in billiards, 3. Reshetnyak's majorization theorem, 4. Hadamard--Cartan globalization theorem, 5. Polyhedral spaces, 6. Construction of exotic aspherical manifolds, 7. The geometry of two-convex sets in Euclidean space, 8. Barycenters and dimension theory.
math.DG↗
A translation of "What is differential geometry: curves and surfaces"
These notes are designed for those who either plan to work in differential geometry, or at least want to have a good reason not to do it. We discuss smooth curves and surfaces -- the main gate to differential geometry. We focus on the techniques that are absolutely essential for further study, keeping it problem-centered, elementary, visual, and virtually rigorous.
math.HO↗
What is differential geometry: curves and surfaces
These notes are designed for those who either plan to work in differential geometry, or at least want to have a good reason not to do it. We discuss smooth curves and surfaces -- the main gate to differential geometry. We focus on the techniques that are absolutely essential for further study, keeping it problem-centered, elementary, visual, and virtually rigorous.
math.HO↗
Tubed embeddings
We consider the following question: When does a Riemannian manifold admit an embedding with a uniformly thick tubular neighborhood in another Riemannian manifold of large dimension?
math.DG↗
Trees meet octahedron comparison
We show that trees and their products meet octahedron comparison.
math.MG↗
Euclidean plane and its relatives; a minimalist introduction
The book is designed for a semester-long course in Foundations of Geometry and meant to be rigorous, conservative, elementary and minimalist. List of topics: Euclidean geometry: The Axioms / Half-planes / Congruent triangles / Perpendicular lines / Similar triangles / Parallel lines / Triangle geometry. Inversive geometry: Inscribed angles / Inversion. Non-Euclidean geometry: Neutral plane / Hyperbolic plane / Geometry of h-plane. Additional topics: Affine geometry / Projective geometry / Spherical insights / Projective model / Complex coordinates / Geometric constructions / Area.
math.HO↗
Veronese minimizes normal curvatures
Suppose M is a closed submanifold in a Euclidean ball of sufficiently large dimension. We give an optimal bound on the normal curvatures, guaranteeing that M is a sphere. The border cases consist of Veronese embeddings of the four projective planes.
math.DG↗