Torsion freeness of symmetric powers of ideals

Let be an ideal in a Noetherian commutative ring with unit, let be an integer, and let be the canonical surjective -module homomorphism from the th symmetric power of to the th power of . When or when is a perfect Gorenstein ideal of grade , we provide a necessary and sufficient condition for to be an isomorphism in terms of upper bounds for the minimal number of generators of the localisations of . When is a maximal ideal of we show that is an isomorphism if and only if is a regular local ring. In all three cases for our results yield that if is an isomorphism, then is also an isomorphism for each .

     

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.

     

Boundary blow-up in nonlinear elliptic equations of Bieberbach-Rademacher type

We establish the uniqueness of the positive solution for equations of the form in , . The special feature is to consider nonlinearities whose variation at infinity is not regular (e.g., , , , , , , or ) and functions in vanishing on . The main innovation consists of using Karamata's theory not only in the statement/proof of the main result but also to link the nonregular variation of at infinity with the blow-up rate of the solution near .

     

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 .

     

A single minimal complement for the c.e. degrees

We show that there exists a minimal (Turing) degree such that for all non-zero c.e. degrees , . Since is minimal this means that complements all c.e. degrees other than and . Since every -c.e. degree bounds a non-zero c.e. degree, complements every -c.e. degree other than and .

     

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.

     

The distance function from the boundary in a Minkowski space

Let the space be endowed with a Minkowski structure (that is, is the gauge function of a compact convex set having the origin as an interior point, and with boundary of class ), and let be the (asymmetric) distance associated to . Given an open domain of class , let be the Minkowski distance of a point from the boundary of . We prove that a suitable extension of to (which plays the rôle of a signed Minkowski distance to ) is of class in a tubular neighborhood of , and that is of class outside the cut locus of (that is, the closure of the set of points of nondifferentiability of in ). In addition, we prove that the cut locus of has Lebesgue measure zero, and that can be decomposed, up to this set of vanishing measure, into geodesics starting from and going into along the normal direction (with respect to the Minkowski distance). We compute explicitly the Jacobian determinant of the change of variables that associates to every point outside the cut locus the pair , where denotes the (unique) projection of on , and we apply these techniques to the analysis of PDEs of Monge-Kantorovich type arising from problems in optimal transportation theory and shape optimization.

     

Analyticity on translates of a Jordan curve

Let be a domain in which is symmetric with respect to the real axis and whose boundary is a real analytic simple closed curve. Translate vertically to get where is such that . We prove that if is a continuous function on such that for each , the function has a continuous extension to which is holomorphic on , then is holomorphic on .

     

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.

     

Geometry and ergodic theory of non-hyperbolic exponential maps

We deal with all the maps from the exponential family such that the orbit of zero escapes to infinity sufficiently fast. In particular all the parameters are included. We introduce as our main technical devices the projection of the map to the infinite cylinder and an appropriate conformal measure . We prove that , essentially the set of points in returning infinitely often to a compact region of disjoint from the orbit of , has the Hausdorff dimension , that the -dimensional Hausdorff measure of is positive and finite, and that the -dimensional packing measure is locally infinite at each point of . We also prove the existence and uniqueness of a Borel probability -invariant ergodic measure equivalent to the conformal measure . As a byproduct of the main course of our considerations, we reprove the result obtained independently by Lyubich and Rees that the -limit set (under ) of Lebesgue almost every point in , coincides with the orbit of zero under the map . Finally we show that the the function , , is continuous.

     

Quadratic maps and Bockstein closed group extensions

Let be a central extension of the form where and are elementary abelian -groups. Associated to there is a quadratic map , given by the -power map, which uniquely determines the extension. This quadratic map also determines the extension class of the extension in and an ideal in which is generated by the components of . We say that is Bockstein closed if is an ideal closed under the Bockstein operator.

We find a direct condition on the quadratic map that characterizes when the extension is Bockstein closed. Using this characterization, we show for example that quadratic maps induced from the fundamental quadratic map given by yield Bockstein closed extensions.

On the other hand, it is well known that an extension is Bockstein closed if and only if it lifts to an extension for some -lattice . In this situation, one may write for a ``binding matrix' with entries in . We find a direct way to calculate the module structure of in terms of . Using this, we study extensions where the lattice is diagonalizable/triangulable and find interesting equivalent conditions to these properties.

     

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.

     

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.

     

Equivalence of domains arising from duality of orbits on flag manifolds III

In Gindikin and Matsuki 2003, we defined a - invariant subset of for each -orbit on every flag manifold and conjectured that the connected component of the identity would be equal to the Akhiezer-Gindikin domain if is of nonholomorphic type. This conjecture was proved for closed in Wolf and Zierau 2000 and 2003, Fels and Huckleberry 2005, and Matsuki 2006 and for open in Matsuki 2006. It was proved for the other orbits in Matsuki 2006, when is of non-Hermitian type. In this paper, we prove the conjecture for an arbitrary non-closed -orbit when is of Hermitian type. Thus the conjecture is completely solved affirmatively.

     

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.

     

Projectivity and freeness over comodule algebras

Let be a Hopf algebra and an -simple right -comodule algebra. It is shown that under certain hypotheses every -Hopf module is either projective or free as an -module and is either a quasi-Frobenius or a semisimple ring. As an application it is proved that every weakly finite (in particular, every finite dimensional) Hopf algebra is free both as a left and a right module over its finite dimensional right coideal subalgebras, and the latter are Frobenius algebras. Similar results are obtained for -simple -module algebras.

     

The expansion factors of an outer automorphism and its inverse

A fully irreducible outer automorphism of the free group of rank  has an expansion factor which often differs from the expansion factor of . Nevertheless, we prove that the ratio between the logarithms of the expansion factors of and is bounded above by a constant depending only on the rank . We also prove a more general theorem applying to an arbitrary outer automorphism of and its inverse and their two spectrums of expansion factors.

     

The Cech filtration and monodromy in log crystalline cohomology

For a strictly semistable log scheme over a perfect field of characteristic we investigate the canonical Cech spectral sequence abutting the Hyodo-Kato (log crystalline) cohomology of and beginning with the log convergent cohomology of its various component intersections . We compare the filtration on arising from with the monodromy operator on . We also express through residue maps and study relations with singular cohomology. If lifts to a proper strictly semistable (formal) scheme over a finite totally ramified extension of , with generic fibre , we obtain results on how the simplicial structure of (as analytic space) is reflected in .