Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities

We prove a nearly optimal bound on the number of stable homotopytypes occurring in a k-parameter semi-algebraic family of setsin R, each defined in terms of m quadratic inequalities. Ourbound is exponential in k and m, but polynomial in . More precisely,we prove the following. Let R be a real closed field and let = {P₁, ... , P_m} R[Y₁, ... ,Y,X₁, ... ,X_k], with deg_Y(P_i) 2, deg_X(P_i) d, 1 i m. Let S R^+k be a semi-algebraic set,defined by a Boolean formula without negations, with atoms ofthe form P 0, P 0, P . Let : R^+k R^k be the projection onthe last k coordinates. Then the number of stable homotopy typesamongst the fibers S_x = ^–1(x) S is bounded by (2^mkd)^O(mk).     

Grothendieck's Inequalities for Real and Complex JBW*-Triples

We prove that, if and >0, if V and W are complex JBW*-triples (with preduals V_* andW_*, respectively), and if U is a separately weak*-continuousbilinear form on V x W, then there exist norm-one functionals₁, ₂ V_* and ₁, ₂ W_* satisfying for all (x, y) V x W. Here, for a norm-one functional on acomplex JB*-triple V, |·| stands for the prehilbertianseminorm on V associated to given by for all x W, where z V^** satisfies z = |z| =1. We arrive at this form of ‘Grothendieck's inequality’through results of C.-H. Chu, B. Iochum, and G. Loupias, andan amended version of the ‘little Grothendieck's inequality’for complex JB*-triples due to T. Barton and Y. Friedman. Wealso obtain extensions of these results to the setting of realJB*-triples. 2000 Mathematical Subject Classification: 17C65,46K70, 46L05, 46L10, 46L70.     

Bifurcations of Periodic Points of Holomorphic Maps From C2 into C2

Let F:Cⁿ Cⁿ be a holomorphic map, F^k be the kth iterate ofF, and p Cⁿ be a periodic point of F of period k. That is,F^k(p) = p, but for any positive integer j with j < k, F^j(p) p. If p is hyperbolic, namely if DF^k(p) has no eigenvalue ofmodulus 1, then it is well known that the dynamical behaviourof F is stable near the periodic orbit = {p, F(p),..., F^k–1(p)}.But if is not hyperbolic, the dynamical behaviour of F near may be very complicated and unstable. In this case, a veryinteresting bifurcational phenomenon may occur even though may be the only periodic orbit in some neighbourhood of : forgiven M N\{1}, there may exist a C^r-arc {F_t: t [0,1]} (wherer N or r = ) in the space H(Cⁿ) of holomorphic maps from Cⁿinto Cⁿ, such that F₀ = F and, for t (0,1], F_t has an Mk-periodicorbit _t with as t 0. Theperiod thus increases by a factor M under a C^r-small perturbation!If such an F_t does exist, then , as well as p, is said to beM-tupling bifurcational. This definition is independent of r. For the above F, there may exist a C^r-arc in H(Cⁿ), with t [0,1], such that and, for t (0,1], has two distinct k-periodic orbits _t,1 and _t,2 with d(_t,i, ) 0 as t 0 for i = 1,2. If such an does exist, then , as well as p, is said to be 1-tupling bifurcational. In recent decades, there have been many papers and remarkableresults which deal with period doubling bifurcations of periodicorbits of parametrized maps. L. Block and D. Hart pointed outthat period M-tupling bifurcations cannot occur for M >2 in the 1-dimensional case. There are examples showing thatfor any M N, period M-tupling bifurcations can occur in higher-dimensionalcases. An M-tupling bifurcational periodic orbit as defined here actsas a critical orbit which leads to period M-tupling bifurcationsin some parametrized maps. The main result of this paper isthe following. Theorem. Let k N and M N, and let F: C² C² be a holomorphicmap with k-periodic point p. Then p is M-tupling bifurcationalif and only if DF^k(p) has a non-zero periodic point of periodM. 1991 Mathematics Subject Classification: 32H50, 58F14.     

On the laplace equation with non-linear dynamical boundary conditions

The main part of the paper deals with local existence and globalexistence versus blow-up for solutions of the Laplace equationin bounded domains with a non-linear dynamical boundary condition.More precisely, we study the problem consisting in: (1) theLaplace equation in (0, ) x ; (2) a homogeneous Dirichlet condition(0, ) x ₀; (3) the dynamical boundary condition ; (4) the initial condition u(0, x) = u₀ (x) on . Here is a regular and bounded domain in Rⁿ, with n 1, and₀ and ₁ endow a measurable partition of . Moreover, m>1,2 p < r, where r = 2 (n – 1) / (n – 2) whenn 3, r = when n = 1,2, and u₀ H^1/2 , u₀ = 0 on ₀. The final part of the paper deals with a refinement of a globalnon-existence result by Levine, Park and Serrin, which is appliedto the previous problem. 2000 Mathematics Subject Classification35K55 (primary), 35K90, 35K77 (secondary).     

