Quantum symmetric derivatives

For , a one-parameter family of symmetric quantum derivatives is defined for each order of differentiation as are two families of Riemann symmetric quantum derivatives. For , symmetrization holds, that is, whenever the th Peano derivative exists at a point, all of these derivatives of order also exist at that point. The main result, desymmetrization, is that conversely, for , each symmetric quantum derivative is a.e. equivalent to the Peano derivative of the same order. For and , each th symmetric quantum derivative coincides with both corresponding th Riemann symmetric quantum derivatives, so, in particular, for and , both th Riemann symmetric quantum derivatives are a.e. equivalent to the Peano derivative.

     

On the essential commutant of QC

Let (QC) (resp. ) be the -algebra generated by the Toeplitz operators QC (resp. ) on the Hardy space of the unit circle. A well-known theorem of Davidson asserts that (QC) is the essential commutant of . We show that the essential commutant of (QC) is strictly larger than . Thus the image of in the Calkin algebra does not satisfy the double commutant relation. We also give a criterion for membership in the essential commutant of (QC).

     

Profinite and pro- completions of Poincaré duality groups of dimension 3

We establish some sufficient conditions for the profinite and pro- completions of an abstract group of type (resp. of finite cohomological dimension, of finite Euler characteristic) to be of type over the field for a fixed natural prime (resp. of finite cohomological -dimension, of finite Euler -characteristic).

We apply our methods for orientable Poincaré duality groups of dimension 3 and show that the pro- completion of is a pro- Poincaré duality group of dimension 3 if and only if every subgroup of finite index in has deficiency 0 and is infinite. Furthermore if is infinite but not a Poincaré duality pro- group, then either there is a subgroup of finite index in of arbitrary large deficiency or is virtually . Finally we show that if every normal subgroup of finite index in has finite abelianization and the profinite completion of has an infinite Sylow -subgroup, then is a profinite Poincaré duality group of dimension 3 at the prime .

     

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

     

-equivalence in adjoint classical groups over fields of virtual cohomological dimension

Let be a field of characteristic not whose virtual cohomological dimension is at most . Let be a semisimple group of adjoint type defined over . Let denote the normal subgroup of consisting of elements -equivalent to identity. We show that if is of classical type not containing a factor of type , . If is a simple classical adjoint group of type , we show that if and its multi-quadratic extensions satisfy strong approximation property, then . This leads to a new proof of the -triviality of -rational points of adjoint classical groups defined over number fields.

     

On the unique representation of families of sets

Let and be uncountable Polish spaces. represents a family of sets provided each set in occurs as an -section of . We say that uniquely represents provided each set in occurs exactly once as an -section of . is universal for if every -section of is in . is uniquely universal for if it is universal and uniquely represents . We show that there is a Borel set in which uniquely represents the translates of if and only if there is a Vitali set. Assuming there is a Borel set with all sections sets and all non-empty sets are uniquely represented by . Assuming there is a Borel set with all sections which uniquely represents the countable subsets of . There is an analytic set in with all sections which represents all the subsets of , but no Borel set can uniquely represent the sets. This last theorem is generalized to higher Borel classes.

     

The -module structure of -modules

Let be a regular ring, essentially of finite type over a perfect field . An -module is called a unit -module if it comes equipped with an isomorphism , where denotes the Frobenius map on , and is the associated pullback functor. It is well known that then carries a natural -module structure. In this paper we investigate the relation between the unit -structure and the induced -structure on . In particular, it is shown that if is algebraically closed and is a simple finitely generated unit -module, then it is also simple as a -module. An example showing the necessity of being algebraically closed is also given.

     

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.

     

Local and global -regularity

A bounded domain is called -regular if the plurisubharmonic envelope of every continuous function on extends continuously to . We show using Gauthier's Fusion Lemma that a domain is locally -regular if and only if it is -regular.

     

Quantum cohomology and the -Schur basis

