Partial derivatives of a generic subspace of a vector space of forms: Quotients of level algebras of arbitrary type

Given a vector space of homogeneous polynomials of the same degree over an infinite field, consider a generic subspace of . The main result of this paper is a lower-bound (in general sharp) for the dimensions of the spaces spanned in each degree by the partial derivatives of the forms generating , in terms of the dimensions of the spaces spanned by the partial derivatives of the forms generating the original space .

Rephrasing our result in the language of commutative algebra (where this result finds its most important applications), we have: let be a type artinian level algebra with -vector , and let, for , be the -vector of the generic type level quotient of having the same socle degree . Then we supply a lower-bound (in general sharp) for the -vector . Explicitly, we will show that, for any ,

This result generalizes a recent theorem of Iarrobino (which treats the case ).

Finally, we begin to obtain, as a consequence, some structure theorems for level -vectors of type bigger than 2, which is, at this time, a very little explored topic.

     

On homeomorphic Bernoulli measures on the Cantor space

Let be the Bernoulli measure on the Cantor space given as the infinite product of two-point measures with weights and . It is a long-standing open problem to characterize those and such that and are topologically equivalent (i.e., there is a homeomorphism from the Cantor space to itself sending to ). The (possibly) weaker property of and being continuously reducible to each other is equivalent to a property of and called binomial equivalence. In this paper we define an algebraic property called ``refinability' and show that, if and are refinable and binomially equivalent, then and are topologically equivalent. Next we show that refinability is equivalent to a fairly simple algebraic property. Finally, we give a class of examples of binomially equivalent and refinable numbers; in particular, the positive numbers and such that and are refinable, so the corresponding measures are topologically equivalent.

     

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 .

     

Square -lattice paths and

The combinatorial -Catalan numbers are weighted sums of Dyck paths introduced by J. Haglund and studied extensively by Haglund, Haiman, Garsia, Loehr, and others. The -Catalan numbers, besides having many subtle combinatorial properties, are intimately connected to symmetric functions, algebraic geometry, and Macdonald polynomials. In particular, the 'th -Catalan number is the Hilbert series for the module of diagonal harmonic alternants in variables; it is also the coefficient of in the Schur expansion of . Using -analogues of labelled Dyck paths, Haglund et al. have proposed combinatorial conjectures for the monomial expansion of and the Hilbert series of the diagonal harmonics modules.

This article extends the combinatorial constructions of Haglund et al. to the case of lattice paths contained in squares. We define and study several -analogues of these lattice paths, proving combinatorial facts that closely parallel corresponding results for the -Catalan polynomials. We also conjecture an interpretation of our combinatorial polynomials in terms of the nabla operator. In particular, we conjecture combinatorial formulas for the monomial expansion of , the ``Hilbert series' , and the sign character .

     

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.

     

Extension and separation properties of positive definite functions on locally compact groups

Continuing earlier work, we investigate two related aspects of the set of continuous positive definite functions on a locally compact group . The first one is the problem of when, for a closed subgroup of , every function in extends to some function in . The second one is the question whether elements in can be separated from by functions in which are identically one on .

     

Composition operators on uniform algebras, essential norms, and hyperbolically bounded sets

Let be a uniform algebra, and let be a self-map of the spectrum of that induces a composition operator on . The object of this paper is to relate the notion of ``hyperbolic boundedness' introduced by the authors in 2004 to the essential spectrum of . It is shown that the essential spectral radius of is strictly less than if and only if the image of under some iterate of is hyperbolically bounded. The set of composition operators is partitioned into ``hyperbolic vicinities" that are clopen with respect to the essential operator norm. This partition is related to the analogous partition with respect to the uniform operator norm.

     

Cancellation and stable rank for direct limits of recursive subhomogeneous algebras

We prove the following results for a unital simple direct limit of recursive subhomogeneous algebras with no dimension growth:

(1)

(2) The projections in satisfy cancellation: if then

(3) satisfies Blackadar's Second Fundamental Comparability Question: if are projections such that for all normalized traces on then

(4) is unperforated for the strict order: if and there is such that then

The last three of these results hold under certain weaker dimension growth conditions and without assuming simplicity. We use these results to obtain previously unknown information on the ordered K-theory of the crossed product obtained from a minimal homeomorphism of a finite-dimensional infinite compact metric space Specifically, is unperforated for the strict order, and satisfies the following K-theoretic version of Blackadar's Second Fundamental Comparability Question: if satisfies for all normalized traces on then there is a projection such that

     

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 .

     

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.

     

On generalizations of Lavrentieff's theorem for Polish group actions

It is shown that for every Polish group that is not locally compact there is a continuous action of on a -complete subset of a Polish space such that cannot be extended to any superset of in . This answers a question posed by Becker and Kechris and shows that an earlier theorem of them is optimal in several aspects.

     