Almost Everywhere Convergence of Bochner-Riesz Means On The Heisenberg Group and Fractional Integration On The Dual

Let L denote the sub-Laplacian on the Heisenberg group H_n and the corresponding Bochner-Riesz operator. Let Q denote the homogeneous dimension and D the Euclideandimension of H_n. We prove convergence a.e. of the Bochner-Rieszmeans as r 0 for > 0and for all f L^p(H_n), provided that . Our proof is based on explicit formulas for the operators with a C, defined on the dual ofH_n by , which may be of independent interest. Here is given by for all (z,u) H_n. 2000 Mathematical Subject Classification: 22E30, 43A80.     

Projection Methods for Discrete Schrodinger Operators

Let H be the discrete Schrödinger operator acting on l² Z⁺, where the potential v is real-valued and v(n) 0 as n . Let P be the orthogonal projection onto a closedlinear subspace l² Z⁺). In a recent paper E. B. Davies definesthe second order spectrum Spec₂(H, ) of H relative to as theset of z C such that the restriction to of the operator P(H- z)²P is not invertible within the space . The purpose of thisarticle is to investigate properties of Spec₂(H, ) when islarge but finite dimensional. We explore in particular the connectionbetween this set and the spectrum of H. Our main result providessharp bounds in terms of the potential v for the asymptoticbehaviour of Spec₂(H, ) as increases towards l² Z⁺). 2000 MathematicsSubject Classification 47B36 (primary), 47B39, 81-08 (secondary).     

Sums of Connectivity Functions on Rn

A function f: Rⁿ R is a connectivity function if the graphof its restriction f|C to any connected C Rⁿ is connected inRⁿ x R. The main goal of this paper is to prove that every functionf: Rⁿ R is a sum of n + 1 connectivity functions (Corollary2.2). We will also show that if n > 1, then every functiong: Rⁿ R which is a sum of n connectivity functions is continuouson some perfect set (see Theorem 2.5) which implies that thenumber n + 1 in our theorem is best possible (Corollary 2.6). Toprove the above results, we establish and then apply the followingtheorems which are of interest on their own. For every dense G-subset G of Rⁿ there are homeomorphisms h₁,..., h_n of Rⁿ such that Rⁿ = G h₁(G) ... h_n(G) (Proposition2.4). For every n > 1 and any connectivity function f: Rⁿ R, ifx Rⁿ and > 0 then there exists an open set U Rⁿ such thatx U Bⁿ(x, ), f|bd(U) is continuous, and |(x) – f(y)|< for every y bd(U) (Proposition 2.7). 1991 MathematicsSubject Classification: 26B40, 54C30, 54F45.     

Weyl-Titchmarsh M-Function Asymptotics for Matrix-valued Schrodinger Operators

We explicitly determine the high-energy asymptotics for Weyl–Titchmarshmatrices corresponding to matrix-valued Schrödinger operatorsassociated with general self-adjoint m x m matrix potentials, where m N. More precisely,assume that for some N N and x₀R, for all c>x₀, and that x x₀ is a right Lebesgue point ofQ^(N–1). In addition, denote by I_m the mxm identity matrixand by C the open sector in thecomplex plane with vertex atzero, symmetry axis along the positive imaginary axis, and openingangle , with 0 < < . Then we prove the following asymptoticexpansion for any point M_+(z,x) of the unique limit point ora point of the limit disk associated with the differential expression in and a Dirichlet boundary condition at x=x₀: The expansion is uniform with respect to arg(z)for |z| in C and uniform in x as long as x varies in compactsubsets of R intersected with the right Lebesgue set of Q^(N–1).Moreover, the m x m expansion coefficients m_+,k(x) can be computedrecursively. Analogous results hold for matrix-valued Schrödinger operatorson the real line. 2000 Mathematics Subject Classification: 34E05,34B20, 34L40, 34A55.     

Decomposition of weighted Triebel-Lizorkin and Besov spaces on the ball

Weighted Triebel–Lizorkin and Besov spaces on the unitball B^d in ^d with weights w_µ(x)=(1–|x|²)^µ–1/2,µ0, are introduced and explored. A decomposition schemeis developed in terms of almost exponentially localized polynomialelements (needlets) {}, {} and it is shown that the membershipof a distribution to the weighted Triebel–Lizorkin orBesov spaces can be determined by the size of the needlet coefficients{f, } in appropriate sequence spaces.     

