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.     

Reciprocating the Regular Polytopes

For reciprocation with respect to a sphere x²=c in Euclideann-space, there is a unitary analogue: Hermitian reciprocationwith respect to an antisphere u=c. This is now applied, forthe first time, to complex polytopes. When a regular polytope has a palindromic Schläfli symbol,it is self-reciprocal in the sense that its reciprocal ', withrespect to a suitable concentric sphere or antisphere, is congruentto . The present article reveals that and ' usually have togetherthe same vertices as a third polytope ⁺ and the same facet-hyperplanesas a fourth polytope ^– (where ⁺ and ^– are againregular), so as to form a ‘compound’, ⁺[2]^–.When the geometry is real, ⁺ is the convex hull of and ', while^– is their common content or ‘core’. For instance,when is a regular p-gon {p}, the compound is The exceptions are of two kinds. In one, ⁺ and ^– are notregular. The actual cases are when is an n-simplex {3, 3, ...,3} with n4 or the real 4-dimensional 24-cell {3, 4, 3}=2{3}2{4}2{3}2or the complex 4-dimensional Witting polytope 3{3}3{3}3{3}3.The other kind of exception arises when the vertices of arethe poles of its own facet-hyperplanes, so that , ', ⁺ and ^–all coincide. Then is said to be strongly self-reciprocal.     

Majorations Uniformes de Normes D'Inverses Dans Les Algebres de Beurling

The Beurling algebras l¹(D,)(D=N,Z) that are semi-simple, withcompact Gelfand transform, are considered. The paper gives anecessary and sufficient condition (on ) such that l¹(D,) possessesa uniform quantitative version of Wiener's theorem in the sensethat there exists a function :]0,+[]0,+ such that, for everyinvertible element x in the unit ball of l¹(D,), we have ||x^–1||(r(x^–1)) r(x^–1) is the spectral radiusof x^–1.     

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||=+.     

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.     

Compact Embeddings of Besov Spaces in Exponential Orlicz Spaces

Let 1 < p < , 0 < v < p', let be a bounded domainin Rⁿ, and denote by id the limiting compact embedding of theBesov space (Rⁿ) into the exponentialOrlicz space L_exp(t^v)(), mapping a function f onto its restrictionf|. In 1993 Triebel established, among others, two-sided estimatesfor the entropy numbers of id, which are even asymptoticallyoptimal for ‘small’ . The aim of the paper is toimprove the upper bounds in the case of ‘large’, where Triebel's estimates are not yet sharp, thus making afurther step towards the conjectured correct asymptotic behaviour.     

An Access Theorem for Continuous Functions

Let f be a continuous function on an open subset of R² suchthat for every x there exists a continuous map : [–1,1] with (0) = x and f increasing on [–1, 1]. Thenfor every there exists a continuous map : [0, 1) suchthat (0) = y, f is increasing on [0; 1), and for every compactsubset K of , max{t : (t) K} < 1. This result gives an answerto a question posed by M. Ortel. Furthermore, an example showsthat this result is not valid in higher dimensions.     

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.     

Movement and Separation of Subsets of Points Under Group Actions

Let G be a permutation group on a set , and let m and k be integerswhere 0<m<k. For a subset of , if the cardinalities ofthe sets ^g\, for gG, are finite and bounded, then is said tohave bounded movement, and the movement of is defined as move()=max_gG|^g\|. If there is a k-element subset such that move()m, it is shown that some G-orbit has length at most (k²–m)/(k–m).When combined with a result of P. M. Neumann, this result hasthe following consequence: if some infinite subset has boundedmovement at most m, then either is a G-invariant subset withat most m points added or removed, or nontrivially meets aG-orbit of length at most m²+m+1. Also, if move ()m for allk-element subsets and if G has no fixed points in , then either||k+m (and in this case all permutation groups on have thisproperty), or ||5m–2. These results generalise earlierresults about the separation of finite sets under group actionsby B. J. Birch, R. G. Burns, S. O. Macdonald and P. M. Neumann,and groups in which all subsets have bounded movement (by theauthor).     

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 .     

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.     

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 the Asymptotics of the Growth of 2-Step Nilpotent Groups

Pansu has shown that the growth function of every virtuallynilpotent group with respect to any finite generating set hasasymptotics (n)n^d, where d is the degree of growth of . Thepaper refines his result in the special case of 2-step nilpotentgroups to obtain (n)=n^d+O(n^d–1).     

POSITIVE SOLUTIONS FOR A NONLINEAR ELLIPTIC PROBLEM WITH STRONG LACK OF COMPACTNESS

This paper deals with the lack of compactness in the nonlinearelliptic problem – u + u = |u|^p–2u in , u > 0in , u = 0 on , when is un unbounded domain in ⁿ and 2 <p < 2n/(n–2). In particular, a domain is provided where non-converging Palais–Smale sequences existat every energy level. Nevertheless, it is proved that the problemhas infinitely many solutions on .     

Skew Derivations with Central Invariants

If is an automorphism and is a -derivation of a ring R, thenthe subring of invariants is the set R⁽⁾={rR|(r)=0}. The mainresult of this paper is ‘let R be a semiprime ring withan algebraic -derivation such that R⁽⁾ is central; then R iscommutative’. This theorem generalizes results on theinvariants of automorphisms and derivations and is proved byreducing down to the special cases of automorphisms and derivations.     

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).     

Regularity Conditions and Bernoulli Properties of Equilibrium States and g-Measures

When T : X X is a one-sided topologically mixing subshift offinite type and : X R is a continuous function, one can definethe Ruelle operator L : C(X) C(X) on the space C(X) of real-valuedcontinuous functions on X. The dual operator always has a probability measure as an eigenvectorcorresponding to a positive eigenvalue ( = with > 0). Necessary and sufficient conditionson such an eigenmeasure are obtained for to belong to twoimportant spaces of functions, W(X, T) and Bow (X, T). For example, Bow(X, T) if and only if is a measure with a certain approximateproduct structure. This is used to apply results of Bradleyto show that the natural extension of the unique equilibriumstate µ of Bow(X, T) has the weak Bernoulli propertyand hence is measure-theoretically isomorphic to a Bernoullishift. It is also shown that the unique equilibrium state ofa two-sided Bowen function has the weak Bernoulli property.The characterizations mentioned above are used in the case ofg-measures to obtain results on the ‘reverse’ ofa g-measure.     

Sparse Systems of Functions Closed on Large Sets in RN

Let E(Z) = {e^inx}_nZ denote the trigonometrical exponential system.It is well known that E(Z) forms an orthogonal basis in thespace L²(0, 2). In 1964, H. Landau discovered that the trigonometricalsystem has the following property: certain small perturbationsof E(Z) yield exponential systems which are complete in L² onany finite union of 2-periodic translations of any interval(, 2–), 0 < < .     

Theta-characteristics on singular curves

On a smooth curve a theta-characteristic is a line bundle L,the square of which is the canonical line bundle . The equivalentcondition om(L, ) L generalizes well to singular curves, asapplications show. More precisely, a theta-characteristic isa torsion-free sheaf of rank 1 with om(, ) . If the curvehas non-ADE singularities, then there are infinitely many theta-characteristics.Therefore, theta-characteristics are distinguished by theirlocal type. The main purpose of this article is to compute thenumber of even and odd theta-characteristics (that is withh⁰(C, ) 0 and h⁰(C, ) 1 modulo 2, respectively) in terms ofthe geometric genus of the curve and certain discrete invariantsof a fixed local type.