Compatible valuations and generalized Milnor -theory

Given a field and a subgroup of there is a minimal group for which there exists an -compatible valuation whose units are contained in . Assuming that has finite index in and contains for prime, we describe in computable -theoretic terms.

     

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 .

     

On -adic intermediate Jacobians

For an algebraic variety of dimension with totally degenerate reduction over a -adic field (definition recalled below) and an integer with , we define a rigid analytic torus together with an Abel-Jacobi mapping to it from the Chow group of codimension algebraic cycles that are homologically equivalent to zero modulo rational equivalence. These tori are analogous to those defined by Griffiths using Hodge theory over . We compare and contrast the complex and -adic theories. Finally, we examine a special case of a -adic analogue of the Generalized Hodge Conjecture.

     

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.

     

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 -stable pieces of the wonderful compactification

Let be a connected, simple algebraic group over an algebraically closed field. There is a partition of the wonderful compactification of into finite many -stable pieces, which was introduced by Lusztig. In this paper, we will investigate the closure of any -stable piece in . We will show that the closure is a disjoint union of some -stable pieces, which was first conjectured by Lusztig. We will also prove the existence of cellular decomposition if the closure contains finitely many -orbits.

     

Iwasawa theory for -local spectra

The Iwasawa algebra is a power series ring in one variable over the -adic integers. It has long been studied by number theorists in the context of -extensions of number fields. It also arises, however, as a ring of operations in -adic topological -theory. In this paper we study -local stable homotopy theory using the structure theory of modules over the Iwasawa algebra. In particular, for odd we classify -local spectra up to pseudo-equivalence (the analogue of pseudo-isomorphism for -modules) and give an Iwasawa-theoretic classification of the thick subcategories of the weakly dualizable spectra.

     

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 .

     

Vertex operator algebras, extended diagram, and McKay's observation on the Monster simple group

We study McKay's observation on the Monster simple group, which relates the -involutions of the Monster simple group to the extended diagram, using the theory of vertex operator algebras (VOAs). We first consider the sublattices of the lattice obtained by removing one node from the extended diagram at each time. We then construct a certain coset (or commutant) subalgebra associated with in the lattice VOA . There are two natural conformal vectors of central charge in such that their inner product is exactly the value predicted by Conway (1985). The Griess algebra of coincides with the algebra described in his Table 3. There is a canonical automorphism of of order . Such an automorphism can be extended to the Leech lattice VOA , and it is in fact a product of two Miyamoto involutions. In the sequel (2005) to this article, the properties of will be discussed in detail. It is expected that if is actually contained in the Moonshine VOA , the product of two Miyamoto involutions is in the desired conjugacy class of the Monster simple group.

     

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.

     

Legendrian contact homology in

A rigorous foundation for the contact homology of Legendrian submanifolds in a contact manifold of the form , where is an exact symplectic manifold, is established. The class of such contact manifolds includes 1-jet spaces of smooth manifolds. As an application, contact homology is used to provide (smooth) isotopy invariants of submanifolds of and, more generally, invariants of self transverse immersions into up to restricted regular homotopies. When , this application is the first step in extending and providing a contact geometric underpinning for the new knot invariants of Ng.

     

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.

     

The odd primary -structure of low rank Lie groups and its application to exponents

A compact, connected, simple Lie group localized at an odd prime is shown to be homotopy equivalent to a product of homotopy associative, homotopy commutative spaces, provided the rank of is low. This holds for , for example, if . The homotopy equivalence is usually just as spaces, not multiplicative spaces. Nevertheless, the strong multiplicative features of the factors can be used to prove useful properties, which after looping can be transferred multiplicatively to . This is applied to prove useful information about the torsion in the homotopy groups of , including an upper bound on its exponent.

     

Uniform approximation of eigenvalues in Laguerre and Hermite -ensembles by roots of orthogonal polynomials

We derive strong uniform approximations for the eigenvalues in general Laguerre and Hermite -ensembles by showing that the maximal discrepancy between the suitably scaled eigenvalues and roots of orthogonal polynomials converges almost surely to zero when the dimension converges to infinity. We also provide estimates of the rate of convergence. In the special case of a normalized real Wishart matrix , where denotes the dimension and the degrees of freedom, the rate is , if with , and the rate is , if with . In the latter case we also show the a.s. convergence of the largest eigenvalue of to the corresponding quantile of the Marcenko-Pastur law.

     

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 .

     

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 .

     

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

     

Values of Gauss maps of complete minimal surfaces in on annular ends

Let be a complete minimal surface in and let be an annular end of which is conformal to , where is the conformal coordinate. Let be the generalized Gauss map of . We show that must intersect every hyperplane in , with the possible exception of hyperplanes in general position.

     

estimates for overdetermined Radon transforms

We prove several variations on the results of F. Ricci and G. Travaglini (2001), concerning bounds for convolution with all rotations of arc length measure on a fixed convex curve in . Estimates are obtained for averages over higher-dimensional convex (nonsmooth) hypersurfaces, smooth -dimensional surfaces, and nontranslation-invariant families of surfaces. We compare Ricci and Travaglini's approach, based on average decay of the Fourier transform, with an approach based on boundedness of Fourier integral operators, and show that essentially the same geometric condition arises in proofs using the two techniques.