[Paper Review] Edinburgh Lectures on Geometry, Analysis and Physics

Michael Atiyah|arXiv (Cornell University)|Sep 24, 2010

Geometric and Algebraic Topology15 references3 citations

TL;DR

This paper presents a conjecture in differential geometry and mathematical physics linking configurations of points in 3D space to the linear independence of complex polynomials derived from their relative directions. Using stereographic projection and algebraic geometry, it proposes that for any n ≥ 5 distinct points in ℝ³, the associated polynomials βᵢ(z) remain linearly independent over ℂ—supported computationally for n ≤ 30, but unproven for larger n, with a prize offered for a solution.

ABSTRACT

These lecture notes are based on a set of six lectures that I gave in Edinburgh in 2008/2009 and they cover some topics in the interface between Geometry and Physics. They involve some unsolved problems and conjectures and I hope they may stimulate readers to investigate them.

Motivation & Objective

• To formulate and motivate a new geometric conjecture on the linear independence of complex polynomials derived from n distinct points in ℝ³.
• To explore deep analogies between algebraic geometry over finite fields and number theory, particularly via zeta functions and L-functions.
• To investigate the role of Morse theory and equivariant topology in counting rational points on algebraic curves over finite fields.
• To extend these ideas to arithmetic geometry, including Arakelov theory and the Langlands program, suggesting a unifying framework for number theory and quantum field theory.
• To propose a program connecting geometry, analysis, and physics through unsolved problems and conjectures, particularly in the context of higher-dimensional varieties and gauge theories.

Proposed method

• Map n distinct points in ℝ³ to unit vectors in S² via normalized differences, then identify S² with ℂℙ¹ via stereographic projection.
• For each point, construct a complex polynomial βᵢ(z) whose roots are the directions to all other points, using homogeneous coordinates in ℂℙ¹.
• Use the conjecture that these n polynomials are linearly independent over ℂ for any configuration of n distinct points in ℝ³.
• Apply techniques from algebraic geometry, including zeta functions over finite fields and the Weil conjectures, to relate counting rational points to L-functions.
• Utilize Morse theory and finite-dimensional approximations to connect topological invariants with arithmetic counts on algebraic curves.
• Explore the adèlic and moduli space structures (e.g., SL(2,ℝ)/SL(2,ℤ)) to unify geometric and arithmetic zeta functions, especially in the context of arithmetic surfaces and the Hasse-Weil conjecture.

Experimental results

Research questions

• RQ1 Is the conjecture that the polynomials βᵢ(z) derived from n distinct points in ℝ³ are linearly independent over ℂ true for all n ≥ 5?
• RQ2 What is the precise relationship between the counting of rational points on algebraic curves over finite fields and the topology of vector bundles via Morse theory?
• RQ3 How do zeta functions over finite fields relate to the Riemann zeta function, and what does this imply for arithmetic geometry and the Langlands program?
• RQ4 Can the analogy between counting rational points and equivariant Morse theory be extended to higher-dimensional varieties and non-Abelian gauge groups?
• RQ5 What is the role of the infinite prime and Arakelov theory in unifying geometric, arithmetic, and physical perspectives on zeta functions and L-functions?

Key findings

• The conjecture that the polynomials βᵢ(z) are linearly independent over ℂ holds for n = 3 and n = 4, with a computer-assisted proof for n = 4.
• For n ≤ 30, extensive computer evidence supports the conjecture, though no general proof exists for n ≥ 5.
• The linear independence of βᵢ(z) is invariant under choice of stereographic projection, as shown by the transformation properties of ℂℙ¹.
• The zeta function ζ_V(s) for a variety V over ℤ is defined as a product over zeta functions modulo p, with the Weil conjectures ensuring rationality and functional equations.
• The Hasse-Weil conjecture, now proved by Wiles and Taylor, states that the L-function L_V(s) associated to an elliptic curve extends meromorphically and satisfies a functional equation L_V(s) = ±L_V(2−s).
• The moduli space of elliptic curves arises as SO(2;ℝ)\SL(2;ℝ)/SL(2;ℤ), and its volume can be computed via integration over double cosets, linking geometry to zeta functions.