Rotation topological factors of minimal -actions on the Cantor set

In this paper we study conditions under which a free minimal -action on the Cantor set is a topological extension of the action of rotations, either on the product of -tori or on a single -torus . We extend the notion of linearly recurrent systems defined for -actions on the Cantor set to -actions, and we derive in this more general setting a necessary and sufficient condition, which involves a natural combinatorial data associated with the action, allowing the existence of a rotation topological factor of one of these two types.

     

Equipartitions of measures in

A well-known problem of B. Grünbaum (1960) asks whether for every continuous mass distribution (measure) on there exist hyperplanes dividing into parts of equal measure. It is known that the answer is positive in dimension (see H. Hadwiger (1966)) and negative for (see D. Avis (1984) and E. Ramos (1996)). We give a partial solution to Grünbaum's problem in the critical dimension by proving that each measure in admits an equipartition by hyperplanes, provided that it is symmetric with respect to a -dimensional affine subspace of . Moreover we show, by computing the complete obstruction in the relevant group of normal bordisms, that without the symmetry condition, a naturally associated topological problem has a negative solution. The computation is based on Koschorke's exact singularity sequence (1981) and the remarkable properties of the essentially unique, balanced binary Gray code in dimension ; see G. C. Tootill (1956) and D. E. Knuth (2001).

     

Orbit equivalence for Cantor minimal -systems

We show that every minimal, free action of the group on the Cantor set is orbit equivalent to an AF-relation. As a consequence, this extends the classification of minimal systems on the Cantor set up to orbit equivalence to include AF-relations, -actions and -actions.

     

Characterizations of function spaces on the sphere using frames

