On the correlations of directions in the Euclidean plane

Let denote the repartition of the -level correlation measure of the finite set of directions , where is the fixed point and is an integer lattice point in the square . We show that the average of the pair correlation repartition over in a fixed disc converges as . More precisely we prove, for every and , the estimate

We also prove that for each individual point , the -level correlation diverges at any point as , and we give an explicit lower bound for the rate of divergence.

     

On reflection of stationary sets in

Let be an inaccessible cardinal, and let and is regular and . It is consistent that the set is stationary and that every stationary subset of reflects at almost every .

     

A universal continuum of weight

We prove that every continuum of weight  is a continuous image of the Cech-Stone-remainder  of the real line. It follows that under  the remainder of the half line is universal among the continua of weight  -- universal in the `mapping onto' sense.

We complement this result by showing that 1) under  every continuum of weight less than  is a continuous image of , 2) in the Cohen model the long segment of length  is not a continuous image of , and 3)  implies that is not a continuous image of , whenever  is a -saturated ultrafilter.

We also show that a universal continuum can be gotten from a -saturated ultrafilter on , and that it is consistent that there is no universal continuum of weight  .

     

Definably simple groups in o-minimal structures

Let be a group definable in an o-minimal structure . A subset of is -definable if is definable in the structure (while definable means definable in the structure ). Assume has no -definable proper subgroup of finite index. In this paper we prove that if has no nontrivial abelian normal subgroup, then is the direct product of -definable subgroups such that each is definably isomorphic to a semialgebraic linear group over a definable real closed field. As a corollary we obtain an o-minimal analogue of Cherlin's conjecture.

     

Projective manifolds with small pluridegrees

Let be a very ample line bundle on a connected complex projective manifold of dimension . Except for a short list of degenerate pairs , and there exists a morphism expressing as the blowup of a projective manifold at a finite set , with nef and big for the ample line bundle . The projective geometry of is largely controlled by the pluridegrees for , of . For example, , where is the genus of a curve section of , and is equal to the self-intersection of the canonical divisor of the minimal model of a surface section of . In this article, a detailed analysis is made of the pluridegrees of . The restrictions found are used to give a new lower bound for the dimension of the space of sections of . The inequalities for the pluridegrees, that are presented in this article, will be used in a sequel to study the sheet number of the morphism associated to .

     

Mean convergence of orthogonal Fourier series of modified functions

We construct orthonormal systems (ONS) which are uniformly bounded, complete, and made up of continuous functions such that some continuous and even some arbitrarily smooth functions cannot be modified so that the Fourier series of the new function converges in the -metric for any 2. $"> We prove also that if is a uniformly bounded ONS which is complete in all the spaces , then there exists a rearrangement of the natural numbers such that the system has the strong -property for all 2$">; that is, for every and for every and 0 $">there exists a function which coincides with except on a set of measure less than and whose Fourier series with respect to the system converges in      

Conditions for the Existence of SBR Measures for ``Almost Anosov' Diffeomorphisms

A diffeomorphism of a compact manifold is called ``almost Anosov' if it is uniformly hyperbolic away from a finite set of points. We show that under some nondegeneracy condition, every almost Anosov diffeomorphism admits an invariant measure that has absolutely continuous conditional measures on unstable manifolds. The measure is either finite or infinite, and is called SBR measure or infinite SBR measure respectively. Therefore, tends to either an SBR measure or for almost every with respect to Lebesgue measure. ( is the Dirac measure at .) For each case, we give sufficient conditions by using coefficients of the third order terms in the Taylor expansion of at .

     

A join theorem for the computably enumerable degrees

It is shown that for any computably enumerable (c.e.) degree , if , then there is a c.e. degree such that (so is lowand is high). It follows from this and previous work of P. Cholak, M. Groszek and T. Slaman that the low and low c.e. degrees are not elementarily equivalent as partial orderings.

     

Principal curvatures of isoparametric hypersurfaces in

Let be an isoparametric hypersurface in , and the inverse image of under the Hopf map. By using the relationship between the eigenvalues of the shape operators of and , we prove that is homogeneous if and only if either or is constant, where is the number of distinct principal curvatures of and is the number of non-horizontal eigenspaces of the shape operator on .

     

Problème de Dirichlet pour une équation de Monge-Ampère réelle elliptique dégénérée en dimension

RÉSUMÉ. On considère dans un ouvert borné de , à bord régulier, le problème de Dirichlet

où , est positive et s'annule sur un ensemble fini de points de . On démontre alors sous certaines hypothèses sur et si est assez petit, que le problème (1) possède une solution convexe unique .

ABSTRACT. We consider in a bounded open set of , with regular boundary, the Dirichlet problem

where , is positive and vanishes on , a finite set of points in . We prove, under some hypothesis on and if is sufficiently small, that the problem (1) has a unique convex solution .

     

A condition for the stability of -covered on foliations of 3-manifolds

We give a sufficient condition for a codimension one, transversely orientable foliation of a closed 3-manifold to have the property that any foliation sufficiently close to it be -covered. This condition can be readily verified for many examples. Further, if an -covered foliation has a compact leaf , then any transverse loop meeting lifts to a copy of the leaf space, and the ambient manifold fibers over with as fiber.

     

The nonarchimedean theta correspondence for

In this paper we consider the theta correspondence between the sets and when is a nonarchimedean local field and . Our main theorem determines all the elements of that occur in the correspondence. The answer involves distinguished representations. As a corollary, we characterize all the elements of that occur in the theta correspondence between and . We also apply our main result to prove a case of a new conjecture of S.S. Kudla concerning the first occurrence of a representation in the theta correspondence.

     

On the stable module category of a self-injective algebra

Let be a finite-dimensional self-injective algebra. We study the dimensions of spaces of stable homomorphisms between indecomposable -modules which belong to Auslander-Reiten components of the form or . The results are applied to representations of finite groups over fields of prime characteristic, especially blocks of wild representation type.     

A classification of one dimensional almost periodic tilings arising from the projection method

For each irrational number , with continued fraction expansion , we classify, up to translation, the one dimensional almost periodic tilings which can be constructed by the projection method starting with a line of slope . The invariant is a sequence of integers in the space and whenever modulo the equivalence relation generated by tail equivalence and . Each tile in a tiling , of slope , is coded by an integer . Using a composition operation, we produce a sequence of tilings . Each tile in gets absorbed into a tile in . A choice of a starting tile in will thus produce a sequence in . This is the invariant.

     

The truncated complex -moment problem

Let denote a sequence of complex numbers ( 0, \gamma _{ij}=\bar{\gamma}_{ji}$">), and let denote a closed subset of the complex plane . The Truncated Complex -Moment Problem for entails determining whether there exists a positive Borel measure on such that ( ) and . For a semi-algebraic set determined by a collection of complex polynomials , we characterize the existence of a finitely atomic representing measure with the fewest possible atoms in terms of positivity and extension properties of the moment matrix and the localizing matrices . We prove that there exists a -atomic representing measure for supported in if and only if and there is some rank-preserving extension for which , where or .

     

Schauder estimates for equationswith fractional derivatives

The equation where and are fractional derivatives of order and is studied. It is shown that if , , and are Hölder-continuous and , then there is a solution such that and are Hölder-continuous as well. This is proved by first considering an abstract fractional evolution equation and then applying the results obtained to (). Finally the solution of () with is studied.     

Quantum -space

The prime and primitive spectra of , the multiparameter quantized coordinate ring of affine -space over an algebraically closed field , are shown to be topological quotients of the corresponding classical spectra, and , provided the multiplicative group generated by the entries of avoids .

     

A bracket power characterization of analytic spread one ideals

The main theorem characterizes, in terms of bracket powers, analytic spread one ideals in local rings. Specifically, let be regular nonunits in a local (Noetherian) ring and assume that , the integral closure of , where . Then the main result shows that for all but finitely many units in that are non-congruent modulo and for all large integers and it holds that for and not divisible by , where is the -th bracket power of . And, conversely, if there exist positive integers , , and such that has a basis such that , then has analytic spread one.

     

Inseparable extensions of algebras over the Steenrod algebra with applications to modular invariant theory of finite groups

We consider purely inseparable extensions of unstable Noetherian integral domains over the Steenrod algebra. It turns out that there exists a finite group and a vector space decomposition such that and , where denotes the integral closure. Moreover, is Cohen-Macaulay if and only if is Cohen-Macaulay. Furthermore, is polynomial if and only if is polynomial, and if and only if

where and .

     

coefficients

Let be a system of real smooth vector fields, satisfying Hörmander's condition in some bounded domain (). We consider the differential operator

where the coefficients are real valued, bounded measurable functions, satisfying the uniform ellipticity condition:

for a.e. , every , some constant . Moreover, we assume that the coefficients belong to the space VMO (``Vanishing Mean Oscillation'), defined with respect to the subelliptic metric induced by the vector fields . We prove the following local -estimate:

for every , . We also prove the local Hölder continuity for solutions to for any with large enough. Finally, we prove -estimates for higher order derivatives of , whenever and the coefficients are more regular.