Skip to main content Accessibility help
×
Hostname: page-component-8448b6f56d-m8qmq Total loading time: 0 Render date: 2024-04-25T04:53:50.140Z Has data issue: false hasContentIssue false

Additive polynomials and their role in the model theory of valued fields

Published online by Cambridge University Press:  30 March 2017

Ali Enayat
Affiliation:
American University, Washington DC
Iraj Kalantari
Affiliation:
Western Illinois University
Mojtaba Moniri
Affiliation:
Tarbiat Modares University, Tehran, Iran
Get access

Summary

Abstract.We discuss the role of additive polynomials and p-polynomials in the theory of valued fields of positive characteristic and in their model theory. We outline the basic properties of rings of additive polynomials and discuss properties of valued fields of positive characteristic as modules over such rings. We prove the existence of Frobenius-closed bases of algebraic function fields F |K in one variable and deduce that F/K is a free module over the ring of additive polynomials with coefficients in K. Finally, we prove that every minimal purely wild extension of a henselian valued field is generated by a p-polynomial.

Introduction.This paper is to some extent a continuation of my introductive and programmatic paper [Ku3]. In that paper I pointed out that the ramification theoretical defect of finite extensions of valued fields is responsible for the problems we have when we deal with the model theory of valued fields, or try to prove local uniformization in positive characteristic.

In the present paper I will discuss the connection between the defect and additive polynomials. I will state and prove basic facts about additive polynomials and then treat several instances where they enter the theory of valued fields in an essential way that is particularly interesting for model theorists and algebraic geometers. I will show that non-commutative structures (skew polynomial rings) play an essential role in the structure theory of valued fields in positive characteristic. Further, I will state the main open questions. I will also include some exercises.

In the next section, I will give an introduction to additive polynomials and describe the reasons for their importance in the model theory of valued fields. For the convenience of the reader, I outline the characterizations of additive polynomials in Section 3 and the basic properties of rings of additive polynomials in Section 4. For more information on additive polynomials, the reader may consult [Go], cf. also [O1], [O2], [Wh1], [Wh2], [Ku4], [Dr–Ku]. The remaining sections of this paper will then be devoted to the proofs of some of the main theorems stated in Section 2.

