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.     

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     

Simplicial complexes lying equivariantly over the affine building of GL(<Emphasis Type="Italic">N</Emphasis>)

Let G=GL(N,K), K a non-archimedean local field and X be the semisimple affine building of G over K. We construct a projective tower of G-sets with X(0)=X. They are obtained by using a minor modification in Bruhat and Tits original construction (an idea due to P. Schneider). Using the structure of X as an abstract building, we construct a projective tower of simplicial G-complexes such that, for each r, X_(r) is canonically a geometrical realization of X_r. In the case N=2, X_r has a natural two-sheeted covering _r and we show that the supercuspidal part of the cohomology space is characterized by a nice property.Mathematics Subject Classification (2000): 14R25, 20E42, 20G25, 55U10, 57S25     

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.     

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     

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     

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

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.     

On Cross-intersecting Families of Sets

A family of -element subsets and a family of k-element subsets of an n-element set are cross-intersecting if every set from has a nonempty intersection with every set from . We compare two previously established inequalities each related to the maximization of the product , and give a new and short proof for one of them. We also determine the maximum of for arbitrary positive weights ,_k.     

2-universal -lattices over real quadratic fields

Let be a real quadratic field with m a square-free positive rational integer, and be the ring of integers in F. An -lattice L on a totally positive definite quadratic space V over F is called r-universal if L represents all totally positive definite -lattices l with rank r over . We prove that there exists no 2-universal -lattice over F with rank less than 6, and there exists a 2-universal -lattice over F with rank 6 if and only if m=2, 5. Moreover there exists only one 2-universal -lattice with rank 6, up to isometry, over .     

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     

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

An immersion theorem for Vaisman manifolds

A locally conformally Kähler (LCK) manifold is a complex manifold admitting a Kähler covering , with monodromy acting on by Kähler homotheties. A compact LCK manifold is Vaisman if it admits a holomorphic flow acting by non-trivial homotheties on . We prove that any compact Vaisman manifold admits a natural holomorphic immersion to a Hopf manifold (ⁿ0). As an application, we obtain that any Sasakian manifold has a contact immersion to an odd-dimensional sphere.Mathematics Subject Classification (2000): 53C55, 14E25, 53C25Liviu Ornea is member of EDGE, Research Training Network HRPN-CT-2000-00101, supported by the European Human Potential Programme.Misha Verbitsky is an EPSRC advanced fellow supported by CRDF grant RM1-2354-MO02 and EPSRC grant GR/R77773/01.Both authors acknowledge financial support from Ecole Polytechnique (Palaiseau).     

On the zero-distribution of Epstein zeta-functions

We prove that the mean value of the real parts of the nontrivial zeros of the Epstein zeta-function associated with a positive definite quadratic form in n variables is equal to . Furthermore, we show that Epstein zeta-functions in general have an asymmetric zero-distribution with respect to the critical line Re .     

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     

Sectional curvatures of Kähler moduli

If X is a compact Kähler manifold of dimension n, we let denote the cone of Kähler classes, and the level set given by classes D with Dⁿ=1. This space is naturally a Riemannian manifold and is isometric to the manifold of Kähler forms with ⁿ some fixed volume form, equipped with the Hodge metric, as studied previously by Huybrechts. We study these spaces further, in particular their geodesics and sectional curvatures. Conjecturally, at least for Calabi–Yau manifolds and probably rather more generally, these sectional curvatures should be bounded between and zero. We find simple formulae for the sectional curvatures, and prove both the bounds hold for various classes of varieties, developing along the way a mirror to the Weil–Petersson theory of complex moduli. In the case of threefolds with h^1,1=3, we produce an explicit formula for this curvature in terms of the invariants of the cubic form. This enables us to check the bounds by computer for a wide range of examples. Finally, we explore the implications of the non-positivity of these curvatures.     

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

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