Reflection equation, twist, and equivariant quantization

We prove that the reflection equation (RE) algebraL _R associated with a finite dimensional representation of a quasitriangular Hopf algebraH is twist-equivalent to the corresponding Faddeev-Reshetikhin-Takhtajan (FRT) algebra. We show thatL _R is a module algebra over the twisted tensor square and the double D( ). We define FRT- and RE-type algebras and apply them to the problem of equivariant quantization on Lie groups and matrix spaces. This research is partially supported by the Israel Academy of Sciences grant no. 8007/99-01.     

Hausdorff measures on Julia sets of subexpanding rational maps

Leth be the Hausdorff dimension of the Julia setJ(R) of a Misiurewicz’s rational mapR : (subexpanding case). We prove that theh-dimensional Hausdorff measure H _h onJ(R) is finite, positive and the onlyh-conformal measure forR : up to a multiplicative constant. Moreover, we show that there exists a uniqueR-invariant measure onJ(R) equivalent to H _h .     

Completion of restricted Lie algebras

We study pro-‘finite dimensional finite exponent’ completions of restricted Lie algebras over finite fields of characteristicp. These compact Hausdorff topological restricted Lie algebras, called pro- restricted Lie algebras, are the restricted Lie-theoretic analogues of pro-p groups. A structure theory for pro- restricted Lie algebras with finite rank is developed. In particular, the centre of such a Lie algebra is shown to be open. As an application we examinep-adic analytic pro-p groups in terms of their associated pro- restricted Lie algebras. Supported by NSERC of Canada.     

Exponential generating functions and complexity of Lie varieties

Suppose that % MathType!End!2!1! is a variety of Lie algebras, and letc _n( % MathType!End!2!1!) be the dimension of the linear span of all multilinear words onn distinct letters in the free algebraF( % MathType!End!2!1!,X) of the variety % MathType!End!2!1!. We consider an exponential generating function % MathType!End!2!1!, called the complexity function. The complexity function is an entire function of a complex variable provided the variety of Lie algebras is nontrivial. In this paper we introduce the notion of complexity for Lie varieties in terms of the growth of complexity functions; also we describe what the complexity means for the codimension growth of the variety. Our main goal is to specify the complexity of a product of two Lie varieties in terms of the complexities of multiplicands. The main observation here is thatC( % MathType!End!2!1!),z) behaves like a composition of three functionsC( % MathType!End!2!1!),z), exp(z), andC( % MathType!End!2!1!),z). Partially supported by grant RFFI 96-01-00146; the author is grateful to the University of Bielefeld for hospitality, where he was DAAD-fellow.     

Pseudo algebraically closed fields over rings

We prove that for almost allσ ∈G ℚ the field has the following property: For each absolutely irreducible affine varietyV of dimensionr and each dominating separable rational mapϕ:V→ there exists a point a ∈ such thatϕ(a) ∈ ℤ^r. We then say that is PAC over ℤ. This is a stronger property then being PAC. Indeed we show that beside the fields other fields which are algebraic over ℤ and are known in the literature to be PAC are not PAC over ℤ.     

The conformal radius as a function and its gradient image

Let Ω be a domain in with three or more boundary points in andR(w, Ω) the conformal, resp. hyperbolic radius of Ω at the pointw ε Ω/{∞}. We give a unified proof and some generalizations of a number of known theorems that are concerned with the geometry of the surface in the case that the Jacobian of ∇R(w, Ω), the gradient ofR, is nonegative on Ω. We discuss the function ∇R(w, Ω) in some detail, since it plays a central role in our considerations. In particular, we prove that ∇R(w, Ω) is a diffeomorphism of Ω for four different types of domains. This work was supported by a grant of the Deutsche Forschungsgemeinschaft for F. G. Avkhadiev.     

A strong law of large numbers for nonexpansive vector-valued stochastic processes

A mapT: X→X on a normed linear space is callednonexpansive if ‖Tx-Ty‖≤‖x-y‖∀x, y∈X. Let (Ω, Σ,P) be a probability space, an increasing chain of σ-fields spanning Σ,X a Banach space, andT: X→X. A sequence (x_n) of strongly -measurable and stronglyP-integrable functions on Ω taking on values inX is called aT-martingale if . LetT: H→H be a nonexpansive mapping on a Hilbert spaceH and let (x_n) be aT-martingale taking on values inH. If then x _n /n converges a.e. LetT: X→X be a nonexpansive mapping on ap-uniformly smooth Banach spaceX, 1<p≤2, and let (x_n) be aT-martingale (taking on values inX). If then there exists a continuous linear functionalf∈X ^* of norm 1 such that If, in addition, the spaceX is strictly convex, x _n /n converges weakly; and if the norm ofX ^* is Fréchet differentiable (away from zero), x _n /n converges strongly. This work was supported by National Science Foundation Grant MCS-82-02093     

On the maximal dimension of a completely entangled subspace for finite level quantum systems

LetH _ibe a finite dimensional complex Hilbert space of dimensiond _i associated with a finite level quantum system A_i for i = 1, 2, ...,k. A subspaceS ⊂ is said to becompletely entangled if it has no non-zero product vector of the formu ₁⊗u ₂ ⊗ ... ⊗u _k with u_i inH _i for each i. Using the methods of elementary linear algebra and the intersection theorem for projective varieties in basic algebraic geometry we prove that

Some properties of the absolute galois group of a hilbertian field

LetK be a hilbertian field,G(K) its absolute Galois group. IfK is countable, then for a.a. inG(K) ^e , and there is no intermediate field with . Let ∈G(K) ^e . Then for a.a. in .     

A class of multipliers for $$\mathcal{W}^ \bot $$

