A Class of Infinite Dimensional Simple Lie Algebras

Let A be an abelian group, F be a field of characteristic 0,and , ß be linearly independent additive maps fromA to F, and let ker()\{0}. Then there is a Lie algebra L = L(A,, ß, ) = _xA Fe_x under the product [e_x, e_y]]=(x–y)e_x+y+(ß) (x, y) e_x+y–. If, further, ß() = 1, and ß(A) = Z, thereis a subalgebra L⁺:=L(A⁺, , ß, ) = _xA⁺ Fe_x, whereA⁺ = {xA|ß(x)0}. The necessary and sufficient conditionsare given for L' = [L, L] and L⁺ to be simple, and all semi-simpleelements in L' and L⁺ are determined. It is shown that L' andL⁺ cannot be isomorphic to any other known Lie algebras andL' is not isomorphic to any L⁺, and all isomorphisms betweentwo L' and all isomorphisms between two L⁺ are explicitly described.     

Generators and defining relations for ring of invariants of commuting locally nilpotent derivations or automorphisms

Let A be an algebra over a field K of characteristic zero andlet ₁, ..., _sDer _K(A) be commuting locally nilpotent K-derivationssuch that _i(x_j) equals _ij, the Kronecker delta, for some elementsx₁, ..., x_sA. A set of generators for the algebra is found explicitly and a set of defining relationsfor the algebra A is described. Similarly, let ₁, ..., _s Aut_K(A)be commuting K-automorphisms of the algebra A is given suchthat the maps _i – id_A are locally nilpotent and _i (x_j)= x_j + _ij, for some elements x₁, ..., x_s A. A set of generatorsfor the algebra A: = {a A | ₁(a) = ... = _s(a) = a} is foundexplicitly and a set of defining relations for the algebra Ais described. In general, even for a finitely generated non-commutativealgebra A the algebras of invariants A and A are not finitelygenerated, not (left or right) Noetherian and a minimal numberof defining relations is infinite. However, for a finitely generatedcommutative algebra A the opposite is always true. The derivations(or automorphisms) just described appear often in many differentsituations (possibly) after localization of the algebra A.     

Lp Lq Estimates for Parabolic Systems in Non-Divergence Form with VMO Coefficients

Consider a parabolic NxN-system of order m on ⁿ with top-ordercoefficients a VMOL. Let 1 < p, q < and let be a Muckenhouptweight. It is proved that systems of this kind possess a uniquesolution u satisfying whereAu = _||m a Du and J = [0,). In particular, choosing = 1, therealization of A in L^p(ⁿ)^N has maximal L^p – L^q regularity.     

On Restrictions and Extensions of the Besov and Triebel-Lizorkin Spaces with Respect to Lipschitz Domains

The restrictions B^s_pq() and F^s_pq() of the Besov and Triebel–Lizorkinspaces of tempered distributions B^s_pq(Rⁿ) and F^s_pq(Rⁿ) to Lipschitzdomains Rⁿ are studied. For general values of parameters (sR,p>0, q>0) a ‘universal’ linear bounded extensionoperator from B^s_pq() and F^s_pq() into the corresponding spaceson Rⁿ is constructed. The construction is based on a new variantof the Calderón reproducing formula with kernels supportedin a fixed cone. Explicit characterizations of the elementsof B^s_pq() and F^s_pq() in terms of their values in are also obtained.     

Normal Transversality and Uniform Bounds

