On ramification in the compositum of function fields
type: Item
instance of: scholarly article
title: On ramification in the compositum of function fields
zbMATH Open document ID: 1187.14029
author: Nurdagül Anbar
author: Henning Stichtenoth
author: S. Tutdere
published in: Bulletin of the Brazilian Mathematical Society. New Series
publication date: 2009-12-02T00:00:00Z
review text: \textit{H. Hasse} [J. Reine Angew. Math. 172, 37--54 (1934; Zbl 0010.00501)] gave the explicit formulas for ramification and different exponents in cyclic extension of function fields. The authors propose the following generalization of Hasse's result. Let \(F/K\) be a function field with perfect constant field \(K\), and let \(E=F(y)\) be its extension, where \(y\) satisfies \(f(y) = u g(y)\) with \(f(y), g(y) \in K[y]\) and \(u \in F \setminus K\). Let \(P'\) be a place of \(E\). Set \(P := P'\cap F, Q := P' \cap K(u),Q' : = P' \cap K(y), e_0 := e(P|Q), e := e(Q'|Q), d := d(Q'|Q), r := \mathrm{gcd}(e_0,e)\). If not both \(P|Q\) and \(Q'|Q\) are wild, then (a) \(e(P'|P) = e/r\). In particular, if \(Q'|Q\) is tame then \(P'| P\) is also tame and hence the different exponent is \(d(P'|P) = e(P'|P) -1 = e/r-1\). (b) If \(P|Q\) is tame, then \(d(P'|P) = (e_0(d+1-e) +e)r^{-1} -1\). Hasse's formulas for ramification and different exponents in Kummer and Artin-Schreier extensions are special cases of the above result. Its proof is based on Abhyankar's Lemma on the ramification in the compositum \(E=E_1E_2\) of finite extensions of a function field \(F\). That lemma does not hold if both \(E_1/F\) and \(E_2/F\) are wildly ramified. Another main result of the paper is a generalization of Abhyankar's Lemma to the case where \(E_1/F\) and \(E_2/F\) are cyclic of degree \(p= \mathrm{char}\,(K)\). Certainly, it will be useful in the study of wild towers of function fields.
reviewed by: Vasyl I. Andriychuk
Mathematics Subject Classification ID: 14H05
Mathematics Subject Classification ID: 14G15
Mathematics Subject Classification ID: 11R58
zbMATH DE Number: 5641449
zbMATH Keywords: function fields
zbMATH Keywords: ramification
zbMATH Keywords: Abhyankar's Lemma
MaRDI profile type: MaRDI publication profile
full work available at URL: s00574-009-0026-8
OpenAlex ID: W2111093908
cites work: Q4931741
cites work: Q3600694
cites work: Q5757094
cites work: Algebraic Function Fields and Codes
cites work: Q5490909
cites work: Q3195250
DOI: 10.1007/S00574-009-0026-8
Recommended article: Tamely ramified extensions and cyclotomic fields in characteristic \(p\)
Recommended article: Artin--Schreier and Cyclotomic Extensions
Recommended article: A correction to Hasse's version of the Grunwald–Hasse–Wang theorem
Recommended article: Abelian p-extensions and additive polynomials
Recommended article: Analogue of the Hyodo inequality for the ramification depth in degree \(p^2\) extensions
Recommended article: Q3464505
Recommended article: THE RAMIFICATION GROUPS AND DIFFERENT OF A COMPOSITUM OF ARTIN–SCHREIER EXTENSIONS
Recommended article: Q3116351
Recommended article: The ramification group filtrations of certain function field extensions
Recommended article: Ramification theory for degree \(p\) extensions of arbitrary valuation rings in mixed characteristic \((0,p)\)
description: scientific article; zbMATH DE number 5641449