Connection coefficients, matchings, maps and combinatorial conjectures for Jack symmetric functions

A power series is introduced that is an extension to three sets of variables of the Cauchy sum for Jack symmetric functions in the Jack parameter We conjecture that the coefficients of this series with respect to the power sum basis are nonnegative integer polynomials in , the Jack parameter shifted by . More strongly, we make the Matchings-Jack Conjecture, that the coefficients are counting series in for matchings with respect to a parameter of nonbipartiteness. Evidence is presented for these conjectures and they are proved for two infinite families.

The coefficients of a second series, essentially the logarithm of the first, specialize at values and of the Jack parameter to the numbers of hypermaps in orientable and locally orientable surfaces, respectively. We conjecture that these coefficients are also nonnegative integer polynomials in , and we make the Hypermap-Jack Conjecture, that the coefficients are counting series in for hypermaps in locally orientable surfaces with respect to a parameter of nonorientability.

     

Poisson transforms on vector bundles

Let be a connected real semisimple Lie group with finite center, and a maximal compact subgroup of . Let be an irreducible unitary representation of , and the associated vector bundle. In the algebra of invariant differential operators on the center of the universal enveloping algebra of induces a certain commutative subalgebra . We are able to determine the characters of . Given such a character we define a Poisson transform from certain principal series representations to the corresponding space of joint eigensections. We prove that for most of the characters this map is a bijection, generalizing a famous conjecture by Helgason which corresponds to the trivial representation.

     

Characterizations of spectra with -injective cohomology which satisfy the Brown-Gitler property

We work in the stable homotopy category of -complete connective spectra having mod homology of finite type. means cohomology with coefficients, and is a left module over the Steenrod algebra .

A spectrum is called spacelike if it is a wedge summand of a suspension spectrum, and a spectrum satisfies the Brown-Gitler property if the natural map is onto, for all spacelike .

It is known that there exist spectra satisfying the Brown-Gitler property, and with isomorphic to the injective envelope of in the category of unstable -modules.

Call a spectrum standard if it is a wedge of spectra of the form , where is a stable wedge summand of the classifying space of some elementary abelian -group. Such spectra have -injective cohomology, and all -injectives appear in this way.

Working directly with the two properties of stated above, we clarify and extend earlier work by many people on Brown-Gitler spectra. Our main theorem is that, if is a spectrum with -injective cohomology, the following conditions are equivalent:

(A) there exist a spectrum whose cohomology is a reduced -injective and a map that is epic in cohomology, (B) there exist a spacelike spectrum and a map that is epic in cohomology, (C) is monic in cohomology, (D) satisfies the Brown-Gitler property, (E) is spacelike, (F) is standard. ( is reduced if it has no nontrivial submodule which is a suspension.)

As an application, we prove that the Snaith summands of are Brown-Gitler spectra-a new result for the most interesting summands at odd primes. Another application combines the theorem with the second author's work on the Whitehead conjecture.

Of independent interest, enroute to proving that (B) implies (C), we prove that the homology suspension has the following property: if an -connected space admits a map to an -fold suspension that is monic in mod homology, then is onto in mod homology.

     

Gröbner bases of associative algebras and the Hochschild cohomology

We give an algorithmic way to construct a free bimodule resolution of an algebra admitting a Gröbner base. It enables us to compute the Hochschild (co)homology of the algebra. Let be a finitely generated algebra over a commutative ring with a (possibly infinite) Gröbner base on a free algebra , that is, is the quotient with the ideal of generated by . Given a Gröbner base for an -subbimodule of the free -bimodule generated by a set , we have a morphism of -bimodules from the free -bimodule generated by to sending the generator to the element . We construct a Gröbner base on for the -subbimodule Ker() of , and with this we have the free -bimodule generated by and an exact sequence . Applying this construction inductively to the -bimodule itself, we have a free -bimodule resolution of .

     

On the non-vanishing of cubic twists of automorphic -series

Let be a normalised new form of weight for over and , its base change lift to . A sufficient condition is given for the nonvanishing at the center of the critical strip of infinitely many cubic twists of the -function of . There is an algorithm to check the condition for any given form. The new form of level is used to illustrate our method.

     

Distinguished representations and quadratic base change for

Let be a quadratic extension of number fields. Suppose that every real place of splits in and let be the unitary group in 3 variables. Suppose that is an automorphic cuspidal representation of . We prove that there is a form in the space of such that the integral of over is non zero. Our proof is based on earlier results and the notion, discussed in this paper, of Shalika germs for certain Kloosterman integrals.

     

Mean-boundedness and Littlewood-Paley for separation-preserving operators

Suppose that is a -finite measure space, , and is a bounded, invertible, separation-preserving linear operator such that the linear modulus of is mean-bounded. We show that has a spectral representation formally resembling that for a unitary operator, but involving a family of projections in which has weaker properties than those associated with a countably additive Borel spectral measure. This spectral decomposition for is shown to produce a strongly countably spectral measure on the ``dyadic sigma-algebra' of , and to furnish with abstract analogues of the classical Littlewood-Paley and Vector-Valued M. Riesz Theorems for .

     

Building blocks for Quadratic Julia sets

We obtain results on the structure of the Julia set of a quadratic polynomial with an irrationally indifferent fixed point in the iterative dynamics of . In the Cremer point case, under the assumption that the Julia set is a decomposable continuum, we obtain a building block structure theorem for the corresponding Julia set : there exists a nowhere dense subcontinuum such that , is the union of the impressions of a minimally invariant Cantor set of external rays, contains the critical point, and contains both the Cremer point and its preimage. In the Siegel disk case, under the assumption that no impression of an external ray contains the boundary of the Siegel disk, we obtain a similar result. In this case contains the boundary of the Siegel disk, properly if the critical point is not in the boundary, and contains no periodic points. In both cases, the Julia set is the closure of a skeleton which is the increasing union of countably many copies of the building block joined along preimages of copies of a critical continuum containing the critical point. In addition, we prove that if is any polynomial of degree with a Siegel disk which contains no critical point on its boundary, then the Julia set is not locally connected. We also observe that all quadratic polynomials which have an irrationally indifferent fixed point and a locally connected Julia set have homeomorphic Julia sets.

     

