Herman Rings and Arnold Disks

For (,a) C* x C, let f_,a be the rational map defined by f_,a(z)= z² (az+1)/(z+a). If R/Z is a Brjuno number, we let D bethe set of parameters (,a) such that f_,a has a fixed Hermanring with rotation number (we consider that (e²ⁱ,0) D). Resultsobtained by McMullen and Sullivan imply that, for any g D, theconnected component of D(C* x (C/{0,1})) that contains g isisomorphic to a punctured disk. We show that there is a holomorphic injection F:DD such thatF(0) = (e²ⁱ ,0) and , where r is the conformal radius at 0 of the Siegel disk of the quadraticpolynomial z e²ⁱ z(1+z). As a consequence, we show that for a (0,1/3), if f_l,a has afixed Herman ring with rotation number and if m_a is the modulusof the Herman ring, then, as a0, we have e m_a=(r/a) + O(a). We finally explain how to adapt the results to the complex standardfamily z e^(a/2)(z-1/z).     

The Isolated Points of G{rho} and the w*-Strongly Exposed Points of P{rho}(G)0

Let G be a separable locally compact group and let be its dualspace with Fell's topology. It is well known that the set P(G)of continuous positive-definite functions on G can be identifiedwith the set of positive linear functionals on the group C^*-algebraC^*(G). We show that if is discrete in , then there exists anonzero positive-definite function associated with such that is a w^*-strongly exposed point of P(G)₀, where P(G)₀={f P(G):f(e)1. Conversely, if some nonzero positive-definite function associatedwith is a w^*-strongly exposed point of P(G)₀, then is isolatedin . Consequently, G is compact if and only if, for every ,there exists a nonzero positive-definite function associatedwith that is a w^*-strongly exposed point of P(G)₀. If, in addition,G is unimodular and , then is isolated in if and only if somenonzero positive-definite function associated with is a w^*-stronglyexposed point of P(G)₀, where is the left regular representationof G and is the reduced dual space of G. We prove that if B(G)has the Radon–Nikodym property, then the set of isolatedpoints of (so square-integrable if G is unimodular) is densein . It is also proved that if G is a separable SIN-group, thenG is amenable if and only if there exists a closed point in. In particular, for a countable discrete non-amenable groupG (for example the free group F₂ on two generators), there isno closed point in its reduced dual space .     

On a Theorem of Childs on Normal Bases of Rings of Integers: Addendum

Let p 3 be a prime number, F be a number field with _p F^x,and K = F(_p). In a previous paper, the author proved, undersome assumption on p and F, that an unramified cyclic extensionN/F of degree p has a normal integral basis if and only if thepushed-up extension NK/K has a normal integral basis. This addendumshows that the assertion holds without the above-mentioned assumption.     

Wall-Crossing Formulae for Algebraic Surfaces with Positive Irregularity

The ideas of Friedman and Qin are extended to find the wall-crossingformulae for the Donaldson invariants of algebraic surfaceswith p_g = 0, q > 0 and anticanonical divisor –K effective,for any wall with l = (² – p₁) being 0 or 1.     

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.     

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.     

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.     

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.     

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.     

Faithful Representations of Free Products

In 1940 Nisnevi published the following theorem [3]. Let (G) be a family of groups indexed by some set and (F) a family of fields of the same characteristic p0. Iffor each the group G has a faithful representation of degreen over F then the free product* G has a faithful representationof degree n+1 over some field of characteristic p. In [6] Wehrfritzextended this idea. If (G) GL(n, F) is a family of subgroupsfor which there exists ZGL(n, F) such that for all the intersectionGF.1_n=Z, then the free product of the groups *_ZG with Z amalgamatedvia the identity map is isomorphic to a linear group of degreen over some purely transcendental extension of F. Initially, the purpose of this paper was to generalize theseresults from the linear to the skew-linear case, that is, togroups isomorphic to subgroups of GL(n, D) where the D are divisionrings. In fact, many of the results can be generalized to ringswhich, although not necessarily commutative, contain no zero-divisors.We have the following.     

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.     

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.     

