Simultaneous orderings in function fields

For every Dedekind domain R, Bhargava defined the factorials of a subset S of R by introducing the notion of p-ordering of S, for every maximal ideal p of R. We study the existence of simultaneous ordering in the case S=R=O_K, where O_K is the ring of integers of a function field K over a finite field F_q. We show, that when O_K is the ring of integers of an imaginary quadratic extension K of F_q(T), K=F_q(T)/(Y²-D(T)), then there exists a simultaneous ordering if and only if degD?1.     

On a Normal Integral Basis Problem over Cyclotomic Zp-extensions, II

Let p be an odd prime number, K an imaginary abelian field with ζ_p∈K^×, and K_∞/K the cyclotomic Z_p-extension with its nth layer K_n. In the previous paper, we showed that for any n and any unramified cyclic extension L/K_n of degree p, LK_n+1/K_n+1 does have a normal integral basis (NIB) even if L/K_n has no NIB, under the assumption that p does not divide the class number of the maximal real subfield K⁺ (and some additional assumptions on K). In this paper, we show that similar but more delicate phenomena occur for a certain class of tamely ramified extensions of degree p.     

Finiteness of Higher K -Groups of Orders and Group Rings

In this paper, we prove that if R is the ring of integers in a number field F, A any R-order in a semisimple F-algebra, then K_2n(A), G_2n(A) are finite groups for all positive integers n. Hence, even dimensional higher K- and G-groups of integral grouprings of finite groups are finite. We also show that in odd dimensions, SK_n of integral and p-adic integral grouprings of finite p-groups are also finite p-groups (Received: August 2005)     

Explicit construction of self-dual integral normal bases for the square-root of the inverse different

Let K be a finite extension of Qp, let L/K be a finite abelian Galois extension of odd degree and let OL be the valuation ring of L. We define AL/K to be the unique fractional OL-ideal with square equal to the inverse different of L/K. For p an odd prime and L/Qp contained in certain cyclotomic extensions, Erez has described integral normal bases for AL/Qp that are self-dual with respect to the trace form. Assuming K/Qp to be unramified we generate odd abelian weakly ramified extensions of K using Lubin-Tate formal groups. We then use Dwork's exponential power series to explicitly construct self-dual integral normal bases for the square-root of the inverse different in these extensions.     

On the T-ramified, S-split p-class field towers over an extension of degree prime to p

Let K be a number field, p a prime, and let be the T-ramified, S-split p-class field tower of K, i.e., the maximal pro-p-extension of K unramified outside T and totally split on S, where T and S are disjoint finite sets of places of K. Using a theorem of Tate on nilpotent quotient groups, we give (Theorem 2 in Section 3) an elementary characterisation of the finite extensions L/K, with a normal closure of degree prime to p, such that the analogous p-class field tower of L is equal to the compositum . This N.S.C. only depends on classes and units of L. Some applications and examples are given.     

Semi-stable models for rigid-analytic spaces

 Let R be a complete discrete valuation ring with field of fractions K and let X _K be a smooth, quasi-compact rigid-analytic space over S_p K. We show that there exists a finite separable field extension K' of K, a rigid-analytic space X' _K' over S_p K' having a strictly semi-stable formal model over the ring of integers of K', and an étale, surjective morphism f : X' _K' →X _K of rigid-analytic spaces over S_p K. This is different from the alteration result of A.J. de Jong [dJ] who does not obtain that f is étale. To achieve this property we have to work locally on X _K , i.e. our f is not proper and hence not an alteration. Received: 26 October 2001 / Revised version: 14 August 2002 Published online: 14 February 2003     

Crossed Product Orders Over Valuation Rings II: Tamely Ramified Crossed Product Algebras

Let V be a commutative valuation domain of arbitrary Krull-dimension,with quotient field F, let K be a finite Galois extension ofF with group G, and let S be the integral closure of V in K.Suppose that one has a 2-cocycle on G that takes values in thegroup of units of S. Then one can form the crossed product ofG over S, S*G, which is a V-order in the central simple F-algebraK*G. If S*G is assumed to be a Dubrovin valuation ring of K*G,then the main result of this paper is that, given a suitabledefinition of tameness for central simple algebras, K*G is tamelyramified and defectless over F if and only if K is tamely ramifiedand defectless over F. The residue structure of S*G is alsoconsidered in the paper, as well as its behaviour upon passageto Henselization. 2000 Mathematics Subject Classification 16H05,16S35.     

On the FIP Property for Extensions of Commutative Rings

ABSTRACT

