[Paper Review] On Parallel Lines and Free Group

Kwai-Man Fan|ArXiv.org|May 8, 2009

Mathematics and Applications7 references3 citations

TL;DR

This paper proves that the fundamental group of the complement of a union of $ n \geq 2 $ complex lines in $ \mathbb{C}^2 $ is free if and only if the lines are all parallel. Using algebraic topology and braid-like projections, the author shows that non-parallel configurations introduce non-free subgroups (e.g., $ \mathbb{Z} \times \mathbb{Z} $), thus characterizing parallelism via the fundamental group. The result extends to projective and hyperplane arrangements via the Zariski Hyperplane Section Theorem.

ABSTRACT

We show that the fundamental group of the complement of an arrangement of complex lines in the complex plane is a free group if and only if the arrangement is a union of parallel lines.

Motivation & Objective

• To determine when the fundamental group of the complement of a union of complex lines in $ \mathbb{C}^2 $ is a free group.
• To characterize configurations of complex lines in terms of the algebraic structure of their complement's fundamental group.
• To establish a topological criterion—via the fundamental group—for identifying unions of parallel lines in complex projective and affine spaces.
• To extend the characterization to higher-dimensional hyperplane arrangements in complex projective space.

Proposed method

• Uses the method of Arvola (1991) to present the fundamental group $ \pi_1(\mathbb{C}^2 \setminus \Sigma) $ via a singular braid construction in $ \mathbb{R}^4 $, projecting to $ \mathbb{R}^3 $ and $ \mathbb{R}^2 $.
• Constructs a graphing map $ f: \mathbb{R} \to \mathbb{R} $ through multiple points of $ \Sigma $, ensuring transversality and enabling a braid-like structure in the projection.
• Applies the Zariski Hyperplane Section Theorem to relate the fundamental group of a hyperplane arrangement in $ \mathbb{C}P^{m+2} $ to that of a 2-plane section.
• Analyzes the structure of $ \pi_1(\mathbb{C}^2 \setminus \Sigma) $ by showing that non-parallel configurations contain a $ \mathbb{Z} \times \mathbb{Z} $ subgroup, which cannot occur in free groups.
• Uses the fact that subgroups of free groups are free, so the presence of a non-free subgroup (like $ \mathbb{Z} \times \mathbb{Z} $) implies the group is not free.
• Applies the result to projective lines in $ \mathbb{C}P^2 $, showing $ \pi_1(\mathbb{C}P^2 \setminus \Sigma) $ is free iff all lines intersect at a common point.

Experimental results

Research questions

• RQ1 When is the fundamental group of the complement of $ n \geq 2 $ complex lines in $ \mathbb{C}^2 $ a free group?
• RQ2 Can the geometric configuration of a line arrangement (e.g., parallelism) be detected via the algebraic structure of its complement’s fundamental group?
• RQ3 What topological obstruction prevents $ \pi_1(\mathbb{C}^2 \setminus \Sigma) $ from being free when the lines are not parallel?
• RQ4 How does the Zariski Hyperplane Section Theorem allow extension of the result from $ \mathbb{C}^2 $ to higher-dimensional complex projective spaces?
• RQ5 What is the precise condition on hyperplane arrangements in $ \mathbb{C}P^{m+2} $ for their complement to have a free fundamental group?

Key findings

• The fundamental group $ \pi_1(\mathbb{C}^2 \setminus \Sigma) $ is free if and only if the lines in $ \Sigma $ are all parallel.
• If $ \Sigma $ has at least one singular point (i.e., not all lines are parallel), then $ \pi_1(\mathbb{C}^2 \setminus \Sigma) $ contains a subgroup isomorphic to $ \mathbb{Z} \times \mathbb{Z} $, which is not free.
• For $ \Sigma \subset \mathbb{C}P^2 $, the fundamental group $ \pi_1(\mathbb{C}P^2 \setminus \Sigma) $ is free if and only if all $ n $ projective lines intersect at a common point.
• In $ \mathbb{C}P^{m+2} $, the fundamental group of the complement of $ n $ hyperplanes is free if and only if the intersection of all hyperplanes has dimension at least $ m $.
• The result generalizes via the Zariski Hyperplane Section Theorem: the fundamental group of a hyperplane arrangement in $ \mathbb{C}P^{m+2} $ is free iff the codimension of the total intersection is at most $ m $.