Traces and extensions of matrix-weighted Besov spaces

Let V be a matrix weight on ⁿ⁺¹ and let W be a matrix weighton ⁿ, satisfying, for example, the matrix A_p condition. Definethe trace, or restriction, operator Tr by Tr (f)(x^')=f(x^', 0),where x^'n and f is a function on ⁿ⁺¹. If –1/p>n (1/p–1)₊+(β–n)/p,where β is the doubling exponent of W, then the trace operatoris bounded from into (matrix-weighted Besov spaces) if and only ifthe weights V and W uniformly satisfy an estimate controllingthe average of on anydyadic cube I ⁿ by the average of on Q(I)=Ix[0, (I)], for all . If V and W satisfy the converse inequality, then there existsa continuous linear map .If both inequalities hold, then Tr Ext is the identity on .     

The Marica-Schonheim Inequality in Lattices

The Marica-Schönheim Inequality says that if A is a finitefamily of sets, then |A–||A| where A–A=[A₁\A₂:A₁,A₂A]. For a finite lattice L and AL, we define a–b=(J_a\J_b)where J_a=[jL:ja and j is join-irreducible], and if AL then welet A–A=[a₁–a₂: a₁, a₂A]. Then the analogue of theMarica-Schöonheim Inequality is |A–A|A| for all AL.We prove that this is true if L is distributive or complementedand modular or L is a partition lattice.     

The Symmetrized Bidisc and Lempert's Theorem

Let G C² be the open symmetrized bidisc, namely G = {(₁ + ₂,₁₂) : |₁| < 1, |₂| < 1}. In this paper, a proof is giventhat G is not biholomorphic to any convex domain in C². By combiningthis result with earlier work of Agler and Young, the authorshows that G is a bounded domain on which the Carathéodorydistance and the Kobayashi distance coincide, but which is notbiholomorphic to a convex set. 2000 Mathematics Subject Classification32F45 (primary), 15A18 (secondary).     

Packing, Tiling, Orthogonality and Completeness

Let R^d be an open set of measure 1. An open set DR^d is calleda ‘tight orthogonal packing region’ for if D–Ddoes not intersect the zeros of the Fourier transform of theindicator function of , and D has measure 1. Suppose that isa discrete subset of R^d. The main contribution of this paperis a new way of proving the following result: D tiles R^d whentranslated at the locations if and only if the set of exponentialsE = {exp 2i, x: } is an orthonormal basis for L²(). (This resulthas been proved by different methods by Lagarias, Reeds andWang [9] and, in the case of being the cube, by Iosevich andPedersen [3]. When is the unit cube in R^d, it is a tight orthogonalpacking region of itself.) In our approach, orthogonality ofE is viewed as a statement about ‘packing’ R^d withtranslates of a certain non-negative function and, additionally,we have completeness of E in L²() if and only if the above-mentionedpacking is in fact a tiling. We then formulate the tiling conditionin Fourier analytic language, and use this to prove our result.2000 Mathematics Subject Classification 52C22, 42B99, 11K70.     

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.     

Correction: Abelian Varieties defined over their Fields of Moduli, I