Let A be a commutative ring. A graded A-algebra U = _n0 U_n isa standard A-algebra if U₀ = A and U = A[U₁] is generated asan A-algebra by the elements of U₁. A graded U-module F = _n0F_nis a standard U-module if F is generated as a U-module by theelements of F₀, that is, F_n = U_nF₀ for all n 0. In particular,F_n = U₁F_n–1 for all n 1. Given I, J, two ideals of A,we consider the following standard algebras: the Rees algebraof I, R(I) = _n0Iⁿtⁿ = A[It] A[t], and the multi-Rees algebraof I and J, R(I, J) = _n0(_p+q=nI^pJ^qu^pv^q) = A[Iu, Jv] A[u, v].Consider the associated graded ring of I, G(I) = R(I) A/I =_n0Iⁿ/Iⁿ⁺¹, and the multi-associated graded ring of I and J,G(I, J) = R(I, J) A/(I+J) = _n0(_p+q=nI^pJ^q/(I+J)I^pJ^q). We canalways consider the tensor product of two standard A-algebrasU = _p0U_p and V = _q0V_q as a standard A-algebra with the naturalgrading U V = _n0(_p+q=nU_p V_q). If M is an A-module, we havethe standard modules: the Rees module of I with respect to M,R(I; M) = _n0IⁿMtⁿ = M[It] M[t] (a standard R(I)-module), andthe multi-Rees module of I and J with respect to M, R(I, J;M) = _n0(_p+q=nI^pJ^qMu^pv^q) = M[Iu, Jv] M[u, v] (a standard R(I,J)-module). Consider the associated graded module of M withrespect to I, G(I; M) = R(I; M) A/I = _n0IⁿM/Iⁿ⁺¹M (a standardG(I)-module), and the multi-associated graded module of M withrespect to I and J, G(I, J; M) = R(I, J; M) A/(I+J) = _n0(_p+q=nI^pJ^qM/(I+J)I^pJ^qM)(a standard G(I, J)-module). If U, V are two standard A-algebras,F is a standard U-module and G is a standard V-module, thenF G = _n0(_p+q=nF_p G_q) is a standard U V-module. Denote by :R(I) R(J; M) R(I, J; M) and :R(I, J; M) R(I+J;M) the natural surjective graded morphisms of standard RI) R(J)-modules. Let :R(I) R(J; M) R(I+J; M) be . Denote by :G(I) G(J; M) G(I, J; M) and :G(I, J; M) G(I+J; M) the tensor productof and by A/(I+J); these are two natural surjective gradedmorphisms of standard G(I) G(J)-modules. Let :G(I) G(J; M) G(I+J; M) be . The first purpose of this paper is to prove the following theorem.     

Linear Automorphisms that are Symplectomorphisms

Let K be the field of real or complex numbers. Let (X K²ⁿ,) be a symplectic vector space and take 0 < k < n,N =. Let L₁,...,L_N X be 2k-dimensionallinear subspaces which are in a sufficiently general position.It is shown that if F : X X is a linear automorphism whichpreserves the form ^k on all subspaces L₁,...,L_N, then F is an_k-symplectomorphism (that is, F^* = _k, where ). In particular, if K = R and k is odd then F mustbe a symplectomorphism. The unitary version of this theoremis proved as well. It is also observed that the set A_l,2r ofall l-dimensional linear subspaces on which the form has rank 2r is linear in the Grassmannian G(l,2n), that is, there isa linear subspace L such that A_l,2r = L G(l, 2n). In particular,the set A_l,2r can be computed effectively. Finally, the notionof symplectic volume is introduced and it is proved that itis another strong invariant.     

The Hardy Operator and the Gap Between L{infty} and BMO

We study boundedness and compactness properties of the Hardyintegral operator from a weighted Banach function space X(v) into L and BMO. We give a new simplecharacterization of compactness of T from X(v) into BMO. Weconstruct examples of spaces X(v) such that T(X(v)) is (a) boundedin L but not compact in BMO; (b) compact in BMO but not boundedin L; (c) bounded in BMO but neither bounded in L nor compactin BMO; (d) bounded in L, compact in BMO and yet not compactin L. In order to obtain the last of the counterexamples weconstruct a new weighted Banach function space.     

Witt Groups of the Punctured Spectrum of a 3-Dimensional Regular Local Ring and a Purity Theorem

Let A be a regular local ring with quotient field K. Assumethat 2 is invertible in A. Let W(A)W(K) be the homomorphisminduced by the inclusion AK, where W( ) denotes the Witt groupof quadratic forms. If dim A4, it is known that this map isinjective [6, 7]. A natural question is to characterize theimage of W(A) in W(K). Let Spec¹(A) be the set of prime idealsof A of height 1. For PSpec¹(A), let _P be a parameter of thediscrete valuation ring A_P and k(P) = A_P/PA_P. For this choiceof a parameter _P, one has the second residue homomorphism _P:W(K)W(k(P))[9, p. 209]. Though the homomorphism _P depends on the choiceof the parameter _P, its kernel and cokernel do not. We havea homomorphism A part of the so-called Gersten conjecture is the followingquestion on ‘purity’. Is the sequence exact? This question has an affirmative answer for dim(A)2 [1;3, p. 277]. There have been speculations by Pardon and Barge-Sansuc-Vogelon the question of purity. However, in the literature, thereis no proof for purity even for dim(A) = 3. One of the consequencesof the main result of this paper is an affirmative answer tothe purity question for dim(A) = 3. We briefly outline our main result.     

Extremal Subgroups in Chevalley Groups

