Modified Ariki-Koike algebras and cyclotomic <Emphasis Type="Italic">q</Emphasis>-Schur algebras

The modified Ariki-Koike algebra is a variation of the original Ariki-Koike algebra over an integral domain R. When R is a rational function field over the independent parameters, But for general R, is not isomorphic to , and has a simpler structure than . In this paper, we construct a cellular basis of which has a similar property as the cellular basis of introduced by Dipper-James-Mathas. By comparing these two cellular bases, we obtain some estimate on the decomposition numbers of in terms of the decomposition numbers of . We also prove the integral form of the Schur-Weyl reciprocity between a certain quantum algebra U_q and on the tensor space      

The classification of <Emphasis Type="Italic">p</Emphasis>-local finite groups over the extraspecial group of order <Emphasis Type="Italic">p</Emphasis><Superscript>3</Superscript> and exponent <Emphasis Type="Italic">p</Emphasis>

In this paper we classify the p-local finite groups over p¹⁺²₊, the extraspecial group of order p³ and exponent p for odd p. This study reduces to the classification of the saturated fusion systems over p¹⁺²₊, which will be characterized by the outer automorphism group, the number of -radical subgroups and the automorphism group of each nontrivial -radical subgroup. As part of this classification, we obtain three new exotic 7-local finite groups.Partially supported by MCYT grant BFM2001-2035.Partially supported by MCYT grant BFM2001-1825.Both authors have been supported by the EU grant nr HPRN-CT-1999-00119.in final form: 1 October 2003     

Integral varieties of the canonical cone structure on <Emphasis Type="Italic">G</Emphasis>/<Emphasis Type="Italic">P</Emphasis>

The canonical cone structure on a compact Hermitian symmetric space G/P is the fiber bundle where is the cone of the highest weight vectors under the action of the reductive part of P. It is known that the cone coincides with the cone of the vectors tangent to the lines in G/P passing through x, when we consider G/P as a projective variety under its homogeneous embedding into the projective space of the irreducible representation space V of G with highest weight associated to P. A subvariety X of G/P is said to be an integral variety of at all smooth points xG/P. Equivalently, an integral variety of is a subvariety of G/P whose embedded projective tangent space at each smooth point is a linear space We prove a kind of rigidity of the integral varieties under some dimension condition. After making a uniform setting to study the problem, we apply the theory of Lie algebra cohomology as a main tool. Finally we show that the dimension condition is necessary by constructing counterexamples.     

Some remarks on the Hardy-Littlewood maximal function on variable <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> spaces

We show that any pointwise multiplier for BMO(ℝⁿ) generates a function p from the class (ℝⁿ) of those functions for which the Hardy-Littlewood maximal operator is bounded on the variable L^p space. In particular, this gives a positive answer to Diening's conjecture saying that there are discontinuous functions which nevertheless belong to (ℝⁿ).     

Free-by-Demushkin pro-<Emphasis Type="Italic">p</Emphasis> groups

We give an example of a short exact sequence 1NGD1 of pro-p groups such that the cohomological dimension cd(G)=2, G is (topologically) finitely generated, N is a free pro-p group of infinite rank, D is a Demushkin group, for every closed subgroup S of G containing N and any natural number n the inflation map is an isomorphism but G is not a free pro-p product of a free pro-p group by a Demushkin group. This is a group theoretic version of a question raised by T. Würfel for some special Galois groups.Both authors are partially supported by bolsa de produtividade de pesquisa from CNPq, Brazil and CNPq grant 470272/2003-1.     

A class of <Emphasis Type="Italic">p</Emphasis>-adic Galois representations arising from abelian varieties over

Let V be a p-adic representation of the absolute Galois group G of that becomes crystalline over a finite tame extension, and assume p2. We provide necessary and sufficient conditions for V to be isomorphic to the p-adic Tate module V_p() of an abelian variety defined over . These conditions are stated on the filtered (,G)-module attached to V.Mathematics Subject Classification (2000): 14F30, 11G10, 11F80, 14G20, 14F20     

<Emphasis Type="Italic">p</Emphasis>-adic properties of division polynomials and elliptic divisibility sequences

For a fixed rational point P E (K) on an elliptic curve, we consider the sequence of values (F_n (P))_n1 of the division polynomials of E at P. For a finite field we prove that the sequence is periodic. For a local field we prove (under certain hypotheses) that there is a power q=p^e so that for all m1, the limit of exists in K and is algebraic over We apply this result to prove an analogous p-adic limit and algebraicity result for elliptic divisibility sequences.Mathematics Subject Classification (1991): 11G07, 11D61, 14G20, 14H52The authors research supported by NSA grant H98230-04-1-0064.     

Pro-<Emphasis Type="Italic">p</Emphasis>-Iwahori Hecke ring and supersingular -representations

The motivation of this paper is the search for a Langlands correspondence modulo p. We show that the pro-p-Iwahori Hecke ring of a split reductive p-adic group G over a local field F of finite residue field F _q with q elements, admits an Iwahori-Matsumoto presentation and a Bernstein Z-basis, and we determine its centre. We prove that the ring is finitely generated as a module over its centre. These results are proved in [11] only for the Iwahori Hecke ring. Let p be the prime number dividing q and let k be an algebraically closed field of characteristic p. A character from the centre of to k which is “as null as possible” will be called null. The simple -modules with a null central character are called supersingular. When G=GL(n), we show that each simple -module of dimension n containing a character of the affine subring is supersingular, using the minimal expressions of Haines generalized to , and that the number of such modules is equal to the number of irreducible k-representations of the Weil group W _F of dimension n (when the action of an uniformizer p _F in the Hecke algebra side and of the determinant of a Frobenius Fr _F in the Galois side are fixed), i.e. the number N _n (q) of unitary irreducible polynomials in F _q [X] of degree n. One knows that the converse is true by explicit computations when n=2 [10], and when n=3 (Rachel Ollivier). An erratum to this article can be found at     

Bounded trace <Emphasis Type="Italic">C</Emphasis>*-algebras and integrable actions

Let G be a second countable group, A be a separable C*-algebra with bounded trace and a strongly continuous action of G on A. Suppose that the action of G on induced by is free and the G-orbits are locally closed. We show that the crossed product A×G has bounded trace if and only if G acts integrably (in the sense of Rieffel and an Huef) on . In the course of this, we show that the extent of non-properness of an integrable action gives rise to a lower bound for the size of the (finite) upper multiplicities of the irreducible representations of the crossed product.Mathemactics Subject Classification (1991): 46L55     

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     

The structure of <Emphasis Type="Italic">F</Emphasis>-pure rings

For a reduced F-finite ring R of characteristic p>0 and q=p^e one can write where M_q has no free direct summands over R. We investigate the structure of F-finite, F-pure rings R by studying how the numbers a_q grow with respect to q. This growth is quantified by the splitting dimension and the splitting ratios of R which we study in detail. We also prove the existence of a special prime ideal (R) of R, called the splitting prime, that has the property that R/(R) is strongly F-regular. We show that this ideal captures significant information with regard to the F-purity of R.Dedicated to Professor Melvin Hochster on the occasion of his sixtieth birthday     

Commutativity of Almost <Emphasis Type="Italic">F</Emphasis>-algebras

Let A be an Archimedean vector lattice, let be its Dedekind completion and let B be a Dedekind complete vector lattice. If Ψ ₀:A × A→ B is a positive orthosymmetric bimorphism, then there exists a positive bimorphism extension Ψ of Ψ ₀ to × in B which is orthosymmetric. This leads to a new and short proof of the commutativity of the almost f-algebras multiplications.     

Surfaces of general type with <Emphasis Type="Italic">p</Emphasis><Subscript><Emphasis Type="Italic">g</Emphasis></Subscript>=0, <Emphasis Type="Italic">K</Emphasis><Superscript>2</Superscript>=6 and non birational bicanonical map

Let S be a minimal surface of general type with p_g=0 and K²=6, such that its bicanonical map is not birational. The map is a morphism of degree 4 onto a surface. The case of deg = 4 is completely classified in [Topology, 40 (5) (2001), 977–991] and the present paper completes the characterization of these surfaces. It is proven that the degree of cannot be equal to 3, and the geometry of surfaces with deg = 2 is analysed in detail. The last section contains three examples of such surfaces, two of which appear to be new.Mathematics Subject Classification (2000): 14J29     

