Abstract:Motivated by a valuation theorem, recently obtained by Rangachev, we study the étale extensions $A\subset B$ of polynomial rings over an algebraically closed field of characteristic zero, such that the integral closure $\overline{A}$ is a primary $\overline{A}$-submodule of $B$. We prove that in this case $\overline{A}$ has infinite cyclic divisor class group, where the generator is a prime divisor equal to the complement of $\textrm{Spec}(B)$ in $\textrm{Spec}(\overline{A})$. Moreover, this prime divisor coincides with the ramification divisor of the finite extension $A\subset \overline{A}$. In this situation we carry out Wright's geometric approach for two-dimensional non-integral étale extensions. It follows from the work of Miyanishi that $\textrm{Spec}(\overline{A})$ is a smooth affine surface. We show that $\textrm{Spec}(\overline{A})$ is an $\mathbb{A}^{1}$-bundle over $\mathbb{P}^{1}$, more precisely a Danilov-Gizatullin surface of index three. Based on Wright's analysis of which of these affine surfaces can factorize an étale morphism of the complex affine plane and his description of its affine coordinate rings, we prove that under the strong assumption that $\overline{A}$ is always a primary $\overline{A}$-submodule of $B$, any two-dimensional complex étale extension is integral.

The Theory of the Entire Algebraic Functions

A(infinity)-algebras for ring theorists

$K$-theory of rings of continuous functions

Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$

Integer-valued polynomials on subsets of upper triangular matrix rings

Nontriviality of rings of integral-valued polynomials

Noetherian theories

Model theory of algebraically closed fields

Integral Cayley graphs over a finite symmetric algebra

Quantitative Fundamental Theorem of Algebra

Uniform existential definitions of valuations in function fields in one variable

Local symbols and a first-order definition of the polynomial ring over an ultra-finite field in its fraction field

On the first-order theories of quaternions and octonions

Algebraic types in Zilber's exponential field

Structure and Strength of Dislocation Junctions: An Atomic Level Analysis

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$

About the algebraic closure of formal power series in several variables

First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability

Universally defining subrings in function fields

The finiteness of the Tate-Shafarevich group over function fields for algebraic tori defined over the base field

On the integrality of étale extensions of polynomial rings