Suppose that f is a dominant morphism from a k-variety X to a k-variety Y, where k is a field of characteristic 0 and v is a valuation of the function field k(X). We allow v to be an arbitary valuation, so it may not be discrete.
We prove that there exist sequences of blowups of nonsingular subvarieties from X' to X and from Y' to Y such that X', Y' are nonsingular and X' to Y' is locally a monomial mapping near the center of v. This extends an earlier result of ours (in Asterisque 260) which proves the above result with the restriction that f is generically finite.
In this paper we affirmatively answer a question posed by F.-V. Kuhlmann. We show that the first Artin-Schreier defect extension in Cutkosky and Piltant's counter-example to strong monomialization is a dependent extension. Our main tool is the use of generating sequences of valuations.
In this paper, local monomialization theorems are proven for analytic morphisms of complex and real analytic spaces. This gives the generalization of the local monomialization theorem for morphisms of algebraic varieties over a field of characteristic zero proven in the author's earlier papers "Local monomialization of morphisms", Asterisque 260 (1999) and "Local monomialization of transcendental extensions", Annales de l'institut Fourier, 1517 - 1586.
We give an example of an extension of two dimensional regular local rings in a tower of two independent defect Artin-Schreier extensions for which strong local monomialization does not hold.
In this paper we consider birational properties of ramification in excellent local rings. We give an example showing that local monomialization (and weak local monomialization) can fail for extensions of algebraic local rings in algebraic function fields of dimension greater than or equal to two along a valuation over a field of positive characteristic. It was earlier proven by the author that local monomialization holds within characteristic zero algebraic function fields.
We derive extensions of the monomialization theorems for morphisms of varieties in our earlier work. In this note we show that a local monomialization can be found which satisfies stronger local conditions. Some comments are made about how the results of this paper can be used.
In this paper we consider birational properties of ramification in excellent local rings. We extend earlier results of the author with Olivier Piltant to show that strong local monomialization is true along a valuation dominating a defectless extension of two dimensional excellent local rings. We also obtain general results on the structure of the extension of associated graded rings along a valuation, and show that the invariants alpha and beta of stable forms of two dimensional extensions in characteristic p of the author and Olivier Piltant are not eventually constant.
In this paper the transcendental Galois extensions of a field will be introduced as counterparts to algebraic Galois ones. There exist several types of transcendental Galois extensions of a given field, from the weakest one to the strongest one, such as Galois, tame Galois, strong Galois, and absolute Galois. The four Galois extensions are distinct from each other in general but coincide with each other for cases of algebraic extensions. The transcendental Galois extensions arise from higher relative dimensional Galois covers of arithmetic schemes. In the paper we will obtain several propertie…
Minimal pairs of definition were introduced by Alexandru, Popescu and Zaharescu to study residue transcendental extensions. In this paper we obtain analogous results in the value transcendental case. We introduce the notion of minimal fields of definition for valuation transcendental extensions and show that they share some common ramification theoretic properties. The connection between minimal fields of definition and implicit constant fields is also investigated. Further, we explore the relationship between valuation transcendental extensions and pseudo-Cauchy sequences.
Let k be an algebraically closed field of characteristic 0 and let K*/K be a finite extension of algebraic function fields of transcendence degree 2 over k. Let v* be a k-valuation of K* with valuation ring V* and let v be the restriction of v* to K. Suppose R --> S is an extension of algebraic regular local rings with quotient fields K and K*, respectively, such that V* dominates S and S dominates R. We prove that there exist sequences of quadratic transforms R --> R' and S --> S' along v* such that S' dominates R' and the map between generating sequences of v and v* in R' and S', respectivel…
We prove that every place $P$ of an algebraic function field $F|K$ of arbitrary characteristic admits local uniformization, provided that the sum of the rational rank of its value group and the transcendence degree of its residue field $FP$ over $K$ is equal to the transcendence degree of $F|K$, and the extension $FP|K$ is separable. We generalize this result to the case where $P$ dominates a regular local Nagata ring $R\subseteq K$ of Krull dimension $\dim R\leq 2$, assuming that the valued field $(K,v_P)$ is defectless, the factor group $v_P F/v_P K$ is torsion-free and the extension of resi…
For a simple, normal and finite extension of a valued field, we prove that we can related the order of the ramification group of the field extension and the set of key polynomials associated to the extension of the valuation. More precisely, the order of this group can be expressed in terms of a product of a power of the characteristic of the residue field of the valuation and the effective degrees of the key polynomials. We also give a condition on the order of the ramification group so that there is no limit key polynomials for a valuation of rank one. This condition also allow us to have a …
An extension (K(X)|K, v) of valued fields is said to be valuation transcendental if we have equality in the Abhyankar inequality. Minimal pairs of definition are fundamental objects in the investigation of valuation transcendental extensions. In this article, we associate a uniquely determined positive integer with a valuation transcendental extension. This integer is defined via a chosen minimal pair of definition, but it is later shown to be independent of the choice. Further, we show that this integer encodes important information regarding the implicit constant field of the extension (K(X)…
Let $L/K$ be an extension of complete discrete valuation fields, and assume that the residue field of $K$ is perfect and of positive characteristic. The residue field of $L$ is not assumed to be perfect. In this paper, we prove a formula for the Swan conductor of the image of a character $χ\in H^1(K, \mathbb{Q}/\mathbb{Z})$ in $H^1(L, \mathbb{Q}/\mathbb{Z})$ for $χ$ sufficiently ramified. Further, we define generalizations $ψ_{L/K}^{\mathrm{ab}}$ and $ψ_{L/K}^{\mathrm{AS}}$ of the classical Hasse-Herbrand $ψ$-function and prove a formula for $ψ_{L/K}^{\mathrm{ab}}(t)$ for sufficiently large $t…
This article is a natural construction of our previous works. In this article, we employ similar ideas due to MacLane to provide an estimate of IC(K(X)|K,v) when (K(X)|K,v) is a valuation algebraic extension. Our central result is an analogue of the estimate obtained in the valuation transcendental case. We further provide a natural construction of a complete sequence of key polynomials for v over K in the setting of valuation algebraic extensions.
The ruled residue theorem characterises residue field extensions for valuations on a rational function field. Under the assumption that the characteristic of the residue field is different from $2$ this theorem is extended here to function fields of conics. The main result is that there is at most one extension of a valuation from on the base field to the function field of a conic for which the residue field extension is transcendental but not ruled. Furthermore the situation when this valuation is present is characterised.
Given a valued field $(K,v)$ and a pseudo monotone sequence $E$ in $(K,v)$, one has an induced valuation $v_E$ extending $v$ to $K(X)$. After fixing an extension of $v_E$ to a fixed algebraic closure $\overline{K(X)}$ of $K(X)$, we show that the implicit constant field of the extension $(K(X)|K,v_E)$ is simply the henselization of $(K,v)$. We consider the question: given a value transcendental extension $w$ of $v$ to $K(X)$ and a pseudo monotone sequence $E$ in $(K,v)$, under which precise conditions is $w$ induced by $E$? The dual nature of pseudo convergent sequences of algebraic type and ps…
Noether's problem asks whether, for a given field K and finite group G, the fixed field L := K(x_h : h \in G)^G is a purely transcendental extension of K, where G acts on the x_h by gx_h = x_gh. The field L is naturally the function field of a quotient variety V := V (K,G). In analogy to the case of curves, we define the gonality of V to be the minimal degree of a dominant rational map from V to projective space, which, in a sense, measures the extent to which L may fail to be purely transcendental over K. When G is abelian, we give bounds for the gonality of V (K; G).
We prove function field versions of the Zilber-Pink conjectures for varieties supporting a variation of Hodge structures. A form of these results for Shimura varieties in the context of unlikely intersections is the following. Let $S$ be a connected pure Shimura variety with a fixed quasiprojective embedding. We show that there is an explicitly computable function $B$ of two natural number arguments so that for any field extension $K$ of the complex numbers and Hodge generic irreducible proper subvariety $X \subsetneq S_K$, the set of nonconstant points in the intersection of $X$ with the unio…
Let $k_0$ be a field of characteristic $p>0$ and $k=k_0(t)$, where $t$ is transcendental over $k_0$. We give an example of a smooth connected unipotent $k$-group $G$ such that $G(F)/R$ is non-commutative for some finite separable field extension $F$ containing $k$.
Let K be a field with a valuation $ν$ and let L = K(x) be a transcendental extension of K, then any valuation $μ$ of L which extends $ν$ is determined by its restriction to the polynomial ring K[x]. We know how to associate to this valuation $μ$ a family of valuations A = ($μ$i)i$\in$I of K[x], called the associated admise family, which converges in a certain sense towards the valuation $μ$. Although the definition of this family, as well as the notion of convergence, essentially imply the structure of the polynomial ring, in particular the degree of polynomials, we show in this note that the …
Let $k$ be a field of characteristic $0$, and let $α_{1}$, $α_{2}$, and $α_{3}$ be algebraically independent and transcendental over $k$. Let $K$ be the transcendental extension of $k$ obtained by adjoining the elementary symmetric functions of the $α_{i}$'s. Let $E$ be the elliptic curve defined over $K$ which is given by the equation $y^{2} = (x - α_{1})(x - α_{2})(x - α_{3})$. We define a tower of field extensions $K = K_{0}' \subset K_{1}' \subset K_{2}' \subset ...$ by giving recursive formulas for the generators of each $K_{n}'$ over $K_{n - 1}'$. We show that $K_{\infty}'$ is a certain …
Let $k$ be a field of characteristic zero, let $G$ be a connected reductive algebraic group over $k$ and let $\mathfrak{g}$ be its Lie algebra. Let $k(G)$, respectively, $k(\mathfrak{g})$, be the field of $k$-rational functions on $G$, respectively, $\mathfrak{g}$. The conjugation action of $G$ on itself induces the adjoint action of $G$ on $\mathfrak{g}$. We investigate the question whether or not the field extensions $k(G)/k(G)^G$ and $k(\mathfrak{g})/k(\mathfrak{g})^G$ are purely transcendental. We show that the answer is the same for $k(G)/k(G)^G$ and $k(\mathfrak{g})/k(\mathfrak{g})^G$, a…
We generalize a result of Orlov and Van den Bergh on the representability of a cohomological functor from the bounded derived category of a smooth projective variety over a field to the category of L-modules, to the case where L is a field extension of the base field k of the variety X, with L of transcendence degree less than or equal to one or L purely transcendental of degree 2. This result can be applied to investigate the behavior of an exact functor between the bounded derived categories of coherent sheaves of X and Y, with X and Y smooth projective and Y of dimension less than or equal …
Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$ automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's problem then asks whether $K(G)$ is rational (i.e., purely transcendental) over $K$. The first main result of this article is that $K(G)$ is rational over $K$ for a certain class of $p$-groups having an abelian subgoup of index $p$. The second main result is that $K(G)$ is rational over $K$ for any group of order $p^5$ or $p^6$ ($p$ is an odd prime) having …
Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$ automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's problem then asks whether $K(G)$ is rational (i.e., purely transcendental) over $K$. Let $p$ be any prime and let $G$ be a $p$-group of exponent $p^e$. Assume also that {\rm (i)} char $K = p>0$, or {\rm (ii)} char $K \ne p$ and $K$ contains a primitive $p^e$-th root of unity. In this paper we prove that if $G$ is any $p$-group of nilpotency class 2, which h…