A (unital) extension R ? T of (commutative) rings is said to have FIP (respectively be a minimal extension) if there are only finitely many (respectively no) rings S such that R ? S ? T. Transfer results for the FIP property for extensions of Nagata rings are obtained, including the following fact: if R ? T is a (module-) finite minimal ring extension, then R(X)?T(X) also is a (module-) finite minimal ring extension. The assertion obtained by replacing “is a (module-) finite minimal ring extension” with “has FIP” is valid if R is an infinite field but invalid if R is a finite field. A generalization of the Primitive Element Theorem is obtained by characterizing, for any field (more generally, any artinian reduced ring) R, the ring extensions R ? T which have FIP; and, if R is any field K, by describing all possible structures of the (necessarily minimal) ring extensions appearing in any maximal chain of intermediate rings between K and any such T. Transfer of the FIP and “minimal extension” properties is given for certain pullbacks, with applications to constructions such as CPI-extensions. Various sufficient conditions are given for a ring extension of the form R ? R[u], with u a nilpotent element, to have or not have FIP. One such result states that if R is a residually finite integral domain that is not a field and u is a nilpotent element belonging to some ring extension of R, then R ? R[u] has FIP if and only if (0 : u) ≠ 0. The rings R having only finitely many unital subrings are studied, with complete characterizations being obtained in the following cases: char(R)>0; R an integral domain of characteristic 0; and R a (module-)finite extension of ? which is not an integral domain. In particular, a ring of the last-mentioned type has only finitely many unital subrings if and only if (?:R)≠0. Some results are also given for the residually FIP property.     

Potentially good reduction of Barsotti-Tate groups

Let R be a complete discrete valuation ring of mixed characteristic (0,p) with perfect residue field, K the fraction field of R. Suppose G is a Barsotti-Tate group (p-divisible group) defined over K which acquires good reduction over a finite extension K^′ of K. We prove that there exists a constant c?2 which depends on the absolute ramification index e(K^′/Qp) and the height of G such that G has good reduction over K if and only if G[pc] can be extended to a finite flat group scheme over R. For abelian varieties with potentially good reduction, this result generalizes Grothendieck's “p-adic Néron-Ogg-Shafarevich criterion” to finite level. We use methods that can be generalized to study semi-stable p-adic Galois representations with general Hodge-Tate weights, and in particular leads to a proof of a conjecture of Fontaine and gives a constant c as above that is independent of the height of G.     

A complete parametrization of cyclic field extensions of 2-power degree

Letq be a power of 2 at least equal to 8 and ζ be a primitiveq-th root of unity, and letK be any field of characteristic zero. We define the group of special projective conormsS _K as a quotient of the group of elements ofK(ζ) of norm 1:S _K is obviously trival if the groul Gal (K(ζ)/K) is cyclic. We prove that for some fieldsK, the groupS _K is finite, and it is even trivial for certain fields such as ? or ?(X ₁,...,X _m). We then prove that the groupS _K completely paramatrizes the cycle extensions ofK of degreeq. We exhibit an explicit polynomial defined over ?(T ₀,...,T _q/2) which parametrizes all cyclic extensions ofK of degreeq associated to the trivial element ofS _K. In particular, this polynomial parametrizes all cyclic extensions ofK of degreeq whenever the groupS _K is trivial.     

On p-covalenced association schemes

Let (X,S) denote an association scheme where X is a finite set. For a prime p we say that (X,S) is p-covalenced (p-valenced) if every multiplicity (valency, respectively) of (X,S) is a power of p. In the character theory of finite groups Ito's theorem states that a finite group G has a normal abelian p-complement if and only if every character degree of G is a power of p. In this article we generalize Ito's theorem to p-valenced association schemes, i.e., a p-valenced association scheme (X,S) has a normal p-covalenced p-complement if and only if (X,S) is p-covalenced.     

The trace-form of an algebraic number field

Let F be the rational field or a p-adic field, and let K an algebraic number field over F. If ω₁,…, ω_n is an integral basis for the ring $\text{D}$_L of integers in K, then the quadratic form Q whose matrix is (trace_K∥F(ω_iω_j)) has integral coefficients, and is called an integral trace-form. Q is determined by K up to integral equivalence. The purpose of this paper is to show that the genus of Q determines the ramification of primes in K.     

Narrowness implies uniformity

This paper is about varietiesV of universal algebras which satisfy the following numerical condition on the spectrum: there are only finitely many prime integersp such thatp is a divisor of the cardinality of some finite algebra inV. Such varieties are callednarrow. The variety (or equational class) generated by a classK of similar algebras is denoted by V(K)=HSPK. We define Pr (K) as the set of prime integers which divide the cardinality of a (some) finite member ofK. We callK narrow if Pr (K) is finite. The key result proved here states that for any finite setK of finite algebras of the same type, the following are equivalent: (1) SPK is a narrow class. (2) V(K) has uniform congruence relations. (3) SK has uniform congruences and (3) SK has permuting congruences. (4) Pr (V(K))= Pr(SK). A varietyV is calleddirectly representable if there is a finite setK of finite algebras such thatV= V(K) and such that all finite algebras inV belong to PK. An equivalent definition states thatV is finitely generated and, up to isomorphism,V has only finitely many finite directly indecomposable algebras. Directly representable varieties are narrow and hence congruence modular. The machinery of modular commutators is applied in this paper to derive the following results for any directly representable varietyV. Each finite, directly indecomposable algebra inV is either simple or abelian.V satisfies the commutator identity [x,y]=x·y·[1,1] holding for congruencesx andy over any member ofV. The problem of characterizing finite algebras which generate directly representable varieties is reduced to a problem of ring theory on which there exists an extensive literature: to characterize those finite ringsR with identity element for which the variety of all unitary leftR-modules is directly representable. (In the terminology of [7], the condition is thatR has finite representation type.) We show that the directly representable varieties of groups are precisely the finitely generated abelian varieties, and that a finite, subdirectly irreducible, ring generates a directly representable variety iff the ring is a field or a zero ring.     

