Bounded -calculus for pseudodifferential operators and applications to the Dirichlet-Neumann operator

Operators of the form with a pseudodifferential symbol belonging to the Hörmander class , , , and certain perturbations are shown to possess a bounded -calculus in Besov-Triebel-Lizorkin and certain subspaces of Hölder spaces, provided is suitably elliptic. Applications concern pseudodifferential operators with mildly regular symbols and operators on manifolds of low regularity. An example is the Dirichlet-Neumann operator for a compact domain with -boundary.

     

-bounds for the Beurling-Ahlfors transform

Let denote the Beurling-Ahlfors transform defined on , . The celebrated conjecture of T. Iwaniec states that its norm where . In this paper the new upper estimate

is found.

     

Differentiability of spectral functions for symmetric -stable processes

Let be a signed Radon measure in the Kato class and define a Schrödinger type operator on . We show that its spectral bound is differentiable if and is Green-tight.

     

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.

     

Integral homology -spheres and the Johnson filtration

The mapping class group of an oriented surface of genus with one boundary component has a natural decreasing filtration , where is the kernel of the action of on the nilpotent quotient of . Using a tree Lie algebra approximating the graded Lie algebra we prove that any integral homology sphere of dimension has for some a Heegaard decomposition of the form , where and is such that . This proves a conjecture due to S. Morita and shows that the ``core' of the Casson invariant is indeed the Casson invariant.

     

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 .

     

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 .

     

Branch structure of -holomorphic curves near periodic orbits of a contact manifold

Let be a three-dimensional contact manifold, and a finite-energy pseudoholomorphic map from the punctured disc in that is asymptotic to a periodic orbit of the contact form. This article examines conditions under which smooth coordinates may be defined in a tubular neighbourhood of the orbit such that resembles a holomorphic curve, invoking comparison with the theory of topological linking of plane complex algebroid curves near a singular point. Examples of this behaviour, which are studied in some detail, include pseudoholomorphic maps into , where denotes a rational ellipsoid (contact structure induced by the standard complex structure on ), as well as contact structures arising from non-standard circle-fibrations of the three-sphere.

     

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 Diophantine definability and decidability in some infinite totally real extensions of

Let be a number field, and a set of its non-Archimedean primes. Then let . Let be a finite set of prime numbers. Let be the field generated by all the -th roots of unity as and . Let be the largest totally real subfield of . Then for any 0$">, there exist a number field , and a set of non-Archimedean primes of such that has density greater than , and has a Diophantine definition over the integral closure of in .

     

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 .

     

Bimodules and -rationality of vertex operator algebras

This paper studies the twisted representations of vertex operator algebras. Let be a vertex operator algebra and an automorphism of of finite order For any , an - -bimodule is constructed. The collection of these bimodules determines any admissible -twisted -module completely. A Verma type admissible -twisted -module is constructed naturally from any -module. Furthermore, it is shown with the help of bimodule theory that a simple vertex operator algebra is -rational if and only if its twisted associative algebra is semisimple and each irreducible admissible -twisted -module is ordinary.

     

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.

     

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.

     

A new variational characterization of -dimensional space forms

A Riemannian manifold is associated with a Schouten -tensor which is a naturally defined Codazzi tensor in case is a locally conformally flat Riemannian manifold. In this paper, we study the Riemannian functional defined on , where is the space of smooth Riemannian metrics on a compact smooth manifold and is the elementary symmetric functions of the eigenvalues of with respect to . We prove that if and a conformally flat metric is a critical point of with , then must have constant sectional curvature. This is a generalization of Gursky and Viaclovsky's very recent theorem that the critical point of with characterized the three-dimensional space forms.

     

The flat model structure on

Given a cotorsion pair in an abelian category with enough objects and enough objects, we define two cotorsion pairs in the category of unbounded chain complexes. We see that these two cotorsion pairs are related in a nice way when is hereditary. We then show that both of these induced cotorsion pairs are complete when is the ``flat' cotorsion pair of -modules. This proves the flat cover conjecture for (possibly unbounded) chain complexes and also gives us a new ``flat' model category structure on . In the last section we use the theory of model categories to show that we can define using a flat resolution of and a cotorsion coresolution of .

     

The cohomology of certain Hopf algebras associated with -groups

We study the cohomology of a locally finite, connected, cocommutative Hopf algebra over . Specifically, we are interested in those algebras for which is generated as an algebra by and . We shall call such algebras semi-Koszul. Given a central extension of Hopf algebras with monogenic and semi-Koszul, we use the Cartan-Eilenberg spectral sequence and algebraic Steenrod operations to determine conditions for to be semi-Koszul. Special attention is given to the case in which is the restricted universal enveloping algebra of the Lie algebra obtained from the mod- lower central series of a -group. We show that the algebras arising in this way from extensions by of an abelian -group are semi-Koszul. Explicit calculations are carried out for algebras arising from rank 2 -groups, and it is shown that these are all semi-Koszul for .

     

A version of Bourgain's theorem

Let satisfy We construct an orthonormal basis for such that and are both uniformly bounded in . Here . This generalizes a theorem of Bourgain and is closely related to recent results on the Balian-Low theorem.

     

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

     

A note on -estimates for stable integrals with drift

Let be of the form where is a symmetric stable process of index with . We obtain various -estimates for the process . In particular, for and any measurable, nonnegative function we derive the inequality

As an application of the obtained estimates, we prove the existence of solutions for the stochastic equation for any initial value .