Geometry Mathematical Physics Mathematics

The Atiyah-Sutcliffe determinant

This post is a continuation of my series of posts, which includes previous posts such as “the spin-statistics theorem and the Berry-Robbins problem” and “the Atiyah problem on configurations”. I will make use of notation introduced there, particularly in the latter post.

I will explain in this post, how to define the Atiyah-Sutcliffe normalized determinant function, which is a smooth complex-valued function on $C_n(\mathbb{R}^3)$.

Given a configuration $\mathbf{x} = (\mathbf{x}_1, \ldots, \mathbf{x}_n) \in C_n(\mathbb{R}^3)$ of $n$ distinct points in $\mathbb{R}^3$, I have explained in my previous post how to associate to $\mathbf{x}$ complex polynomials $p_i(\zeta)$, for $i = 1, \ldots, n$ of degree (at most) $n-1$ using the Hopf map. I will paraphrase this construction (due to Atiyah and Sutcliffe) here.

Given any $i,j \in \{1,\ldots,n\}$, with $i \neq j$, we define $\zeta_{ij}$ to be the complex number (possibly $\infty$) corresponding to the normalized direction from $\mathbf{x}_i$ to $\mathbf{x}_j$, after identifying the unit sphere $S^2$ with the Riemann sphere $\hat{S}$ (see my previous post). Let $p_{ij}(\zeta)$ be the polynomial of degree (at most) $1$ having $\zeta_{ij}$ as its unique root. Note that $p_{ij}(\zeta)$ is only defined up to scaling by a nonzero complex number. For instance, if $\zeta_{ij}$ is “finite”, one may for instance take $p_{ij}(\zeta) = \zeta – \zeta_{ij}$, while if $\zeta_{ij} = \infty$, one may take for example $p_{ij}(\zeta) = 1$. This last convention may seem odd at first, but it makes sense when one thinks of the Riemann sphere as $P^1(\mathbb{C})$ and uses a pair of homogeneous coordinates to describe the location of a point on it.

Then one may define, for $1 \leq i \leq n$:

$$p_i(\zeta) = \prod_{j \neq i} p_{ij}(\zeta).$$

Denote by $\det(p_1, \ldots, p_n)$ the determinant of the complex $n$ by $n$ matrix containing the coefficients of $p_j$ (ordered say by increasing powers of $\zeta$) as its $j$-th column. Note that, due to the scaling ambiguity of each polynomial $p_{ij}(\zeta)$, which therefore results in a scaling ambiguity of each of the $p_j(\zeta)$, the expression $\det(p_1,\ldots, p_n)$ is ill-defined. We may however divide it by an expression with exactly the same kind of scaling ambiguity and then the resulting quotient will be well defined. More precisely, Atiyah and Sutcliffe defined

$$ D(\mathbf{x}) = \frac{ \det(p_1, \ldots, p_n) } { \prod_{1 \leq i < j \leq n} \det(p_{ij}, p_{ji}) }. $$

The Atiyah-Sutcliffe conjecture $1$ states that for any $\mathbf{x} \in C_n(\mathbb{R}^3)$, the $n$ polynomials $p_i(\zeta)$, for $i = 1, \ldots, n$, are linearly independent over $\mathbb{C}$. This conjecture is also equivalent to $D$ being non-vanishing on $C_n(\mathbb{R}^3)$.