We prove that structure constants related to Hecke algebras at roots of unity are special cases of -Littlewood-Richardson coefficients associated to a product of -Schur functions. As a consequence, both the 3-point Gromov-Witten invariants appearing in the quantum cohomology of the Grassmannian, and the fusion coefficients for the WZW conformal field theories associated to are shown to be -Littlewood-Richardson coefficients. From this, Mark Shimozono conjectured that the -Schur functions form the Schubert basis for the homology of the loop Grassmannian, whereas -Schur coproducts correspond to the integral cohomology of the loop Grassmannian. We introduce dual -Schur functions defined on weights of -tableaux that, given Shimozono's conjecture, form the Schubert basis for the cohomology of the loop Grassmannian. We derive several properties of these functions that extend those of skew Schur functions.

     

On one-dimensional self-similar tilings and -tiles

Let be an integer base, a digit set and the set of radix expansions. It is well known that if has nonvoid interior, then can tile with some translation set ( is called a tile and a tile digit set). There are two fundamental questions studied in the literature: (i) describe the structure of ; (ii) for a given , characterize so that is a tile.

We show that for a given pair , there is a unique self-replicating translation set , and it has period for some . This completes some earlier work of Kenyon. Our main result for (ii) is to characterize the tile digit sets for when are distinct primes. The only other known characterization is for , due to Lagarias and Wang. The proof for the case depends on the techniques of Kenyon and De Bruijn on the cyclotomic polynomials, and also on an extension of the product-form digit set of Odlyzko.

     

Curves of genus 2 with group of automorphisms isomorphic to or

The classification of curves of genus 2 over an algebraically closed field was studied by Clebsch and Bolza using invariants of binary sextic forms, and completed by Igusa with the computation of the corresponding three-dimensional moduli variety . The locus of curves with group of automorphisms isomorphic to one of the dihedral groups or is a one-dimensional subvariety.

In this paper we classify these curves over an arbitrary perfect field of characteristic in the case and in the case. We first parameterize the -isomorphism classes of curves defined over by the -rational points of a quasi-affine one-dimensional subvariety of ; then, for every curve representing a point in that variety we compute all of its -twists, which is equivalent to the computation of the cohomology set .

The classification is always performed by explicitly describing the objects involved: the curves are given by hyperelliptic models and their groups of automorphisms represented as subgroups of . In particular, we give two generic hyperelliptic equations, depending on several parameters of , that by specialization produce all curves in every -isomorphism class.

     

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 .

     

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

     

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

     

Effective cones of quotients of moduli spaces of stable -pointed curves of genus zero

Let , the moduli space of -pointed stable genus zero curves, and let be the quotient of by the action of on the last marked points. The cones of effective divisors , , are calculated. Using this, upper bounds for the cones generated by divisors with moving linear systems are calculated, , along with the induced bounds on the cones of ample divisors of and . As an application, the cone is analyzed in detail.

     

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.

     

Surjectivity for Hamiltonian -spaces in -theory

Let be a compact connected Lie group, and a Hamiltonian -space with proper moment map . We give a surjectivity result which expresses the -theory of the symplectic quotient in terms of the equivariant -theory of the original manifold , under certain technical conditions on . This result is a natural -theoretic analogue of the Kirwan surjectivity theorem in symplectic geometry. The main technical tool is the -theoretic Atiyah-Bott lemma, which plays a fundamental role in the symplectic geometry of Hamiltonian -spaces. We discuss this lemma in detail and highlight the differences between the -theory and rational cohomology versions of this lemma.

We also introduce a -theoretic version of equivariant formality and prove that when the fundamental group of is torsion-free, every compact Hamiltonian -space is equivariantly formal. Under these conditions, the forgetful map is surjective, and thus every complex vector bundle admits a stable equivariant structure. Furthermore, by considering complex line bundles, we show that every integral cohomology class in admits an equivariant extension in .