Asymptotics for discrete weighted minimal Riesz energy problems on rectifiable sets

Given a closed -rectifiable set embedded in Euclidean space, we investigate minimal weighted Riesz energy points on ; that is, points constrained to and interacting via the weighted power law potential , where is a fixed parameter and is an admissible weight. (In the unweighted case () such points for fixed tend to the solution of the best-packing problem on as the parameter .) Our main results concern the asymptotic behavior as of the minimal energies as well as the corresponding equilibrium configurations. Given a distribution with respect to -dimensional Hausdorff measure on , our results provide a method for generating -point configurations on that are ``well-separated' and have asymptotic distribution as .

     

On restrictions of modular spin representations of symmetric and alternating groups

Let be an algebraically closed field of characteristic and be an almost simple group or a central extension of an almost simple group. An important problem in representation theory is to classify the subgroups of and -modules such that the restriction is irreducible. For example, this problem is a natural part of the program of describing maximal subgroups in finite classical groups. In this paper we investigate the case of the problem where is the Schur's double cover or .

     

Spines and topology of thin Riemannian manifolds

Consider Riemannian manifolds for which the sectional curvature of and second fundamental form of the boundary are bounded above by one in absolute value. Previously we proved that if has sufficiently small inradius (i.e. all points are sufficiently close to the boundary), then the cut locus of exhibits canonical branching behavior of arbitrarily low branching number. In particular, if is thin in the sense that its inradius is less than a certain universal constant (known to lie between and ), then collapses to a triply branched simple polyhedral spine.

We use a graphical representation of the stratification structure of such a collapse, and relate numerical invariants of the graph to topological invariants of when is simply connected. In particular, the number of connected strata of the cut locus is a topological invariant. When is -dimensional and compact, has complexity in the sense of Matveev, and is a connected sum of copies of the real projective space , copies chosen from the lens spaces , and handles chosen from or , with 3-balls removed, where . Moreover, we construct a thin metric for every graph, and hence for every homeomorphism type on the list.

     

Recognizing constant curvature discrete groups in dimension 3

We characterize those discrete groups which can act properly discontinuously, isometrically, and cocompactly on hyperbolic -space in terms of the combinatorics of the action of on its space at infinity. The major ingredients in the proof are the properties of groups that are negatively curved (in the large) (that is, Gromov hyperbolic), the combinatorial Riemann mapping theorem, and the Sullivan-Tukia theorem on groups which act uniformly quasiconformally on the -sphere.

     

On the ordering of -modal cycles

The forcing relation on -modal cycles is studied. If is an -modal cycle then the -modal cycles with block structure that force form a -horseshoe above . If -modal forces , and does not have a block structure over , then forces a -horseshoe of simple extensions of .

     

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 .

     

Analysing finite locally -arc transitive graphs

We present a new approach to analysing finite graphs which admit a vertex intransitive group of automorphisms and are either locally -arc transitive for or -locally primitive. Such graphs are bipartite with the two parts of the bipartition being the orbits of . Given a normal subgroup which is intransitive on both parts of the bipartition, we show that taking quotients with respect to the orbits of preserves both local primitivity and local -arc transitivity and leads us to study graphs where acts faithfully on both orbits and quasiprimitively on at least one. We determine the possible quasiprimitive types for in these two cases and give new constructions of examples for each possible type. The analysis raises several open problems which are discussed in the final section.

     

A classification and examples of rank one chain domains

A chain order of a skew field is a subring of so that implies Such a ring has rank one if , the Jacobson radical of is its only nonzero completely prime ideal. We show that a rank one chain order of is either invariant, in which case corresponds to a real-valued valuation of or is nearly simple, in which case and are the only ideals of or is exceptional in which case contains a prime ideal that is not completely prime. We use the group of divisorial of with the subgroup of principal to characterize these cases. The exceptional case subdivides further into infinitely many cases depending on the index of in Using the covering group of and the result that the group ring is embeddable into a skew field for a skew field, examples of rank one chain orders are constructed for each possible exceptional case.

     

A geometric characterization of Vassiliev invariants

It is a well-known paradigm to consider Vassiliev invariants as polynomials on the set of knots. We prove the following characterization: a rational knot invariant is a Vassiliev invariant of degree if and only if it is a polynomial of degree on every geometric sequence of knots. Here a sequence with is called geometric if the knots coincide outside a ball , inside of which they satisfy for all and some pure braid . As an application we show that the torsion in the braid group over the sphere induces torsion at the level of Vassiliev invariants: there exist knots in that can be distinguished by -invariants of finite type but not by rational invariants of finite type. In order to obtain such torsion invariants we construct over a universal Vassiliev invariant of degree for knots in .

     

Iterated Spectra of Numbers---Elementary, Dynamical, and Algebraic Approaches

sets and central sets are subsets of which arise out of applications of topological dynamics to number theory and are known to have rich combinatorial structure. Spectra of numbers are often studied sets of the form . Iterated spectra are similarly defined with coming from another spectrum. Using elementary, dynamical, and algebraic approaches we show that iterated spectra have significantly richer combinatorial structure than was previously known. For example we show that if and , then is an set and consequently contains an infinite sequence together with all finite sums and products of terms from that sequence without repetition.