Bol's Web: Exceptional Planar Webs

• Bol's Web is a unique exceptional planar 5-web that defies linearization and identifies with modular structures like M_{0,5}.
• The web's abelian relations are governed by the Rogers dilogarithm and exemplify maximum rank, characterized by Abel's five-term identity.
• Geometric incarnations of Bol's Web span the del Pezzo surface dP_{5}, moduli of points on P^{1}, and toric quotients on G_{2}(C^{5}).

Bol’s web is the classical exceptional planar $5$-web on $\mathbb{C}^{2}$ with first integrals

$$x,\qquad y,\qquad x/y,\qquad (y-1)/(x-1),\qquad x(y-1)/(y(x-1)).$$

It was introduced by Bol as the first example of a maximal-rank planar web that is not linearizable, and it occupies a central position at the intersection of web geometry, dilogarithmic functional identities, moduli of marked points on $\mathbb{P}^{1}$, cluster structures of type $A_{2}$, and Gelfand–MacPherson constructions. In modern formulations, Bol’s web is identified with the $5$-web on $\mathcal{M}_{0,5}$ given by the five forgetful maps, with the web by conics on the del Pezzo surface $\mathrm{dP}_{5}$, and with a toric quotient of a natural web on $G_{2}(\mathbb{C}^{5})$ (Pirio, 2024, Pirio, 16 Jul 2025).

1. Classical definition and local web-theoretic setting

A planar $k$-web on a complex surface $\mathbb{C}^{2}$0 is given by holomorphic submersions $\mathbb{C}^{2}$1 such that $\mathbb{C}^{2}$2 generically for $\mathbb{C}^{2}$3; the corresponding level sets define the foliations of the web. An abelian relation for $\mathbb{C}^{2}$4 is a $\mathbb{C}^{2}$5-tuple of holomorphic functions $\mathbb{C}^{2}$6 satisfying

$\mathbb{C}^{2}$7

The space of abelian relations has finite dimension, called the rank of the web, and this dimension is always bounded above by $\mathbb{C}^{2}$8, the classical Bol bound (Pirio, 2024).

Within this framework, Bol’s web $\mathbb{C}^{2}$9 is the planar $$x,\qquad y,\qquad x/y,\qquad (y-1)/(x-1),\qquad x(y-1)/(y(x-1)).$$0-web

$$x,\qquad y,\qquad x/y,\qquad (y-1)/(x-1),\qquad x(y-1)/(y(x-1)).$$1

Its natural regularity domain is the complement of the line arrangement

$$x,\qquad y,\qquad x/y,\qquad (y-1)/(x-1),\qquad x(y-1)/(y(x-1)).$$2

Bol introduced $$x,\qquad y,\qquad x/y,\qquad (y-1)/(x-1),\qquad x(y-1)/(y(x-1)).$$3 as the first example of an exceptional planar web: a maximal-rank web that is not locally equivalent to a web of pencils of lines. In the classical hexagonality classification, any hexagonal planar $$x,\qquad y,\qquad x/y,\qquad (y-1)/(x-1),\qquad x(y-1)/(y(x-1)).$$4-web is either linearizable or equivalent to $$x,\qquad y,\qquad x/y,\qquad (y-1)/(x-1),\qquad x(y-1)/(y(x-1)).$$5, which isolates Bol’s web as the unique non-linearizable model in that category (Pirio, 2024).

2. Abelian relations, dilogarithms, and maximal rank

The abelian-relation structure of Bol’s web is governed by the Rogers dilogarithm

$$x,\qquad y,\qquad x/y,\qquad (y-1)/(x-1),\qquad x(y-1)/(y(x-1)).$$6

Its distinguished nonlinear abelian relation is Abel’s five-term identity: $$x,\qquad y,\qquad x/y,\qquad (y-1)/(x-1),\qquad x(y-1)/(y(x-1)).$$7 This identity supplies the unique, up to scale, dilogarithmic abelian relation of $$x,\qquad y,\qquad x/y,\qquad (y-1)/(x-1),\qquad x(y-1)/(y(x-1)).$$8 (Pirio, 2024).

The remaining abelian relations are logarithmic. More precisely, $$x,\qquad y,\qquad x/y,\qquad (y-1)/(x-1),\qquad x(y-1)/(y(x-1)).$$9 has a $\mathbb{P}^{1}$0-dimensional logarithmic part $\mathbb{P}^{1}$1, spanned by combinatorial $\mathbb{P}^{1}$2-term relations, and a $\mathbb{P}^{1}$3-dimensional dilogarithmic part generated by Abel’s identity. The decomposition is

$\mathbb{P}^{1}$4

with total rank $\mathbb{P}^{1}$5. Since the Bol bound for a planar $\mathbb{P}^{1}$6-web is $\mathbb{P}^{1}$7, Bol’s web has maximal rank. Because it is not linearizable, it is exceptional (Pirio, 2024).

A particularly effective reformulation uses cluster $\mathbb{P}^{1}$8 coordinates. Writing

$\mathbb{P}^{1}$9

one obtains the cluster web

