Canceling branch points and cusps on projections of knotted surfaces in -space

For a knotted surface in -space, its generic projection into -space has branch points as its singularities, and its successive projection into -space has fold points and cusps as its singularities. In this paper, we show that for non-orientable knotted surfaces, the numbers of branch points and cusps can be minimized by isotopy.

     

The degree of the variety of rational ruled surfaces and Gromov-Witten invariants

We compute the degree of the variety parametrizing rational ruled surfaces of degree in by relating the problem to Gromov-Witten invariants and Quantum cohomology.

     

Exponential sums on , II

We prove a vanishing theorem for the -adic cohomology of exponential sums on . In particular, we obtain new classes of exponential sums on that have a single nonvanishing -adic cohomology group. The dimension of this cohomology group equals a sum of Milnor numbers.

     

Bumpy metrics and closed parametrized minimal surfaces in Riemannian manifolds

The purpose of this article is to study conformal harmonic maps , where is a closed Riemann surface and is a compact Riemannian manifold of dimension at least four. Such maps define parametrized minimal surfaces, possibly with branch points. We show that when the ambient manifold is given a generic metric, all prime closed parametrized minimal surfaces are free of branch points, and are as Morse nondegenerate as allowed by the group of automorphisms of . They are Morse nondegenerate in the usual sense if has genus at least two, lie on two-dimensional nondegenerate critical submanifolds if has genus one, and on six-dimensional nondegenerate critical submanifolds if has genus zero.

     

3-connected planar spaces uniquely embed in the sphere

We characterize those locally connected subsets of the sphere that have a unique embedding in the sphere -- i.e., those for which every homeomorphism of the subset to itself extends to a homeomorphism of the sphere. This implies that if is the closure of an embedding of a 3-connected graph in the sphere such that every 1-way infinite path in has a unique accumulation point in , then has a unique embedding in the sphere. In particular, the standard (or Freudenthal) compactification of a 3-connected planar graph embeds uniquely in the sphere.

     

The Farrell-Jones Isomorphism Conjecture for finite covolume hyperbolic actions and the algebraic -theory of Bianchi groups

We prove the Farrell-Jones Isomorphism Conjecture for groups acting properly discontinuously via isometries on (real) hyperbolic -space with finite volume orbit space. We then apply this result to show that, for any Bianchi group , , , and vanish for .

     

Graded annihilators of modules over the Frobenius skew polynomial ring, and tight closure

