Local Rigidity of Infinite-Dimensional Teichmuller Spaces

This paper presents a rigidity theorem for infinite-dimensionalBergman spaces of hyperbolic Riemann surfaces, which statesthat the Bergman space A¹(M), for such a Riemann surface M,is isomorphic to the Banach space of summable sequence, l¹.This implies that whenever M and N are Riemann surfaces thatare not analytically finite, and in particular are not necessarilyhomeomorphic, then A¹(M) is isomorphic to A¹(N). It is knownfrom V. Markovic that if there is a linear isometry betweenA¹(M) and A¹(N), for two Riemann surfaces M and N of non-exceptionaltype, then this isometry is induced by a conformal mapping betweenM and N. As a corollary to this rigidity theorem presented here,taking the Banach duals of A¹(M) and l¹ shows that the spaceof holomorphic quadratic differentials on M, Q(M), is isomorphicto the Banach space of bounded sequences, l. As a consequenceof this theorem and the Bers embedding, the Teichmüllerspaces of such Riemann surfaces are locally bi-Lipschitz equivalent.     

Evaluation of Superharmonic Functions Using Limits Along Lines

If u is a superharmonic function on R², then [formula] for all (x, y) R². This follows from the fact that a line segmentin R² is non-thin at each of its constituent points. (See Doob[1, 1.XI] or Helms [7, Chapter 10] for an account of thin setsand the fine topology.) The situation is different in higherdimensions. For example, if u is the Newtonian potential onR³ defined by [formula] then [formula] Corollary 2 below will show that, nevertheless, for nearly everyvertical line L, the value of a superharmonic function at anypoint X of L is determined by its lower limit along L at X. Throughout this paper, we let n 3. A typical point of Rⁿ willbe denoted by X or (X', x), where X'R^n–1 and xR. Givenany function f:Rⁿ [–,+] and any point X, we define thevertical cluster set of f at X by [formula] and the fine cluster set of f at X by [formula] 1991 Mathematics Subject Classification 31B05.     

Right Cancellation in the LUC-Compactification of a Locally Compact Group

Write G^* = G^LUC\G where G^LUC is the largest semigroup compactificationof the locally compact group G. Then the set of points of G^*which are right cancellable in G^* = G^LUC is large; in fact ithas an interior in G^* which is dense in G^*. Corollaries aregiven about the number of left ideals in G^* = G^LUC and the sizeof right ideals in the algebra LUC(G)^*.     

On the Connectedness of Self-Affine Tiles

Let T be a self-affine tile in Rⁿ defined by an integral expandingmatrix A and a digit set D. The paper gives a necessary andsufficient condition for the connectedness of T. The conditioncan be checked algebraically via the characteristic polynomialof A. Through the use of this, it is shown that in R², for anyintegral expanding matrix A, there exists a digit set D suchthat the corresponding tile T is connected. This answers a questionof Bandt and Gelbrich. Some partial results for the higher-dimensionalcases are also given.     

A Note on a Maximal Function Over Arbitrary Sets of Directions

Let M_S be the universal maximal operator over unit vectors ofarbitrary directions. This operator is not bounded in L²(R²).We consider a sequence of operators over sets of finite equidistributeddirections converging to M_S. We provide a new proof of N. Katz'sbound for such operators. As a corollary, we deduce that M_Sis bounded from some subsets of L² to L². These subsets arecomposed of positive functions whose Fourier transforms havea logarithmic decay or which are supported on a disc. 1991 MathematicsSubject Classification 42B25.     

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.     

Strong Type Inequalities and an Almost-Orthogonality Principle for Families of Maximal Operators Along Directions in R2

The paper proves an almost-orthogonality principle for maximaloperators over arbitrary sets of directions in R². Namely, theL^p-bounds for an operator of this type are obtained from thecorresponding L^p-bounds of the maximal functions associatedto a certain partition of the set of directions, and from theparticular structure of this partition. Applications to severaltypes of maximal operators are provided.     

Spatial decay in a cross-diffusion problem

In this paper, the authors investigate the decay of end effectsfor a cross-diffusion problem defined on a semi-infinite cylindricalregion. With homogeneous Dirichlet or Neumann conditions prescribedon the lateral surface of the cylinder, it is shown that forfixed finite time and under certain restrictions on the coefficients,solutions decay point-wise as the distance d from the finiteend of the cylinder tends to infinity at least of order e^–kd2.Under less restrictive conditions, it is shown that solutionsdecay in L₂ at least as fast as e^–kd. In both cases, kis a computable function of time.     

On Closed Sets with Convex Projections

A shadow of a subset A of Rⁿ is the image of A under a projectiononto a hyperplane. Let C be a closed nonconvex set in Rⁿ suchthat the closures of all its shadows are convex. If, moreover,there are n independent directions such that the closures ofthe shadows of C in those directions are proper subsets of therespective hyperplanes then it is shown that C contains a copyof R^n–2. Also for every closed convex set B ‘minimalimitations’ C of B are constructed, that is, closed subsetsC of B that have the same shadows as B and that are minimalwith respect to dimension.     

Perfect and Acyclic Subgroups of Finitely Presentable Groups

Acyclic groups of low dimension are considered. To indicatethe results simply, let G' be the nontrivial perfect commutatorsubgroup of a finitely presentable group G. Then def(G)1. Whendef(G)=1, G' is acyclic provided that it has no integral homologyin dimensions above 2 (a sufficient condition for this is thatG' be finitely generated); moreover, G/G' is then Z or Z². Naturalexamples are the groups of knots and links with Alexander polynomial1. A further construction is given, based on knots in S²x S¹.In these geometric examples, G' cannot be finitely generated;in general, it cannot be finitely presentable. When G is a 3-manifoldgroup it fails to be acyclic; on the other hand, if G' is finitelygenerated it has finite index in the group of a Q-homology 3-sphere.     

Cm Elliptic Curves and Bicolorings of Steiner Triple Systems

It is shown that a necessary condition for the existence ofa bicolored Steiner triple system of order n is that n can bewritten in the form A²+3B² for integers A and B. In the casewhen n=q is either a prime congruent to 1 mod 3, or the squareof a prime congruent to 2 mod 3, it is shown that the numbersof colored vertices in the triple system would be unique, andare given by the number of points on specific twists of theCM elliptic curve y²=x³–1 over the finite field F_q. 2000Mathematics Subject Classification 05B07, 11G20, 14G15 (primary);11G15, 14K22 (secondary).     

On The Greatest Prime Factor of axm+byn, II

We provide a new lower bound for the greatest prime factor ofthe norm of algebraic numbers of the form ax^m+byⁿ. The improvementconcerns the dependence on the number field containing a, b,x and y. 1991 Mathematics Subject Classification 11D61.     

Ruled Special Lagrangian 3-Folds In C3

This is the fifth in a series of papers constructing explicitexamples of special Lagrangian submanifolds in C^m. A submanifoldof C^m is ruled if it is fibred by a family of real straightlines in C^m. This paper studies ruled special Lagrangian 3-foldsin C³, giving both general theory and families of examples.Our results are related to previous work of Harvey and Lawson,Borisenko, and Bryant. Special Lagrangian cones in C³ are automaticallyruled, and each ruled special Lagrangian 3-fold is asymptoticto a unique special Lagrangian cone. We study the family ofruled special Lagrangian 3-folds N asymptotic to a fixed specialLagrangian cone N0. We find that this depends on solving a linearequation, so that the family of such N has the structure ofa vector space. We also show that the intersection of N0 withthe unit sphere S⁵ in C³ is a Riemann surface, and constructa ruled special Lagrangian 3-fold N asymptotic to N0 for eachholomorphic vector field w on . As corollaries of this we writedown two large families of explicit special Lagrangian 3-foldsin C³ depending on a holomorphic function on C, which includemany new examples of singularities of special Lagrangian 3-folds.We also show that each special Lagrangian T2-cone N0 can beextended to a 2-parameter family of ruled special Lagrangian3-folds asymptotic to N0, and diffeomorphic to T²xR. 2000 Mathematical Subject Classification: 53C38, 53D12.     

Multiquadratic Extensions, Rigid Fields and Pythagorean Fields

Let F be a field of characteristic other than 2. Let F⁽²⁾ denotethe compositum over F of all quadratic extensions of F, letF⁽³⁾ denote the compositum over F⁽²⁾ of all quadratic extensionsof F⁽²⁾ that are Galois over F, and let F^{3} denote the compositumover F⁽²⁾ of all quadratic extensions of F⁽²⁾. This paper showsthat F⁽³⁾ = F^{3} if and only if F is a rigid field, and thatF⁽³⁾ = K⁽³⁾ for some extension K of F if and only if F is Pythagoreanand . The proofs depend mainly on the behavior of quadratic forms over quadratic extensions,and the corresponding norm maps.     

Smoothness Properties of the Unit Ball in a JB*-Triple

An element a of norm one in a JB^*-triple A is said to be smoothif there exists a unique element x in the unit ball A₁^* of thedual A^* of A at which a attains its norm, and is said to beFréchet-smooth if, in addition, any sequence (x_n) ofelements in A₁^* for which (x_n(a)) converges to one necessarilyconverges in norm to x. The sequence (a²ⁿ⁺¹) of odd powers ofa converges in the weak^*-topology to a tripotent u(a) in theJBW^*-envelope A^** of A. It is shown that a is smooth if andonly if u(a) is a minimal tripotent in A^** and a is Fréchet-smoothif and only if, in addition, u(a) lies in A.     

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.     

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.     

Rank Distributions on Coarse Spaces and Ideal Structure of Roe Algebras

The notions of controlled truncations for operators in the Roealgebras C^* (X) of a coarse space (X, ) with uniformly locallyfinite coarse structure, and rank distributions on (X, ) areintroduced. It is shown that the controlled propagation operatorsin an ideal I of C^* (X) are exactly the controlled truncationsof elements in I. It follows that the lattice of the idealsof C^* (X) in which controlled propagation operators are denseis isomorphic to the lattice of all rank distributions on (X,). If X is a discrete metric space with Yu's property A, thenthe ideal structure of the Roe algebra C^* (X is completely determinedby the rank distributions on X. 2000 Mathematics Subject Classification46L80, 46L89.     

Castelnuovo-Mumford Regularity and Analytic Deviation of Ideals

Let (A, m) be a local ring. For convenience we will assume throughoutthis paper that the residue field of A is infinite. Let I be an ideal of A. An ideal J I is called a reduction ofI if JIⁿ = Iⁿ⁺¹ for some integer n. The least number n withthis property is denoted by rJ (I). A reduction of I is saidto be minimal if it does not contain any other reduction ofI. The reduction number r(I) of I is the minimum of r_J(I) forall minimal reductions J of I. A minimal reduction of I usuallyhas better properties than I. It can be viewed as an approximationof I and the reduction number is a measure for how it is differentfrom I. The minimal number of generators of every minimal reductionof I is equal to the dimension of the fibre ring _n0Iⁿ/mIⁿ. Thisinvariant is called the analytic spread of I and denoted byl(I). All these notions have played an important role in idealtheory since their introduction by Northcott and Rees [16].     

High-accuracy P-stable Methods for y' = f(t, y)

We obtain a one-parameter family of sixth-order P-stable methodsfor the numerical integration of periodic or near-periodic differentialequations that are defined by initial-value problems of theform: y^" = f(t, y), y(t₀)= y₀, y^'(t₀)= y^’₀. Our P-stablemethods are symmetric and involve three function evaluationsper step (periteration, in case f(t, y) is non-linear in y).For non-linear problems, starting values for the solution ofthe implicit equations by modified Newton's method are suggestedand illustrated by an example.