jump to navigation

Case Study I: Zilber’s Field December 15, 2007

Posted by Alexandre Borovik in Uncategorized.
trackback

Many mathematical objects are exceptionally rigid, we cannot change them at will, they offer resistance. The “robustness” of a mathematical object (one may also talk about a dual concept: “robustness” of a mathematical theory which describes the object) has been explicated as a formal mathematical notion, categoricity, in the mathematical discipline called model theory (more precisely, in model-theoretic stability theory). One of the recent results in that theory, Boris Zilber’s work on the Schanuel Conjecture, can be described (but perhaps not formulated in full detail) at a level of elementary algebra/calculus/number theory. It poses a significant philosophical challenge which, to the best of our knowledge, so far has been entirely ignored by the philosophers of mathematics.

The Schanuel Conjecture is about transcendental numbers. It says that if you have n complex numbers x_1, \dots, x_n which are linearly independent over the rationals, and consider the system of numbers

x_1, \dots, x_n, {\rm exp}(x_1), \dots, {\rm exp}(x_n)

then the latter has transcendence degree at least n. The conjecture contains in itself a huge number of known results. For example, if one takes x_1 = \ln 2, the conjecture says that the system

\{ \ln 2, \exp(\ln 2)\} = \{\ln 2, 2\}

has transcendence degree at least one, which means that \ln 2 is a transcendental number — a classical result of transcendental number theory.

Zilber took a number of natural (and known) algebraic properties of complex numbers and the exponentiation function \exp for axioms (so that “exponentiation” is understood as a map which satisfies

\exp(a+b) = \exp(a)\exp(b)),

added to them, as a further axiom, the formulation of the Schanuel Conjecture (still unknown) and proved:

[1.] The axioms are consistent, that is, they have a model, an algebraically closed field \mathbb{B} of characteristic 0 with a formal exponentiation function \exp, such that all these axioms are satisfied in \mathbb{B} (and recall that all axioms, with a possible exception of the Schanuel Conjecture, are satisfied in the field \mathbb{C} of complex numbers with he standard exponentiation).

[2.] There is exactly one, up to isomorphism, such field \mathbb{B} of cardinality continuum.

And now we can formulate some questions:

  1. Why would almost every mathematician (with the possible exception of intuitionists and ultrafinitists like Alexander Yessenin-Volpin — but they have an honourable excuse) immediately agree that of course it should be true that \mathbb{B} = \mathbb{C} and that therefore the Schanuel Conjecture should be true? What is the basis of this belief in “it should be true”?
  2. Why does Zilber’s theorem have a suspiciously foundational, metamathematical feel about it?
  3. Zilber’s field \mathbb{B} had been built by a version of the Fraisse-Hrushovski amalgam method, non-constructive and seriously transcendental. Why are most mathematicians prepared to believe that \mathbb{B}= \mathbb{C}, despite the two objects having completely different origins?

The appearance of the Fraisse amalgam method on the scene should remind us that even in the countable domain we have a wonderful and paradoxical example of seemingly incompatible constructions leading to the same “universal” object. The famous random graph can be constructed probabilistically by coin tossing: vertices of the graph are natural numbers, and for every pair of vertices m < n we toss a fair coin and, if we get heads, we connect the vertices m and n by an edge. The same graph can be constructed by a totally deterministic procedure: we take for the set of vertices the set of all prime numbers p congruent to 1 \mod 4, and draw an edge between prime numbers p and q if p is a quadratic residue modulo q. In all cases the resulting object is the same, THE random graph. And — last by not least — the random graph can be constructed as a Fraisse amalgam of finite graphs (which actually explains the first two constructions).

Is the acceptance of actual infinity just the price that mathematicians are prepared to pay for the convenience (and beauty) of the “canonical” objects of mathematics?

Advertisements

Comments»

1. Fraisse Amalgams as Limits « A Dialogue on Infinity - November 5, 2009

[…] as Limits November 5, 2009 Posted by dcorfield in Uncategorized. trackback Our very first post here spoke about the Fraïssé amalgam, a way of constructing a universal object out of a countable […]

2. Anonymous - January 17, 2012

Is Zilbers field Borel?

Alexandre Borovik - January 29, 2012

What experts told me was that this question is likely to be equivalent to the Schanuel Conjecture.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: