Poincaré's closed geodesic on a convex surface

We present a new proof for the existence of a simple closed geodesic on a convex surface . This result is due originally to Poincaré. The proof uses the -dimensional Riemannian manifold of piecewise geodesic closed curves on with a fixed number of corners, chosen sufficiently large. In we consider a submanifold formed by those elements of which are simple regular and divide into two parts of equal total curvature . The main burden of the proof is to show that the energy integral , restricted to , assumes its infimum. At the end we give some indications of how our methods yield a new proof also for the existence of three simple closed geodesics on .

     

Translation equivalence in free groups

Motivated by the work of Leininger on hyperbolic equivalence of homotopy classes of closed curves on surfaces, we investigate a similar phenomenon for free groups. Namely, we study the situation when two elements in a free group have the property that for every free isometric action of on an -tree the translation lengths of and on are equal.

     

Flat holomorphic connections on principal bundles over a projective manifold

Let be a connected complex linear algebraic group and its unipotent radical. A principal -bundle over a projective manifold will be called polystable if the associated principal -bundle is so. A -bundle over is polystable with vanishing characteristic classes of degrees one and two if and only if admits a flat holomorphic connection with the property that the image in of the monodromy of the connection is contained in a maximal compact subgroup of .

     

On peak-interpolation manifolds for

Let be a bounded, weakly convex domain in , , having real-analytic boundary. is the algebra of all functions holomorphic in and continuous up to the boundary. A submanifold is said to be complex-tangential if lies in the maximal complex subspace of for each . We show that for real-analytic submanifolds , if is complex-tangential, then every compact subset of is a peak-interpolation set for .

     

Oppenheim conjecture for pairs consisting of a linear form and a quadratic form

Let be a nondegenerate quadratic form and a nonzero linear form of dimension 3$">. As a generalization of the Oppenheim conjecture, we prove that the set is dense in provided that and satisfy some natural conditions. The proof uses dynamics on homogeneous spaces of Lie groups.

     

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.

     

Variation inequalities for the Fejér and Poisson kernels

In this paper we show that the -th order variation operator, for both the Fejér and Poisson kernels, are bounded from to , , when 2$">. Counterexamples are given if .

     

Higher homotopy commutativity of -spaces and the permuto-associahedra

In this paper, we give a combinatorial definition of a higher homotopy commutativity of the multiplication for an -space. To give the definition, we use polyhedra called the permuto-associahedra which are constructed by Kapranov. We also show that if a connected -space has the finitely generated mod cohomology for a prime and the multiplication of it is homotopy commutative of the -th order, then it has the mod homotopy type of a finite product of Eilenberg-Mac Lane spaces s, s and s for .

     

Cut numbers of -manifolds

We investigate the relations between the cut number, and the first Betti number, of -manifolds We prove that the cut number of a ``generic' -manifold is at most This is a rather unexpected result since specific examples of -manifolds with large and are hard to construct. We also prove that for any complex semisimple Lie algebra there exists a -manifold with and Such manifolds can be explicitly constructed.

     

Witten-Helffer-Sjöstrand theory for -equivariant cohomology

Given an -invariant Morse function and an -invariant Riemannian metric , a family of finite dimensional subcomplexes , , of the Witten deformation of the -equivariant de Rham complex is constructed, by studying the asymptotic behavior of the spectrum of the corresponding Laplacian as . In fact the spectrum of can be separated into the small eigenvalues, finite eigenvalues and the large eigenvalues. Then one obtains as the complex of eigenforms corresponding to the small eigenvalues of . This permits us to verify the -equivariant Morse inequalities. Moreover suppose is self-indexing and satisfies the Morse-Smale condition, then it is shown that this family of subcomplexes converges as to a geometric complex which is induced by and calculates the -equivariant cohomology of .

     

On orbital partitions and exceptionality of primitive permutation groups

Let and be transitive permutation groups on a set such that is a normal subgroup of . The overgroup induces a natural action on the set of non-trivial orbitals of on . In the study of Galois groups of exceptional covers of curves, one is led to characterizing the triples where fixes no elements of ; such triples are called exceptional. In the study of homogeneous factorizations of complete graphs, one is led to characterizing quadruples where is a partition of such that is transitive on ; such a quadruple is called a TOD (transitive orbital decomposition). It follows easily that the triple in a TOD is exceptional; conversely if an exceptional triple is such that is cyclic of prime-power order, then there exists a partition of such that is a TOD. This paper characterizes TODs such that is primitive and is cyclic of prime-power order. An application is given to the classification of self-complementary vertex-transitive graphs.

     

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 .

     

