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.     

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     

On the logarithmic plurigenera of complements of plane curves

Let B be a (not necessarily irreducible) plane curve in ². In the present article, we prove that if and only if Moreover, we determine the curve B when and Mathematics Subject Classification (2000): 14R05, 14H50, 14J26     

Integral structures in automorphic line bundles on the p-adic upper half plane

Given an automorphic line bundle of weight k on the Drinfeld upper half plane X over a local field K, we construct a GL₂(K)-equivariant integral lattice in as a coherent sheaf on the formal model underlying Here is ramified of degree 2. This generalizes a construction of Teitelbaum from the case of even weight k to arbitrary integer weight k. We compute and obtain applications to the de Rham cohomology H_dR¹( X, Sym_K^k(St)) with coefficients in the k-th symmetric power of the standard representation of SL₂(K) (where k0) of projective curves X uniformized by X: namely, we prove the degeneration of a certain reduced Hodge spectral sequence computing H_dR¹( X, Sym_K^k(St)), we re-prove the Hodge decomposition of H_dR¹( X, Sym_K^k(St)) and show that the monodromy operator on H_dR¹( X, Sym_K^k(St)) respects integral de Rham structures and is induced by a universal monodromy operator defined on , i.e. before passing to the -quotient.Mathematics Subject Classification (2000): 11F33, 11F12, 11G09, 11G18I wish to thank Peter Schneider and Jeremy Teitelbaum for generously providing me with some helpful private notes on their own work, and for their interest. I am also grateful to Matthias Strauch for useful discussions on odd weight modular forms. I thank Christophe Breuil for his interest and his insisting on lattices for the entire G-action. Finally I thank the referee for his suggestions concerning the presentation of several technical constructions.     

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     

On topological Kadec norms

We present a topological analogue of the classic Kadec Renorming Theorem, as follows. Let be two separable metric topologies on the same set X. We prove that every point in X has an -neighbourhood basis consisting of sets that are -closed if and only if there exists a function φ: X→ℝ that is -lower semi-continuous and such that is the weakest topology on X that contains and that makes φ continuous. An immediate corollary is that the class of almost n-dimensional spaces consists precisely of the graphs of lower semi-continuous functions with at most n-dimensional domains.     

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

Biorthogonal systems and quotient spaces via baire category methods

We show that every Banach space X of density smaller that the Baire category number admits a quotient with a long Schauder basis that can be taken of length ω₁ if X is not separable. So, assuming that the Baire category number does not take its minimal possible value, a Banach space X is separable if and only if all biorthogonal systems of X are countable.     

Isomorphisms of algebras associated with directed graphs

Given countable directed graphs G and G, we show that the associated tensor algebras (G) and (G) are isomorphic as Banach algebras if and only if the graphs G are G are isomorphic. For tensor algebras associated with graphs having no sinks or no sources, the graph forms an invariant for algebraic isomorphisms. We also show that given countable directed graphs G, G, the free semigroupoid algebras and are isomorphic as dual algebras if and only if the graphs G are G are isomorphic. In particular, spatially isomorphic free semigroupoid algebras are unitarily isomorphic. For free semigroupoid algebras associated with locally finite directed graphs with no sinks, the graph forms an invariant for algebraic isomorphisms as well.Mathematics Subject Classification (2000): 47L80, 47L55, 47L40Acknowledgments. We would like to thank the referee for several constructive suggestions on the initial draft and for bringing to our attention the work in [8,9]. The first author was partially supported by a research grant from ECU and the second author by an NSERC research grant and start up funds from the University of Guelph. We thank David Pitts for enlightening conversations and Alex Kumjian for helpful comments on the literature.     

Topologically transitive extensions of bounded operators

Let X be any Banach space and T a bounded operator on X. An extension of the pair (X,T) consists of a Banach space in which X embeds isometrically through an isometry i and a bounded operator on such that When X is separable, it is additionally required that be separable. We say that is a topologically transitive extension of (X, T) when is topologically transitive on , i.e. for every pair of non-empty open subsets of there exists an integer n such that is non-empty. We show that any such pair (X,T) admits a topologically transitive extension , and that when H is a Hilbert space, (H,T) admits a topologically transitive extension where is also a Hilbert space. We show that these extensions are indeed chaotic.Mathematics Subject Classification (2000): 47 A 16     

