A Multiplicative Property of Quantum Flag Minors II

Let U⁺ be the plus part of the quantized enveloping algebraof a simple Lie algebra of type A_n and let B^* be the dual canonicalbasis of U⁺. Let b, b' be in B^*, and suppose that one of thetwo elements is a q-commuting product of quantum flag minors.It is shown that b and b' are multiplicative if and only ifthey q-commute.     

The Decomposition of Lie Powers

Let G be a group, F a field of prime characteristic p and Va finite-dimensional FG-module. Let L(V) denote the free Liealgebra on V regarded as an FG-submodule of the free associativealgebra (or tensor algebra) T(V). For each positive integerr, let L^r (V) and T^r (V) be the rth homogeneous components ofL(V) and T(V), respectively. Here L^r (V) is called the rth Liepower of V. Our main result is that there are submodules B₁,B₂, ... of L(V) such that, for all r, B_r is a direct summandof T^r(V) and, whenever m 0 and k is not divisible by p, themodule is the direct sum of , . Thus every Lie power is a direct sum of Lie powers of p-powerdegree. The approach builds on an analysis of T^r (V) as a bimodulefor G and the Solomon descent algebra. 2000 Mathematics SubjectClassification 17B01 (primary), 20C07, 20C20 (secondary).     

Two Diophantine Birds with One Stone

Integer Solutions are found to the equations t²–3(a²,b², (a + b)², (a–b)²) = p², q², r², s². These lead surprisinglyto solutions to the equations u² + (c², d², (c + d)², (c –d)²) = p², q², v², w², with the same values of p and q.     

Representing Dehn Twists with Branched Coverings

We show that any homologically nontrivial Dehn twist of a compactsurface F with boundary is the lifting of a half-twist in thebraid group , with respectto a suitable branched covering p : F B². In particular, weallow the surface to have disconnected boundary. As a consequence,any allowable Lefschetz fibration on B² is a branched coveringof B² x B².     

On Certain Exponential Sums and the Distribution of Diffie-Hellman Triples

Let g be a primitive root modulo a prime p. It is proved thatthe triples (g^x, g^y, g^xy), x, y = 1, ..., p–1, are uniformlydistributed modulo p in the sense of H. Weyl. This result isbased on the following upper bound for double exponential sums.Let >0 be fixed. Then uniformly for any integers a, b, c with gcd(a, b, c, p) = 1.Incomplete sums are estimated as well. The question is motivated by the assumption, often made in cryptography,that the triples (g^x, g^y, g^xy) cannot be distinguished fromtotally random triples in feasible computation time. The resultsimply that this is in any case true for a constant fractionof the most significant bits, and for a constant fraction ofthe least significant bits.     

Beardon's Diophantine Equations and Non-Free Mobius Groups

Let µ be a real number. The Möbius group G_µis the matrix group generated by It is known that G_µ is free if |µ| 2 (see [1])or if µ is transcendental (see [3, 8]). Moreover, thereis a set of irrational algebraic numbers µ which is densein (–2, 2) and for which G_µ is non-free [2, p. 528].We may assume that µ > 0, and in this paper we considerrational µ in (0, 2). The following problem is difficult. Let G^nf denote the set of all rational numbers µ in (0,2) for which G_µ is non-free. In 1969 Lyndon and Ullman[8] proved that G^nf contains the elements of the forms p/(p²+ 1) and 1/(p + 1), where p = 1, 2, ..., and that if µ₀ G^nf, then µ₀/p G^nf for p = 1, 2, .... In 1993 Beardon[2] studied problem (P) by means of the words of the form A^rB^s A^t and A^r B^s A^t B^u A^v, and he obtained a sufficient conditionfor solvability of (P), included implicitly in [2, pp. 530–531],by means of the following Diophantine equations: 1991 Mathematics SubjectClassification 20E05, 20H20, 11D09.     

On Sylow Subgraphs of Vertex-Transitive Self-Complementary Graphs

One of the basic facts of group theory is that each finite groupcontains a Sylow p-subgroup for each prime p which divides theorder of the group. In this note we show that each vertex-transitiveself- complementary graph has an analogous property. As a consequenceof this fact, we obtain that each prime divisor p of the orderof a vertex-transitive self-complementary graph satisfies thecongruence p^m 1(mod 4), where p^m is the highest power of pwhich divides the order of the graph. 1991 Mathematics SubjectClassification 05C25, 20B25.     

On Storer Difference Sets

Let p, q be distinct odd primes, and let a, b be positive integers.In this paper we prove that if S(p^a, q^b) is a Storer differenceset with the parameters = p^aq^b, k = (–1)/4 and =(–5)/16,then we have a = b = 1, and , where , and r is a positiveinteger. 1991 Mathematics Subject Classification 05B10.     

Some Remarks on p-Adic Analytic Groups

A theorem of Maranda [1, Section 30] states that if F is a finitegroup, p is a prime and p^e exactly divides |F|, then a Z_pF-latticeM is determined up to isomorphism by its finite quotient M/p^e+1M.If M is a free Z_p-module of rank d, this is equivalent to sayingthat representations of F in GL_d(Z_p) are determined up to equivalenceby their images modulo p^e+1. 1991 Mathematics Subject Classification20E18, 22E20.     