SOME t-CLOSED PAIRS

Let A ? B be integral domains. (A, B) is called a t-closed pair if each subring of B containing A is t-closed. Let R be a t-closed domain containing a field K and let I be a nonzero proper ideal of R. Let D be a subring of K and let S = D + I. If D is a field then it is shown that (S, R) is a t-closed pair if and only if R is integral over S and I is a maximal ideal of R. If D is not a field then we prove in this note that (S, R) is a t-closed pair if and only if (D, K) is a t-closed pair and R = K + I.     

On Selmer groups of abelian varieties over ℓ-adic Lie extensions of global function fields

Let F be a global function field of characteristic p > 0 and A/F an abelian variety. Let K/F be an ?-adic Lie extension (? ≠ p) unramified outside a finite set of primes S and such that Gal(K/F) has no elements of order ?. We shall prove that, under certain conditions, Sel _A (K) _? ^∨ has no nontrivial pseudo-null submodule.     

On the polynomial closure in a valued field

Let D be an integral domain with quotient field K. For any subset S of K, the D-polynomial closure of S is the largest subset T of K such that, for every polynomial f in K[X], if f maps S into D then f maps also T into D. When D is not local, the D-polynomial closure is not a topological closure. We prove here that, when D is any rank-one valuation domain, then there exists a topology on K such that the closed subsets for this topology are exactly the D-polynomially closed subsets of K.     

On primitive roots for rank one Drinfeld modules

Let k be a global function field over a finite field and let A be the ring of the elements in k regular outside a fixed place ∞. Let K be a global A-field of finite A-characteristic and let ? be a rank one Drinfeld A-module over K. Given any α∈K, we show that the set of places P of K for which α is a primitive root modulo P under the action of ? possesses a Dirichlet density. We also give conditions for this density to be positive.     

Wedderburn polynomials over division rings, I

A Wedderburn polynomial over a division ring K is a minimal polynomial of an algebraic subset of K. Such a polynomial is always a product of linear factors over K, although not every product of linear polynomials is a Wedderburn polynomial. In this paper, we establish various properties and characterizations of Wedderburn polynomials over K, and show that these polynomials form a complete modular lattice that is dual to the lattice of full algebraic subsets of K. Throughout the paper, we work in the general setting of an Ore skew polynomial ring K[t,S,D], where S is an endomorphism of K and D is an S-derivation on K.     

The weak McShane integral

We present a weaker version of the Fremlin generalized McShane integral (1995) for functions defined on a σ-finite outer regular quasi Radon measure space (S,Σ, T, µ) into a Banach space X and study its relation with the Pettis integral. In accordance with this new method of integration, the resulting integral can be expressed as a limit of McShane sums with respect to the weak topology. It is shown that a function f from S into X is weakly McShane integrable on each measurable subset of S if and only if it is Pettis and weakly McShane integrable on S. On the other hand, we prove that if an X-valued function is weakly McShane integrable on S, then it is Pettis integrable on each member of an increasing sequence (S _l ) _l?1 of measurable sets of finite measure with union S. For weakly sequentially complete spaces or for spaces that do not contain a copy of c ₀, a weakly McShane integrable function on S is always Pettis integrable. A class of functions that are weakly McShane integrable on S but not Pettis integrable is included.     

Modèles semi-factoriels et modèles de Néron

Let S be the spectrum of a discrete valuation ring with function field K. Let X be a scheme over S. We will say that X is semi-factorial over S if any invertible sheaf on the generic fiber X _K can be extended to an invertible sheaf on X. Here we show that any proper geometrically normal scheme over K admits a proper, flat, normal and semi-factorial model over S. We also construct some semi-factorial compactifications of regular S-schemes, such as Néron models of abelian varieties. The semi-factoriality property for a scheme X/S corresponds to the Néron property of its Picard functor. In particular, one can recover the Néron model of the Picard variety ${{\rm Pic}_{X_K/K,{\rm red}}^0}$ of X _K from the Picard functor Pic _X/S , as in the known case of curves. This provides some information on the relative algebraic equivalence on the S-scheme X.