Finiteness conditions in Krull subrings of a ring of polynomials

LetR be a Krull subring of a ring of polynomialsk[x ₁, …, x_n] over a fieldk. We prove that ifR is generated by monomials overk thenr is affine. We also construct an example of a non-affine Krull ringR, such thatk[x, xy]⊂R⊂k[x, y], and a non-Noetherian Krull ringS, such thatk[x, xy, z]⊂S⊂k[x, y, z].     

Covers of varieties with completely split points

LetK be a field such that all Sylow subgroups of its absolute Galois groupG _Kare infinite. LetX be a smooth variety overK with function fieldF andY→X the normalisation in a finite, separable extensionE/vbF. We show: If there is a closed pointx∈X which does not split completely inY→X, then the set of these points is Zariski dense inX.     

Every finitely generated regular field extension has a stable transcendence base

A fieldK is called stable if every finitely generaed regular field extensionF/K has a transcendence basex ₁, …,x _n with the following properties: The field extensionF/K(x ₁,…,x _n ) is separable and the Galois hull ofF/K(x ₁,…,x _n ) remains regular overK, i.e.K is algebraically closed in . We prove in this paper thatevery field is stable. This generalizes results from [FJ1] and [GJ] which prove that fields of characteristic 0 and infinite perfect fields are stable, respectively. [G] showed that finite fields are stable in dimension 1, i.e. every finitely generated regular field extension of transcendence degree 1 over a finite field has a stable transcendence base. In the last section of this paper we apply the theorem to the construction of PAC fields with additional properties. A fieldK is called PAC if every absolutely irreducible variety overK has at least oneK-rational point.     

Test for properness using residue calculus

We will consider global problems in the ringK[X ₁, …,X _n] on the polynomials with coefficients in a subfieldK ofC. LetP=(P ₁, …,P _n):K ⁿ →K ⁿ be a polynomial map such that (P ₁,…,P _n) is a quasi-regular sequence generating a proper ideal, the main thing we do is to use the algebraic residues theory (as described in [5]) as a computational tool to give some result to test when a map (P ₁, …,P _n) is a proper map by computing a finite number of residue symbols.     

A criterion for regular sequences

LetR be a commutative noetherian ring and ƒ₁, …, ƒ_r ∃ R. In this article we give (cf. the Theorem in §2) a criterion for ƒ₁, …, ƒ_r to be regular sequence for a finitely generated module overR which strengthens and generalises a result in [2]. As an immediate consequence we deduce that if V(g ₁, …,g _r ) ⊆ V(ƒ₁, …, ƒ_r) in SpecR and if ƒ₁, …, ƒ_r is a regular sequence inR, theng ₁, …,g _r is also a regular sequence inR.     

Polynomials over division rings

LetD be a division ring with a centerC, andD[X ₁, …,X _N] the ring of polynomials inN commutative indeterminates overD. The maximum numberN for which this ring of polynomials is primitive is equal to the maximal transcendence degree overC of the commutative subfields of the matrix ringsM _n(D),n=1, 2, …. The ring of fractions of the Weyl algebras are examples where this numberN is finite. A tool in the proof is a non-commutative version of one of the forms of the “Nullstellensatz”, namely, simpleD[X ₁, …,X _m]-modules are finite-dimensionalD-spaces. This paper was written while the authors were Fellows of the Institute for Advanced Studies, The Hebrew University of Jerusalem, Mount Scopus, Jerusalem, Israel.     

A criterion for the primeness of ideals generated by polynomials with separated variables

Proving primeness of an idealI=〈f ₁, …,f _m〉 in a polynomial ringR=K[X ₁, …,X _n]ofn indeterminates over an algebraically closed fieldK is a difficult task in general. Although there are straightforward algorithms that decide whetherI is prime or not, they are prohibitively lengthy if the number of indeterminates or the degrees of thef _iare large. In this paper we will give an easy criterion for the primeness ofI if thef _iare polynomials with separated variables, i.e. no mixed monomials occur in thef _i. The work on this paper was done while the author was a MINERVA fellow at Tel Aviv University.     

On alternating and symmetric groups as Galois groups