Throughout this paper G(k) denotes a Chevalley group of rankn defined over the field k, where n3. Let be the root systemassociated with G(k) and let ={₁, ₂, ..., _n} be a set of fundamentalroots of , with ⁺ being the set of positive roots of with respectto . For and ⁺, let n() be the coefficient of in the expressionof as a sum of fundamental roots; so =n(). Also we recall thatht(), the height of , is given by ht()=n(). The highest rootin ⁺ will be denoted by . We additionally assume that the Dynkindiagram of G(k) is connected.     

Asymptotics for Fractional Nonlinear Heat Equations

The Cauchy problem is studied for the nonlinear equations withfractional power of the negative Laplacian where (0,2), with critical = /n and sub-critical (0,/n)powers of the nonlinearity. Let u₀ L^1,a L C, u₀(x) 0 in Rⁿ, = . The case of not small initial data is of interest. It is proved that the Cauchy problemhas a unique global solution u C([0,); L L^1,a C) and the largetime asymptotics are obtained.     

On Positive Multipeak Solutions of a Nonlinear Elliptic Problem

In this paper we continue our investigation in [5, 7, 8] onmultipeak solutions to the problem –²u+u=Q(x)|u|^q–2u, xR^N, uH¹(R^N) (1.1) where = ^N_i=1²/x²_i is the Laplace operator in R^N, 2 < q < for N = 1, 2, 2 < q < 2N/(N–2) for N3, and Q(x)is a bounded positive continuous function on R^N satisfying thefollowing conditions. (Q₁) Q has a strict local minimum at some point x₀R^N, that is,for some > 0 Q(x)>Q(x₀) for all 0 < |x–x₀| < . (Q₂) There are constants C, > 0 such that |Q(x)–Q(y)|C|x–y| for all |x–x₀| , |y–y₀| . Our aim here is to show that corresponding to each strict localminimum point x₀ of Q(x) in R^N, and for each positive integerk, (1.1) has a positive solution with k-peaks concentratingnear x₀, provided is sufficiently small, that is, a solutionwith k-maximum points converging to x₀, while vanishing as 0 everywhere else in R^N.     

On the Error Term for the Fourth Moment of the Riemann Zeta-Function

Let E₂(T) denote the error term in the asymptotic formula for^T₀|(+it)|⁴dt. It is proved that there exist constants A>0,B>1 such that for TT₀>0 every interval [T, BT] containspoints T₁, T₂ for which and that ^T₀|E₂(t)|^adt>>T^1+(a/2) for any fixed a1. Theseresults complement earlier results of Motohashi and Ivi that^T₀E₂(t)dt<<T^3/2 and that ^T₀E²₂(t)dt<<T²log^CT forsome C>0. Omega-results analogous to the above ones are obtainedalso for the error term in the asymptotic formula for the Laplacetransform of |(+it)|⁴.     

Projective Modules over the Non-Commutative Sphere

The positive cone of the K₀-group of the non-commutative sphereB is explicitly determined by means of the four basic unboundedtrace functionals discovered by Bratteli, Elliott, Evans andKishimoto. The C*-algebra B is the crossed product A x Z₂ ofthe irrational rotation algebra A by the flip automorphism defined on the canonical unitary generators U, V by (U) = U*,(V) = V*, where VU = e²ⁱ UV and is an irrational real number.This result combined with Rieffel's cancellation techniquesis used to show that cancellation holds for all finitely generatedprojective modules over B. Subsequently, these modules are determinedup to isomorphism as finite direct sums of basic modules. Italso follows that two projections p and q in a matrix algebraover B are unitarily equivalent if, and only if, their vectortraces are equal: [p] = [q]. These results will have the following ramifications. They areused (elsewhere) to show that the flip automorphism on A isan inductive limit automorphism with respect to the basic buildingblock construction of Elliott and Evans for the irrational rotationalgebra. This will, in turn, yield a two-tower proof of thefact that B is approximately finite dimensional, first provedby Bratteli and Kishimoto.     

On the L1 Mean of the Exponential Sum Formed with the Mobius Function

In this paper we study the L¹ mean (1) of the exponential sum M()=_nXµ(n)e(n), where µ(n)is the Möbius function and e(x)=e^2ix. From the Cauchy–Schwarzinequality and Parseval's identity, we have , (2) and it is an interesting problem to investigate whether (2)reflects the true order of magnitude of (1).     

Sierpinski and non-Sierpinski curve Julia sets in families of rational maps