Type
Chapter
Information
Logic in Tehran , pp. 160 - 203
Publisher: Cambridge University Press
Print publication year: 2006

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[A-K] J., Ax and S., Kochen, Diophantine problems over local fields II. a complete set of axioms for p-adic number theory,American Journal of Mathematics, vol. 87 (1965), pp. 631–648.Google Scholar
[B] N., Bourbaki, Elements of Mathematics. Commutative Algebra, Hermann, Paris, 1972.
[C1] P. M., Cohn, Free Rings and Their Relations, LMS Monographs, vol. 2, Academic Press, London, 1971.
[C2] P. M., Cohn, Free Rings and Their Relations, London Mathematical Society Monographs, vol. 19, Academic Press Inc. [Harcourt Brace Jovanovich Publishers], London, 1985, Second edition.
[Cu-Pi] S.D., Cutkosky and O., Piltant, Ramification of valuations,Advances in Mathematics, vol. 183 (2004), no. 1, pp. 1–79.Google Scholar
[Del] F., Delon, Quelques Propriétés des Corps Valués en Théories des Modèles, Thèse Paris VII, 1981.
[Deu] M., Deuring, Lectures on the Theory of Algebraic Functions of One Variable, Springer LNM, vol. 314, Springer-Verlag, Berlin, 1973.
[Dr-Ku] L., van den Dries and F.-V., Kuhlmann, Images of additive polynomials in Fq ((t)) have the optimal approximation property,Canadian Mathematical Bulletin. Bulletin Canadien de Mathématiques, vol. 45 (2002), no. 1, pp. 71–79.Google Scholar
[Ep] Helmut, P. Epp, Eliminating wild ramification,Inventiones Mathematicae, vol. 19 (1973), pp. 235–249.
[En] O., Endler, Valuation Theory, Springer-Verlag, New York, 1972.
[Er] Yu. L., Ershov, On elementary theories of local fields, Algebra i Logika (Seminar), vol. 6 (1967), no. 2, pp. 5–30, (in Russian).
[Er1] Yu. L., Ershov, On the elementary theory of maximal valued fields III, Algebra i Logika, vol. 6 (1967), no. 3, pp. 31–38, (in Russian).Google Scholar
[Er2] Yu. L., Ershov, Multi-Valued Fields, Kluwer, New York, 2001.
[F-Jr] M., Fried and M., Jarden, Field Arithmetic, Springer-Verlag, Berlin, 1986.
[Ge] E. R., Gentile, On rings with one-sided field of quotients,Proceedings of the American Mathematical Society, vol. 11 (1960), pp. 380–384.Google Scholar
[Go] D., Goss, Basic Structures of Function Field Arithmetic, Springer, Berlin, 1998.
[Gra] K. A. H., Gravett, Note on a result of Krull,Mathematical Proceedings of the Cambridge Philosophical Society, vol. 52 (1956), p. 379.Google Scholar
[Gre] M. J., Greenberg, Rational points in Henselian discrete valuation rings,Institut des Hautes É tudes Scientifiques. Publications Mathematiques, vol. 31 (1966), pp. 59–64.Google Scholar
[H] B., Huppert, Endliche Gruppen. I, Springer-Verlag, Berlin, 1967.
[J] N., Jacobson, Lectures in Abstract Algebra. Vol III: Theory of Fields and Galois Theory, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London-New York, 1964.
[Ka1] I., Kaplansky, Maximal fields with valuations,Duke Mathematical Journal, vol. 9 (1942), pp. 303–321.Google Scholar
[Ka2] I., Kaplansky, Selected Papers and Other Writings, Springer-Verlag, New York, 1995.
[Kr] W., Krull, Allgemeine Bewertungstheorie,Journal fur die Reine und Angewandte Mathematik, vol. 167 (1931), pp. 160–196.Google Scholar
[Ku1] F.-V., Kuhlmann, Henselian Function Fields and Tame Fields, extended version of Ph.D. thesis, Heidelberg, 1990.
[Ku2] F.-V., Kuhlmann, Valuation Theory of Fields, Abelian Groups and Modules, Habilitation thesis, Heidelberg, 1995.
[Ku3] F.-V., Kuhlmann, Valuation theoretic and model theoretic aspects of local uniformization,Resolution of Singularities (Obergurgl, 1997) (Herwig, Hauser, Joseph, Lipman, Frans, Oort, and Adolfo, Quiros, editors), Progress in Mathematics, vol. 181, Birkhauser, Basel, 2000, pp. 381–456.
[Ku4] F.-V., Kuhlmann, Elementary properties of power series fields over finite fields,The Journal of Symbolic Logic, vol. 66 (2001), no. 2, pp. 771–791.Google Scholar
[Ku5] F.-V., Kuhlmann, A correction to: “Elimination of wild ramification”,Inventiones Mathematicae, vol. 153 (2003), no. 3, pp. 679–681.Google Scholar
[Ku6] F.-V., Kuhlmann, Value groups, residue fields, and bad places of rational function fields,Transactions of the American Mathematical Society, vol. 356 (2004), no. 11, pp. 4559–4600.Google Scholar
[Ku7] F.-V., Kuhlmann, Places of algebraic function fields in arbitrary characteristic,Advances in Mathematics, vol. 188 (2004), no. 2, pp. 399–424.Google Scholar
[Ku8] F.-V., Kuhlmann, A classification of Artin Schreier defect extensions and a characterization of defectless fields, submitted.
[Ku9] F.-V., Kuhlmann, Elimination of Ramification I: The Generalized Stability Theorem, submitted.
[Ku10] F.-V., Kuhlmann, Elimination of Ramification II: Henselian Rationality, in preparation.
[Ku11] F.-V., Kuhlmann, The model theory of tame valued fields, in preparation.
[Ku12] F.-V., Kuhlmann, Book on Valuation Theory (in preparation), Preliminary versions of several chapters available at: http://math.usask.ca/~fvk/Fvkbook.htm.
[Ku-Pa-Ro] F.-V., Kuhlmann, M., Pank, and P., Roquette, Immediate and purely wild extensions of valued fields, Manuscripta Mathematica, vol. 55 (1986), no. 1, pp. 39–67.Google Scholar
[L] S., Lang, Algebra, Addison-Wesley Publishing Co., Inc., Reading, Mass., 1965.
[N] J., Neukirch, Algebraic Number Theory, Springer-Verlag, Berlin, 1999.
[O1] O., Ore, Theory of non-commutative polynomials,Annals of Mathematics, vol. 34 (1933), pp. 480–508.Google Scholar
[O2] O., Ore, On a special class of polynomials,Transactions of the American Mathematical Society, vol. 35 (1933), pp. 559–584.Google Scholar
[Ph-Za] T., Pheidas and K., Zahidi, Elimination theory for addition and the Frobenius map in polynomial rings,The Journal of Symbolic Logic, vol. 69 (2004), no. 4, pp. 1006–1026.Google Scholar
[Pop] F., Pop, U ber die Structur der rein wilden Erweiterungen eines Korpers, manuscript, Heidelbeg, 1987.
[R-Za] L., Ribes and P., Zalesskii, Profinite Groups, Springer-Verlag, Berlin, 2000.
[Ri] P., Ribenboim, Théorie des Valuations, Deuxième édition multigraphiée. Séminaire de Mathématiques Supérieures, No. 9, 1964, Les Presses de l'Université de Montréal, Montreal, Que., 1968.Google Scholar
[Roh] T., Rohwer, Valued difference fields as modules over twisted polynomial rings, Ph.D. thesis, Urbana, 2003, Available at: http://math.usask.ca/fvk/theses.htm.
[V] P., Vámos, Kaplansky fields and p-algebraically closed fields,Communications in Algebra, vol. 27 (1999), no. 2, pp. 629–643.Google Scholar
[Wh1] G., Whaples, Additive polynomials,DukeMathematical Journal, vol. 21 (1954), pp. 55–65Google Scholar
[Wh2] P., Vámos, Galois cohomology of additive polynomial and n-th power mappings of fields,Duke Mathematical Journal, vol. 24 (1957), pp. 143–150.Google Scholar
[Zi] M., Ziegler, Die elementare Theorie der Henselschen Körper, Inaugural Dissertation, K oln, 1972.

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×