Fix an integern≧3. We show that the alternating groupA _n appears as Galois group over any Hilbertian field of characteristic different from 2. In characteristic 2, we prove the same whenn is odd. We show that any quadratic extension of Hilbertian fields of characteristic different from 2 can be embedded in anS _n-extension (i.e. a Galois extension with the symmetric groupS _n as Galois group). Forn≠6, it will follow thatA _n has the so-called GAR-property over any field of characteristic different from 2. Finally, we show that any polynomialf=X ⁿ+…+a₁X+a₀ with coefficients in a Hilbertian fieldK whose characteristic doesn’t dividen(n-1) can be changed into anS _n-polynomialf ^* (i.e the Galois group off ^* overK Gal(f ^*, K), isS _n) by a suitable replacement of the last two coefficienta ₀ anda ₁. These results are all shown using the Newton polygon. The author acknowledges the financial support provided through the European Community’s Human Potential Programme under contract HPRN-CT-2000-00114, GTEM.     

The decomposition numbers of the hecke algebra of typeF 4

LetW be the finite Coxeter group of typeF ₄, andH _r (q) be the associated Hecke algebra, with parameter a prime powerq, defined over a valuation ringR in a large enough extension field ofQ, with residue class field of characteristicr. In this paper, ther-modular decomposition numbers ofH _R (q) are determined for allq andr such thatr does not divideq. The methods of the proofs involve the study of the generic Hecke algebra of typeF ₄ over the ringA = ℤ[u ^1/2,u ^-1/2] of Laurent polynomials in an indeterminateu ^1/2 and its specializations onto the ring of integers in various cyclotomic number fields. Substancial use of computers and computer program systems (GAP, MAPLE, Meat-Axe) has been made.     

The zeta function of a simplicial complex

Given a simplicial complex δ on vertices {1, …,n} and a fieldF we consider the subvariety of projective (n−1)-space overF consisting of points whose homogeneous coordinates have support in δ. We give a simple rational expression for the zeta function of this singular projective variety overF _q and show a close connection with the Betti numbers of the corresponding variety over ℂ. This connection is particularly simple in the case when Δ is Cohen-Macaulay.     

Alcuni risultati sugli ideali massimali di anelli di polinomi

Riassunto In questo lavoro viene studiata la cardinalità minima dei sistemi di generatori di ideali massimaliM dell'anello di polinomiR[X ₁, …,X _n] (R dominio d'integrità) tali cheM⊃R=0. In particolare è dimostrato che sen≥2 edR è unS-dominio di dimensione 1, ogni siffatto ideale massimale può essere generato dan elementi.

---

Summary This paper is concerned with estimates of the minimal number of generators for maximal idealsM in the polynomial ringR[X ₁, …,X _n] (R an integral domain) such thatM⊃R=0. In particular it is proved that ifn≥2 andR is a 1-dimensionalS-domain, every such maximal ideal can be generated byn elements.

---

---

Lavoro eseguito nell'ambito dell'attività del G.N.S.A.G.A. del C.N.R.     

Cryptosystems based on semi-distributive algebras

We propose a new cryptographic scheme of ElGamal type. The scheme is based on algebraic systems defined in the paper—semialgebras (Sect. 2). The main examples are semialgebras of polynomial mappings over a finite field K, and their factor-semialgebras. Given such a semialgebra R, one chooses an invertible element a ∈ R ^* of finite order r, and a random integer s. One chooses also a finite dimensional K-submodule V of R. The 4-tuple (R, V, a, b) where b = a ^s forms the public key for the cryptosystem, while r and s form the secret key. A plain text can be viewed as a sequence of elements of the field K. That sequence is divided into blocks of length dim(V) which, in turn, correspond to uniquely determined elements X _i of V. We propose three different methods (A, B, and C, see Definition 1.1) of encoding/decoding the sequence of X _i . The complexity of cracking the proposed cryptosystem is based on the Discrete Logarithm Problem for polynomial mappings (see Sect. 1.1). No methods of cracking the problem, except for the “brute force” (see Sect. 1.1) with Ω(r) time, are known so far.      

Reducing system of parameters and the Cohen-Macaulay property

Let R be a local ring and let (x ₁, …, x _r) be part of a system of parameters of a finitely generated R-module M, where r < dim_R M. We will show that if (y ₁, …, y _r) is part of a reducing system of parameters of M with (y ₁, …, y _r) M = (x ₁, …, x _r) M then (x ₁, …, x _r) is already reducing. Moreover, there is such a part of a reducing system of parameters of M iff for all primes P ε Supp M ∩ V _R(x ₁, …, x _r) with dim_R R/P = dim_R M − r the localization M _P of M at P is an r-dimensional Cohen-Macaulay module over R _P. Furthermore, we will show that M is a Cohen-Macaulay module iff y _d is a non zero divisor on M/(y ₁, …, y _d−1) M, where (y ₁, …, y _d) is a reducing system of parameters of M (d:= dim_R M).     