C*-algebras associated with interval maps

For each piecewise monotonic map of , we associate a pair of C*-algebras and and calculate their K-groups. The algebra is an AI-algebra. We characterize when and are simple. In those cases, has a unique trace, and is purely infinite with a unique KMS state. In the case that is Markov, these algebras include the Cuntz-Krieger algebras , and the associated AF-algebras . Other examples for which the K-groups are computed include tent maps, quadratic maps, multimodal maps, interval exchange maps, and -transformations. For the case of interval exchange maps and of -transformations, the C*-algebra coincides with the algebras defined by Putnam and Katayama-Matsumoto-Watatani, respectively.

     

Linking numbers in rational homology -spheres, cyclic branched covers and infinite cyclic covers

We study the linking numbers in a rational homology -sphere and in the infinite cyclic cover of the complement of a knot. They take values in and in , respectively, where denotes the quotient field of . It is known that the modulo- linking number in the rational homology -sphere is determined by the linking matrix of the framed link and that the modulo- linking number in the infinite cyclic cover of the complement of a knot is determined by the Seifert matrix of the knot. We eliminate `modulo  ' and `modulo  '. When the finite cyclic cover of the -sphere branched over a knot is a rational homology -sphere, the linking number of a pair in the preimage of a link in the -sphere is determined by the Goeritz/Seifert matrix of the knot.

     

Lattice invariants and the center of the generic division ring

Let be a finite group, let be a -lattice, and let be a field of characteristic zero containing primitive roots of 1. Let be the quotient field of the group algebra of the abelian group . It is well known that if is quasi-permutation and -faithful, then is stably equivalent to . Let be the center of the division ring of generic matrices over . Let be the symmetric group on symbols. Let be a prime. We show that there exist a split group extension of by a -elementary group, a -faithful quasi-permutation -lattice , and a one-cocycle in such that is stably isomorphic to . This represents a reduction of the problem since we have a quasi-permutation action; however, the twist introduces a new level of complexity. The second result, which is a consequence of the first, is that, if is algebraically closed, there is a group extension of by an abelian -group such that is stably equivalent to the invariants of the Noether setting .

     

Luzin gaps

We isolate a class of ideals on that includes all analytic P-ideals and all ideals, and introduce `Luzin gaps' in their quotients. A dichotomy for Luzin gaps allows us to freeze gaps, and prove some gap preservation results. Most importantly, under PFA all isomorphisms between quotient algebras over these ideals have continuous liftings. This gives a partial confirmation to the author's rigidity conjecture for quotients . We also prove that the ideals and have the Radon-Nikodým property, and (using OCA) a uniformization result for -coherent families of continuous partial functions.

     

Involutions fixing , II

This paper studies the equivariant cobordism classification of all involutions fixing a disjoint union of an odd-dimensional real projective space with its normal bundle nonbounding and a Dold manifold with a positive even and 0$">. The complete analysis of the equivariant cobordism classes of such involutions is given except that the upper and lower bounds on the codimension of may not be best possible. In particular, we find that there exist such involutions with nonstandard normal bundle to . Together with the results of part I of this title (Trans. Amer. Math. Soc. 354 (2002), 4539-4570), the argument for involutions fixing is finished.

     

surfaces of genus 8 and varieties of sums of powers of cubic fourfolds

The main result of this paper is that the variety of presentations of a general cubic form in variables as a sum of cubes is isomorphic to the Fano variety of lines of a cubic -fold , in general different from .

A general surface of genus determines uniquely a pair of cubic -folds: the apolar cubic and the dual Pfaffian cubic (or for simplicity and ). As Beauville and Donagi have shown, the Fano variety of lines on the cubic is isomorphic to the Hilbert scheme of length two subschemes of . The first main result of this paper is that parametrizes the variety of presentations of the cubic form , with , as a sum of cubes, which yields an isomorphism between and . Furthermore, we show that sets up a correspondence between and . The main result follows by a deformation argument.

     

Block representation type of reduced enveloping algebras

Let be an algebraically closed field of characteristic , a connected, reductive -group, , and the reduced enveloping algebra of associated with . Assume that is simply-connected, is good for and has a non-degenerate -invariant bilinear form. All blocks of having finite and tame representation type are determined.