Higher Weierstrass points on

We study the arithmetic properties of higher Weierstrass points on modular curves for primes . In particular, for , we obtain a relationship between the reductions modulo of the collection of -Weierstrass points on and the supersingular locus in characteristic .

     

Monomial bases for -Schur algebras

Using the Beilinson-Lusztig-MacPherson construction of the quantized enveloping algebra of and its associated monomial basis, we investigate -Schur algebras as ``little quantum groups". We give a presentation for and obtain a new basis for the integral -Schur algebra , which consists of certain monomials in the original generators. Finally, when , we interpret the Hecke algebra part of the monomial basis for in terms of Kazhdan-Lusztig basis elements.

     

On one-dimensional self-similar tilings and -tiles

Let be an integer base, a digit set and the set of radix expansions. It is well known that if has nonvoid interior, then can tile with some translation set ( is called a tile and a tile digit set). There are two fundamental questions studied in the literature: (i) describe the structure of ; (ii) for a given , characterize so that is a tile.

We show that for a given pair , there is a unique self-replicating translation set , and it has period for some . This completes some earlier work of Kenyon. Our main result for (ii) is to characterize the tile digit sets for when are distinct primes. The only other known characterization is for , due to Lagarias and Wang. The proof for the case depends on the techniques of Kenyon and De Bruijn on the cyclotomic polynomials, and also on an extension of the product-form digit set of Odlyzko.

     

Hyperbolic -spheres with conical singularities, accessory parameters and Kähler metrics on

We show that the real-valued function on the moduli space of pointed rational curves, defined as the critical value of the Liouville action functional on a hyperbolic -sphere with conical singularities of arbitrary orders , generates accessory parameters of the associated Fuchsian differential equation as their common antiderivative. We introduce a family of Kähler metrics on parameterized by the set of orders , explicitly relate accessory parameters to these metrics, and prove that the functions are their Kähler potentials.

     

The Dirichlet problem and nondivergence harmonic measure

We consider the Dirichlet problem

for two second-order elliptic operators , , in a bounded Lipschitz domain . The coefficients belong to the space of bounded mean oscillation with a suitable small modulus. We assume that is regular in for some , , that is, for all continuous boundary data . Here is the surface measure on and is the nontangential maximal operator. The aim of this paper is to establish sufficient conditions on the difference of the coefficients that will assure the perturbed operator to be regular in for some , .

     

Formulas for tamely ramified supercuspidal characters of

Let denote a -adic local field of residual characteristic . This article gives formulas, valid on the regular elliptic set, for the irreducible supercuspidal characters of which correspond to characters of a ramified Cartan subgroup. In the case in which does not contain cube roots of unity, i.e., the case in which ramified cubic extensions of degree over cannot be Galois, base change results concerning ``simple types" due to Bushnell and Henniart (1996) are used in the proofs.

     

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.

     

Quadratic iterations to associated with elliptic functions to the cubic and septic base

In this paper, properties of the functions , and are derived. Specializing at and , we construct two new quadratic iterations to . These are analogues of previous iterations discovered by the Borweins (1987), J. M. Borwein and F. G. Garvan (1997), and H. H. Chan (2002). Two new transformations of the hypergeometric series are also derived.

     

On the minimal free resolution of general forms

Let and let be the ideal of generically chosen forms of degrees . We give the precise graded Betti numbers of in the following cases:

• ;
• and is even;
• , is odd and ;
• is even and all generators have the same degree, , which is even;
• is even and ;
• is odd, is even, and .

We give very good bounds on the graded Betti numbers in many other cases. We also extend a result of M. Boij by giving the graded Betti numbers for a generic compressed Gorenstein algebra (i.e., one for which the Hilbert function is maximal, given and the socle degree) when is even and the socle degree is large. A recurring theme is to examine when and why the minimal free resolution may be forced to have redundant summands. We conjecture that if the forms all have the same degree, then there are no redundant summands, and we present some evidence for this conjecture.

     

Examples for the mod motivic cohomology of classifying spaces