On Tate-Shafarevich groups over galois extensions

LetA be an abelian variety defined over a number fieldK. LetL be a finite Galois extension ofK with Galois groupG and let III(A/K) and III(A/L) denote, respectively, the Tate-Shafarevich groups ofA overK and ofA overL. Assuming these groups are finite, we compute [III(A/L) ^G ]/[III(A/K)] and [III(A/K)]/[N(III(A/L))], where [X] is the order of a finite abelian groupX. Especially, whenL is a quadratic extension ofK, we derive a simple formula relating [III(A/L)], [III(A/K)], and [III(A ^x/K)] whereA x is the twist ofA by the non-trivial characterχ ofG.     

On the Galois module structure over CM-fields

In this paper we make a contribution to the problem of the existence of a normal integral basis. Our main result is that unramified realizations of a given finite abelian group Δ as a Galois group Gal (N/K) of an extensionN of a givenCM-fieldK are invariant under the involution on the set of all realizations of Δ overK which is induced by complex conjugation onK and by inversion on Δ. We give various implications of this result. For example, we show that the tame realizations of a finite abelian group Δ of odd order over a totally real number fieldK are completely characterized by ramification and Galois module structure.     

Commutator equations in free groups

Letf ₁, …,f _n be free generators of a free groupF. We consider the equation [z ₁, …,z _n]_ω. where ω and ω′ indicate the disposition of brackets in the higher commutators [z ₁, …,z _n]_ω and [f ₁, …,f _n]_ω. We give a necessary and sufficient condition on ω and ω′ for the existence of solutions of this equation. It is also shown that for any solutionz ₁=r₁, …,z _z=r _n we have <r ₁, …,r _n>=〈f ₁, …f _n〉.     

Random matrix products and applications to cellular automata

Let λ be the upper Lyapunov exponent corresponding to a product of i.i.d. randomm×m matrices (X _i) _i ^0/∞ over ℂ. Assume that theX _i's are chosen from a finite set {D ₀,D ₁...,D _t-1(ℂ), withP(X _i=D_j)>0, and that the monoid generated byD ₀, D₁,…, D_q−1 contains a matrix of rank 1. We obtain an explicit formula for λ as a sum of a convergent series. We also consider the case where theX _i's are chosen according to a Markov process and thus generalize a result of Lima and Rahibe [22]. Our results on λ enable us to provide an approximation for the numberN _≠0(F(x)ⁿ,r) of nonzero coefficients inF(x) ⁿ.(modr), whereF(x) ∈ ℤ[x] andr≥2. We prove the existence of and supply a formula for a constant α (<1) such thatN _≠0(F(x)ⁿ,r) ≈n ^α for “almost” everyn. Supported in part by FWF Project P16004-N05     

Q-admissibility of certain nonsolvable groups

A finite groupG is calledQ-admissible if there exists a finite dimensional central division algebra overQ, containing a maximal subfield which is a Galois extension ofQ with Galois group isomorphic toG. It is proved thatS ₅ ⁻ , one of the two nontrivial central extensions ofS ₅ byZ/2Z, isQ-admissible. As a consequence of that result and previous results of Sonn and Stern, every finite Sylow-metacyclic group, havingA ₅ as a composition factor, isQ-admissible. This paper is part of a M.Sc. thesis written at the Technion — Israel Institute of Technology, under the supervision of Professor J. Sonn, whom the author wishes to thank for his valuable guidance.     

On weakly null FDD'S in Banach spaces

In this paper we show that every sequence (F _n ) of finite dimensional subspaces of a real or complex Banach space with increasing dimensions can be “refined” to yield an F.D.D. (G _n ), still having increasing dimensions, so that either every bounded sequence (x _n ), withx _n ∈G _n forn∈ℕ, is weakly null, or every normalized sequence (x _n ),withx _n ∈G _n forn∈ℕ, is equivalent to the unit vector basis of ℓ₁. Crucial to the proof are two stabilization results concerning Lipschitz functions on finite dimensional normed spaces. These results also lead to other applications. We show, for example, that every infinite dimensional Banach spaceX contains an F.D.D. (F _n ),with lim _n→∞dim(F _n )=∞, so that all normalized sequences (x _n ),withx _n ∈F _n ,n∈∕, have the same spreading model overX. This spreading model must necessarily be 1-unconditional overX. Research partially supported by NSF DMS-8903197, DMS-9208482, and TARP 235. Research partially supported by NSF.