Galois groups and complete domains

Consider a domain that is complete with respect to a non-zero prime ideal. This paper proves two Galois-theoretic results about such rings. Using Grothendieck’s Existence Theorem we prove that every finite group occurs as the Galois group of a Galois extension of . This generalizes results of David Harbater who proved the result in the case where the ideal is maximal and the domain is normal. As a consequence, we deduce that if is a Noetherian domain that is complete with respect to a non-zero prime ideal, then every finite group occurs as a Galois group over . This proves the Noetherian case of a conjecture posed by Moshe Jarden.     

On groups of type Φ

We define a group G to be of type Φ if it has the property that for every -module G, proj. G < ∞ iff proj. H G < ∞ for every finite subgroup H of G. We conjecture that the type Φ is an algebraic characterization of those groups G which admit a finite dimensional model for , the classifying space for the family of the finite subgroups of G. We also conjecture that the type Φ is equivalent to spli being finite, where spli is the supremum of the projective lengths of the injective -modules. Here we prove certain parts of these conjectures. The project is cofounded by the European Social Fund and National Resources–EPEAK II–Pythagoras. Received: 21 June 2006     

On Galois isomorphisms between ideals in extensions of local fields

LetL/K be a totally ramified, finite abelian extension of local fields, let and be the valuation rings, and letG be the Galois group. We consider the powers of the maximal ideal of as modules over the group ring . We show that, ifG has orderp ^m (withp the residue field characteristic), ifG is not cyclic (or ifG has orderp), and if a certain mild hypothesis on the ramification ofL/K holds, then and are isomorphic iffr≡r′ modp ^m . We also give a generalisation of this result to certain extensions not ofp-power degree, and show that, in the casep=2, the hypotheses thatG is abelian and not cyclic can be removed.     

Almost-Commutativity in Rings

A subset X of the ring is called almost commutative if is finite for all . We study commutativity in rings in which certain infinite sets of zero divisors are almost commutative. This revised version was published online in June 2006 with corrections to the Cover Date.     

Generalized interval exchanges and the 2–3 conjecture

We introduce the notion of a generalized interval exchange induced by a measurable k-partition of [0,1). can be viewed as the corresponding restriction of a nondecreasing function on ℝ with . A is called λ-dense if λ(A _i ∩(a, b))>0 for each i and any 0≤ a< b≤1. We show that the 2–3 Furstenberg conjecture is invalid if and only if there are 2 and 3 λ-dense partitions A and B of [0,1), such that . We give necessary and sufficient conditions for this equality to hold. We show that for each integer m≥2, such that 3∤2m+1, there exist 2 and 3 non λ-dense partitions A and B of [0,1), corresponding to the interval exchanges on 2m intervals, for which and commute.     

On simple periodic linear groups— Dense subgroups,permutation representations,and induced modules

We determine the Zariski-dense subgroups of Chevalley groups and their twisted analogues over infinite algebraic extensions of finite fields. It turns out that these are essentially forms of the same group (possibly becoming twisted) over smaller infinite fields. It follows from our classification that if is a simple algebraic group over the algebraic closure of a finite field, then a dense subgroup of can never be maximal, and so the maximal subgroups of are necessarily closed. It follows that Seitz’s determination of the closed maximal subgroups of actually gives all the maximal subgroups. It also enables us to prove that ifG is a simple Chevalley group or twisted type over an infinite algebraic extension of a finite field, then in every non-trivial permutation representation ofG, every finite subgroup has a regular orbit. It follows that every non-trivial permutation module forG over a fieldk iskG-faithful. This is relevant to a programme of studying ideals in group rings of simple locally finite groups. To John Thompson in recognition of his many outstanding contributions to group theory     

Graded monads and rings of polynomials

Models for free graded monads over the category of sets are constructed. Certain rings of generalized noncommutative polynomials, generated by an operation of arbitrary arity, are implemented as subrings of classical rings of noncommutative polynomials. It is shown that natural homomorphisms from rings of generalized polynomials to rings of the usual commutative polynomials are not inclusions as a rule. For instance, the natural homomorphism , where t is a binary variable, is not an inclusion even if t is subject to the alternating condition. Bibliography: 2 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 349, 2007, pp. 174–210.     

Three-dimensional sets with small sumset

We describe the structure of three dimensional sets of lattice points, having a small doubling property. Let be a finite subset of ℤ³ such that dim = 3. If and , then lies on three parallel lines. Moreover, for every three dimensional finite set that lies on three parallel lines, if , then is contained in three arithmetic progressions with the same common difference, having together no more than terms. These best possible results confirm a recent conjecture of Freiman and cannot be sharpened by reducing the quantity υ or by increasing the upper bounds for .     

On De Jong’s conjecture

Let X be a smooth projective curve over a finite field F _q . Let ρ be a continuous representation π(X) → GL _n (F), where F = F _l ((t)) with F _l being another finite field of order prime to q. Assume that is irreducible. De Jong’s conjecture says that in this case is finite. As was shown in the original paper of de Jong, this conjecture follows from an existence of an F-valued automorphic form corresponding to ρ is the sense of Langlands. The latter follows, in turn, from a version of the Geometric Langlands conjecture. In this paper we sketch a proof of the required version of the geometric conjecture, assuming that char(F) ≠ 2, thereby proving de Jong’s conjecture in this case.     

Hyperbolic unit groups and quaternion algebras

We classify the quadratic extensions and the finite groups G for which the group ring [G] of G over the ring of integers of K has the property that the group of units of augmentation 1 is hyperbolic. We also construct units in the ℤ-order of the quaternion algebra , when it is a division algebra.     