On Resolvable Multipartite <Emphasis Type="Italic">G</Emphasis>-Designs

A necessary and sufficient condition for the existence of a _km–factorization of the complete symmetric k–partite multi-digraph K*(n₁,n₂,...,n_k) is obtained for odd k. As a consequence, a resolvable (k,n,km,) multipartite _km–design exists for odd k if and only if m|n. This deduces a result of Ushio when m=1 and k=3. Further, a necessary and sufficient condition for the existence of a _km–factorization of is established for even k, where denotes the wreath product of graphs. Finally, a simple and short proof for the non-existence of a _k–factorization of is obtained for odd k.Acknowledgments.The author thanks Dr. P. Paulraja for his useful ideas in writing this paper and the Department of Science and Technology, New Delhi, for its support (Project Grant No. DST/MS/103/99).Final version received: November 17, 2003     

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

On the discrete mean square of Dirichlet <Emphasis Type="Italic">L</Emphasis>-functions at 1

There have been many results obtained so far for the mean square of the (absolute) value of the Dirichlet L-function L(s,) in the critical strip 0<<1, especially on the critical line , but relatively few results were known for discrete mean value of |L(1,)|² till W. Zhang had published papers improving the error term step by step, which have recently been superseded by M. Katsurada and K.Matsumoto in which they succeeded in deriving an asymptotic formula for ₀|L(1,)|². The object of our paper is to point out a structural property contained in the formation of the mean square, to find out the niryana–the true body of the above sum.Dedicated to Professor Jean Louis Nicolás on his sixtieth birthdayin final form: 7 October 2003     

On an eigenvalue problem related to the critical exponent

In this paper we study the eigenvalue problemwhere is a smooth bounded domain, and u is a positive solution of the problemsuch thatwhere S is the best Sobolev constant for the embedding of H¹₀() into L²*(), We prove several estimates for the eigenvalues _i, of (I), i=2,..,N+2 and some qualitative properties of the corresponding eigenfunctions.Supported by M.I.U.R., project Variational methods and nonlinear differential equations.     

The optimal rate of convergence of the <Emphasis Type="Italic">p</Emphasis>-version of the boundary element method in two dimensions

Summary. We introduce the Jacobi-weighted Besov and Sobolev spaces in the one-dimensional setting. In the framework of these spaces, we analyze lower and upper bounds for approximation errors in the p-version of the boundary element method for hypersingular and weakly singular integral operators on polygons. We prove the optimal rate of convergence for the p-version in the energy norms of and respectively.Mathematics Subject Classification (2000): 65N38This author is supported by NSERC of Canada under Grant OGP0046726 and partially supported by the FONDAP Program (Chile) on Numerical Analysis during his visit of the Universidad de Concepción in 2001.This author is supported by Fondecyt project no. 1010220 and by the FONDAP Program (Chile) on Numerical Analysis.Revised version received January 28, 2004     

Estimates for the -Neumann problem and nonexistence of C 2 Levi-flat hypersurfaces in

Let be a pseudoconvex domain with C² boundary in , n 2. We prove that the -Neumann operator N exists for square-integrable forms on . Furthermore, there exists a number ₀>0 such that the operators and the Bergman projection are regular in the Sobolev space W ( ) for <₀. The -Neumann operator is used to construct -closed extension on for forms on the boundary b. This gives solvability for the tangential Cauchy-Riemann operators on the boundary. Using these results, we show that there exist no non-zero L²-holomorphic (p, 0)-forms on any domain with C² pseudoconcave boundary in with p > 0 and n 2. As a consequence, we prove the nonexistence of C² Levi-flat hypersurfaces in .This paper is a revision of our preprint (May 2003) formerly titled Estimates for the -Neumann problem and nonexistence of Levi-flat hypersurfaces in where the nonexistence of C², Levi-flat hypersurfaces is proved for >0.All three authors are partially supported by NSF grants.An erratum to this article can be found at