[Paper Review] The theory of exponential sums

Boris Zilber|arXiv (Cornell University)|Jan 14, 2015

Algebraic Geometry and Number Theory13 references3 citations

TL;DR

This paper establishes an unconditional model-theoretic axiomatization for the theory of algebraically closed fields with raising to real powers, using Laurent's theorem and Ax's theorem instead of the conditional CIT conjecture. It proves that Schanuel’s conjecture implies exponential-algebraic closedness, and recent results on almost all exponent tuples make the theory fully describable for complex numbers with such exponents without assumptions.

ABSTRACT

We consider the theory of algebraically closed fields of characteristic zero with multivalued operations $x\mapsto x^r$ (raising to powers). It is in fact the theory of equations in exponential sums. In an earlier paper we have described complete first-order theories of such structures, conditional on a Diophantine conjecture that generalises the Mordell-Lang conjecture (CIT). Here we get this result unconditionally. The field of complex numbers with raising to real powers satisfies the corresponding theory if Schanuel's conjecture holds. In particular, we have proved that a (weaker) version of Schanuel's conjecture implies that every well-defined system of exponential sums with real exponents has a solution in the complex numbers. Recent result by Bays, Kirby and Wilkie states that the required version of Schanuel's conjecture holds for almost every choice of exponents. It follows that for the corresponding choice of real exponents we have an unconditional description of the first order theory of the complex numbers with raising to these powers.

Motivation & Objective

• To provide an unconditional first-order axiomatization for the theory of algebraically closed fields with multivalued power operations, removing dependence on the unproven CIT conjecture.
• To establish that Schanuel’s conjecture implies exponential-algebraic closedness for complex fields with real exponents.
• To show that for almost all choices of real exponents, the complete first-order theory of the complex numbers with those powers is describable unconditionally.
• To prove that solutions to overdetermined systems of exponential sums lie in finitely many cosets of proper Q-linear subspaces, with a uniform bound.
• To demonstrate that the theory is superstable and near model complete, indicating strong geometric tameness.

Proposed method

• Reformulate the axioms for fields with raising to powers using M. Laurent’s theorem on intersections in G_m^n instead of the CIT conjecture.
• Apply J. Ax’s theorem on Schanuel’s conjecture for differential fields to derive model-theoretic tameness properties.
• Use ultrafilter limits and projection arguments to analyze solution sets of exponential sum systems in complex spaces.
• Leverage recent results by Bays, Kirby, and Wilkie on almost all tuples satisfying a Schanuel-type condition to achieve unconditional results.
• Construct a family of projective sets from zero-sets of exponential sums and show closure under projections and Boolean operations.
• Use the δ-invariant δ^K(z) = tr.deg(exp z) + lin.dim_K(z) - lin.dim_Q(z) ≥ 0 to characterize the theory and prove model-theoretic properties.

Experimental results

Research questions

• RQ1 Does the first-order theory of complex numbers with raising to real powers admit a complete, unconditional axiomatization independent of the CIT conjecture?
• RQ2 Under what conditions does Schanuel’s conjecture imply that every well-defined system of exponential sum equations has a solution in the complex numbers?
• RQ3 Can the model-theoretic tameness of the theory—specifically superstability and near model completeness—be established unconditionally?
• RQ4 What is the structure of solution sets to overdetermined systems of exponential sums in the complex numbers under Schanuel’s conjecture?
• RQ5 For which choices of real exponents is the theory of the complex numbers with those powers fully describable without assuming unproven conjectures?

Key findings

• The paper provides an unconditional axiomatization for the theory of algebraically closed fields with raising to powers by replacing the CIT conjecture with Laurent’s theorem and Ax’s result.
• It proves that Schanuel’s conjecture for K ⊆ ℝ implies that the structure ℂ^K is exponentially-algebraically closed, meaning every well-defined system of exponential sum equations has a solution in ℂ.
• For almost all tuples λ ∈ ℂ, the structure ℂ^K with K = ℚ(λ) satisfies the required Schanuel condition, making the theory of ℂ^K fully describable unconditionally.
• Solutions to overdetermined systems of exponential sums lie in finitely many cosets of proper Q-linear subspaces, with a bound on the number of cosets that is uniform in coefficients but possibly dependent on exponents.
• The theory is superstable and near model complete, and the family of sets obtained from projections and Boolean operations on zero-sets of exponential sums is closed under projections.
• The δ^K-invariant δ^K(z) = tr.deg(exp z) + lin.dim_K(z) - lin.dim_Q(z) ≥ 0 holds unconditionally for almost all exponent choices, confirming the structure belongs to the class E₀.