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.

     

The -module structure of -modules

Let be a regular ring, essentially of finite type over a perfect field . An -module is called a unit -module if it comes equipped with an isomorphism , where denotes the Frobenius map on , and is the associated pullback functor. It is well known that then carries a natural -module structure. In this paper we investigate the relation between the unit -structure and the induced -structure on . In particular, it is shown that if is algebraically closed and is a simple finitely generated unit -module, then it is also simple as a -module. An example showing the necessity of being algebraically closed is also given.

     

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.

     

Boundary Hölder and estimates for local solutions of the tangential Cauchy-Riemann equation

We study the local solvability of the tangential Cauchy-Riemann equation on an open neighborhood of a point when is a generic -concave manifold of real codimension in , where . Our method is to first derive a homotopy formula for in when is the intersection of with a strongly pseudoconvex domain. The homotopy formula gives a local solution operator for any -closed form on without shrinking. We obtain Hölder and estimates up to the boundary for the solution operator. RÉSUMÉ. Nous étudions la résolubilité locale de l'opérateur de Cauchy- Riemann tangentiel sur un voisinage d'un point d'une sous-variété générique -concave de codimension quelconque de . Nous construisons une formule d'homotopie pour le sur , lorsque est l'intersection de et d'un domaine strictement pseudoconvexe. Nous obtenons ainsi un opérateur de résolution pour toute forme -fermée sur . Nous en déduisons des estimations et des estimations hölderiennes jusqu'au bord pour la solution de l'équation de Cauchy-Riemann tangentielle sur .

     

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

     

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 .

     

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.

     

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.

     

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 .

     

Spécialisation de la -équivalence pour les groupes réductifs

Soit un groupe réductif défini sur un corps de caractéristique distincte de . On montre que le groupes des classes de -équivalence de ne change pas lorsque l'on passe de au corps des séries de Laurent , c'est-à-dire que l'on a un isomorphisme naturel .

ABSTRACT. Let be a reductive group defined over a field of characteristic . We show that the group of -equivalence for is invariant by the change of fields given by the Laurent series. In other words, there is a natural isomorphism .

     

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

     

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 .

     

improving estimates for some classes of Radon transforms

In this paper, we give estimates and the regularizing estimate of Radon transforms associated to real analytic functions, and we also give estimates of the decay rate of the operator norm of corresponding oscillatory integral operators. For estimates and estimates of the decay rate of the operator norm we obtain sharp results except for extreme points; however, for regularity we allow some restrictions on the phase function.

     

Notes on interpolation in the generalized Schur class. II. Nudelman's problem

An indefinite generalization of Nudelman's problem is used in a systematic approach to interpolation theorems for generalized Schur and Nevanlinna functions with interior and boundary data. Besides known results on existence criteria for Pick-Nevanlinna and Carathéodory-Fejér interpolation, the method yields new results on generalized interpolation in the sense of Sarason and boundary interpolation, including properties of the finite Hilbert transform relative to weights. The main theorem appeals to the Ball and Helton almost-commutant lifting theorem to provide criteria for the existence of a solution to Nudelman's problem.

     

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.

     

Finiteness theorems for positive definite -regular quadratic forms

An integral quadratic form of variables is said to be -regular if globally represents all quadratic forms of variables that are represented by the genus of . For any , it is shown that up to equivalence, there are only finitely many primitive positive definite integral quadratic forms of variables that are -regular. We also investigate similar finiteness results for almost -regular and spinor -regular quadratic forms. It is shown that for any , there are only finitely many equivalence classes of primitive positive definite spinor or almost -regular quadratic forms of variables. These generalize the finiteness result for 2-regular quaternary quadratic forms proved by Earnest (1994).

     

Estimations des fonctions du Laplacien sur les variétés cuspidales

Le but de cet article est d'étudier la continuité des fonctions du Laplacien sur les variétés cuspidales.