Classification Des Ideaux a Droite De A1(k)

Les études récentes sur les idéaux àdroite de A₁(k), la première algèbre de Weyl surun corps algébriquement clos et de caractéristiquenulle k, nous montrent que : pour tout idéal I 0 àdroite de A₁(k), il existe x Q = frac(A₁(k)), et V V telsque : I = xD(R, V) o V est l'ensemble des sous-espaces primairementdécomposables de k[t] = R, et D(R, V), l'idéalà droite {d A₁(k/d(R V}. Dans cet article nous montreronsprincipalement que: pour tout 0 I idéal à droitede A₁(k, !n N, (x, ) Q^* x Aut_k(A₁(k)) : I = x(D(R, O(X_n))),où X_n est la courbe d'algèbre des fonctions régulières: O(X_n = k+tⁿ⁺¹k[t]. La forme des idéaux décriteci-dessus permet de voir dans une hypothèse de Letzteret Makar-Limanov, pour deux courbes algébriques affinesX et X' on a : D(XD(X') co dim D(X = co dim D(X'). Recent studies on right ideals of the first Weyl algebra A₁(k)over an algebraic closed field k with characteristic zero showthat: for each right ideal I 0 of A₁(k), there exist x Q =fracA₁(k)) and a primary decomposable sub-space V of k[t] suchthat I=xD(R,V), where D(R,V) : = {d A₁(k)/d(R) V} is a rightideal of A₁(k). In this paper, we show that for all right idealsI 0 of A₁(k), !n N, (x, ) Q^* x Aut_k(A₁(k)) : I = x(D(R, O(X_n))),where X_n denotes the affine algebraic curve with ring of regularfunctions O(X_n=k+tⁿ⁺¹k[t]. With ideals as described above, onecan easily see, under a hypothesis given by Letzter and Makar-Limanov,that for two affine algebraic curves X and X', D(X)D(X') codim D(X) = co dim D(X'). 2000 Mathematics Subject Classification16S32.     

Polynomial symplectomorphisms

Let be the field of real or complex numbers. Let (X ²ⁿ, )be a symplectic affine space. We study the group of polynomialsymplectomorphisms of X. We show that for an arbitrary k thegroup of polynomial symplectomorphisms acts k-transitively onX. Moreover, if 2 l 2n – 2 then elements of this groupcan be characterized by polynomial automorphisms which preservethe symplectic type of all algebraic l-dimensional subvarietiesof X.     

On the representation of integers by quadratic forms

Let n 4 and let Q [X₁, ..., X_n] be a non-singular quadraticform. When Q is indefinite we provide new upper bounds for theleast non-trivial integral solution to the equation Q = 0, andwhen Q is positive definite we provide improved upper boundsfor the greatest positive integer k for which the equation Q= k is insoluble in integers, despite being soluble modulo everyprime power.     

Coincidence and The Colouring of Maps

In [8, 6] it was shown that for each k and n such that 2k >n, there exists a contractible k-dimensional complex Y and acontinuous map : Sⁿ Y without the antipodal coincidence property,that is, (x)(–x) for all x Sⁿ. In this paper it is shownthat for each k and n such that 2k > n, and for each fixed-pointfree homeomorphism f of an n-dimensional paracompact Hausdorffspace X onto itself, there is a contractible k-dimensional complexY and a continuous map :X Y such that (x)(f(x)) for all xX.Various results along these lines are obtained. 1991 MathematicsSubject Classication 55M10, 54C05.     

Mappings Preserving Submodules of Hilbert C*-Modules

A Hilbert module over a C*-algebra B is a right B-module X,equipped with an inner product ·, · which is linearover B in the second factor, such that X is a Banach space withthe norm ||x||:=||x, x||^1/2. (We refer to [8] for the basictheory of Hilbert modules; the basic example for us will beX=B with the inner product x, y=x*y.) We denote by B(X) thealgebra of all bounded linear operators on X, and we denoteby L(X) the C*-algebra of all adjointable operators. (In thebasic example X=B, L(X) is just the multiplier algebra of B.)Let A be a C*-subalgebra of L(X), so that X is an A-B-bimodule.We always assume that A is nondegenerate in the sense that [AX]=X,where [AX] denotes the closed linear span of AX. Denote by A_X the algebra of all mappings on X of the form (1.1) where m is an integer and a_iA, b_iB for all i. Mappings of form(1.1) will be called elementary, and this paper is concernedwith the question of which mappings on X can be approximatedby elementary mappings in the point norm topology.     

Peripheral Spectra of Order-Preserving Normal Operators

Let X be a real Banach space. A set K X is called a total coneif it is closed under addition and non-negative scalar multiplication,does not contain both x and –x for any non-zero xX, andis such that K–K:= {x–y:x, yK} is dense in X. Supposethat T is a bounded linear operator on X which leaves a closedtotal cone K invariant. We denote by (T) and r(T) the spectrumand spectral radius of T. Krein and Rutman [5] showed that if T is compact, r(T) >0 and K is normal (that is, inf{||x + y||: x, y K, ||x|| =||y|| = 1} > 0), then r(T) is an eigenvalue of T with aneigenvector in K. This result was later extended by Nussbaum[6] to any bounded operator T such that r_e(T)<r(T), wherer_e(T) denotes the essential spectral radius of T, without thehypothesis of normality. The more general question of whetherr(T) (T) for all bounded operators T was answered in the negativeby Bonsall [1], who as well as giving counterexamples describeda property of K called the bounded decomposition property, whichis sufficient to guarantee that r(T) (T). More recently, Toland [8] showed that if X is a separable Hilbertspace and T is self-adjoint, then r(T) (T), without any extrahypotheses on K. In this paper we extend Toland's results tonormal operators on Hilbert spaces, removing in passing theseparability hypothesis. 1991 Mathematics Subject Classification47B65.     

The Tracial Topological Rank of C*-Algebras

We introduce the notion of tracial topological rank for C*-algebras.In the commutative case, this notion coincides with the coveringdimension. Inductive limits of C*-algebrasof the form PM_n(C(X))P,where X is a compact metric space with dim X k, and P is aprojection in M_n(C(X)), have tracial topological rank no morethan k. Non-nuclear C*-algebras can have small tracial topologicalrank. It is shown that if A is a simple unital C*-algebra withtracial topological rank k (< ), then

(i) A is quasidiagonal,

(ii) A has stable rank 1,

(iii) A has weakly unperforatedK₀(A),

(iv) A has the following Fundamental Comparabilityof Blackadar:if p, q A are two projections with (p) < (q)for all tracialstates on A, then p q

. 2000 MathematicsSubject Classification: 46L05, 46L35.     

Filtration-Closed Auslander-Reiten Components for Wild Hereditary Algebras

Let H=kQ be a finite-dimensional connected wild hereditary pathalgebra, over some field k. Denote by H-reg the category offinite-dimensional regular H-modules, that is, the categoryof modules M with for all integers m, where _H denotes the Auslander–Reiten translation.Call a filtration of a regular H-module M a regular filtration if all subquotients M_i/M_i+1are regular. Call a regular filtration (*) a regular compositionseries if it is strictly decreasing and has no proper refinement.A regular component C in the Auslander–Reiten quiver (H) of H-mod is called filtration closed if, for each M addC, the additive closure of C, and each regular filtration (*)of M, all the subquotients M_i/M_i+1 are also in add C. We showthat most wild hereditary algebras have filtration-closed Auslander–Reitencomponents. Moreover, we deduce from this that there are alsoalmost serial components, that is regular components C, suchthat any indecomposable XC has a unique regular compositionseries. This composition series coincides with the Auslander–Reitenfiltration of X, given by the maximal chain of irreducible monosending at X. 1991 Mathematics Subject Classification: 16G70,16G20, 16G60, 16E30.     

A Counterexample in the Central Limit Theorem

We construct a c₀-valued random variable X such that (S_n/n)_nNhas a convergent subsequence, but X does not satisfy the centrallimit theorem. 1991 Mathematics Subject Classification 60B12.     

On the Fredholm Alternative for the p-Laplacian in One Dimension

We investigate the existence of a weak solution u to the quasilineartwo-point boundary value problem We assume that 1 < p < p ¬ = 2, 0 < a < , andthat f L¹(0,a) is a given function. The number _k stands forthe k-th eigenvalue of the one-dimensional p-Laplacian. Let_{p p} x/a) denote the eigenfunction associated with ₁; then _p(k_p x/a) is the eigenfunction associated with _k. We show the existenceof solutions to (P) in the following cases. (i) When k=1 and f satisfies the orthogonality condition the set of solutions is bounded. (ii) If k=1 and f_t L¹(0,a) is a continuous family parametrizedby t [0,1], with then there exists some t^* [0,1] such that (P) has a solutionfor f = f_t^*. Moreover, an appropriate choice of t_* yields asolution u with an arbitrarily large L¹(0,a)-norm which meansthat such f cannot be orthogonal to _pp x/a. (iii) When k 2 and f satisfies a set of orthogonality conditionsto _p(k p x/a) on the subintervals , again, the set of solutions is bounded. is a continuous family satisfying either or another related condition, then there exists some t^* [0,1]such that (P) has a solution for f = f_t*. Prüfer's transformation plays the key role in our proofs.2000 Mathematical Subject Classification: primary 34B16, 47J10;secondary 34L40, 47H30.     

The Derivation Problem for Group Algebras of Connected Locally Compact Groups

The derivation problem for a locally compact group G is to decidewhether for each derivation D from L¹(G) into L¹(G) there isa bounded measure µM(G) with D(a) = aµ–µa(a L¹(G)). In this paper we obtain an affirmative answer forthe case of connected groups. To explain the contents of thispaper we give an equivalent formulation of the problem. Supposethat the group G acts as a group of homeomorphisms of the locallycompact space X. Related to this there is an action of G onM(X). A bounded crossed homomorphism from G to M(X) is a map with bounded range and satisfying (gh) = g(h)+(g) (g, h G).The problem for bounded crossed homomorphisms is to decide iffor each such there is an element µ of M(X) with (g)= gµ– µ (g G). The derivation problem isequivalent to this bounded crossed homomorphism problem forthe special case X = G where G acts on X by conjugation (togetherwith some mild continuity hypotheses about the map :GM(X) whichare often automatically satisfied). The bounded crossed homomorphismproblem always has a positive solution if G is amenable anda closely related calculation shows that in solving the boundedcrossed homomorphism problem we need only solve it for functions which are zero on H where H is a given amenable subgroup ofG. It can happen that this condition of being zero on H forces to be zero even when H is a comparatively small subgroup ofG. If h is an element of G such that ‘hⁿx ’ asn for all x X then for any two measures µ and , forlarge values of n, µ and hⁿ have little overlap so ||µ+ hⁿ|| ||µ|| + ||||. Thus if H is the subgroup generatedby h, for any g G .     

Small Solutions of Quadratic Diophantine Equations

We consider quadratic diophantine equations of the shape for a polynomial Q(X₁, ..., X_s) Z[X₁, ..., X_s] of degree 2.Let H be an upper bound for the absolute values of the coefficientsof Q, and assume that the homogeneous quadratic part of Q isnon-singular. We prove, for all s 3, the existence of a polynomialbound _s(H) with the following property: if equation (1) hasa solution x Z^s at all, then it has one satisfying For s = 3 and s = 4 no polynomial bounds _s(H) were previouslyknown, and for s 5 we have been able to improve existing boundsquite significantly. 2000 Mathematics Subject Classification11D09, 11E20, 11H06, 11P55.     

POLYNOMIAL NUMERICAL INDEX FOR SOME COMPLEX VECTOR-VALUED FUNCTION SPACES

We study the relation between the polynomial numerical indicesof a complex vector-valued function space and the ones of itsrange space. It is proved that the spaces C(K, X) and L(µ,X) have the same polynomial numerical index as the complex Banachspace X for every compact Hausdorff space K and every -finitemeasure µ, which does not hold any more in the real case.We give an example of a complex Banach space X such that, forevery k 2, the polynomial numerical index of order k of X isthe greatest possible, namely 1, while the one of X** is theleast possible, namely k^k/(1–k). We also give new examplesof Banach spaces with the polynomial Daugavet property, namelyL(µ, X) when µ is atomless, and C_w(K, X), C_w*(K,X*) when K is perfect.     

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.     

Repulsive Fixpoints of Analytic Functions with Applications to Complex Dynamics

Let G be a family of functions analytic in a domain D in thecomplex plane. It is proved that G is a normal family, providedthat for each fG, there exists k = k(f) > 1 such that thekth iterate f^k has no repulsive fixpoint in D. A new proof ofa result of Bergweiler and Terglane concerning the dynamicsof entire functions is also given.     

On a Question of Herman, Baker and Rippon Concerning Siegel Disks

Consider the family of exponential maps E_k(z) = exp(z)+k. Thispaper shows that any unbounded Siegel disk U of E_k containsthe singular value k on its boundary. By a result of Herman,this implies that k U if the rotation number is diophantine.2000 Mathematics Subject Classification 37F10, 30D05.     

Metric Entropy of Convex Hulls in Hilbert Spaces

We show in this note the following statement which is an improvementover a result of R. M. Dudley and which is also of independentinterest. Let X be a set of a Hilbert space with the propertythat there are constants , >0, and for each n N, the setX can be covered by at most n balls of radius n^–. Then,for each n N, the convex hull of X can be covered by 2ⁿ ballsof radius . The estimate is best possible for all n N, apart from the value c=c(, , X).In other words, let N(, X), >0, be the minimal number ofballs of radius covering the set X. Then the above result isequivalent to saying that if N(, X)=O(^–1/) as 0, thenfor the convex hull conv (X) of X, N(, conv (X)) =O(exp(^–2/(12))). Moreover, we give an interplay between several coveringparameters based on coverings by balls (entropy numbers) andcoverings by cylindrical sets (Kolmogorov numbers). 1991 MathematicsSubject Classification 41A46.     

Complex Monodromy and Changing Real Pictures

The purpose of this note is to generalise, and give a more illuminatingproof, of a theorem of [13] (Theorem 1.1 below). Before statingit, we provide some introductory information. Consider the followingtwo sequences of pictures: in each we see a 1-parameter familyX_R,t of real algebraic hypersurfaces, which undergoes a bifurcationwhen the parameter t is equal to 0. Note that in Figure 1, both(i) (a) and (i) (b), and in (ii) (b), the surface X_R,t has apurely 1-dimensional part, which we have indicated with a dottedline, and that in (i) (b) we have drawn a curve vertically alongthe middle of the surface to make clearer the way it passesthrough itself. The reader will observe that in (a) the surfaceX_R,t is homotopically a 2-sphere when t>0 and a 0-spherewhen t<0, while in (b) X_R,t is a homotopy 1-sphere both fort<0 and t>0. Such sequences are typical in singularity theory; each is infact the family of algebraic closures of images of a versaldeformation of a codimension 1 singularity of mapping. Now suppose that the complexification X_C,t is a homotopy n-sphere.In [13] the second author pointed out that it follows that X_R,tis a homotopy sphere for t0 (allowing the empty set as a –1-sphere).Indeed, in the local situation, or globally in the weightedhomogeneous case, there are well-defined integers k₊ and k_–between –1 and n such that X_R,tS^k+ for t>0 and X_R,tS^k–for t<0. We describe X_R,t for tR–0 as ‘good’ if thehomotopy dimension of X_R,t is equal to n. In this case the inclusionX_R,tX_t is a homotopy equivalence [13, 1.1].     

A variant of the Hales-Jewett theorem

It was shown by Bergelson that any set B with positive uppermultiplicative density contains nicely intertwined arithmeticand geometric progressions: for each k there exist a, b, d such that {b(a+id)^j: i, j {1, 2, ..., k}}B. In particular,one cell of each finite partition of contains such configurations.We prove a Hales–Jewett-type extension of this partitiontheorem.