Space-time decay of Navier–Stokes flows invariant under rotations

We show that the solutions to the non-stationary Navier–Stokes equations in (d=2,3) which are left invariant under the action of discrete subgroups of the orthogonal group O(d) decay much faster as than in generic case and we compute, for each subgroup, the precise decay rates in space-time of the velocity field.     

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     

Birational geometry of quartic 3-folds II: The importance of being -factorial

The paper explores the birational geometry of terminal quartic 3-folds. In doing this I develop a new approach to study maximal singularities with positive dimensional centers. This allows to determine the pliability of a -factorial quartic with ordinary double points, and it shows the importance of -factoriality in the context of birational geometry of uniruled 3-folds.Mathematics Subject Classification (1991): 14E07, 14J30, 14E30Partially supported by EAGER and Geometria sulle Varietà Algebriche (MIUR).Revised version: 2 January 2004     

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     

A strict Positivstellensatz for the Weyl algebra

Let c be an element of the Weyl algebra which is given by a strictly positive operator in the Schrödinger representation. It is shown that, under some conditions, there exist certain elements b₁,...,b_d from such that ^d_j=1 b_j c b*_j is a finite sum of squares.Mathematics Subject Classification (2000): 11 E25, 14 P10, 47 L60, 16 W10     

Bipartite Subgraphs and Quasi-Randomness

We say that a family of graphs is p-quasi-random, 0<p<1, if it shares typical properties of the random graph G(n,p); for a definition, see below. We denote by the class of all graphs H for which and the number of not necessarily induced labeled copies of H in G_n is at most (1+o(1))p^e(H)n^v(H) imply that is p-quasi-random. In this note, we show that all complete bipartite graphs K_a,b, a,b2, belong to for all 0<p<1.Acknowledgments We would like to thank Andrew Thomason for fruitful discussions and Yoshi Kohayakawa for organizing Extended Workshop on Combinatorics in eq5 Paulo, Ubatuba, and Rio de Janeiro, where a part of this work was done. We also thank the referees for their careful work.The first author was partially supported by NSF grant INT-0072064The second author was partially supported by NSF grants DMS-9970622, DMS-0301228 and INT-0072064Final version received: October 24, 2003     

Prediction for discrete time series

Let {X_n} be a stationary and ergodic time series taking values from a finite or countably infinite set Assume that the distribution of the process is otherwise unknown. We propose a sequence of stopping times _n along which we will be able to estimate the conditional probability P(=x|X₀,...,) from data segment (X₀,...,) in a pointwise consistent way for a restricted class of stationary and ergodic finite or countably infinite alphabet time series which includes among others all stationary and ergodic finitarily Markovian processes. If the stationary and ergodic process turns out to be finitarily Markovian (among others, all stationary and ergodic Markov chains are included in this class) then almost surely. If the stationary and ergodic process turns out to possess finite entropy rate then _n is upperbounded by a polynomial, eventually almost surely.Mathematics Subject Classification (2000): 62G05, 60G25, 60G10     

Analysis of the -Neumann problem along a straight edge

We show there exists an L^p solution, for p (2,), to the -Neumann problem on an edge domain in ² for (0,1)-forms, and we explicitly compute the singularities, which are of complex logarithmic and arctangent type, along the edge, of the solution.Mathematics Subject Classification (2000): 32W05, 35B65     

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

On the elliptic genus of generalised Kummer varieties

Borisov and Libgober ([2]) recently proved a conjecture of Dijkgraaf, Moore, Verlinde, and Verlinde (see [6]) on the elliptic genus of a Hilbert scheme of points on a surface. We show how their result can be used together with our work on complex genera of generalised Kummer varieties [17] to deduce the following formula, conjectured by Kawai and Yoshioka ([15]), on the elliptic genus of a generalised Kummer variety A^[[n>^]] of dimension 2(n–1): Here is the weak Jacobi form of weight –1 and index and V(n) is the Hecke operator sending Jacobi forms of index r to Jacobi forms of index nr (see [7]).The author was supported by the Deutsche Forschungsgemeinschaft.Revised version: 14 November 2003