We discuss the dynamics as well as the structure of the parameterplane of certain families of rational maps with few criticalorbits. Our paradigm is the family R_t(z) = (1 + (4/27)z³/(1– z)), with dynamics governed by the behaviour of thepostcritical orbit (Rⁿ())_n. In particular, it is shown thatif escapes (that is, Rⁿ() tends to infinity), then the Juliaset of R is a Cantor set, or a Sierpiski curve, or a curve withone or else infinitely many cut-points; each of these casesactually occurs.     

Sandwiching C0-Semigroups

Let T = {T(t)}_t0 be a C₀-semigroup on a Banach space X. Thefollowing results are proved. (i) If X is separable, there exist separable Hilbert spacesX₀ and X₁, continuous dense embeddings j₀:X₀ X and j₁:X X₁,and C₀-semigroups T₀ and T₁ on X₀ and X₁ respectively, suchthat j₀ T₀(t) = T(t) j₀ and T₁(t) j₁ = j₁ T(t) for all t 0. (ii) If T is -reflexive, there exist reflexive Banach spacesX₀ and X₁ , continuous dense embeddings j:D(A²) X₀, j₀:X₀ X, j₁:X X₁, and C₀-semigroups T₀ and T₁ on X₀ and X₁ respectively,such that T₀(t) j = j T(t), j₀ T₀(t) = T(t) j₀ and T(t) j₁ = j₁ T(t) for all t 0, and such that (A₀) = (A) = (A₁),where A_k is the generator of T_k, k = 0, Ø, 1.     

Asymptotic Expansions of Multiple Zeta Functions and Power Mean Values of Hurwitz Zeta Functions

Let (s, ) be the Hurwitz zeta function with parameter . Powermean values of the form are studied, where q and h are positive integers. These mean valuescan be written as linear combinations of , where _r(s₁,...,s_r;) is a generalization of Euler–Zagiermultiple zeta sums. The Mellin–Barnes integral formulais used to prove an asymptotic expansion of , with respect to q. Hence a general way of deducingasymptotic expansion formulas for is obtained. In particular, the asymptotic expansion of with respect to q is written down.     

Essential norms and localization moduli of Sobolev embeddings for general domains

We introduce new measures of non-compactness for the embeddingoperator E_p,q():L_p¹() L_q() and describe their relations withthe essential norm of E_{p, q}(), ‘local’ isoperimetricand isocapacitary constants. An explicit formula for the essentialnorm of E_{p, q}() is obtained for domains with a power cusp onthe boundary and bounded C¹ domains. The Neumann problem fora particular Schrödinger operator is discussed on domainswith a power cusp.     

Immanant Inequalities, Induced Characters, and Rank Two Partitions

If = {₁, ₂, ..., _s}, where _{1 2} ... _s > 0, is a partitionof n then denotes the associated irreducible character of S_n,the symmetric group on {1, 2, ..., n}, and, if cCS_n, the groupalgebra generated by C and S_n, then d_c(·) denotes thegeneralized matrix function associated with c. If c₁, c₂ CS_nthen we write c₁ c₂ in case (A) (A) for each n x n positivesemi-definite Hermitian matrix A. If cCS_n and c(e) 0, wheree denotes the identity in S_n, then or denotes (c(e))^–1 c. The main result, an estimate for the norms of tensors of a certainanti-symmetry type, implies that if = {₁, ₂, ..., _s, 1^t} isa partition of n such that s > 1 and _s = 2, and ' denotes{₁, ₂, ..., _s-1, 1^t} then (, _{2}) where denotes characterinduction from S_n–2 x S₂ to S_n. This in turn implies thatif = {₁, ₂, ..., _s, 1^t} with s > 1, _s = 2, and ßdenotes {₁ + 2, ₂, ..., _s-1, 1^t} then _ß which,in conjunction with other known results, provides many new inequalitiesamong immanants. In particular it implies that the permanentfunction dominates all normalized immanants whose associatedpartitions are of rank 2, a result which has proved elusivefor some years. We also consider the non-relationship problem for immanants– that is the problem of identifying pairs, (,ß)such that _ß and _ß are both false.     

Necessary and Sufficient Conditions for Existence and Uniqueness of Solutions of Second-Order Autonomous Differential Equations

The main result ensures that the scalar problem x' = f(x),x(0) = x₀, x'(0) = x₁, has a nonconstant locally W^{2, 1} solutionif and only if there exists a nontrivial interval J such thatx₀ J, for almost all y Jand Necessary and sufficient conditions for local and global uniquenessand for existence of periodic solutions are also established.