BOUNDARY CONCENTRATION IN RADIAL SOLUTIONS TO A SYSTEM OF SEMILINEAR ELLIPTIC EQUATIONS

We study concentration phenomena for the system in the unit ball B₁ of ³ with Dirichlet boundaryconditions. Here , , > 0 and p > 1. We prove the existenceof positive radial solutions (, ) such that concentrates ata distance (/2)|log | away from the boundary B₁ as the parameter tends to 0. The approach is based on a combination of Lyapunov–Schmidtreduction procedure together with a variational method.     

Some Remarks on the Cone of Completely Positive Maps between Von Neumann Algebras

The close relationship between the notions of positive formsand representations for a C*-algebra A is one of the most basicfacts in the subject. In particular the weak containment ofrepresentations is well understood in terms of positive forms:given a representation of A in a Hilbert space H and a positiveform on A, its associated representation is weakly containedin (that is, ker ker ) if and only if belongs to the weak*closure of the cone of all finite sums of coefficients of .Among the results on the subject, let us recall the followingones. Suppose that A is concretely represented in H. Then everypositive form on A is the weak* limit of forms of the typex ^k_{i=1 i}, x_i with the _i in H; moreover if A is a von Neumannsubalgebra of (H) and is normal, there exists a sequence (_i)_{i 1} in H such that (x) = _{i 1 i}, x_i for all x.     

Betti Numbers of Semialgebraic and Sub-Pfaffian Sets

Let X be a subset in [–1,1]^n₀R^n₀ defined by the formula X={x₀|Q₁x₁Q₂x₂...Qx ((x₀,x₁,...x)X)}, where Q_i{ }, Q_i Q_i+1, x_i [–1, 1]^n_i, and X may be eitheran open or a closed set in [–1,1]^n₀+...+n, being the differencebetween a finite CW-complex and its subcomplex. An upper boundon each Betti number of X is expressed via a sum of Betti numbersof some sets defined by quantifier-free formulae involving X. In important particular cases of semialgebraic and semi-Pfaffiansets defined by quantifier-free formulae with polynomials andPfaffian functions respectively, upper bounds on Betti numbersof X are well known. The results allow to extend the boundsto sets defined with quantifiers, in particular to sub-Pfaffiansets.     

On Artin's Braid Group And Polyconvexity In The Calculus Of Variations

Let R² be a bounded Lipschitz domain and let be a Carathèodory integrand such that F(x,·) is polyconvex for L²-a.e. x . Moreover assume thatF is bounded from below and satisfies the condition as det for L²-a.e. x . The paper describes the effect of domain topologyon the existence and multiplicity of strong local minimizersof the functional wherethe map u lies in the Sobolev space W_id^1,p (, R²) with p 2and satisfies the pointwise condition u(x) >0 for L²-a.e.x . The question is settled by establishing that F[·]admits a set of strong local minimizers on that can be indexed by the group P_n Zⁿ, the directsum of Artin's pure braid group on n strings and n copies ofthe infinite cyclic group. The dependence on the domain topologyis through the number of holes n in and the different mechanismsthat give rise to such local minimizers are fully exploitedby this particular representation.     

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.     

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.     

A Strong Notion of Universal Taylor Series

For a holomorphic function f in the open unit disc D, the Nthpartial sum of its Taylor series with center D is denotedby S_N(f,)(z)= . Generically, all functions f in H(D) satisfy the following. For every compactset K C with KD=Ø and K^c connected and every polynomialh, there exists a sequence of positive integers such that, for every 1 {0,1,2,...},      

Contractions et Hyperdistributions a Spectre de Carleson

Let =(_n)_n1 be a log concave sequence such that lim inf_n+n/n^c>0for some c>0 and ((log _n)/n)_n1 is nonincreasing for some<1/2. We show that, if T is a contraction on the Hilbertspace with spectrum a Carleson set, and if ||T^–n||=O(_n)as n tends to + with _n11/(n log _n)=+, then T is unitary. Onthe other hand, if _n11/(n log _n)<+, then there exists a (non-unitary)contraction T on the Hilbert space such that the spectrum ofT is a Carleson set, ||T^–n||=O(_n) as n tends to +, andlim sup_n+||T^–n||=+.