Henselianity in the language of rings

We consider four properties of a field K related to the existence of (definable) henselian valuations on K and on elementarily equivalent fields and study the implications between them. Surprisingly, the full pictures look very different in equicharacteristic and mixed characteristic.     

Open core and small groups in dense pairs of topological structures

Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs of o-minimal groups, and show that every definable unary function in a dense pair of geometric topological fields agrees with a definable function in the reduct, off a small definable subset, that is, a definable set internal to the predicate.For certain dense pairs of geometric topological fields without the independence property, whenever the underlying set of a definable group is contained in the dense-codense predicate, the group law is locally definable in the reduct as a geometric topological field. If the reduct has elimination of imaginaries, we extend this result, up to interdefinability, to all groups internal to the predicate.     

What does a group algebra of a free group “know” about the group?

We describe solutions to the problem of elementary classification in the class of group algebras of free groups. We will show that unlike free groups, two group algebras of free groups over infinite fields are elementarily equivalent if and only if the groups are isomorphic and the fields are equivalent in the weak second order logic. We will show that the set of all free bases of a free group F is 0-definable in the group algebra $K(F)$ when K is an infinite field, the set of geodesics is definable, and many geometric properties of F are definable in $K(F)$. Therefore $K(F)$ “knows” some very important information about F. We will show that similar results hold for group algebras of limit groups.     

An equivalence between local fields

The p-component of the index of a number field K depends only on the completions of K at the primes over p. In this paper we define an equivalence relation between m-tuples of local fields such that, if two number fields K and K^′ have equivalent m-tuples of completions at the primes over p, then they have the same p-component of the index. This equivalence can be interpreted in terms of the decomposition groups of the primes over p of the normal closures of K and K^′.     

Definability in substructure orderings, III: Finite distributive lattices

Let ${{\mathcal D}}$ be the ordered set of isomorphism types of finite distributive lattices, where the ordering is by embeddability. We study first-order definability in this ordered set. We prove among other things that for every finite distributive lattice D, the set {d, d ^opp} is definable, where d and d ^opp are the isomorphism types of D and its opposite (D turned upside down). We prove that the only non-identity automorphism of ${{\mathcal D}}$ is the opposite map. Then we apply these results to investigate definability in the closely related lattice of universal classes of distributive lattices. We prove that this lattice has only one non-identity automorphism, the opposite map; that the set of finitely generated and also the set of finitely axiomatizable universal classes are definable subsets of the lattice; and that for each element K of the two subsets, {K, K ^opp} is a definable subset of the lattice.     

Cell decomposition for semibounded p-adic sets

We study a reduct ${\mathcal{L}_*}$ of the ring language where multiplication is restricted to a neighbourhood of zero. The language is chosen such that for p-adically closed fields K, the ${\mathcal{L}_*}$ -definable subsets of K coincide with the semi-algebraic subsets of K. Hence structures (K, ${\mathcal{L}_*}$ ) can be seen as the p-adic counterpart of the o-minimal structure of semibounded sets. We show that in this language, p-adically closed fields admit cell decomposition, using cells similar to p-adic semi-algebraic cells. From this we can derive quantifier-elimination, and give a characterization of definable functions. In particular, we conclude that multiplication can only be defined on bounded sets, and we consider the existence of definable Skolem functions.     

Linear Groups Definable in o-Minimal Structures

We study subgroups G of GL(n, R) definable in o-minimal expansions M = (R, +, · ,…) of a real closed field R. We prove several results such as: (a) G can be defined using just the field structure on R together with, if necessary, power functions, or an exponential function definable in M. (b) If G has no infinite, normal, definable abelian subgroup, then G is semialgebraic. We also characterize the definably simple groups definable in o-minimal structures as those groups elementarily equivalent to simple Lie groups, and we give a proof of the Kneser–Tits conjecture for real closed fields.     

Hyperelliptic curves and homomorphisms to ideal class groups of quadratic number fields

For the function field K of hyperelliptic curves over Q we define a subgroup of the ideal class group called the group of Z-primitive ideals. We then show that there are homomorphisms from this subgroup to ideal class groups of certain quadratic number fields.     

The Homotopy Fixed Point Theorem and the Quillen–Lichtenbaum conjecture in Hermitian K-theory

We settle two conjectures for computing higher Grothendieck–Witt groups (also known as Hermitian K-groups) of noetherian schemes X, under some mild conditions. It is shown that the comparison map from the Hermitian K-theory of X to the homotopy fixed points of K  -theory under the natural Z/2$\mathbb{Z}/2$-action is a 2-adic equivalence. We also prove that the mod 2^ν$2^{\nu }$ comparison map between the Hermitian K-theory of X and its étale version is an isomorphism on homotopy groups in the same range as for the Quillen–Lichtenbaum conjecture in K-theory. Applications compute higher Grothendieck–Witt groups of complex algebraic varieties and rings of 2-integers in number fields, and hence values of Dedekind zeta-functions.     