The Atiyah-Sutcliffe conjecture $2$ states that for any $\mathbf{x} \in C_n(\mathbb{R}^3)$, $| D(\mathbf{x} | \geq 1$. It is clear that the Atiyah-Sutcliffe conjecture $2$ is stronger than conjecture $1$.

As of the time of writing, both conjectures are open for a general $n > 4$. The case $n = 3$ was proved by Atiyah and Sutcliffe. Conjecture 1 for $n = 4$ was proved by Eastwood and Norbury, using symbolic manipulations in Maple, shortly after the conjectures appeared. They also came close to proving conjecture 2. More precisely, they showed that for any $\mathbf{x} \in C_4(\mathbb{R}^3)$, $|D(\mathbf{x})| \geq \frac{15}{16}$, so their lower bound is just a little below $1$.

Many years later, a proof using linear programming was done by Bou Khuzam and Johnson, published in SIGMA. They even proved a stronger conjecture, called the Atiyah-Sutcliffe conjecture 3 (for $n = 4$), which is even stronger than conjecture 2. Roughly at the same time and independently, alternative proofs of conjectures 2 and 3 for $n = 4$ were also made and presented by D. Svrtan. There are currently no other general results for $n > 4$. There are some special cases (meaning for some special classes of configurations) for which some of the conjectures are known (see the works of Svrtan and Urbiha for instance).

I mention also that Sir Michael Atiyah used to say that he would offer a bottle of liquor to whoever solves the conjectures (a bottle of Vodka if they are Russian, a bottle of Arak if they are Lebanese and so on). I had the great honor to meet with him a few times and discuss with him this problem and other mathematical topics. I will probably write at some point about that in a later post.

Geometry Mathematical Physics Mathematics

The spin-statistics theorem and the Berry-Robbins problem

In ​1​ , Berry and Robbins propose an interesting way to obtain the spin-statistics theorem, which is close to the famous belt trick, though expressed more mathematically. They completely explain their construction for $2$ particles, but while attempting to extend their construction to $n$ particles, they faced a technical obstruction. This led to the Berry-Robbins problem.

Let $C_n(\mathbb{R}^3)$ denote the configuration space of $n$ distinct particles. Then the symmetric group $S_n$ acts on $C_n(\mathbb{R}^3)$ by permuting the components of any configuration. Moreover, let $U(n)$ denote the group of unitary $n \times n$ matrices and let $T^n$ denote the subgroup of diagonal unitary matrices. Then $S_n$ acts on $U(n)/T^n$ by permuting the columns of a representive of any left coset $gT^n$ (where $g \in U(n)$). The Berry-Robbins asks if there is a continuous mapping from $C_n(\mathbb{R}^3)$ into $U(n)$, which is $S_n$ equivariant.

It turns out that the Berry-Robbins problem does indeed have a solution. Even more, Atiyah and Bielawski in ​2​ show the existence of a smooth solution of the Berry-Robbins. This then shows that the Berry and Robbins’ argument does carry through for $n$ particles. While Atiyah and Bielawski’s article is quite a nice article, involving Nahm’s equations, Lie algebras and even proposing a conjectural link with the work of Kazhdan and Lusztig, yet there is another attempt at solving the Berry-Robbins problem, which I personally find quite interesting. It is what is known as the Atiyah problem on configurations of points, or sometimes the Atiyah-Sutcliffe conjectures.

In ​3​ and ​4​ , Atiyah, and then Atiyah and Sutcliffe, propose an alternative approach to the Berry-Robbins problem, which is very explicit and elementary. Indeed, to state the problem only involves the Hopf map. But for the approach to succeed in providing a solution to the Berry-Robbins problem, a linear independence conjecture has to hold. This is the so-called Atiyah-Sutcliffe conjecture 1.

I am planning to introduce this problem in a subsequent post.

  1. 1.
    Berry MV, Robbins JM. Indistinguishability for quantum particles: spin, statistics and the geometric phase. Proc R Soc Lond A. Published online August 8, 1997:1771-1790. doi:10.1098/rspa.1997.0096
  2. 2.
    Atiyah M, Bielawski R. Nahm’s equations, configuration spaces and flag manifolds. Bull Braz Math Soc. Published online July 2002:157-176. doi:10.1007/s005740200007
  3. 3.
    Atiyah M. Configurations of points. Arnold VI, Bruce JW, Moffatt HK, Pelz RB, eds. Philosophical Transactions of the Royal Society of London Series A: Mathematical, Physical and Engineering Sciences. Published online July 15, 2001:1375-1387. doi:10.1098/rsta.2001.0840
  4. 4.
    Atiyah M, Sutcliffe P. The geometry of point particles. Proc R Soc Lond A. Published online May 8, 2002:1089-1115. doi:10.1098/rspa.2001.0913