$A_{2}$0

The logarithmic $A_{2}$1-term relations become

$A_{2}$2

and the antisymmetric symbolic identity is

$A_{2}$3

In these variables Abel’s identity takes the cluster $A_{2}$4 form

$A_{2}$5

which makes explicit the relation between Bol’s web and finite-type cluster combinatorics (Pirio, 2024).

3. Geometric realizations: $A_{2}$6, $A_{2}$7, and $A_{2}$8

Bol’s web admits several equivalent geometric incarnations. On the del Pezzo surface $A_{2}$9, realized as the blow-up of $5$0 at

$5$1

the five conic fibrations define a planar $5$2-web $5$3, and one has

$5$4

hence $5$5 (Pirio, 2024).

The same web is modular. Via the map

$5$6

it identifies with the $5$7-web on $5$8 determined by the five forgetful morphisms to $5$9. This realization is the moduli-theoretic form of Bol’s web and explains its role in the geometry of $\mathcal{M}_{0,5}$0 marked points on $\mathcal{M}_{0,5}$1 (Pirio, 2024).

A third model is provided by Gelfand–MacPherson theory. Let $\mathcal{M}_{0,5}$2, and let $\mathcal{M}_{0,5}$3 be the Cartan torus. The weight polytope is the hypersimplex $\mathcal{M}_{0,5}$4 with $\mathcal{M}_{0,5}$5, and the web-relevant facets are

$\mathcal{M}_{0,5}$6

Each face map

$\mathcal{M}_{0,5}$7

is $\mathcal{M}_{0,5}$8-equivariant and descends, on suitable stable open sets, to the forgetful morphism

$\mathcal{M}_{0,5}$9

Consequently, the Gelfand–MacPherson $\mathrm{dP}_{5}$0-web on $\mathrm{dP}_{5}$1 is equivalent to Bol’s web (Pirio, 16 Jul 2025).

Realization	Ambient space	Defining maps
Affine model	$\mathrm{dP}_{5}$2	$\mathrm{dP}_{5}$3
Modular model	$\mathrm{dP}_{5}$4	five forgetful morphisms
del Pezzo model	$\mathrm{dP}_{5}$5	five conic fibrations
Gelfand–MacPherson model	$\mathrm{dP}_{5}$6	descended facet maps $\mathrm{dP}_{5}$7

These realizations are not merely equivalent descriptions. They organize distinct aspects of the same object: local web geometry in affine coordinates, modularity on $\mathrm{dP}_{5}$8, birational surface geometry on $\mathrm{dP}_{5}$9, and torus-quotient representation theory in the Gelfand–MacPherson model.

4. Symmetry, canonical reconstruction, and representation theory

Bol’s web carries a natural Weyl-group action. On $G_{2}(\mathbb{C}^{5})$0, the Weyl group $G_{2}(\mathbb{C}^{5})$1 acts on the five conic fibrations and therefore on the space of abelian relations. In this action,

$G_{2}(\mathbb{C}^{5})$2

so the logarithmic component is an irreducible $G_{2}(\mathbb{C}^{5})$3-dimensional representation, whereas the Abel line is the signature representation (Pirio, 2024).

A second structural feature is canonical reconstruction from slopes. For a web $G_{2}(\mathbb{C}^{5})$4, one forms the slope functions $G_{2}(\mathbb{C}^{5})$5 and the canonical map

$G_{2}(\mathbb{C}^{5})$6

For Bol’s web, one has

$G_{2}(\mathbb{C}^{5})$7

which gives one of the “canonical algebraizations” of $G_{2}(\mathbb{C}^{5})$8. The other proceeds through the space of combinatorial abelian relations. These two reconstructions formalize a central fact: Bol’s web is rigidly encoded both by its abelian-relation algebra and by its slope geometry (Pirio, 2024).

This rigidity underlies the classical uniqueness theorem for hexagonal planar $G_{2}(\mathbb{C}^{5})$9-webs. In that theorem, the exceptional case is not a deformation family but a single local equivalence class, represented by Bol’s web. A plausible implication is that the coexistence of maximal rank, non-linearizability, and modular realization is unusually restrictive in low-dimensional web geometry.

5. Generalizations: from $k$0 to the spinor tenfold

A major modern development is the extension of Bol’s web to higher-cardinality webs on del Pezzo surfaces. For a smooth quartic del Pezzo surface $k$1, there are $k$2 conic fibrations, hence a planar $k$3-web $k$4. This web generalizes almost all remarkable features of Bol’s web: it is not linearizable, has maximal rank, is exceptional, and all its abelian relations are hyperlogarithmic of weights $k$5. Its decomposition is

$k$6

with

$k$7

and $k$8 $k$9-dimensional, spanned by $\mathbb{C}^{2}$00. The weight-$\mathbb{C}^{2}$01 relation is an explicit antisymmetric hyperlogarithmic identity

$\mathbb{C}^{2}$02

where the ten first integrals $\mathbb{C}^{2}$03 are rational functions on an affine chart of $\mathbb{C}^{2}$04, and the residues of $\mathbb{C}^{2}$05 span exactly $\mathbb{C}^{2}$06 (Pirio, 2024).

