[Paper Review] New examples of hexagonal webs of circles

F. K. Nilov|arXiv (Cornell University)|Sep 19, 2013

Mathematics and Applications3 references3 citations

TL;DR

This paper presents new examples of hexagonal webs of circles in the plane, extending web geometry theory by constructing configurations where three families of circles satisfy a 6-periodic closure condition. Using Möbius transformations and pencil theory, the author proves that certain circular families—particularly those from elliptic, hyperbolic, or parabolic pencils—form hexagonal webs, with key results showing equivalence to classical theorems like Blaschke’s and providing new constructions not covered in prior work.

ABSTRACT

We give several new examples of hexagonal 3-webs of circles in the plane and give a survey on such webs.

Motivation & Objective

• To extend the theory of hexagonal webs of circles by constructing new geometric configurations satisfying the 6-periodic closure condition.
• To generalize classical theorems such as Pappus’, Brianchon’s, and Blaschke’s within a unified framework of circular web geometry.
• To address open problems in web geometry by introducing novel constructions involving elliptic, hyperbolic, and parabolic pencils of circles.
• To establish conditions under which cubic series of circles contain a web, and to explore isotropic analogues in 3D geometry.
• To prove that certain circular families, when transformed via Möbius maps, yield hexagonal webs with transversal foliations.

Proposed method

• Utilizes Möbius transformations to conjugate one-parameter groups of transformations (dilations, rotations, translations) into standard forms, preserving circular arcs.
• Applies differential geometry to map circular arcs to coordinate lines via a real-analytic function $ f(A) = \left(\ln{\frac{1-s^2(A)}{s^2(A)}}, \ln{\frac{1-t^2(A)}{t^2(A)}}\right) $, ensuring nondegenerate Jacobian and diffeomorphism on suitable domains.
• Analyzes orbits of one-parameter Möbius groups to classify circular families as belonging to elliptic, hyperbolic, or parabolic pencils based on limiting points and tangency conditions.
• Employs the concept of transversal curves $ \alpha(A), \beta(A), \omega(A) $ whose images under $ f $ are lines $ x=\text{const}, y=\text{const}, x+y=\text{const} $, confirming the web structure.
• Applies the Wunderlich Theorem to show equivalence between certain circular configurations and known web types, particularly in the case of loxodromic and non-loxodromic groups.
• Considers cubic series of circles defined by degree-3 polynomial coefficients and investigates when such families contain a web, using algebraic and geometric constraints.

Experimental results

Research questions

• RQ1 Can the hyperbolic pencil in Theorem 1.1(b) be replaced by an elliptic pencil with vertices at the limiting points of the original pencil?
• RQ2 Which cubic series of circles—defined by degree-3 polynomial coefficients—contain a hexagonal web?
• RQ3 What are all sets of circles that, when combined with coordinate lines $ x=\text{const} $ and $ y=\text{const} $, form a web?
• RQ4 What are the complete families of isotropic circles in isotropic geometry that form hexagonal webs on non-planar and non-spherical surfaces?
• RQ5 Under what conditions do three families of circles in the plane satisfy the 6-periodic closure property, and how do they relate to classical theorems like Blaschke’s?

Key findings

• The paper constructs new examples of hexagonal webs of circles using elliptic, hyperbolic, and parabolic pencils, extending known configurations beyond classical line-based webs.
• It proves that the map $ f(A) = \left(\ln{\frac{1-s^2(A)}{s^2(A)}}, \ln{\frac{1-t^2(A)}{t^2(A)}}\right) $ induces a diffeomorphism on a domain $ U $, with image lines corresponding to transversal circular arcs, confirming the web structure.
• The authors show that the hyperbolic pencil in Theorem 1.1(b) cannot be replaced by an elliptic pencil in the same way as in Theorem 1.1(d), highlighting a structural distinction.
• The cubic series defined by $ (1-t^3)(x^2+y^2) + 2(1+t)x + 2(t^2+t^3)y -1 -t^3 = 0 $, counted triply, contains a web, providing a new class of such configurations.
• The paper establishes equivalence between certain circular web configurations and the Wunderlich Theorem, showing that orbits of one-parameter Möbius groups (dilations, rotations, translations) yield valid webs.
• It proves that isotropic circles on non-planar and non-spherical surfaces in isotropic 3D geometry can form hexagonal webs, extending the theory to higher-dimensional and non-Euclidean settings.