Quantum symmetric derivatives

For , a one-parameter family of symmetric quantum derivatives is defined for each order of differentiation as are two families of Riemann symmetric quantum derivatives. For , symmetrization holds, that is, whenever the th Peano derivative exists at a point, all of these derivatives of order also exist at that point. The main result, desymmetrization, is that conversely, for , each symmetric quantum derivative is a.e. equivalent to the Peano derivative of the same order. For and , each th symmetric quantum derivative coincides with both corresponding th Riemann symmetric quantum derivatives, so, in particular, for and , both th Riemann symmetric quantum derivatives are a.e. equivalent to the Peano derivative.

     

The kernels of radical homomorphisms and intersections of prime ideals

We establish a necessary condition for a commutative Banach algebra so that there exists a homomorphism from into another Banach algebra such that the prime radical of the continuity ideal of is not a finite intersection of prime ideals in . We prove that the prime radical of the continuity ideal of an epimorphism from onto another Banach algebra (or of a derivation from into a Banach -bimodule) is always a finite intersection of prime ideals. Under an additional cardinality condition (and assuming the Continuum Hypothesis), this necessary condition is proved to be sufficient. En route, we give a general result on norming commutative semiprime algebras; extending the class of algebras known to be normable. We characterize those locally compact metrizable spaces for which there exists a homomorphism from into a radical Banach algebra whose kernel is not a finite intersection of prime ideals.

     

Quantum cohomology and the -Schur basis

We prove that structure constants related to Hecke algebras at roots of unity are special cases of -Littlewood-Richardson coefficients associated to a product of -Schur functions. As a consequence, both the 3-point Gromov-Witten invariants appearing in the quantum cohomology of the Grassmannian, and the fusion coefficients for the WZW conformal field theories associated to are shown to be -Littlewood-Richardson coefficients. From this, Mark Shimozono conjectured that the -Schur functions form the Schubert basis for the homology of the loop Grassmannian, whereas -Schur coproducts correspond to the integral cohomology of the loop Grassmannian. We introduce dual -Schur functions defined on weights of -tableaux that, given Shimozono's conjecture, form the Schubert basis for the cohomology of the loop Grassmannian. We derive several properties of these functions that extend those of skew Schur functions.

     

Self-tilting complexes yield unstable modules

Let be a group and a commutative ring. Let be the group of isomorphism classes of standard self-equivalences of the derived category of bounded complexes of -modules. The subgroup of consisting of self-equivalences fixing the trivial -module acts on the cohomology ring . The action is functorial with respect to . The self-equivalences which are 'splendid' in a sense defined by J. Rickard act naturally with respect to transfer and restriction to centralizers of -subgroups in case is a field of characteristic . In the present paper we prove that this action of self-equivalences on commutes with the action of the Steenrod algebra, and study the behaviour of the action of splendid self-equivalences with respect to Lannes' -functor.

     

Finiteness of cousin cohomologies

The notion of the Cousin complex of a module was given by Sharp in 1969. It wasn't known whether its cohomologies are finitely generated until recently. In 2001, Dibaei and Tousi showed that the Cousin cohomologies of a finitely generated -module  are finitely generated if the base ring  is local, has a dualizing complex, satisfies Serre's -condition and is equidimensional. In the present article, the author improves their result. He shows that the Cousin cohomologies of  are finitely generated if is universally catenary, all the formal fibers of all the localizations of  are Cohen-Macaulay, the Cohen-Macaulay locus of each finitely generated -algebra is open and all the localizations of  are equidimensional. As a consequence of this, he gives a necessary and sufficient condition for a Noetherian ring to have an arithmetic Macaulayfication.

     

Filtrations in semisimple Lie algebras, II

In this paper, we continue our study of the maximal bounded -filtrations of a complex semisimple Lie algebra . Specifically, we discuss the functionals which give rise to such filtrations, and we show that they are related to certain semisimple subalgebras of of full rank. In this way, we determine the ``order' of these functionals and count them without the aid of computer computations. The main results here involve the Lie algebras of type , and , since we already know a good deal about the functionals for the remaining types. Nevertheless, we reinterpret our previous results into the new context considered here. Finally, we describe the associated graded Lie algebras of all of the maximal filtrations obtained in this manner.

     

On the unique representation of families of sets

Let and be uncountable Polish spaces. represents a family of sets provided each set in occurs as an -section of . We say that uniquely represents provided each set in occurs exactly once as an -section of . is universal for if every -section of is in . is uniquely universal for if it is universal and uniquely represents . We show that there is a Borel set in which uniquely represents the translates of if and only if there is a Vitali set. Assuming there is a Borel set with all sections sets and all non-empty sets are uniquely represented by . Assuming there is a Borel set with all sections which uniquely represents the countable subsets of . There is an analytic set in with all sections which represents all the subsets of , but no Borel set can uniquely represent the sets. This last theorem is generalized to higher Borel classes.

     

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.

     

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.

     

