-поля
Soit un revêtement de la droite projective défini sur , de groupe de monodromie . Soit le compositum des corps de rationalité des points de branchement , et le corps des modules correspondants. Partant du lien entre corps des modules et espaces de Hurwitz, on étudie la géométrie et l’arithmétique de ces espaces et des espaces de configuration de points complétés pour évaluer la ramification dans des mauvaises places de qui ne divisent pas l’ordre de , mais où les points de branchements...
Let be a Galois extension of a countable Hilbertian field . Although need not be Hilbertian, we prove that an abundance of large Galois subextensions of are.
We describe the fields of rational constants of generic four-variable Lotka-Volterra derivations. Thus, we determine all rational first integrals of the corresponding systems of differential equations. Such systems play a role in population biology, laser physics and plasma physics. They are also an important part of derivation theory, since they are factorizable derivations. Moreover, we determine the fields of rational constants of a class of monomial derivations.
Ressayre considered real closed exponential fields and “exponential” integer parts, i.e., integer parts that respect the exponential function. In 1993, he outlined a proof that every real closed exponential field has an exponential integer part. In the present paper, we give a detailed account of Ressayre’s construction and then analyze the complexity. Ressayre’s construction is canonical once we fix the real closed exponential field R, a residue field section k, and a well ordering ≺ on R. The...
The space S of all non-trivial real places on a real function field K|k of trascendence degree one, endowed with a natural topology analogous to that of Dedekind and Weber's Riemann surface, is shown to be a one-dimensional k-analytic manifold, which is homeomorphic with every bounded non-singular real affine model of K|k. The ground field k is an arbitrary ordered, real-closed Cantor field (definition below). The function field K|k is thereby represented as a field of real mappings of S which might...