Bull London Math. Soc, 4 (1972), 370–372. The proof of the theorem contains an error. Before giving acorrect proof, we state two lemmas. LEMMA 1. Let K/k be a cyclic Galois extension of degree m, let generate Gal (K/k), and let (A, I, ) be defined over K. Supposethat there exists an isomorphism :(A,I,) (A, I, ) over K suchthat v^m–1 ... = 1, where v is the canonical isomorphism(A^m, I^m, ^m) (A, I, ). Then (A, I, ) has a model over k, whichbecomes isomorphic to (A, I, ) over K. Proof. This follows easily from [7], as is essentially explainedon p. 371. LEMMA 2. Let G be an abelian pro-finite group and let : G Q/Z be a continuous character of G whose image has order p.Then either: (a) there exist subgroups G' and H of G such that H is cyclicof order p^m for some m, (G') = 0, and G = G' x H, or (b) for any m > 0 there exists a continuous character m ofG such that p^m _m = . Proof. If (b) is false for a given m, then there exists an element G, of order p^r for some r m, such that () ¦ 0. (Considerthe sequence dual to 0 Ker (p^m) G ^pm G). There exists an opensubgroup G_o of G such that (G₀) = 0 and has order p^r in G/G₀.Choose H to be the subgroup of G generated by , and then aneasy application to G/G₀ of the theory of finite abelian groupsshows the existence of G' (note that () ¦ 0 implies that is not a p-th. power in G). We now prove the theorem. The proof is correct up to the statement(iv) (except that (i) should read: F' k₁ F'ab). To removea minor ambiguity in the proof of (iv), choose to be an elementof Gal (F'_ab/k₂) whose image $$\stackrel{\&macr;}{\sigma}$$ in Gal (k₁/k₂) generates this last group. The error occursin the statement that the canonical map v : A^P A acts on pointsby sending a^p a; it, of course, sends a a. The proof is correct, however, in the case that it is possibleto choose so that ^p = 1 (in Gal (F'/k₂)). By applying Lemma 2 to G = Gal (F'_ab/k₂) and the map G Gal(k₁/k₂) one sees that only the following two cases have to beconsidered. (a) It is possible to choose so that ^pm = 1, for some m, andG = G' x H where G' acts trivially on k₁ and H is generatedby . (b) For any m > 0 there exists a field K, F'ab K k₁ k₂is a cyclic Galois extension of degree p^m. In the first case, we let K F'_ab be the fixed field of G'.Then (A, I, ), regarded as being defined over K, has a modelover k₂. Indeed, if m = 1, then this was observed above, butwhen m > 1 the same argument applies. In the second case, let : (A, I, ) (A$$\stackrel{\&macr;}{\sigma}$$, I$$\stackrel{\&macr;}{\sigma }$$, $$\stackrel{\&macr;}{\sigma}$$) be an isomorphism defined over k₁ and let v ... ^p–1 = µ(R). If is replaced by for some Aut_k1((A, I, )) then is replacedby ^P. Thus, as µ(R) is finite, we may assume that ^pm–1= 1 for some m. Choose K, as in (b), to be of degree p^m overk₂. Let _m be a generator of Gal (K/k₂) whose restriction tok₁ is $$\stackrel{\&macr;}{\sigma }$$. Then : (A, I, ) (A^{$$\stackrel{\&macr;}{\sigma }$$}, I^{$$\stackrel{\&macr;}{\sigma}$$}, ^{$$\stackrel{\&macr;}{\sigma }$$} = (A^{$$\stackrel{\&macr;}{\sigma}$$m}, I^{$$\stackrel{\&macr;}{\sigma }$$m}, ^{$$\stackrel{\&macr;}{\sigma}$$m} is an isomorphism defined over K and v ^mpm–1, ... ^m =^pm–1 = 1, and so, by) Lemma 1, (A, I, ) has a model overk₂ which becomes isomorphic to (A, I, over K. The proof may now be completed as before. Addendum: Professor Shimura has pointed out to me that the claimon lines 25 and 26 of p. 371, viz that µ(R) is a puresubgroup of _R^*t, does not hold for all rings R. Thus this condition,which appears to be essential for the validity of the theorem,should be included in the hypotheses. It holds, for example,if µ(R) is a direct summand of µ(F).     

The Representation of Some Integers as a Subset Sum

Let A N. The cardinality (the sum of the elements) of A willbe denoted by |A| ((A)). Let m N and p be a prime. Let A {1, 2,...,p}. We prove thefollowing results. If |A| [(p+m–2)/m]+m, then for every integer x such that0 x p – 1, there is B A such that |B| = m and (B) x mod p. Moreover, the bound is attained. If |A| [(p+m–2)/m]+m!, then there is B A such that |B| 0 mod m and (B) = (m – 1)!p. If |A| [(p + 1)/3]+29, then for every even integer x such that4p s x p(p + 170)/48, there is S A such that x = (S). In particular,for every even integer a 2 such that p 192a – 170, thereare an integer j 0 and S A such that (S) = a^j+1.     

Haar type and Carleson constants

For a collection of dyadic intervals, a Banach space X, andp(1, 2], we assume the upper ^p estimates where x_IX, and h_I denotes the L normalized Haar function supportedon I. We determine the minimal requirement on the size of suchthat these estimates imply that X is of Haar type p. The characterizationis given in terms of the Carleson constant of .     

The Series of Norms in a Soluble p-Group

The norm of a group G is the subgroup of elements of G whichnormalise every subgroup of G. We shall denote it (G). An ascendingseries of subgroups _i(G) in G may be defined recursively by:₀(G) = 1 and, for i 0, _i+1(G)/_i(G) = (G/_i(G)). For each i,the section _i+1(G)/i(G) clearly contains the centre of the groupG/_i(G). A result of Schenkman [8] gives a very close connectionbetween this norm series and the upper central series: _i(G) _i(G) _2i(G). 1991 Mathematics Subject Classification 20E15.     

A Relation between Hausdorff Dimension and a Condition on Time Sets for the Image by the Brownian Sheet to Possess Interior Points

We prove that if W_{N, d} is a Brownian sheet mapping to R^d and E is a set in (0, )^N of Hausdorff dimensiongreater than , then for almost every rotation about a point x and translation _x such that _x(E) (0, )^N, the set _x(E) is such that almost surely W(E) containsinterior points. The techniques are adapted from Kahane andRosen and generalize to higher dimensional time and range.     

Quasi-Affinity in certain Classes of Operators

The family of operators S + V (, C, Re > 0), where V isan injective S-Volterra operator (that is, [S, V[ = V²) and— A — V^–1 generates a uniformly bounded C₀-semigroup,is studied in the context of similarity and of the weaker quasi-affinityrelation. It is shown that S is similar to S + V for all , C,Re > 1, and is a quasi-affine transform of S + tV for allt 0 and 0 < < 1.     

On the ideals and singularities of secant varieties of Segre varieties

We find minimal generators for the ideals of secant varietiesof Segre varieties in the cases of _k(¹ x ⁿ x ^m) for all k, n,m, ₂(ⁿ x ^m x ^p x ^r) for all n, m, p, r (GSS conjecture for fourfactors), and ₃(ⁿ x ^m x ^p) for all n, m, p and prove they arenormal with rational singularities in the first case and arithmeticallyCohen–Macaulay in the second two cases.     

The Set of {omega}-Limit Points of A Map of the Circle is Closed

Let f be a continuous self-map of the unit circle, S¹. The -limitpoints (x) of a point x are the set of all limit points of thesequence of iterates of f acting on x. We shall show that theset of all -limit points _xS¹(x) a closed set in S¹.     

Correction: on the Intersection Matrices of Curves lying on Irregular Algebraic Surfaces

Professor W. F. Hammond has kindly drawn my attention to a blunderin 4 of the above paper. He referred to the ( – 2r) xß submatrix D of the skew-symmetric matrix displayednear the top of page 181, of which it is asserted that it issquare and non-singular, and pointed out that, from the factthat the matrix of which D forms part is regular, it may onlybe deduced that the columns of D are linearly independent; thatis, it only follows that – 2r ß. The validity of the equation – 2r = ß is essentialto the succeeding argument and, fortunately, may be establishedby alternative means. Using the nomenclature of the paper, wehave on F the set ₁^*, ..., _2r^*, ₁^*, ..., _ß^* of independent3-cycles (independent because they cut independent 1-cycleson the curve C), which may be completed, to form a basis forsuch cycles on F, by a further set ₁', ..., _2q–2r–pof independent 3-cycles, each of which meets C in a cycle homologousto zero on C. The cycles ₁^*, ..., ^* are invariant cycles andare independent on F so that, if > 2r + ß, thereis a non-trivial linear combination ^* of these having zero intersectionon C with each of the cycles ₁^*, ..., _2r^*, ₁^*, ..., _ß^*.Thus we have. (^* ._k^*)c = 0 = (^* ._i^*)c i.e. (^* ._k^*) = 0 = (^* ._i^* on F (1 k 2r; 1 i ß). Furthermore, (_j . C) 0 on C and we have (^* ._j .C)_C = 0 i.e. (^* ._j) = 0 on F (1 j 2q – 2r – ß). It now follows that ^* 0 on F (for it has zero intersectionwith every member of a basic set of 3-cycles on F). But thiscondradicts the assumption that ^* is a non-trivial linear combinationof the independent cycles ₁^*, ...,^*; and hence < 2r + ß.     

A Necessary and Sufficient Condition for a Linear Differential System to be Strongly Monotone

In order to present the results of this note, we begin withsome definitions. Consider a differential system [formula] where IR is an open interval, and f(t, x), (t, x)IxRⁿ, is acontinuous vector function with continuous first derivativesf_r/x_s, r, s=1, 2, ..., n. Let D_xf(t, x), (t, x)IxRⁿ, denote the Jacobi matrix of f(t,x), with respect to the variables x₁, ..., x_n. Let x(t, t₀,x₀), tI(t₀, x₀) denote the maximal solution of the system (1)through the point (t₀, x₀)IxRⁿ. For two vectors x, yRⁿ, we use the notations x>y and x>>yaccording to the following definitions: [formula] An nxn matrix A=(a_rs) is called reducible if n2 and there existsa partition [formula] (p1, q1, p+q=n) such that [formula] The matrix A is called irreducible if n=1, or if n2 and A isnot reducible. The system (1) is called strongly monotone if for any t₀I, x₁,x₂Rⁿ [formula] holds for all t>t₀ as long as both solutions x(t, t₀, x_i),i=1, 2, are defined. The system is called cooperative if forall (t, x)IxRⁿ the off-diagonal elements of the nxn matrix D_xf(t,x) are nonnegative. 1991 Mathematics Subject Classification34A30, 34C99.     

Cardinal Invariants and Eventually Different Functions

In this paper we study several kinds of maximal almost disjointfamilies. In the main result of this paper we show that forsuccessor cardinals , there is an unexpected connection betweeninvariants a_e(), b() and a certain cardinal invariant m_d(⁺)on ⁺. As a corollary we get for example the following result.For a successor cardinal , even assuming that ^< = and 2= ⁺, the following is not provable in Zermelo–Fraenkelset theory. There is a ⁺-cc poset which does not collapse andwhich forces a() = ⁺ < a_e() = ⁺⁺ = 2. We also apply the ideasfrom the proofs of these results to study a = a() and non(M).2000 Mathematics Subject Classification 03E17 (primary), 03E05(secondary).     

The Coherence of One-Relator Groups with Torsion and the Hanna Neumann Conjecture

A conjecture is proposed, bounding the number of cycles withlabel Wⁿ in a labeled directed graph. Some partial results towardsthis conjecture are established. As a consequence, it is provedthat a₁, a₂,...|Wⁿ is coherent for n 4. Furthermore, it iscoherent for n 2, provided that the strengthened Hanna Neumannconjecture holds. 2000 Mathematics Subject Classification 20F06,05C38.     

A Criterion for the Existence of Transversals of Set Systems

Nash-Williams [6] formulated a condition that is necessary andsufficient for a countable family A=(A_i)_iI of sets to have atransversal. In [7] he proved that his criterion applies alsowhen we allow the set I to be arbitrary and require only that_iJA_i=Ø for any uncountable JI. In this paper, we formulateanother criterion of a similar nature, and prove that it isequivalent to the criterion of Nash-Williams for any familyu. We also present a self-contained proof that if _iJA_i=Øfor any uncountable JI, then our condition is necessary andsufficient for the family u to have a transversal.     

On Extensions of Myers' Theorem

Let M be a compact Riemannian manifold, and let h be a smoothfunction on M. Let p^h(x) = inf||–₁(Ric_x(,)–2Hess(h_x(,)).Here Ric_x denotes the Ricci curvature at x and Hess(h) is theHessian of h. Then M has finite fundamental group if ^h–p^h<0. Here ^h =:+2L_h is the Bismut-Witten Laplacian. This leadsto a quick proof of recent results on extension of Myers' theoremto manifolds with mostly positive curvature. There is also asimilar result for noncompact manifolds.     

A Variation on a Theorem of Galvin and Hajnal

Let be a singular cardinal of regular uncountable cofinality. Let {(): < } be a continuous increasing sequence withlimit , and let =₍₎₊₍₎, < be regular cardinals. Let I be a normal ideal on , and assume that the reduced product_</I admits a cofinal -scale of ordinal functions. Then ₊, where =||||_I is the I-norm of .