Smooth functions in o-minimal structures

Fix an o-minimal expansion of the real exponential field that admits smooth cell decomposition. We study the density of definable smooth functions in the definable continuously differentiable functions with respect to the definable version of the Whitney topology. This implies that abstract definable smooth manifolds are affine. Moreover, abstract definable smooth manifolds are definably C^∞-diffeomorphic if and only if they are definably C¹-diffeomorphic.     

Groups definable in separably closed fields

We consider the groups which are infinitely definable in separably closed fields of finite degree of imperfection. We prove in particular that no new definable groups arise in this way: we show that any group definable in such a field is definably isomorphic to the group of -rational points of an algebraic group defined over .

     

Steinitz classes of tamely ramified Galois extensions of algebraic number fields

The Steinitz class of a number field extension K/k is an ideal class in the ring of integers Ok of k, which, together with the degree [K:k] of the extension determines the Ok-module structure of OK. We call Rt(k,G) the set of classes which are Steinitz classes of a tamely ramified G-extension of k. We will say that those classes are realizable for the group G; it is conjectured that the set of realizable classes is always a group. We define A^′-groups inductively, starting with abelian groups and then considering semidirect products of A^′-groups with abelian groups of relatively prime order and direct products of two A^′-groups. Our main result is that the conjecture about realizable Steinitz classes for tame extensions is true for A^′-groups of odd order; this covers many cases not previously known. Further we use the same techniques to determine Rt(k,Dn) for any odd integer n. In contrast with many other papers on the subject, we systematically use class field theory (instead of Kummer theory and cyclotomic descent).     

Analytic cell decomposition and analytic motivic integration

The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over Fq((t)) of big enough characteristic. To accomplish this, we introduce a general framework for Henselian valued fields K with analytic structure, and we investigate the structure of analytic functions in one variable, defined on annuli over K. We also prove that, after parameterization, definable analytic functions are given by terms. The results in this paper pave the way for a theory of analytic motivic integration and analytic motivic constructible functions in the line of R. Cluckers and F. Loeser [Fonctions constructible et intégration motivique I, Comptes rendus de l'Académie des Sciences 339 (2004) 411-416].     

Type-definable groups in C-minimal structures

This Note studies type-definable groups in C-minimal structures. We show first for some of these groups, that they contain a cone which is a subgroup. This result will be applied to show that in any geometric locally modular non-trivial C-minimal structure, there is a definable infinite C-minimal group.     

The densities for 3-ranks of tame kernels of cyclic cubic number fields

Let F be a cubic cyclic field with t(2)ramified primes.For a finite abelian group G,let r3(G)be the 3-rank of G.If 3 does not ramify in F,then it is proved that t-1 r3(K2O F)2t.Furthermore,if t is fixed,for any s satisfying t-1 s 2t-1,there is always a cubic cyclic field F with exactly t ramified primes such that r3(K2O F)=s.It is also proved that the densities for 3-ranks of tame kernels of cyclic cubic number fields satisfy a Cohen-Lenstra type formula d∞,r=3-r2∞k=1(1-3-k)r k=1(1-3-k)2.This suggests that the Cohen-Lenstra conjecture for ideal class groups can be extended to the tame kernels of cyclic cubic number fields.     

A residual transcendental extension of a valuation on K to K(x1, … , xn)

Let v be a valuation of a field K, G_v its value group and k_v its residue field. Let w be an extension of v to K(x₁, … , x_n). w is called a residual transcendental extension of v if k_w/k_v is a transcendental extension. In this study a residual transcendental extension w of v to K(x₁, … , x_n) such that transdegk_w/k_v = n is defined and some considerations related with this valuation are given.     

On the u-invariant of function fields of curves over complete discretely valued fields

Let K be a complete discretely valued field with residue field κ  . If char(K)=0$\mathrm{char}(K)=0$, char(κ)=2$\mathrm{char}(\kappa )=2$ and [κ:κ²]=d$[\kappa :{\kappa }^2]=d$, we prove that there exists an integer N depending on d such that the u-invariant of any function field in one variable over K is bounded by N. The method of proof is via introducing the notion of uniform boundedness for the p-torsion of the Brauer group of a field and relating the uniform boundedness of the 2-torsion of the Brauer group to the finiteness of the u-invariant. We prove that the 2-torsion of the Brauer group of function fields in one variable over K is uniformly bounded.