On Kashiwara’s equivalence in positive characteristic

Bezrukavnikov, Mirkovic and Rumynin have recently obtained a derived version of the Beilinson-Bernstein localization theorem for the the Lie algebra of a semisimple algebraic group in positive characteristic p using the sheaf of rings of crystalline differential operators. A central reduction of is the first term of the p-filtration of the ring of the standard differential operators. We observe that the direct image functors of -modules on smooth varieties do not behave well; Kashiwaras equivalence for a closed immersion fails, for example. On the other hand, we find that the direct image as -modules of the structure sheaf of the Frobenius neighbourhood of a point in each Chevalley-Bruhat cell under its inclusion in the flag variety realizes upon taking global sections an infinitesimal Verma module.Revised version: 27 April 2004Supported in part by JSPS Grant in Aid for Scientific Research     

Fonctions plurisousharmoniques et courants positifs de type (1,1) sur une variété presque complexe

If (X, J) is an almost complex manifold, then a function u is said to be plurisubharmonic on X if it is upper semi-continuous and its restriction to every local pseudo-holomorphic curve is subharmonic. As in the complex case, it is conjectured that plurisubharmonicity is equivalent to the positivity of the (1,1)-current , (the (1,1)-current need not be closed here!). The conjecture is trivial if u is of class The result is elementary in the complex integrable case because the operator can be written as an operator with constant coefficients in complex coordinates. Hence the positivity of the current is preserved by regularising with usual convolution kernels. This is not possible in the almost complex non integrable case and the proof of the result requires a much more intrinsic study. In this chapter we prove the necessity of the positivity of the (1,1)-current . We prove also the sufficiency of the positivity in the particular case of an upper semi-continuous function f which is continuous in the complement of the singular locus f⁻¹(−∞).

---