Existence and Stability of the log–log Blow-up Dynamics for the <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-Critical Nonlinear Schrödinger Equation in a Domain

Let be the L ²-critical nonlinear Schr?dinger equation, in a domain with initial data in (Dirichlet boundary condition) and . We prove existence and stability of finite time blow-up dynamics with the log-log blow-up speed Moreover, for a suitable class of finite time blow-up solutions, we derive global rigidity properties which turn out to be modeled after the ones. Submitted: October 14, 2005. Revised: October 26, 2006. Accepted: February 2, 2007.     

Some problems concerning centrally symmetric convex bodies

The conjecture that among convex bodies Q in Rⁿ, with a center of symmetry at the origin, for which , the value of is a maximum when Q is the layer between two hyperplanes, is proved for n=2 and n=3. Various approaches to the problem are discussed as well as related unsolved problems. Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akad. Nauk SSSR, Vol. 45, pp. 75–82, 1974.     

The Inverse Problem for Perturbed Harmonic Oscillator on the Half-Line with a Dirichlet Boundary Condition

We consider the perturbed harmonic oscillator in , where is a real-valued potential. We prove that the mapping spectral data = {eigenvalues of T _D } {norming constants} is one-to-one and onto. The complete characterization of the set of spectral data which corresponds to is given. Dedicated to Vladimir Buslaev on the occasion of his 70th birthday Submitted: September 27, 2006. Accepted: January 9, 2007.     

Normality concerning shared values

Let be a family of meromorphic functions in a plane domain D, and a and b be finite non-zero complex values such that . If for and , then is normal. We also construct a non-normal family of meromorphic functions in the unit disk Δ={|z|<1} such that for every and in Δ, where m is a given positive integer. This answers Problem 5.1 in the works of Gu, Pang and Fang. This work was supported by National Natural Science Foundation of China (Grant Nos. 10671093, 10871094) and the Natural Science Foundation of Universities of Jiangsu Province of China (Grant No. 08KJB110001), the Qing Lan Project of Jiangsu, China and the Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry     

Strong monotonicity of operator functions

LetA, B be bounded selfadjoint operators on a Hilbert space. We will give a formula to get the maximum subspace such that is invariant forA andB, and . We will use this to show strong monotonicity or strong convexity of operator functions. We will see that when 0≤A≤B, andB−A is of finite rank,A ^t ≤B ^t for somet>1 if and only if the null space ofB−A is invariant forA.     

Quasi-localizations of ℤ

Motivated by the categorical notion of localizations applied to the quasi-category of abelian groups, we call a homomorphism α: A → B a quasi-localization of abelian groups if for each ϕ ∈ Hom(A,B) there is an n ∈ ℕ and a unique ψ ∈ End(B) such that nϕ = ψ ∘ α. In this case we call B a quasi-localization of A. In this paper we investigate quasi-localizations of the integers ℤ. While it is well-known that localizations of ℤ are just the E-rings, quasi-localizations of ℤ are much more abundant; an injection α: ℤ → M with M torsion-free, is a quasi-localization if and only if, for R = End(M), one has . We call R the ring of the quasi-localization M. Some old results due to Zassenhaus and Butler show that all rings with free additive groups of finite rank are indeed rings of quasi-localizations of ℤ. We will extend this result and show that there are also rings of infinite rank with this property. While there are many realization results of rings R as endomorphism rings of torsion-free abelian groups M in the literature, the group M is usually not contained in the divisible hull of R ⁺, as is required here. We will use a particular case of a category of left R-modules M with a distinguished family of submodules and thus . We will restrict our discussion to the case M = R such that , and in this case we call the family of left ideals E-forcing, not to be confused with the notion of forcing in set theory. We will provide many examples of quasi-localizations M of ℤ, among them those of infinite rank as well as matrix rings for various rings of finite rank.     

On the Bar-radical of Jordan Baric Algebras

In this paper, we prove that if (U, w) is a finite dimensional Jordan baric algebra such that then, , where R(U) is the nilradical (maximal nil ideal) of U. We also give conditions so that and an example showing that such conditions are necessary. Received: May 2, 2005. Revised: October 22, 2006.     

Some Limit Theorems for a Particle System of Single Point Catalytic Branching Random Walks

We study the scaling limit for a catalytic branching particle system whose particles perform random walks on Z and can branch at 0 only. Varying the initial （finite） number of particles, we get for this system different limiting distributions. To be more specific, suppose that initially there are n^β particles and consider the scaled process Zt^n（·） = Znt（√n·）, where Zt is the measure-valued process 1 and to a representing the original particle system. We prove that Ztn converges to 0 when β 〈1/4 and to a nondegenerate discrete distribution when β=1/4.In addition,if 1/4〈β〈1/2 then n-^（2β-1/2）Zt^n converges to a random limit,while if β 〉21then n^-βZtn converges to a deterministic limit.     

RRF rings which are not LRF

Define a ringA to be RRF (respectively LRF) if every right (respectively left)A-module is residually finite. We determine the necessary and sufficient conditions for a formal triangular matrix ring to be RRF (respectively LRF). Using this we give examples of RRF rings which are not LRF.     

Boundedness of Marcinkiewicz integral related to multilinear commutators with variable kernels on Hardy spaces

Let→b=(b1,b2,…,bm),bi∈∧βi(Rn),1≤I≤m,βi＞0,m∑I=1βi=β,0＜β＜1,μΩ→b(f)(x)=(∫∞0|F→b,t(f)(x)|2dt/t3)1/2,F→b,t(f)(x)=∫|x-y|≤t Ω(x,x-y)/|x-y|n-1 mΠi=1[bi(x)-bi(y)dy.We consider the boundedness of μΩ,→b on Hardy type space Hp→b(Rn).