The Weyl-group pattern also persists. For $\mathbb{C}^{2}$07, $\mathbb{C}^{2}$08 acts on the abelian relations, and the decomposition into irreducibles is

$\mathbb{C}^{2}$09

This is the quartic-del-Pezzo analogue of the $\mathbb{C}^{2}$10-module decomposition for Bol’s web (Pirio, 2024).

An even more structural generalization is the Gelfand–MacPherson web $\mathbb{C}^{2}$11 on

$\mathbb{C}^{2}$12

the Cartan torus quotient of a stable open subset of the spinor tenfold $\mathbb{C}^{2}$13. Here $\mathbb{C}^{2}$14 is a $\mathbb{C}^{2}$15-dimensional quasi-projective variety, $\mathbb{C}^{2}$16, and the web is a codimension-$\mathbb{C}^{2}$17 $\mathbb{C}^{2}$18-web defined by ten rational first integrals $\mathbb{C}^{2}$19. The key theorem is that $\mathbb{C}^{2}$20 is a uniquely defined rank-$\mathbb{C}^{2}$21 generalization of Bol’s web: its virtual $\mathbb{C}^{2}$22-rank is $\mathbb{C}^{2}$23, its actual $\mathbb{C}^{2}$24-rank is also $\mathbb{C}^{2}$25, and

$\mathbb{C}^{2}$26

with

$\mathbb{C}^{2}$27

The master $\mathbb{C}^{2}$28-abelian relation $\mathbb{C}^{2}$29 is unique up to scale, transforms by the signature under $\mathbb{C}^{2}$30, and its residues along the weight divisors generate the combinatorial $\mathbb{C}^{2}$31-abelian relations. Pulling $\mathbb{C}^{2}$32 back by the Skorobogatov–Serganova embedding $\mathbb{C}^{2}$33 recovers the weight-$\mathbb{C}^{2}$34 identity $\mathbb{C}^{2}$35 (Pirio, 16 Jul 2025).

This construction places Bol’s web at the first nontrivial stage of a hierarchy: the $\mathbb{C}^{2}$36 Grassmannian model yields Bol’s $\mathbb{C}^{2}$37-web, while the $\mathbb{C}^{2}$38 spinor model yields a codimension-$\mathbb{C}^{2}$39 $\mathbb{C}^{2}$40-web whose master $\mathbb{C}^{2}$41-abelian relation generalizes Abel’s five-term identity. The higher-rank theorem for $\mathbb{C}^{2}$42 further suggests a uniform Gelfand–MacPherson pattern across types $\mathbb{C}^{2}$43 (Pirio, 16 Jul 2025).

6. Bol’s name in circular $\mathbb{C}^{2}$44-web geometry: the Blaschke–Bol problem

A distinct classical strand attached to Bol concerns hexagonal circular $\mathbb{C}^{2}$45-webs. In that setting, a planar $\mathbb{C}^{2}$46-web $\mathbb{C}^{2}$47 is given by $\mathbb{C}^{2}$48-forms $\mathbb{C}^{2}$49 with pairwise transverse kernels at regular points. Under the Blaschke normalization

$\mathbb{C}^{2}$50

the Chern, or Blaschke, connection $\mathbb{C}^{2}$51 is defined by

$\mathbb{C}^{2}$52

and the web is hexagonal if and only if its Blaschke curvature vanishes: $\mathbb{C}^{2}$53 This is the analytic form of the classical Blaschke–Bol closure condition (Agafonov, 2023).

In Lie sphere geometry, circular $\mathbb{C}^{2}$54-webs are encoded by polar curves in $\mathbb{C}^{2}$55. Recent work has resolved the nonplanar reducible degree-$\mathbb{C}^{2}$56 cases. If the polar curve is the union of three non-coplanar lines, equivalently three pencils of circles, there are exactly nine Möbius orbits. If the polar curve is a smooth conic plus a line not lying in the conic’s plane, there are exactly fifteen Möbius-equivalence types. By contrast, there is no hexagonal circular $\mathbb{C}^{2}$57-web whose polar curve is a rational normal cubic. The same work also classifies webs with a $\mathbb{C}^{2}$58-parameter Möbius symmetry and shows that no genuine loxodromic-symmetric hexagonal circular $\mathbb{C}^{2}$59-webs exist (Agafonov, 2023).

This circular $\mathbb{C}^{2}$60-web literature is not the same object as the exceptional planar $\mathbb{C}^{2}$61-web usually called Bol’s web, but it extends Bol’s influence in classical web geometry. A plausible interpretation is that Bol’s name now marks two complementary traditions: exceptional maximal-rank planar webs on one side, and the curvature-based classification of hexagonal circular webs on the other. The conjecture proposed in the circular setting—that the polar curve of a hexagonal circular $\mathbb{C}^{2}$62-web is algebraic and each irreducible component is a planar curve of degree at most $\mathbb{C}^{2}$63—indicates that the Bol program remains active in a modern algebro-geometric form (Agafonov, 2023).