The braid index is not additive for the connected sum of 2-knots

Any -dimensional knot can be presented in a braid form, and its braid index, , is defined. For the connected sum of -knots and , it is easily seen that holds. Birman and Menasco proved that the braid index (minus one) is additive for the connected sum of -dimensional knots; the equality holds for -knots. We prove that the equality does not hold for -knots unless or is a trivial -knot. We also prove that the -knot obtained from a granny knot by Artin's spinning is of braid index , and there are infinitely many -knots of braid index .

     

A generalization of Marshall's equivalence relation

For prime and for a field containing a root of unity of order , we generalize Marshall's equivalence relation on orderings to arbitrary subgroups of of index . The equivalence classes then correspond to free pro- factors of the maximal pro- Galois group of . We generalize to this setting results of Jacob on the maximal pro- Galois group of a Pythagorean field.

     

On initial segment complexity and degrees of randomness

One approach to understanding the fine structure of initial segment complexity was introduced by Downey, Hirschfeldt and LaForte. They define to mean that . The equivalence classes under this relation are the -degrees. We prove that if is -random, then and have no upper bound in the -degrees (hence, no join). We also prove that -randomness is closed upward in the -degrees. Our main tool is another structure intended to measure the degree of randomness of real numbers: the -degrees. Unlike the -degrees, many basic properties of the -degrees are easy to prove. We show that implies , so some results can be transferred. The reverse implication is proved to fail. The same analysis is also done for , the analogue of for plain Kolmogorov complexity.

Two other interesting results are included. First, we prove that for any , a -random real computable from a --random real is automatically --random. Second, we give a plain Kolmogorov complexity characterization of -randomness. This characterization is related to our proof that implies .

     

-theorems for fusion systems

For an odd prime, we generalise the Glauberman-Thompson -nilpotency theorem (Gorenstein, 1980) to arbitrary fusion systems. We define a notion of -free fusion systems and show that if is a -free fusion system on some finite -group , then is controlled by for any Glauberman functor , generalising Glauberman's -theorem (Glauberman, 1968) to arbitrary fusion systems.

     

Open loci of graded modules

Let be an excellent homogeneous Noetherian graded ring and let be a finitely generated graded -module. We consider as a module over and show that the -loci of are open in . In particular, the Cohen-Macaulay locus    is Cohen-Macaulay is an open subset of . We also show that the -loci on the homogeneous parts of are eventually stable. As an application we obtain that for a finitely generated Cohen-Macaulay module over an excellent ring and for an ideal which is not contained in any minimal prime of , the -loci for the modules are eventually stable.

     

A general theory of almost convex functions

Let be the standard -dimensional simplex and let . Then a function with domain a convex set in a real vector space is -almost convex iff for all and the inequality

holds. A detailed study of the properties of -almost convex functions is made. If contains at least one point that is not a vertex, then an extremal -almost convex function is constructed with the properties that it vanishes on the vertices of and if is any bounded -almost convex function with on the vertices of , then for all . In the special case , the barycenter of , very explicit formulas are given for and . These are of interest, as and are extremal in various geometric and analytic inequalities and theorems.

     

Maximal families of Gorenstein algebras

The purpose of this paper is to study maximal irreducible families of Gorenstein quotients of a polynomial ring . Let be the scheme parametrizing graded quotients of with Hilbert function . We prove there is a close relationship between the irreducible components of , whose general member is a Gorenstein codimension quotient, and the irreducible components of , whose general member is a codimension Cohen-Macaulay algebra of Hilbert function related to . If the Castelnuovo-Mumford regularity of the Gorenstein quotient is large compared to the Castelnuovo-Mumford regularity of , this relationship actually determines a well-defined injective mapping from such ``Cohen-Macaulay' components of to ``Gorenstein' components of , in which generically smooth components correspond. Moreover the dimension of the ``Gorenstein' components is computed in terms of the dimension of the corresponding ``Cohen-Macaulay' component and a sum of two invariants of . Using linkage by a complete intersection we show how to compute these invariants. Linkage also turns out to be quite effective in verifying the assumptions which appear in a generalization of the main theorem.

     

An infinitary extension of the Graham-Rothschild Parameter Sets Theorem

The Graham-Rothschild Parameter Sets Theorem is one of the most powerful results of Ramsey Theory. (The Hales-Jewett Theorem is its most trivial instance.) Using the algebra of , the Stone-Cech compactification of a discrete semigroup, we derive an infinitary extension of the Graham-Rothschild Parameter Sets Theorem. Even the simplest finite instance of this extension is a significant extension of the original. The original theorem says that whenever in and the -parameter words are colored with finitely many colors, there exist a color and an -parameter word with the property that whenever a -parameter word of length is substituted in , the result is in the specified color. The ``simplest finite instance' referred to above is that, given finite colorings of the -parameter words for each , there is one -parameter word which works for each . Some additional Ramsey Theoretic consequences are derived.