Résume Une fonction semi-continue supérieurement u sur une variété presque complexe (X, J) est dite plurisousharmonique si la restriction à toute courbe pseudo-holomorphe locale est sous-harmonique. Comme dans le cas analytique complexe, nous conjecturons que la notion de plurisousharmonicité pour une fonction u est équivalente à la positivité du (1,1)-courant , (lequel n'est pas forcément fermé dans le cas non intégrable). La conjecture est triviale dans le cas d'une fonction u de classe Le résultat en question est élémentaire dans le cas complexe intégrable car l'opérateur s'écrit comme un opérateur à coefficients constants dans des coordonnées complexes. On peut donc facilement conserver la positivité du courant en régularisant avec des noyaux usuels. Dans le cas presque complexe non intégrable ceci ce n'est pas possible et la preuve du résultat exige un étude beaucoup plus intrinsèque. Nous montrons la nécessité de la positivité du (1,1)-courant en utilisant la théorie locale des courbes J-holomorphes. Nous montrons aussi la suffisance de la positivité dans le cas particulier d'une fonction f semi-continue supérieurement et continue en dehors du lieu singulier f⁻¹(−∞).

     

Infinitely many solutions of a semilinear problem for the Heisenberg Laplacian on the Heisenberg group

We study the semilinear equationwhere is the Heisenberg Laplacian and is the Heisenberg group. The function f C²(×, ) is supposed to satisfy some (subcritical) growth conditions and to be left invariant under the action of the subgroup of consisting of points with integer coordinates.. We show the existence of infinitely many solutions in the space S₁²(), which is the Heisenberg analogue of the Sobolev space W^1,2(^N).Mathematics Subject Classification (2000): 22E30, 22E27     

On the exact Hausdorff dimension of the set of Liouville numbers

Let denote the set of Liouville numbers. For a dimension function h, we write () for the h-dimensional Hausdorff measure of . In this paper we locate the exact cut-point at which the Hausdorff measure of drops from infinity to zero. Namely, if h is a dimension function that increases faster than any power function near 0, then ()=, and if h is a dimension function that increases slower than some power function near 0, then ()=0. This answers a question asked by R. D. Mauldin.Mathematics Subject Classification (2000): 28A80     

Courbes nodales et ramification sauvage virtuelle

Let S be the spectrum of a discrete valuation ring of residue characteristic p>0. Let Z be a scheme separated and of finite type over S, and denote by K_c(Z,) (l≠p) the Grothendieck group of -constructible sheaves on the etale site of Z. In this article, we introduce the subgroup of virtual sheaves with virtual wild ramification zero, and we prove that this subgroup is preserved by the formalism of six operations “à la Grothendieck”.     

Global -homotopy with <Emphasis Type="Italic">C</Emphasis><Superscript><Emphasis Type="Italic">k</Emphasis></Superscript> estimates for a family of compact,regular <Emphasis Type="Italic">q</Emphasis>-pseudoconcave CR manifolds

Let M₀ be a compact, regular q-pseudoconcave CR submanifold of a complex manifold G and - a holomorphic vector bundle on G such that dim for some fixed r<q. We prove a global homotopy formula with C^k estimates for r-cohomology of on arbitrary CR submanifold M close enough to M₀.Mathematics Subject Classification (2000):32F20, 32F10in final form: 15 October 2003     

On the commutativity of <Emphasis Type="Italic">C</Emphasis>* -algebras

Let be a C* -algebra. Let f be a non-constant complex-valued continuous function defined on a closed interval I. We shall show that f densely spans As an application, is commutative if f(x)f(y)=f(y)f(x) for all self-adjoint elements x and y in with spectrums contained in I.Mathematics Subject Classification (1991):Primary 46L05     

Diophantine inequalities involving several power sums

Let denote the ring of power sums, i.e. complex functions of the form for some and _iA, where is a multiplicative semigroup. Moreover, let We consider Diophantine inequalities of the form where >1 is a quantity depending on the dominant roots of the power sums appearing as coefficients in F(n,y), and show that all its solutions have y parametrized by some power sums from a finite set. This is a continuation of the work of Corvaja and Zannier [4–6] and of the authors [10, 18] on such problems.Mathematics Subject Classification (2000):11D45,11D61Revised version: 6 May 2004     

L p -Estimates for the Navier–Stokes Equations for Steady Compressible Flow

We consider the Navier–Stokes equations for compressible isentropic flow in the steady three-dimensional case. The pressure and the kinetic energy are estimated uniformly in L^q with being the density. This is an improvement of known estimates in the case Mathematics Subject Classification (2000): 35Q30, 76N10     

Functional calculus for the Laguerre operator

In this paper we study the boundedness of spectral multipliers associated to the multidimensional Laguerre operator . It is well known that, for special values of , the analysis of the Laguerre operator can be interpreted as the analysis of the Ornstein-Uhlenbeck operator acting on polyradial functions. Exploiting this relation, we prove that if M is a bounded holomorphic function in the sector satisfying suitable Hörmander type conditions on the boundary, then the spectral operator M() is bounded on L^p with respect to the Laguerre measure. We also prove that holomorphy in the sector S is a necessary condition for multipliers whose norm is invariant under dilations.Mathematics Subject Classification (2000): 47A60, 42B15, 47D03     

Motivic cohomology over Dedekind rings

We study properties of Blochs higher Chow groups on smooth varieties over Dedekind rings. We prove the vanishing of for i > n, and the existence of a Gersten resolution for if the residue characteristic is p. We also show that the Bloch-Kato conjecture implies the Beilinson-Lichtenbaum conjecture an identification for m invertible, and a Gersten resolution with (arbitrary) finite coefficients. Over a complete discrete valuation ring of mixed characteristic (0,p), we construct a map from motivic cohomology to syntomic cohomology, which is a quasi-isomorphism provided the Bloch-Kato conjecture holds.Supported in part by JSPS, NSF Grant. No. 0070850, and the Alfred P.Sloan Foundation     

Cyclicity of elliptic curves modulo <Emphasis Type="Italic">p</Emphasis> and elliptic curve analogues of Linnik’s problem

Let E be an elliptic curve defined over and of conductor N. For a prime we denote by the reduction of E modulo p. We obtain an asymptotic formula for the number of primes p x for which is cyclic, assuming a certain generalized Riemann hypothesis. The error terms that we get are substantial improvements of earlier work of J-P. Serre and M. Ram Murty. We also consider the problem of finding the size of the smallest prime p = p_E for which the group is cyclic and we show that, under the generalized Riemann hypothesis, p_E = ((log N)^{4 +} ) if E is without complex multiplication, and p_E = ((log N)^{2 +} ) if E is with complex multiplication, for any 0 < < 1.Mathematics Subject Classification (2001):11G05, 11N36, 11R45Research supported in part by an Ontario Graduate Scholarship.Research supported in part by an NSERC grant.Revised version: 11 April 2004     

Complexity of nilpotent orbits and the Kostant-Sekiguchi correspondence

Let G be a connected linear semisimple Lie group with Lie algebra , and let be the complexified isotropy representation at the identity coset of the corresponding symmetric space. Suppose that Ω is a nilpotent G-orbit in and is the nilpotent -orbit in associated to Ω by the Kostant-Sekiguchi correspondence. We show that the corank of the Hamiltonian K-space Ω is twice the complexity of the variety .     

Associated primes and cofiniteness of local cohomology modules

Let be an ideal of Noetherian ring R and let s be a non-negative integer. Let M be an R-module such that is finite R-module. If s is the first integer such that the local cohomology module is non -cofinite, then we show that is finite. In particular, the set of associated primes of is finite. Let be a local Noetherian ring and let M be a finite R-module. We study the last integer n such that the local cohomology module is not -cofinite and show that n just depends on the support of M.The research of the first author was supported in part by a grant from IPM (No. 83130114).The second author was supported by a grant from University of Tehran (No. 6103023/1/01).     

Surjectivity criteria for p-adic representations,Part II

We prove surjectivity criteria for p-adic representations and we apply them to abelian varieties over number fields. In particular, we provide examples of Jacobians over of dimension d{1,2,3} whose 2-adic representations have as images GSp_2d(₂).Mathematics Subject Classification (2000): Primary 11S23, 14L17, 17B45, 20G05, and 20G40Revised version: 23 March 2004Acknowledgements. We thank U of Arizona for good conditions for the writing of this Part II, the referee for many useful comments, and Serre and Dieulefait for mentioning to us the curves of 4.1.1 and respectively of 4.1.2.     

Interior regularity criteria in weak spaces for the Navier-Stokes equations

We study the interior regularity of weak solutions of the incompressible Navier-Stokes equations in ×(0,T), where and 0<T<. The local boundedness of a weak solution u is proved under the assumption that is sufficiently small for some (r,s) with and 3r<. Our result extends the well-known criteria of Serrin (1962), Struwe (1988) and Takahashi (1990) to the weak space-time spaces.Mathematics Subject Classification (2000): 35Q30, 76N10     

3-Wise Exactly 1-Intersecting Families of Sets

Let f(l, t, n) be the maximal size of a family such that any l2 sets of have an exactly t1-element intersection. If l3, it trivially comes from [8] that the optimal families are trivially intersecting (there is a t-element core contained by all the members of the family). Hence it is easy to determine Let g(l,t,n) be the maximal size of an l-wise exaclty t-intersecting family that is not trivially t-intersecting. We give upper and lower bounds which only meet in the following case: g(3, 1, n) = n^2/3(1 + o(1)).     

Inducing W-graphs II

Let be the Hecke algebra associated with a Coxeter group W, and the Hecke algebra associated with W_J, a parabolic subgroup of W. In [5] an algorithm was described for the construction of a W-graph for an induced module where V is an -module derived from a W_J-graph. This note is a continuation of [5], and involves the following results:[] inducing ordered and bipartite W-graphs;[] the relationship between the cell decomposition of a W_J-graph and the cell decomposition of the corresponding induced W-graph;[] a Mackey-type formula for the restriction of an induced W-graph;[] a formula relating the polynomials used in the construction of induced W-graphs to Kazhdan-Lusztig polynomials.The result on cells is a version of a Theorem of M. Geck [4], dealing with cells in W (allowing unequal parameters).Mathematics Subject Classification (2000): Primary 20C     

Hardy algebras, <Emphasis Type="Italic">W</Emphasis>*-correspondences and interpolation theory

Given a von Neumann algebra M and a W*-correspondence E over M, we construct an algebra H(E) that we call the Hardy algebra of E. When M= =E, H(E) is the classical Hardy space H of bounded analytic functions on the unit disc. When M= and E= H(E) is the free semigroup algebra studied by Popescu, Davidson and Pitts and many others. We show that given any faithful normal representation of M on a Hilbert space H there is a natural correspondence E over the commutant (M), called the -dual of E, and that H(E) can be realized in terms of (B(H)-valued) functions on the open unit ball ((E)*) in the space of adjoints of elements in E. We prove analogues of the Nevanlinna-Pick theorem in this setting and discover other aspects of the value distribution theory for elements in H(E). We also analyze the boundary behavior of elements in H(E) and obtain generalizations of the Sz.-Nagy–Foia functional calculus and the functional calculus of Popescu for c.n.c. row contractions. The correspondence E has a dual that is naturally isomorphic to E and the commutants of certain, so-called induced representations of H(E) can be viewed as induced representations of H(E). For these induced representations a double commutant theorem is proved.Supported in part by grants from the National Science Foundation and from the U.S.-Israel Binational Science Foundation.Supported in part by the U.S.-Israel Binational Science Foundation and by the Fund for the Promotion of Research at the Technion.Revised version: 11 March 2004     

Ordinary elliptic curves of high rank over with constant <Emphasis Type="Italic">j</Emphasis>-invariant

We show that under the assumption of Artins Primitive Root Conjecture, for all primes p there exist ordinary elliptic curves over with arbitrarily high rank and constant j-invariant. For odd primes p, this result follows from a theorem we prove which states that whenever p is a generator of (/)*/–1 ( an odd prime) there exists a hyperelliptic curve over whose Jacobian is isogenous to a power of one ordinary elliptic curve.Mathematics Subject Classification (2000): Primary: 11G05; Secondary: 11G20, 14H40, 14H52Revised version: 3 February 2004Acknowledgements. The research of Jasper Scholten is funded by the AREHCC project of the European Commission (Fifth Framework Program IST - 2001).