On the -compact groups corresponding to the -adic reflection groups

There exists an infinite family of -compact groups whose Weyl groups correspond to the finite -adic pseudoreflection groups of family 2a in the Clark-Ewing list. In this paper we study these -compact groups. In particular, we construct an analog of the classical Whitney sum map, a family of monomorphisms and a spherical fibration which produces an analog of the classical -homomorphism. Finally, we also describe a faithful complexification homomorphism from these -compact groups to the -completion of unitary compact Lie groups.

     

Invariance in and

We define , a substructure of (the lattice of classes), and show that a quotient structure of , , is isomorphic to . The result builds on the isomorphism machinery, and allows us to transfer invariant classes from to , though not, in general, orbits. Further properties of and ramifications of the isomorphism are explored, including degrees of equivalence classes and degree invariance.

     

-kernels of Lie groups

We study a filtration on the group of homotopy classes of self maps of a compact Lie group associated with homotopy groups. We determine these filtrations of and completely. We introduce two natural invariants and defined by the filtration, where is a prime number, and compute the invariants for simple Lie groups in the cases where Lie groups are -regular or quasi -regular. We apply our results to the groups of self homotopy equivalences.

     

Associahedra, cellular -construction and products of -algebras

The aim of this paper is to construct a functorial tensor product of -algebras or, equivalently, an explicit diagonal for the operad of cellular chains, over the integers, of the Stasheff associahedron. These constructions in fact already appeared (Saneblidze and Umble, 2000 and 2002); we will try to give a more conceptual presentation. We also prove that there does not exist a coassociative diagonal.

     

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.

     

The invariant factors of the incidence matrices of points and subspaces in and

We determine the Smith normal forms of the incidence matrices of points and projective -dimensional subspaces of and of the incidence matrices of points and -dimensional affine subspaces of for all , , and arbitrary prime power .

     

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.

     

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 .

     

Uniformizable families of -motives

Abelian -modules and the dual notion of -motives were introduced by Anderson as a generalization of Drinfeld modules. For such Anderson defined and studied the important concept of uniformizability. It is an interesting question and the main objective of the present article to see how uniformizability behaves in families. Since uniformizability is an analytic notion, we have to work with families over a rigid analytic base. We provide many basic results, and in fact a large part of this article concentrates on laying foundations for studying the above question. Building on these, we obtain a generalization of a uniformizability criterion of Anderson and, among other things, we establish that the locus of uniformizability is Berkovich open.

     

On and Gevrey regularity of sublaplacians

In this paper we consider zero order perturbations of a class of sublaplacians on the two-dimensional torus and give sufficient conditions for global regularity to persist. In the case of analytic coefficients, we prove Gevrey regularity for a general class of sublaplacians when the finite type condition holds.

     

Square -lattice paths and

The combinatorial -Catalan numbers are weighted sums of Dyck paths introduced by J. Haglund and studied extensively by Haglund, Haiman, Garsia, Loehr, and others. The -Catalan numbers, besides having many subtle combinatorial properties, are intimately connected to symmetric functions, algebraic geometry, and Macdonald polynomials. In particular, the 'th -Catalan number is the Hilbert series for the module of diagonal harmonic alternants in variables; it is also the coefficient of in the Schur expansion of . Using -analogues of labelled Dyck paths, Haglund et al. have proposed combinatorial conjectures for the monomial expansion of and the Hilbert series of the diagonal harmonics modules.

This article extends the combinatorial constructions of Haglund et al. to the case of lattice paths contained in squares. We define and study several -analogues of these lattice paths, proving combinatorial facts that closely parallel corresponding results for the -Catalan polynomials. We also conjecture an interpretation of our combinatorial polynomials in terms of the nabla operator. In particular, we conjecture combinatorial formulas for the monomial expansion of , the ``Hilbert series' , and the sign character .

     

Homomorphisms between Weyl modules for

We classify all homomorphisms between Weyl modules for when is an algebraically closed field of characteristic at least three, and show that the -spaces are all at most one dimensional. As a corollary we obtain all homomorphisms between Specht modules for the symmetric group when the labelling partitions have at most three parts and the prime is at least three. We conclude by showing how a result of Fayers and Lyle on Hom-spaces for Specht modules is related to earlier work of Donkin for algebraic groups.

     

Quantum cohomology and -actions with isolated fixed points

This paper studies symplectic manifolds that admit semi-free circle actions with isolated fixed points. We prove, using results on the Seidel element, that the (small) quantum cohomology of a -dimensional manifold of this type is isomorphic to the (small) quantum cohomology of a product of copies of . This generalizes a result due to Tolman and Weitsman.

     

-estimates for the linearized Monge-Ampère equation

Let be a strictly convex domain and let be a convex function such that    det in . The linearized Monge-Ampère equation is

where det is the matrix of cofactors of . We prove that there exist and depending only on , and such that

for all solutions to the equation .

     

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.

     

Extensions of -local finite groups

A -local finite group consists of a finite -group , together with a pair of categories which encode ``conjugacy' relations among subgroups of , and which are modelled on the fusion in a Sylow -subgroup of a finite group. It contains enough information to define a classifying space which has many of the same properties as -completed classifying spaces of finite groups. In this paper, we study and classify extensions of -local finite groups, and also compute the fundamental group of the classifying space of a -local finite group.

     

Semifree symplectic circle actions on -orbifolds

A theorem of Tolman and Weitsman states that all symplectic semifree circle actions with isolated fixed points on compact symplectic manifolds must be Hamiltonian and have the same equivariant cohomology and Chern classes of equipped with the standard diagonal circle action. In this paper, we show that the situation is much different when we consider compact symplectic orbifolds. Focusing on -orbifolds with isolated cone singularities, we show that such actions, besides being Hamiltonian, can now be obtained from either or a weighted projective space, or a quotient of one of these spaces by a finite cyclic group, by a sequence of special weighted blow-ups at fixed points. In particular, they can have any number of fixed points.

     

Non-Moishezon twistor spaces of with non-trivial automorphism group

We show that a twistor space of a self-dual metric on with -isometry is not Moishezon iff there is a -orbit biholomorphic to a smooth elliptic curve, where the -action is the complexification of the -action on the twistor space. It follows that the -isometry has a two-sphere whose isotropy group is . We also prove the existence of such twistor spaces in a strong form to show that a problem of Campana and Kreußler is affirmative even though a twistor space is required to have a non-trivial automorphism group.