This paper is concerned with the tight closure of an ideal in a commutative Noetherian local ring of prime characteristic . Several authors, including R. Fedder, K-i. Watanabe, K. E. Smith, N. Hara and F. Enescu, have used the natural Frobenius action on the top local cohomology module of such an to good effect in the study of tight closure, and this paper uses that device. The main part of the paper develops a theory of what are here called `special annihilator submodules' of a left module over the Frobenius skew polynomial ring associated to ; this theory is then applied in the later sections of the paper to the top local cohomology module of and used to show that, if is Cohen-Macaulay, then it must have a weak parameter test element, even if it is not excellent.

     

Universal Toda brackets of ring spectra

We construct and examine the universal Toda bracket of a highly structured ring spectrum . This invariant of is a cohomology class in the Mac Lane cohomology of the graded ring of homotopy groups of which carries information about and the category of -module spectra. It determines for example all triple Toda brackets of and the first obstruction to realizing a module over the homotopy groups of by an -module spectrum.

For periodic ring spectra, we study the corresponding theory of higher universal Toda brackets. The real and complex -theory spectra serve as our main examples.

     

Sheared algebra maps and operation bialgebras for mod 2 homology and cohomology

The mod 2 Steenrod algebra and Dyer-Lashof algebra have both striking similarities and differences arising from their common origins in ``lower-indexed' algebraic operations. These algebraic operations and their relations generate a bigraded bialgebra , whose module actions are equivalent to, but quite different from, those of and . The exact relationships emerge as ``sheared algebra bijections', which also illuminate the role of the cohomology of . As a bialgebra, has a particularly attractive and potentially useful structure, providing a bridge between those of and , and suggesting possible applications to the Miller spectral sequence and the structure of Dickson algebras.

     

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 .

     

Equivalence of quotient Hilbert modules-II

For any open, connected and bounded set , let be a natural function algebra consisting of functions holomorphic on . Let be a Hilbert module over the algebra and let be the submodule of functions vanishing to order on a hypersurface . Recently the authors have obtained an explicit complete set of unitary invariants for the quotient module in the case of . In this paper, we relate these invariants to familiar notions from complex geometry. We also find a complete set of unitary invariants for the general case. We discuss many concrete examples in this setting. As an application of our equivalence results, we characterise certain homogeneous Hilbert modules over the bi-disc algebra.

     

Hyperplane arrangement cohomology and monomials in the exterior algebra

We show that if is the complement of a complex hyperplane arrangement, then the homology of has linear free resolution as a module over the exterior algebra on the first cohomology of . We study invariants of that can be deduced from this resolution. A key ingredient is a result of Aramova, Avramov, and Herzog (2000) on resolutions of monomial ideals in the exterior algebra. We give a new conceptual proof of this result.

     

Dialgebra cohomology as a G-algebra

It is well known that the Hochschild cohomology of an associative algebra admits a G-algebra structure. In this paper we show that the dialgebra cohomology of an associative dialgebra has a similar structure, which is induced from a homotopy G-algebra structure on the dialgebra cochain complex .

     

Algebraic Goodwillie calculus and a cotriple model for the remainder

Goodwillie has defined a tower of approximations for a functor from spaces to spaces that is analogous to the Taylor series of a function. His order approximation at a space depends on the values of on coproducts of large suspensions of the space: .

We define an ``algebraic' version of the Goodwillie tower, , that depends only on the behavior of on coproducts of . When is a functor to connected spaces or grouplike -spaces, the functor is the base of a fibration

whose fiber is the simplicial space associated to a cotriple built from the cross effect of the functor . In a range in which commutes with realizations (for instance, when is the identity functor of spaces), the algebraic Goodwillie tower agrees with the ordinary (topological) Goodwillie tower, so this theory gives a way of studying the Goodwillie approximation to a functor in many interesting cases.

     

On embedding all -manifolds into a single -manifold

For each composite number , there does not exist a single connected closed -manifold such that any smooth, simply-connected, closed -manifold can be topologically flatly embedded into it. There is a single connected closed -manifold such that any simply-connected, -manifold can be topologically flatly embedded into if is either closed and indefinite, or compact and with non-empty boundary.

     

Generalized Seifert surfaces and signatures of colored links

In this paper, we use `generalized Seifert surfaces' to extend the Levine-Tristram signature to colored links in . This yields an integral valued function on the -dimensional torus, where is the number of colors of the link. The case corresponds to the Levine-Tristram signature. We show that many remarkable properties of the latter invariant extend to this -variable generalization: it vanishes for achiral colored links, it is `piecewise continuous', and the places of the jumps are determined by the Alexander invariants of the colored link. Using a -dimensional interpretation and the Atiyah-Singer -signature theorem, we also prove that this signature is invariant by colored concordance, and that it provides a lower bound for the `slice genus' of the colored link.

     

Large orbits in coprime actions of solvable groups

Let be a solvable group of automorphisms of a finite group . If and are coprime, then there exists an orbit of on of size at least . It is also proved that in a -solvable group, the largest normal -subgroup is the intersection of at most three Hall -subgroups.

     

Trees and valuation rings

A subring of a division algebra is called a valuation ring of if or holds for all nonzero in . The set of all valuation rings of is a partially ordered set with respect to inclusion, having as its maximal element. As a graph is a rooted tree (called the valuation tree of ), and in contrast to the commutative case, may have finitely many but more than one vertices. This paper is mainly concerned with the question of whether each finite, rooted tree can be realized as a valuation tree of a division algebra , and one main result here is a positive answer to this question where can be chosen as a quaternion division algebra over a commutative field.

     

Characterizations of function spaces on the sphere using frames

In this paper we introduce a polynomial frame on the unit sphere of , for which every distribution has a wavelet-type decomposition. More importantly, we prove that many function spaces on the sphere , such as , and Besov spaces, can be characterized in terms of the coefficients in the wavelet decompositions, as in the usual Euclidean case . We also study a related nonlinear -term approximation problem on . In particular, we prove both a Jackson-type inequality and a Bernstein-type inequality associated to wavelet decompositions, which extend the corresponding results obtained by R. A. DeVore, B. Jawerth and V. Popov (``Compression of wavelet decompositions', Amer. J. Math. 114 (1992), no. 4, 737-785).

     

Frobenius morphisms and representations of algebras

By introducing Frobenius morphisms on algebras and their modules over the algebraic closure of the finite field of elements, we establish a relation between the representation theory of over and that of the -fixed point algebra over . More precisely, we prove that the category    mod- of finite-dimensional -modules is equivalent to the subcategory of finite-dimensional -stable -modules, and, when is finite dimensional, we establish a bijection between the isoclasses of indecomposable -modules and the -orbits of the isoclasses of indecomposable -modules. Applying the theory to representations of quivers with automorphisms, we show that representations of a modulated quiver (or a species) over can be interpreted as -stable representations of the corresponding quiver over . We further prove that every finite-dimensional hereditary algebra over is Morita equivalent to some , where is the path algebra of a quiver over and is induced from a certain automorphism of . A close relation between the Auslander-Reiten theories for and is established. In particular, we prove that the Auslander-Reiten (modulated) quiver of is obtained by ``folding" the Auslander-Reiten quiver of . Finally, by taking Frobenius fixed points, we are able to count the number of indecomposable representations of a modulated quiver over with a given dimension vector and to generalize Kac's theorem for all modulated quivers and their associated Kac-Moody algebras defined by symmetrizable generalized Cartan matrices.