In this paper we introduce a polynomial frame on the unit sphere of , for which every distribution has a wavelet-type decomposition. More importantly, we prove that many function spaces on the sphere , such as , and Besov spaces, can be characterized in terms of the coefficients in the wavelet decompositions, as in the usual Euclidean case . We also study a related nonlinear -term approximation problem on . In particular, we prove both a Jackson-type inequality and a Bernstein-type inequality associated to wavelet decompositions, which extend the corresponding results obtained by R. A. DeVore, B. Jawerth and V. Popov (``Compression of wavelet decompositions', Amer. J. Math. 114 (1992), no. 4, 737-785).

     

A tensor norm preserving unconditionality for -spaces

We show that, for each , there is an -tensor norm (in the sense of Grothendieck) with the surprising property that the -tensor product has local unconditional structure for each choice of arbitrary -spaces . In fact, is the tensor norm associated to the ideal of multiple -summing -linear forms on Banach spaces.

     

A generalization of half-plane mappings to the ball in

Let be a normalized (, ) biholomorphic mapping of the unit ball onto a convex domain that is the union of lines parallel to some unit vector . We consider the situation in which there is one infinite singularity of on . In one case with a simple change-of-variables, we classify all convex mappings of that are half-plane mappings in the first coordinate. In the more complicated case, when is not in the span of the infinite singularity, we derive a form of the mappings in dimension .

     

Subgroups of acting transitively on -tuples

We consider subgroups of -diffeomorphisms of the circle which act transitively on -tuples of points. We show, in particular, that these subgroups are dense in the group of homeomorphisms of . A stronger result concerning -approximations is obtained as well. The techniques employed in this paper rely on Lie algebra ideas and they also provide partial generalizations to the differentiable case of some results previously established in the analytic category.

     

Singular solutions of parabolic -Laplacian with absorption

We consider, for and , the -Laplacian evolution equation with absorption

We are interested in those solutions, which we call singular solutions, that are non-negative, non-trivial, continuous in , and satisfy for all . We prove the following:

(i)

When , there does not exist any such singular solution.

(ii)

When , there exists, for every , a unique singular solution that satisfies as .

Also, as , where is a singular solution that satisfies as .

Furthermore, any singular solution is either or for some finite positive .

     

Torsion in coinvariants of certain Cantor minimal -systems

Let be a finite abelian group. We will consider a skew product extension of a product of two Cantor minimal -systems associated with a -valued cocycle. When is non-cyclic and the cocycle is non-degenerate, it will be shown that the skew product system has torsion in its coinvariants.

     

-continuity properties of the symmetric -stable process

Let be a domain of finite Lebesgue measure in and let be the symmetric -stable process killed upon exiting . Each element of the set of eigenvalues associated to , regarded as a function of , is right continuous. In addition, if is Lipschitz and bounded, then each is continuous in and the set of associated eigenfunctions is precompact.

     

Strongly self-absorbing -algebras

Say that a separable, unital -algebra is strongly self-absorbing if there exists an isomorphism such that and are approximately unitarily equivalent -homomorphisms. We study this class of algebras, which includes the Cuntz algebras , , the UHF algebras of infinite type, the Jiang-Su algebra and tensor products of with UHF algebras of infinite type. Given a strongly self-absorbing -algebra we characterise when a separable -algebra absorbs tensorially (i.e., is -stable), and prove closure properties for the class of separable -stable -algebras. Finally, we compute the possible -groups and prove a number of classification results which suggest that the examples listed above are the only strongly self-absorbing -algebras.

     

Hardy space of exact forms on

We show that the Hardy space of divergence-free vector fields on has a divergence-free atomic decomposition, and thus we characterize its dual as a variant of . Using the duality result we prove a ``div-curl" type theorem: for in , is equivalent to a -type norm of , where the supremum is taken over all with This theorem is used to obtain some coercivity results for quadratic forms which arise in the linearization of polyconvex variational integrals studied in nonlinear elasticity. In addition, we introduce Hardy spaces of exact forms on , study their atomic decompositions and dual spaces, and establish ``div-curl" type theorems on .

     

-theorems for fusion systems

For an odd prime, we generalise the Glauberman-Thompson -nilpotency theorem (Gorenstein, 1980) to arbitrary fusion systems. We define a notion of -free fusion systems and show that if is a -free fusion system on some finite -group , then is controlled by for any Glauberman functor , generalising Glauberman's -theorem (Glauberman, 1968) to arbitrary fusion systems.

     

Simple birational extensions of the polynomial algebra

The Abhyankar-Sathaye Problem asks whether any biregular embedding can be rectified, that is, whether there exists an automorphism such that is a linear embedding. Here we study this problem for the embeddings whose image is given in by an equation , where and . Under certain additional assumptions we show that, indeed, the polynomial is a variable of the polynomial ring (i.e., a coordinate of a polynomial automorphism of ). This is an analog of a theorem due to Sathaye (1976) which concerns the case of embeddings . Besides, we generalize a theorem of Miyanishi (1984) giving, for a polynomial as above, a criterion for when .

     

properties for Gaussian random series

Let be an arbitrary sequence of and let be a random series of the type

where is a sequence of independent Gaussian random variables and an orthonormal basis of (the finite measure space being arbitrary). By using the equivalence of Gaussian moments and an integrability theorem due to Fernique, we show that a necessary and sufficient condition for to belong to , for any almost surely is that . One of the main motivations behind this result is the construction of a nontrivial Gibbs measure invariant under the flow of the cubic defocusing nonlinear Schrödinger equation posed on the open unit disc of .

     

Quantum cohomology of Hilb and enumerative applications

We compute the small quantum cohomology of Hilb and determine recursively most of the big quantum cohomology. We prove a relationship between the invariants so obtained and the enumerative geometry of hyperelliptic curves in . This extends the results obtained by Graber (2001) for Hilb and hyperelliptic curves in .

     

On the normal bundle of submanifolds of

Let be a submanifold of dimension of the complex projective space . We prove results of the following type.i) If is irregular and , then the normal bundle is indecomposable. ii) If is irregular, and , then is not the direct sum of two vector bundles of rank . iii) If , and is decomposable, then the natural restriction map is an isomorphism (and, in particular, if is embedded Segre in , then is indecomposable). iv) Let and , and assume that is a direct sum of line bundles; if assume furthermore that is simply connected and is not divisible in . Then is a complete intersection. These results follow from Theorem 2.1 below together with Le Potier's vanishing theorem. The last statement also uses a criterion of Faltings for complete intersection. In the case when this fact was proved by M. Schneider in 1990 in a completely different way.

     

Average size of -Selmer groups of elliptic curves, I

In this paper, we study a class of elliptic curves over with -torsion group , and prove that the average order of the -Selmer groups is bounded.

     

A remark on irregularity of the -Neumann problem on non-smooth domains

It is an observation due to J. J. Kohn that for a smooth bounded pseudoconvex domain in there exists such that the -Neumann operator on maps (the space of -forms with coefficient functions in -Sobolev space of order ) into itself continuously. We show that this conclusion does not hold without the smoothness assumption by constructing a bounded pseudoconvex domain in , smooth except at one point, whose -Neumann operator is not bounded on for any .

     

Eigenvalues of Schrödinger operators with potential asymptotically homogeneous of degree

We strengthen and generalise a result of Kirsch and Simon on the behaviour of the function , the number of bound states of the operator in below . Here is a bounded potential behaving asymptotically like where is a function on the sphere. It is well known that the eigenvalues of such an operator are all nonpositive, and accumulate only at 0. If the operator on the sphere has negative eigenvalues less than , we prove that may be estimated as

Thus, in particular, if there are no such negative eigenvalues, then has a finite discrete spectrum. Moreover, under some additional assumptions including the fact that and that there is exactly one eigenvalue less than , with all others , we show that the negative spectrum is asymptotic to a geometric progression with ratio .