Let be the classifying space of a compact Lie group . Some examples of computations of the motivic cohomology are given, by comparing with , and .

     

The space for nondoubling measures in terms of a grand maximal operator

Let be a Radon measure on , which may be nondoubling. The only condition that must satisfy is the size condition , for some fixed . Recently, some spaces of type and were introduced by the author. These new spaces have properties similar to those of the classical spaces and defined for doubling measures, and they have proved to be useful for studying the boundedness of Calderón-Zygmund operators without assuming doubling conditions. In this paper a characterization of the new atomic Hardy space in terms of a maximal operator is given. It is shown that belongs to if and only if , and , as in the usual doubling situation.

     

On the Iwasawa -invariants of real abelian fields

For a prime number and a number field , let denote the projective limit of the -parts of the ideal class groups of the intermediate fields of the cyclotomic -extension over . It is conjectured that is finite if is totally real. When is an odd prime and is a real abelian field, we give a criterion for the conjecture, which is a generalization of results of Ichimura and Sumida. Furthermore, in a special case where divides the degree of , we also obtain a rather simple criterion.

     

Cyclicity of CM elliptic curves modulo

Let be an elliptic curve defined over and with complex multiplication. For a prime of good reduction, let be the reduction of modulo We find the density of the primes for which is a cyclic group. An asymptotic formula for these primes had been obtained conditionally by J.-P. Serre in 1976, and unconditionally by Ram Murty in 1979. The aim of this paper is to give a new simpler unconditional proof of this asymptotic formula and also to provide explicit error terms in the formula.

     

Singular integrals with rough kernels along real-analytic submanifolds in

mapping properties will be established in this paper for singular Radon transforms with rough kernels defined by translates of a real-analytic submanifold in .

     

On the Diophantine equation : Higher-order recurrences

Let be a field of characteristic and let be a linear recurring sequence of degree in defined by the initial terms and by the difference equation

with . Finally, let be an element of . In this paper we are giving fairly general conditions depending only on on , and on under which the Diophantine equation

has only finitely many solutions . Moreover, we are giving an upper bound for the number of solutions, which depends only on . This paper is a continuation of the work of the authors on this equation in the case of second-order linear recurring sequences.

     

Explicit Lower bounds for residues at of Dedekind zeta functions and relative class numbers of CM-fields

Let be a given set of positive rational primes. Assume that the value of the Dedekind zeta function of a number field is less than or equal to zero at some real point in the range . We give explicit lower bounds on the residue at of this Dedekind zeta function which depend on , the absolute value of the discriminant of and the behavior in of the rational primes . Now, let be a real abelian number field and let be any real zero of the zeta function of . We give an upper bound on the residue at of which depends on , and the behavior in of the rational primes . By combining these two results, we obtain lower bounds for the relative class numbers of some normal CM-fields which depend on the behavior in of the rational primes . We will then show that these new lower bounds for relative class numbers are of paramount importance for solving, for example, the exponent-two class group problem for the non-normal quartic CM-fields. Finally, we will prove Brauer-Siegel-like results about the asymptotic behavior of relative class numbers of CM-fields.

     

On the Jacobi group and the mapping class group of

The paper contains a proof that the mapping class group of the manifold is isomorphic to a central extension of the (full) Jacobi group by the group of 7-dimensional homotopy spheres. Using a presentation of the group and the -invariant of the homotopy spheres, we give a presentation of this mapping class group with generators and defining relations. We also compute the cohomology of the group and determine 2-cocycles that correspond to the mapping class group of .

     

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 .

     

The flat model structure on

Given a cotorsion pair in an abelian category with enough objects and enough objects, we define two cotorsion pairs in the category of unbounded chain complexes. We see that these two cotorsion pairs are related in a nice way when is hereditary. We then show that both of these induced cotorsion pairs are complete when is the ``flat' cotorsion pair of -modules. This proves the flat cover conjecture for (possibly unbounded) chain complexes and also gives us a new ``flat' model category structure on . In the last section we use the theory of model categories to show that we can define using a flat resolution of and a cotorsion coresolution of .