Euler characteristics of the real points of certain varieties of algebraic tori

Let G be a complex connected reductive group which is definedover , let be its Lie algebra, and let be the variety of maximaltori of G. For (), let be the variety of tori in whose Liealgebra is orthogonal to with respect to the Killing form.We show, using the Fourier–Sato transform of conical sheaveson real vector bundles, that the ‘weighted Euler characteristic’of () is zero unless is nilpotent, in which case it equals(–1)^{(dim )/2}. Here ‘weighted Euler characteristic’means the sum of the Euler characteristics of the connectedcomponents, each weighted by a sign ± 1 which dependson the real structure of the tori in the relevant component.This is a real analogue of a result over finite fields whichis connected with the Steinberg representation of a reductivegroup.     

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.     

A bifurcation problem governed by the boundary condition II

In this work we consider the problem u = a(x)u^p in on , where is a smooth bounded domain, isthe outward unit normal to , is regarded as a parameter and0 < p < 1. We consider both cases where a(x) > 0 in or a(x) is allowed to vanish in a whole subdomain ₀ of . Ourmain results include existence of non-negative non-trivial solutionsin the range 0 < < ₁, where ₁ is characterized by meansof an eigenvalue problem, uniqueness and bifurcation from infinityof such solutions for small , and the appearance of dead coresfor large enough .     

Ideal Spaces of Banach Algebras

The ideal space Id(A) of a Banach algebra A is studied as abitopological space Id(A), _u, _n, where _u is the weakest topologyfor which all the norm functions I || a + I|| (with a A andI Id(A)) are upper semi-continuous, and _n is the de Groot dualof _u. When A is separable, _nu is either a compact, metrizabletopology, or it is neither Hausdorff nor first countable. TAF-algebrasare shown to exhibit the first type of behaviour. Applicationsto Banach bundles (which motivate the study), and to PI-Banachalgebras, are given. 1991 Mathematics Subject Classification:46H10, 46J20.     

Dynamics of projective morphisms having identical canonical heights

Let , :^{N N} be morphisms of degree at least 2 whose canonicalheights and are identical. We draw various conclusions aboutthe Green functions, Julia sets, and canonical local heightsof and . We use this information to completely characterize and in the following cases: (i) and are polynomial mapsin one variable; (ii) is the dth-power map; (iii) is a Lattèsmap.     

Global Branch of Solutions for Non-Linear Schrodinger Equations with Deepening Potential Well

We consider the stationary non-linear Schrödinger equation where > 0 and the functionsf and g are such that and for some bounded open set R^N. We use topological methods to establish the existenceof two connected sets D^± of positive/negative solutionsin R x W², ^p R^N where that cover the interval (, ()) in the sense that and furthermore, The number () is characterized as the unique value of in theinterval (, ) for which the asymptotic linearization has a positiveeigenfunction. Our work uses a degree for Fredholm maps of indexzero. 2000 Mathematics Subject Classification 35J60, 35B32,58J55.     

Second-order operators with degenerate coefficients

We consider properties of second-order operators on ^d with bounded real symmetric measurable coefficients.We assume that C = (c_ij) 0 almost everywhere, but allow forthe possibility that C is degenerate. We associate with H acanonical self-adjoint viscosity operator H₀ and examine propertiesof the viscosity semigroup S⁽⁰⁾ generated by H₀. The semigroupextends to a positive contraction semigroup on the L_p-spaceswith p [1, ]. We establish that it conserves probability andsatisfies L₂ off-diagonal bounds, and that the wave equationassociated with H₀ has finite speed of propagation. Nevertheless,S⁽⁰⁾ is not always strictly positive because separation of thesystem can occur even for subelliptic operators. This demonstratesthat subelliptic semigroups are not ergodic in general and theirkernels are neither strictly positive nor Hölder continuous.In particular, one can construct examples for which both upperand lower Gaussian bounds fail even with coefficients in C^2–(^d)with > 0.     

Moduli of McKay quiver representations I: the coherent component

For a finite abelian group G GL (n, ), we describe the coherent component Y of the moduli space of-stable McKay quiver representations. This is a not-necessarily-normaltoric variety that admits a projective birational morphism obtained by variation of GeometricInvariant Theory quotient. As a special case, this gives a newconstruction of Nakamura's G-Hilbert scheme Hilb^G that avoidsthe (typically highly singular) Hilbert scheme of |G|-pointsin . To conclude, we describe the toric fan of Y and hence calculate the quiver representationcorresponding to any point of Y.