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     

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     

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.     

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.     

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

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     

The feasibility pump

In this paper we consider the NP-hard problem of finding a feasible solution (if any exists) for a generic MIP problem of the form min{c^Tx:Ax≥b,x_j integer ∀j ∈ }. Trivially, a feasible solution can be defined as a point x* ∈ P:={x:Ax≥b} that is equal to its rounding , where the rounded point is defined by := x*_j if j ∈ and := x*_j otherwise, and [·] represents scalar rounding to the nearest integer. Replacing “equal” with “as close as possible” relative to a suitable distance function Δ(x*, ), suggests the following Feasibility Pump (FP) heuristic for finding a feasible solution of a given MIP.We start from any x* ∈ P, and define its rounding . At each FP iteration we look for a point x* ∈ P that is as close as possible to the current by solving the problem min {Δ(x, ): x ∈ P}. Assuming Δ(x, ) is chosen appropriately, this is an easily solvable LP problem. If Δ(x*, )=0, then x* is a feasible MIP solution and we are done. Otherwise, we replace by the rounding of x*, and repeat.We report computational results on a set of 83 difficult 0-1 MIPs, using the commercial software ILOG-Cplex 8.1 as a benchmark. The outcome is that FP, in spite of its simple foundation, proves competitive with ILOG-Cplex both in terms of speed and quality of the first solution delivered. Interestingly, ILOG-Cplex could not find any feasible solution at the root node for 19 problems in our test-bed, whereas FP was unsuccessful in just 3 cases.     

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.     

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

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     

Order and algebra isomorphisms of spaces of regular operators

If E and F are real Banach lattices and there is an algebra and order isomorphism Φ:(E) →(F) between their respective ordered Banach algebras of regular operators then there is a linear order isomorphism U:E→F such that Φ(T) =UTU⁻¹ for all T ∈ (E).     

A Bernstein type theorem on a Randers space

We consider Finsler spaces with a Randers metric F=+, on the three-dimensional real vector space, where is the Euclidean metric and is a 1-form with norm b,0 b1. By using the notion of mean curvature for immersions in Finsler spaces, introduced by Z. Shen, we obtain the partial differential equation that characterizes the minimal surfaces which are graphs of functions. For each b, 0 b1/, we prove that it is an elliptic equation of mean curvature type. Then the Bernstein type theorem and other properties, such as the nonexistence of isolated singularities, of the solutions of this equation follow from the theory developped by L. Simon. For b 1/, the differential equation is not elliptic. Moreover, for every b, 1/b1 we provide solutions, which describe minimal cones, with an isolated singularity at the origin.Partially supported by CAPES/PROCAD.Partially supported by NSF grant DMS-0072242.Partially supported by CNPq and CAPES/PROCAD.     

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.     

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 the dynamics near infinity of some polynomial mappings in

We construct the Green current for a random iteration of horizontal-like mappings in . This is applied to the study of a polynomial map with the following properties: i. infinity is f-attracting; ii. f contracts the line at infinity to a point not in the indeterminacy set. We study for such mappings the escape rates near infinity, i.e. the set of possible values of the function We show in particular that the set of possible values can contain an interval. On the other hand the Green current T of f can be decomposed into pieces associated to an itinerary defined by the indeterminacy points. This allows us to prove that exists ||T||-a.e. and we give its value in terms of explicit quantities depending on f.     

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     

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 .     

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.     

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     

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