Witt groups and unipotent elements in algebraic groups

Let G be a semisimple algebraic group defined over an algebraicallyclosed field K of good characteristic p>0. Let u be a unipotentelement of G of order p^t, for some t N. In this paper it isshown that u lies in a closed subgroup of G isomorphic to theit Witt group W^t(K), which is a t-dimensional connected abelianunipotent algebraic group. 2000 Mathematics Subject Classification:20G15.     

Homological Properties of Modules Over Group Algebras

Let G be a locally compact group, and let L¹ (G) be the Banachalgebra which is the group algebra of G. We consider a varietyof Banach left L¹ (G)-modules over L¹ (G), and seek to determineconditions on G that determine when these modules are eitherprojective or injective or flat in the category. The answerstypically involve G being compact or discrete or amenable. Forexample, in the case where G is discrete and 1 < p < ,we find that the module ^p (G) is injective whenever G is amenable,and that, if it is amenable, then G is ‘pseudo-amenable’,a property very close to that of amenability. 2000 MathematicsSubject Classification 46H25, 43A20.     

An Optimal Representation Formula for Carnot-Caratheodory Vector Fields

The simplest example of the sort of representation formula thatwe shall study is the following familiar inequality for a smooth,real-valued function f(x) defined on a ball B in N-dimensionalEuclidean space R^N: [formula] where f denotes the gradient of f, f_B is the average |B|^–1_Bf(y)dy, |B| is the Lebesgue measure of B, and C is a constantwhich is independent of f, x and B. This formula can be found,for example, in [4] and [12]; see also the closely related estimatesin [20, pp. 228{231]. Indeed, such a formula holds in any boundedconvex domain. 1991 Mathematics Subject Classification 31B10,46E35, 35A22.     

The Uniqueness of the Prime Markoff Numbers

Given the Diophantine equation a²+b²+c²=3abc, a solution tripleof natural numbers (a, b, c) can be arranged in ascending orderso that abc. Then, given the largest element c, one can askwhether this uniquely determines the triple. This is referredto as the Markoff conjecture. The paper proves that, if c isprime, then there is indeed only one triple that solves theequation with c as the largest element. The proof uses onlystandard algebraic number theory, but it was prompted by geometricconsiderations.     

Invariant Subspaces of Bergman Spaces on Slit Domains

In this paper, we characterize the z-invariant subspaces thatlie between the Bergman spaces A^p(G) and A^p(G\K), where 1 <p < , G is a bounded region in C, and K is a closed subsetof a simple compact C¹ arc.     

A Characterization of Fredholm Pseudo-Differential Operators

We give a necessary and sufficient condition on an ellipticsymbol of order m to ensure that the unique closed extensionin L^p(Rⁿ) for 1 < p < , of the pseudo-differential operatorT, initially defined on the Schwartz space, is a Fredholm operatorfrom L^p(Rⁿ) into L^p(Rⁿ) with domain H^{m, p}, where H^{m, p} is theL^p Sobolev space of order m.     

Boundary Accessibility of a Domain Quasiconformally Equivalent to a Ball

A boundary point of a domain D in Rⁿ is said to be broadly accessibleif it ‘almost lies’ on the boundary of a round ballcontained in D. If f is a quasiconformal mapping of the unitball Bⁿ onto D, then it is shown that broadly accessible boundarypoints on D correspond under f to a set of full measure on Bⁿ.2000 Mathematics Subject Classification 30C65.     

Weil Representations of Symplectic Groups Over Rings

We are interested in Weil representations of Sp(2n, R), whereR is the ring Z/p^lZ, p is an odd prime and l is a positive integer,or, more generally, R = O/p^l, where O is the ring of integersof a local field, p is the maximal ideal of O and O/p has oddcharacteristic. One reason for this interest is that a continuousfinite-dimensional complex representation of Sp(2n, O) has tofactor through a representation of Sp(2n, O/p^l) for some l.     

ELEMENTS WITH THE SAME NORMAL CLOSURE IN A METABELIAN GROUP

It is known that in a free group, two elements a, b have thesame normal closure if and only if the images of these elementshave the same order in every finite quotient of the free group(Klyachko, 1999) or if and only if a is conjugate to b or b^–1(Magnus, 1931). Here, we prove that the result of Klyachko remainstrue in a finitely generated soluble group of derived lengthd 2. An example shows that the property fails when d = 3. Also,we give a counterpart of Magnus's result in the context of metabeliannilpotent group.     

Norm Estimates for Commutators of Operators

Given two self-adjoint Hilbert space operators A, B, and a continuousfunction f, we prove several inequalities of the form ||f(A)X–Xf(B)||C(f)||AX–XB|| involving the L_p-norm of the derivative f' and the Besov B^r_,1-normof f.     

Cyclic group actions on polynomial rings

We consider a cyclic group of order pⁿ, acting on a module incharacteristic p, and show how to reduce the calculation ofthe symmetric algebra to that of the exterior algebra.