Places of algebraic function fields in arbitrary characteristic

We consider the Zariski space of all places of an algebraic function field F|K of arbitrary characteristic and investigate its structure by means of its patch topology. We show that certain sets of places with nice properties (e.g., prime divisors, places of maximal rank, zero-dimensional discrete places) lie dense in this topology. Further, we give several equivalent characterizations of fields that are large, in the sense of F. Pop's Annals paper Embedding problems over large fields. We also study the question whether a field K is existentially closed in an extension field L if L admits a K-rational place. In the appendix, we prove the fact that the Zariski space with the Zariski topology is quasi-compact and that it is a spectral space.     

Self-dual normal bases for infinite galois field extensions

Let L ? K be an infinite Galois field extension with the property that every finite Galois extension M ? K, where L ? M, has a self-dual normal basis. We prove a self-dual normal basis theorem for L ? K when char (K) ≠2.     

On normal integral bases of unramified abelian p-extensions over a global function field of characteristic p

Let K be an algebraic function field of one variable over a finite field of characteristic p, and S a finite non-empty set of prime divisors of K. As the ring of integers of K, we take the ring of elements of K integral outside S. We prove that for a finite abelian p-extension L/K, it has a relative normal integral basis (NIB) if and only if it is unramified outside S. We also give a generator of NIB in an explicit form.     

Ordinary reduction of K3 surfaces

Let X be a K3 surface over a number field K. We prove that there exists a finite algebraic field extension E/K such that X has ordinary reduction at every non-archimedean place of E outside a density zero set of places.      

The absolute Galois groups of finite extensions of $${\mathbb{R}}(t)$$

Let R be a real closed field and L be a finite extension of R(t). We prove that Gal(L) ≅ Gal(R(t)) if L is formally real and Gal(L) is the free profinite group of rank card (R) if L is not formally real. Received: 3 April 2007     

Generic polynomials are descent-generic

Let be a generic polynomial for a group G in the sense that every Galois extension N/L of infinite fields with group G and K≤L is given by a specialization of g(X). We prove that then also every Galois extension whose group is a subgroup of G is given in this way. Received: 15 January 2001     

The simple -module associated to the intersection homology complex for a class of plane curves

Let X be an irreducible plane algebraic curve over an algebraically closed field k of characteristic zero. Suppose that X is analytically irreducible at all points. Let be the ring of differential operators on . This paper gives a direct algebraic proof that is a simple -module. This may also be proved via the Reimann-Hilbert correspondence.     

Galois modular representation of associated Jacobians in the tamely ramified cyclic case

Let L/K be an ℓ-cyclic extension with Galois group G of algebraic function fields over an algebraically closed field k of characteristic p ≠  ℓ. In this paper, the -module structure of the ℓ-torsion of the Jacobian associated to L is explicitly determined.     

Ideals of identities of representations of nilpotent lie algebras

Let L be a Lie algebra, nilpotent of class 2, over an infinite field K, and suppose that the centre C of L is one dimensional; such Lie algebras are called Heisenberg algebras. Let ρ:L→hom _KV be a finite dimensional representation of the Heisenberg algebra L such that ρ(C) contains non-singular linear transformations of V, and denote l(ρ) the ideal of identities for the representation ρ. We prove that the ideals of identities of representations containing I(ρ) and generated by multilinear polynomials satisfy the ACC. Let sl ₂(L) be the Lie algebra of the traceless 2×2 matrices over K, and suppose the characteristic of K equals 2. As a corollary we obtain that the ideals of identities of representations of Lie algebras containing that of the regular representation of sl ₂(K) and generated by multilinear polynomials, are finitely based. In addition we show that one cannot simply dispense with the condition of multilinearity. Namely, we show that the ACC is violated for the ideals of representations of Lie algebras (over an infinite field of characteristic 2) that contain the identities of the regular representation of sl ₂(K).     

Mild manifolds and a non-standard Riemann existence theorem

Let be an o-minimal expansion of a real closed field R, and K be the algebraic closure of R. In earlier papers we investigated the notions of -definable K-holomorphic maps, K-analytic manifolds and their K-analytic subsets. We call such a K-manifold mild if it eliminates quantifers after endowing it with all it K-analytic subsets. Examples are compact complex manifolds and non-singular algebraic curves over K. We examine here basic properties of mild manifolds and prove that when a mild manifold M is strongly minimal and not locally modular then it is biholomorphic to a non-singular algebraic curve over K.      

Equivariant Tamagawa Numbers and Galois Module Theory I

