×

Apéry base and polar invariants for real valuations. (English) Zbl 1248.13007

The paper studies (logarithmic) real valuations of the polynomial ring \(\mu:K[T]\longrightarrow \mathbb R\) that are proper valuations when restricted to the field \(K\). Crucial notions are the Apéry base \(\{\omega_i(\mu)\}_{i\geq 0}\), where \(\omega_0(\mu)=\mu(T)\) and, given an integer \(i\geq 1\), \[ \omega_i(\mu)=\sup\{\mu(f) : f\in K[T] \text{ monic, with deg}(f)=i\} \] and the iterated sequence \(\{(\mu_i, d_i, \gamma_i)\}_{i=0}^t\) of valuations associated with \(\mu\), which is defined inductively, starting with \(\mu_0\in \mathrm{Val}(K[T])\), \(\mu_0\left(\sum_{0\leq i\leq d}a_iT^i\right)=\text{ min }\{\mu(a_i)+i\mu(T), 0\leq i\leq d\}\), \(d_0=1\) and \(\gamma_0=\mu(T)\). After establishing a number of relevant properties, a relation between these central notions is given in Theorem 21: Under certain assumptions, \(\omega_i(\mu)=\sum_{j=0}^{k-1}s_j\gamma_j\), where the sum \(=\infty\) if \(k-1=t\) and \(\gamma_t=\infty\). In particular \(\omega_{d_j}(\mu)=\gamma_j\), \(1\leq j\leq t\). Moreover \(\omega_i(\mu)\leq (i/d_{k-1})\gamma_{k-1}\) and the equality holds if and only if \(d_{k-1}\) divides \(i\). One of the results is a factorization Theorem 29 for monic members \(f\in K[T]\) of given degree and \(\mu(f)\) the Apéry base of \(\mu\) which establishes strong properties of their irreducible factors. One special case of this result are some earlier results by M. Merle, R. Ephraim and A. Granja for algebroid plane curve singularity. Proposition 31 justifies why the sequence \(\{\gamma_i/d_i\}_{i=1}^t\) may be called the polar invariants of the valuation \(\mu\).

MSC:

13A18 Valuations and their generalizations for commutative rings
13F30 Valuation rings
12E05 Polynomials in general fields (irreducibility, etc.)
Full Text: DOI

References:

[1] Baker M., Rumely R.: Potential Theory on the Berkovich Projective Line, Mathematical Surveys and Monographs, vol. 159. American Mathematical Society, Providence (2010) · Zbl 1196.14002
[2] Berkovich V.G.: Spectral Theory and Analytic Geometry over Non-Archimedean Fields. Mathematical Surveys and Monographs, vol. 33. American Mathematical Society, Providence (1990) · Zbl 0715.14013
[3] Ephraim R.: Special polars and curves with one place at infinity. Proceedings of the Symposium on Applied Mathematics, vol. 40, Part 1, pp. 353–359. American Mathematical Society, Providence (1983) · Zbl 0537.14020
[4] Favre C., Jonsson M.: The Valuative Tree. Lecture Notes in Mathematics, vol. 1853. Springer-Verlag, Berlin (2004) · Zbl 1064.14024
[5] Granja A.: Apéry basis and polar invariants of plane curve singularities. Pac. J. Math. 140(1), 85–96 (1989) · Zbl 0728.14029 · doi:10.2140/pjm.1989.140.85
[6] Granja A.: Irreducible polynomials with coefficients in a complete discrete valuation field. Adv. Math. 109(1), 75–87 (1994) · Zbl 0819.12005 · doi:10.1006/aima.1994.1080
[7] Granja A., Martínez M.C., Rodríguez C.: Analytically irreducible polynomials with coefficients in a real-valued field. Proc. Am. Math. Soc. 138, 3449–3454 (2010) · Zbl 1203.13009 · doi:10.1090/S0002-9939-10-10357-8
[8] Herrera-Govantes F.J., Olalla-Acosta M.A., Spivakovsky M.: Valuations in algebraic field extensions. J. Algebra 312, 1033–1074 (2007) · Zbl 1170.12002 · doi:10.1016/j.jalgebra.2007.02.022
[9] Lang S.: Algebra (Revised Third Edition). Graduate Text in Mathematics. Springer-Verlag New York Inc., New York (2002)
[10] MacLane S.: A construction for absolute values in polynomial rings. Trans. Am. Math. Soc. 40, 363–395 (1936) · JFM 62.1106.02 · doi:10.1090/S0002-9947-1936-1501879-8
[11] Merle M.: Invariant polaires des courbes planes. Invent. Math. 41, 103–111 (1977) · Zbl 0371.14003 · doi:10.1007/BF01418370
[12] Ribenboim P.: The Theory of Classical Valuations. Springer-Verlag New York Inc., New York (1999) · Zbl 0957.12005
[13] Vaquié M.: Extension d’une valuation. Trans. Am. Math. Soc. 359(7), 3439–3481 (2007) · Zbl 1121.13006 · doi:10.1090/S0002-9947-07-04184-0
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.