Let denote the class of ergodic probability preserving transformations which are disjoint from every weakly mixing system. Let be the class of multipliers for , i.e. ergodic transformations whose all ergodic joinings with any element of are also in . Fix an ergodic rotationT, a mildly mixing actionS of a locally compact second countable groupG and an ergodic cocycle ϕ forT with values inG. The main result of the paper is a sufficient (and also necessary by [LeP] whenG is countable Abelian andS is Bernoullian) condition for the skew product build fromT, ϕ andS to be an element of . Moreover, the self-joinings of such extensions ofT are described with an application to study semisimple extensions of rotations. Dedicated to Hillel Furstenberg on the occasion of his retirement The first-named author was supported in part by CRDF, grant UM1-2546-KH-03. The second-named author was supported in part by KBN grant 1P03A 03826.     

The closure diagram for nilpotent orbits of the split real form of E8

Let and be adjoint nilpotent orbits in a real semisimple Lie algebra. Write ≥ if is contained in the closure of . This defines a partial order on the set of such orbits, known as the closure ordering. We determine this order for the split real form of the simple complex Lie algebra, E ₈. The proof is based on the fact that the Kostant-Sekiguchi correspondence preserves the closure ordering. We also present a comprehensive list of simple representatives of these orbits, and list the irreeducible components of the boundaries and of the intersections .     

Blaschke-decomposable convex bodies

For a given centred convex bodyK of ℝ,n≥3, let be the class of all convex bodies with the same projection body asK. The question whetherK can be expressed as a Blaschke average of two non-homothetic bodies from is considered. Necessary and sufficient conditions onK to be Blaschke decomposable in are given. The paper provides also a characterization of the bodiesK such that the Blaschke indecomposable bodies in are dense in itself.     

Almost orthogonal submatrices of an orthogonal matrix

Lett≥1 and letn, M be natural numbers,n<M. Leta=(a _i,j ) be ann xM matrix whose rows are orthonormal. Suppose that the ℓ₂-norms of the columns ofA are uniformly bounded. Namely, for allj Using majorizing measure estimates we prove that for every ε>0 there exists, a setI ⊃ {1,…,M} of cardinality at most such that the matrix , whereA _I =(a _i,j ) _j∈I , acts as a (1+ε)-isomorphism from ℓ ₂ ⁿ into . Research supported in part by a grant of the US-Israel BSF. Part of this research was performed when the author held a postdoctoral position at MSRI. Research at MSRI was supported in part by NSF grant DMS-9022140.     

Baer cotorsion Pairs

LetR be a unital associative ring and two classes of leftR-modules. In [St3] the notion of a ( ) pair was introduced. In analogy to classical cotorsion pairs, a pair (V,W) of subclasses is called a ( ) pair if it is maximal with respect to the classes and the condition Ext _R ¹ (V, W)=0 for all . In this paper we study pairs whereR = ℤ and is the class of all torsion-free abelian groups andT is the class of all torsion abelian groups. A complete characterization is obtained assumingV=L. For example, it is shown that every pair is singly cognerated underV=L. The author was supported by a DFG grant.     

Finite rank operators in Jacobson radical \mathcal{R}_{\mathcal{N} \otimes \mathcal{M}}

In this paper we investigate finite rank operators in the Jacobson radical of Alg( ), where are nests. Based on the concrete characterizations of rank one operators in Alg( ) and , we obtain that each finite rank operator in can be written as a finite sum of rank one operators in and the weak closure of equals Alg( ) if and only if at least one of is continuous.     

The Boggess-Polking extension theorem for<Emphasis Type="Italic">CR</Emphasis> functions on manifolds with corners

We give the “boundary version” of the Boggess-PolkingCR extension theorem. LetM andN be real generic submanifolds of ℂ ⁿ withN ⊂M and letV be a “wedge” inM with “edge”N and “profile” Σ ⊂T _NM in a neighborhood of a pointz _o.We identify in natural manner and assume that for a holomorphic vector fieldL tangent toM and verifying we have that the Levi form takes a value . Then we prove thatCR functions onV extend ∀_ω to a wedgeV ₁ “attached” toV in direction of a vector fieldiV such that |pr(iV(z ₀))−iv ₀| < ε (where pr is the projection pr:T _NX →T _MX | _N ).We then prove that when the Levi cone “relative to Σ”iZ _Σ = convex hull is open inT _MX, thenCR functions extend to a “full” wedge with edgeN (that is, with a profile which is an open cone ofT _NX). Finally, we prove that iff is defined in a couple of wedges ±V with profiles ±Σ such thatiZ _Σ =T _MX, and is continuous up toN, thenf is in fact holomorphic atz _o.     

Cofinality of normal ideals on<Emphasis Type="Italic">P</Emphasis><Subscript>κ</Subscript>(λ) II

For an idealJ on an infinite setX with add(J)=κ, let be the smallest size of any subfamilyY ofJ with the property that any member ofJ can be covered by less than κ members ofY. We study the value of forA in , where denotes the smallest [δ]^<θ ideal onP _κ(λ). We also discuss the problem of whether there exists a setA such that , or even . Some of the material in this paper originally appeared as part of the author's doctoral dissertation completed at the Université de Caen, 1998. Partially supported by the Israel Science Foundation. Publication 813.     

The Beckman-Quarles theorem for mappings from ℝ2 to $${\mathbb{F}}^2 $$ , where F is a subfield of a commutative field extending ℝ, where F is a subfield of a commutative field extending ℝ

Let F be a subfield of a commutative field extending ℝ. Let We say thatf : preserves distanced ≥ 0 if for eachx,y ∈ ℝ ∣x- y∣= d implies ϕ₂(f(x),f(y)) = d² . We prove that each unit-distance preserving mappingf : has a formI o (ρ,ρ), where is a field homomorphism and is an affine mapping with orthogonal linear part.