-equivalence in adjoint classical groups over fields of virtual cohomological dimension

Let be a field of characteristic not whose virtual cohomological dimension is at most . Let be a semisimple group of adjoint type defined over . Let denote the normal subgroup of consisting of elements -equivalent to identity. We show that if is of classical type not containing a factor of type , . If is a simple classical adjoint group of type , we show that if and its multi-quadratic extensions satisfy strong approximation property, then . This leads to a new proof of the -triviality of -rational points of adjoint classical groups defined over number fields.

     

A Markov partition that reflects the geometry of a hyperbolic toral automorphism

We show how to construct a Markov partition that reflects the geometrical action of a hyperbolic automorphism of the -torus. The transition matrix is the transpose of the matrix induced by the automorphism in -dimensional homology, provided this is non-negative. (Here denotes the expanding dimension.) That condition is satisfied, at least for some power of the original automorphism, under a certain non-degeneracy condition on the Galois group of the characteristic polynomial. The rectangles are constructed by an iterated function system, and they resemble the product of the projection of a -dimensional face of the unit cube onto the unstable subspace and the projection of minus the orthogonal -dimensional face onto the stable subspace.

     

When is the commutant of a Bol loop a subloop?

A left Bol loop is a loop satisfying . The commutant of a loop is the set of elements which commute with all elements of the loop. In a finite Bol loop of odd order or of order , odd, the commutant is a subloop. We investigate conditions under which the commutant of a Bol loop is not a subloop. In a finite Bol loop of order relatively prime to , the commutant generates an abelian group of order dividing the order of the loop. This generalizes a well-known result for Moufang loops. After describing all extensions of a loop such that is in the left and middle nuclei of the resulting loop, we show how to construct classes of Bol loops with a non-subloop commutant. In particular, we obtain all Bol loops of order with a non-subloop commutant.

     

Resolutions of ideals of quasiuniform fat point subschemes of

The notion of a quasiuniform fat point subscheme is introduced and conjectures for the Hilbert function and minimal free resolution of the ideal defining are put forward. In a large range of cases, it is shown that the Hilbert function conjecture implies the resolution conjecture. In addition, the main result gives the first determination of the resolution of the th symbolic power of an ideal defining general points of when both and are large (in particular, for infinitely many for each of infinitely many , and for infinitely many for every 2$">). Resolutions in other cases, such as ``fat points with tails', are also given. Except where an explicit exception is made, all results hold for an arbitrary algebraically closed field . As an incidental result, a bound for the regularity of is given which is often a significant improvement on previously known bounds.

     

Indecomposable modules of large rank over Cohen-Macaulay local rings

A commutative Noetherian local ring is called Dedekind-like provided is one-dimensional and reduced, the integral closure is generated by at most 2 elements as an -module, and is the Jacobson radical of . If is an indecomposable finitely generated module over a Dedekind-like ring , and if is a minimal prime ideal of , it follows from a classification theorem due to L. Klingler and L. Levy that must be free of rank 0, 1 or 2.

Now suppose is a one-dimensional Cohen-Macaulay local ring that is not Dedekind-like, and let be the minimal prime ideals of . The main theorem in the paper asserts that, for each non-zero -tuple of non-negative integers, there is an infinite family of pairwise non-isomorphic indecomposable finitely generated -modules satisfying for each .

     

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 .

     

Torsion freeness of symmetric powers of ideals

Let be an ideal in a Noetherian commutative ring with unit, let be an integer, and let be the canonical surjective -module homomorphism from the th symmetric power of to the th power of . When or when is a perfect Gorenstein ideal of grade , we provide a necessary and sufficient condition for to be an isomorphism in terms of upper bounds for the minimal number of generators of the localisations of . When is a maximal ideal of we show that is an isomorphism if and only if is a regular local ring. In all three cases for our results yield that if is an isomorphism, then is also an isomorphism for each .

     

Degenerate fibres in the Stone-Cech compactification of the universal bundle of a finite group

Applied to a continuous surjection of completely regular Hausdorff spaces and , the Stone-Cech compactification functor yields a surjection . For an -fold covering map , we show that the fibres of , while never containing more than points, may degenerate to sets of cardinality properly dividing . In the special case of the universal bundle of a -group , we show more precisely that every possible type of -orbit occurs among the fibres of . To prove this, we use a weak form of the so-called generalized Sullivan conjecture.

     

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.