Lattice-ordered Abelian groups and Schauder bases of unimodular fans

Baker-Beynon duality theory yields a concrete representation of any finitely generated projective Abelian lattice-ordered group in terms of piecewise linear homogeneous functions with integer coefficients, defined over the support of a fan . A unimodular fan over determines a Schauder basis of : its elements are the minimal positive free generators of the pointwise ordered group of -linear support functions. Conversely, a Schauder basis of determines a unimodular fan over : its maximal cones are the domains of linearity of the elements of . The main purpose of this paper is to give various representation-free characterisations of Schauder bases. The latter, jointly with the De Concini-Procesi starring technique, will be used to give novel characterisations of finitely generated projective Abelian lattice ordered groups. For instance, is finitely generated projective iff it can be presented by a purely lattice-theoretical word.

     

Structure and stability of triangle-free set systems

We define the notion of stability for a monotone property of set systems. This phenomenon encompasses some classical results in combinatorics, foremost among them the Erdos-Simonovits stability theorem. A triangle is a family of three sets such that , , are each nonempty, and . We prove the following new theorem about the stability of triangle-free set systems.

Fix . For every , there exist and such that the following holds for all : if and is a triangle-free family of -sets of containing at least members, then there exists an -set which contains fewer than members of .

This is one of the first stability theorems for a nontrivial problem in extremal set theory. Indeed, the corresponding extremal result, that for every triangle-free family of -sets of has size at most , was a longstanding conjecture of Erdos (open since 1971) that was only recently settled by Mubayi and Verstraëte (2005) for all .

     

Singular solutions of parabolic -Laplacian with absorption

We consider, for and , the -Laplacian evolution equation with absorption

We are interested in those solutions, which we call singular solutions, that are non-negative, non-trivial, continuous in , and satisfy for all . We prove the following:

(i)

When , there does not exist any such singular solution.

(ii)

When , there exists, for every , a unique singular solution that satisfies as .

Also, as , where is a singular solution that satisfies as .

Furthermore, any singular solution is either or for some finite positive .

     

Extensions of -local finite groups

A -local finite group consists of a finite -group , together with a pair of categories which encode ``conjugacy' relations among subgroups of , and which are modelled on the fusion in a Sylow -subgroup of a finite group. It contains enough information to define a classifying space which has many of the same properties as -completed classifying spaces of finite groups. In this paper, we study and classify extensions of -local finite groups, and also compute the fundamental group of the classifying space of a -local finite group.

     

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.

     

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.

     

Images of the Brownian sheet

An -parameter Brownian sheet in maps a non-random compact set in to the random compact set in . We prove two results on the image-set :

(1) It has positive -dimensional Lebesgue measure if and only if has positive -dimensional capacity. This generalizes greatly the earlier works of J. Hawkes  (1977), J.-P. Kahane  (1985), and Khoshnevisan (1999).

(2) If , then with probability one, we can find a finite number of points such that for any rotation matrix that leaves in , one of the 's is interior to . In particular, has interior-points a.s. This verifies a conjecture of T. S. Mountford  (1989).

This paper contains two novel ideas: To prove (1), we introduce and analyze a family of bridged sheets. Item (2) is proved by developing a notion of ``sectorial local-non-determinism (LND).' Both ideas may be of independent interest.

We showcase sectorial LND further by exhibiting some arithmetic properties of standard Brownian motion; this completes the work initiated by Mountford (1988).

     

Parageometric outer automorphisms of free groups

We study those fully irreducible outer automorphisms of a finite rank free group which are parageometric, meaning that the attracting fixed point of  in the boundary of outer space is a geometric -tree with respect to the action of , but  itself is not a geometric outer automorphism in that it is not represented by a homeomorphism of a surface. Our main result shows that the expansion factor of is strictly larger than the expansion factor of . As corollaries (proved independently by Guirardel), the inverse of a parageometric outer automorphism is neither geometric nor parageometric, and a fully irreducible outer automorphism is geometric if and only if its attracting and repelling fixed points in the boundary of outer space are geometric -trees.

     

Finite generation of symmetric ideals

Let be a commutative Noetherian ring, and let be the polynomial ring in an infinite collection of indeterminates over . Let be the group of permutations of . The group acts on in a natural way, and this in turn gives the structure of a left module over the group ring . We prove that all ideals of invariant under the action of are finitely generated as -modules. The proof involves introducing a certain well-quasi-ordering on monomials and developing a theory of Gröbner bases and reduction in this setting. We also consider the concept of an invariant chain of ideals for finite-dimensional polynomial rings and relate it to the finite generation result mentioned above. Finally, a motivating question from chemistry is presented, with the above framework providing a suitable context in which to study it.