© 2001 by London Mathematical Society
© The London Mathematical Society
Artin's Conjecture for Forms of Degree 7 and 11
Department of Mathematics, University of Michigan Ann Arbor, MI 48109-1109, USA
Received 23 October 1998. Revision received 1 May 2000.
A fundamental aspect of the study of Diophantine equations is that of determining when an equation has a local solution. Artin once conjectured (see the preface to [1]) that if k is a complete, discretely valued field with finite residue class field, then every homogeneous form of degree d in greater than d2 variables whose coefficients are integers of k has a nontrivial zero. In this paper, we consider the case of this conjecture in which k is a p-adic field. Although a counterexample due to Terjanian [16] proved Artin's conjecture false in this situation, Ax and Kochen [2] have shown when [k:Qp] = n is finite, that given d, there exists a number p(d, n) such that Artin's conjecture is true provided that p is larger than p(d, n). Unfortunately, the methods of Ax and Kochen do not lead to explicit estimates for p(d, n). Cohen [5] found a method which determines the possible cardinalities of the residue class fields of all p-adic fields for which Artin's conjecture is false, and Brown [3] has used this to bound p(d, 1), but this bound is so large that one feels that it must be possible to do better. Hence, it is still an interesting problem to obtain estimates on the size of p(d, n).