We also observe that, unlike any other Ramsey Theoretic result of which we are aware, central sets are not necessarily good enough for even the and version of the Graham-Rothschild Parameter Sets Theorem.

     

Maximal theorems for the directional Hilbert transform on the plane

For a Schwartz function on the plane and a non-zero define the Hilbert transform of in the direction to be

p.v.

Let be a Schwartz function with frequency support in the annulus , and . We prove that the maximal operator maps into weak , and into for . The estimate is sharp. The method of proof is based upon techniques related to the pointwise convergence of Fourier series. Indeed, our main theorem implies this result on Fourier series.

     

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.

     

Prime geodesic theorem for higher-dimensional hyperbolic manifold

For a -dimensional hyperbolic manifold , we consider an estimate of the error term of the prime geodesic theorem. Put the fundamental group of to be a discrete subgroup of with cofinite volume. When the contribution of the discrete spectrum of the Laplace-Beltrami operator is larger than that of the continuous spectrum in Weyl's law, we obtained a lower estimate as goes to .

     

Length, multiplicity, and multiplier ideals

Let be an -dimensional regular local ring, essentially of finite type over a field of characteristic zero. Given an -primary ideal of , the relationship between the singularities of the scheme defined by and those defined by the multiplier ideals , with varying in , are quantified in this paper by showing that the Samuel multiplicity of satisfies whenever . This formula generalizes an inequality on log canonical thresholds previously obtained by Ein, Mustata and the author of this paper. A refined inequality is also shown to hold for small dimensions, and similar results valid for a generalization of test ideals in positive characteristics are presented.

     

Exponents for -stable ideals

Let be a simple algebraic group over the complex numbers containing a Borel subgroup . Given a -stable ideal in the nilradical of the Lie algebra of , we define natural numbers which we call ideal exponents. We then propose two conjectures where these exponents arise, proving these conjectures in types and some other types.

When , we recover the usual exponents of by Kostant (1959), and one of our conjectures reduces to a well-known factorization of the Poincaré polynomial of the Weyl group. The other conjecture reduces to a well-known result of Arnold-Brieskorn on the factorization of the characteristic polynomial of the corresponding Coxeter hyperplane arrangement.

     

On almost one-to-one maps

A continuous map of topological spaces is said to be almost -to- if the set of the points such that is dense in ; it is said to be light if pointwise preimages are zero dimensional. We study almost 1-to-1 light maps of some compact and -compact spaces (e.g., -manifolds or dendrites) and prove that in some important cases they must be homeomorphisms or embeddings. In a forthcoming paper we use these results and show that if is a minimal self-mapping of a 2-manifold , then point preimages under are tree-like continua and either is a union of 2-tori, or is a union of Klein bottles permuted by .

     

Koszul duality and equivalences of categories

Let and be dual Koszul algebras. By Positselski a filtered algebra with gr is Koszul dual to a differential graded algebra . We relate the module categories of this dual pair by a Hom adjunction. This descends to give an equivalence of suitable quotient categories and generalizes work of Beilinson, Ginzburg, and Soergel.

     

On decompositions in homotopy theory

We first describe Krull-Schmidt theorems decomposing spaces and simply-connected co- spaces into atomic factors in the category of pointed nilpotent -complete spaces of finite type. We use this to construct a 1-1 correspondence between homotopy types of atomic spaces and homotopy types of atomic co- spaces, and construct a split fibration which connects them and illuminates the decomposition. Various properties of these constructions are analyzed.

     

Theta lifting of nilpotent orbits for symmetric pairs

We consider a reductive dual pair in the stable range with the smaller member and of Hermitian symmetric type. We study the theta lifting of nilpotent -orbits, where is a maximal compact subgroup of and we describe the precise -module structure of the regular function ring of the closure of the lifted nilpotent orbit of the symmetric pair . As an application, we prove sphericality and normality of the closure of certain nilpotent -orbits obtained in this way. We also give integral formulas for their degrees.

     

Curvilinear base points, local complete intersection and Koszul syzygies in biprojective spaces

Let be a bigraded ideal in the bigraded polynomial ring . Assume that has codimension 2. Then is a finite set of points. We prove that if is a local complete intersection, then any syzygy of the vanishing at , and in a certain degree range, is in the module of Koszul syzygies. This is an analog of a recent result of Cox and Schenck (2003).

     

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

     

On higher syzygies of ruled surfaces

We study higher syzygies of a ruled surface over a curve of genus with the numerical invariant . Let    Pic be a line bundle in the numerical class of . We prove that for , satisfies property if and , and for , satisfies property if and . By using these facts, we obtain Mukai-type results. For ample line bundles , we show that satisfies property when and or when and . Therefore we prove Mukai's conjecture for ruled surface with . We also prove that when is an elliptic ruled surface with , satisfies property if and only if and .