Let L/K be a finite Galois extension of number fields. We use complexes arising from the étale cohomology of Z on open subschemes of Spec O _L to define a canonical element of the relative algebraic K-group K ₀Z[Gal(L/K)], R. We establish some basic properties of this element, and then use it to reinterpret and refine conjectures of Stark, of Chinburg and of Gruenberg, Ritter and Weiss. Our results precisely explain the connection between these conjectures and the seminal work of Bloch and Kato concerning Tamagawa numbers. This provides significant new insight into these important conjectures and also allows one to use powerful techniques from arithmetic algebraic geometry to obtain new evidence in their favour.     

PAC fields over finitely generated fields

We prove the following theorem for a finitely generated field K: Let M be a Galois extension of K which is not separably closed. Then M is not PAC over K. Research supported by the Minkowski Center for Geometry at Tel Aviv University, established by the Minerva Foundation. This work constitutes a part of the Ph.D. dissertation of L. Bary-Soroker done at Tel Aviv University under the supervision of Prof. Dan Haran.     

Enveloping algebras that are principal ideal rings

Let L be a restricted Lie algebra over a field of positive characteristic. We prove that the restricted enveloping algebra of L is a principal ideal ring if and only if L is an extension of a finite-dimensional torus by a cyclic restricted Lie algebra.     

Symmetric Elements,Hermitian Forms,and Cyclic Involutions

Let k be a field, K/k be a quadratic separable field extension, and 𝒜 a finite dimensional central simple algebra over K. If k is global or the field of fractions of a two-dimensional excellent henselian local domain with an algebraically closed residue field of characteristic zero and the degree of 𝒜 is odd, we prove that all K/k-involutions on 𝒜 are cyclic.     

A note on integral bases of unramified cyclic extensions of prime degree. II

Let p be a prime number and K a number field containing a primitive p-th root of unity. It is known that an unramified cyclic extension L/K of degree p has a power integral basis if it has a normal integral basis. We show that for all p, the converse is not true in general. Received: 18 July 2000 / Revised version: 18 October 2000     

*-Regular Leavitt path algebras of arbitrary graphs

If K is a field with involution and E an arbitrary graph, the involution from K naturally induces an involution of the Leavitt path algebra L _K (E). We show that the involution on L _K (E) is proper if the involution on K is positive-definite, even in the case when the graph E is not necessarily finite or row-finite. It has been shown that the Leavitt path algebra L _K (E) is regular if and only if E is acyclic. We give necessary and sufficient conditions for L _K (E) to be *-regular (i.e., regular with proper involution). This characterization of *-regularity of a Leavitt path algebra is given in terms of an algebraic property of K, not just a graph-theoretic property of E. This differs from the known characterizations of various other algebraic properties of a Leavitt path algebra in terms of graphtheoretic properties of E alone. As a corollary, we show that Handelman’s conjecture (stating that every *-regular ring is unit-regular) holds for Leavitt path algebras. Moreover, its generalized version for rings with local units also continues to hold for Leavitt path algebras over arbitrary graphs.     

A polynomial characterization of congruence classes

Let be a regular and permutable variety and . Let . We get an explicit list L of polynomials such that C is a congruence class of some iff C is closed under all terms of L. Moreover, if is a finite similarity type, L is finite. If also is finite, all polynomials of L can be considered to be unary. We get a formula for the estimation of card L. The problem of deciding whether C is a congruence class of a finite algebra is in NP but for it is in P. Received May 24, 1996; accepted in final form November 26, 1996.     

Finite-to-finite universal quasivarieties are Q-universal

Let K be a quasivariety of algebraic systems of finite type. K is said to be universal if the category G of all directed graphs is isomorphic to a full subcategory of K. If an embedding of G may be effected by a functor F:G K which assigns a finite algebraic system to each finite graph, then K is said to be finite-to-finite universal. K is said to be Q-universal if, for any quasivariety M of finite type, L(M) is a homomorphic image of a sublattice of L(K), where L(M) and L(K) are the lattices of quasivarieties contained in M and K, respectively.?We establish a connection between these two, apparently unrelated, notions by showing that if K is finite-to-finite universal, then K is Q-universal. Using this connection a number of quasivarieties are shown to be Q-universal. Received February 8, 2000; accepted in final form December 23, 2000.     

Span of a DL-algebra

Unless otherswise specified, all objects are defined over a field k of characteristic 0. Let K be a field. The unessentialness of an extension of the algebra Der K by means of a splittable semisimple Lie algebra is established. Let D _K be the category of differential Lie algebras (DL-algebras) (g;K). In this paper for an extension L/K the functor η:D _K → D _L , defining the tensor product L ? _K of vector spaces and the homomorphism of Lie algebras, is constructed. If the extension L/K is algebraic, then η is unique. The results will be required for strengthening the progress on Gelfand–Kirillov problem and weakened conjecture [1, 2].