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

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     

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

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     

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

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.     

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.     

Hearing pseudoconvexity with the Kohn Laplacian

A bounded domain in with connected Lipschitz boundary is pseudoconvex if the bottom of the essential spectrum of the Kohn Laplacian on the space of (0,q)-forms, 1qn–1, with L²-coefficients is positive.The author was supported in part by NSF grant DMS 0070697 and by an AMS centennial fellowship.Revised version: 9 July 2004     

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.     

A new condensation principle

We generalize (A), which was introduced in [Sch], to larger cardinals. For a regular cardinal >₀ we denote by (A) the statement that and for all regular >,is stationary in It was shown in [Sch] that can hold in a set-generic extension of L. We here prove that can hold in a set-generic extension of L as well. In both cases we in fact get equiconsistency theorems. This strengthens results of [Rä00] and [Rä01]. is equivalent with the existence of 0^#.Mathematics Subject Classification (1991): Primary 03E55, 03E15, Secondary 03E35, 03E60     

On the approximation order of extremal point methods for hyperbolic minimal energy problems

Summary. Let be an analytic Jordan curve in the unit disk We regard the hyperbolic minimal energy problem where () denotes the set of all probability measures on . There exist several extremal point discretizations of *, among others introduced by M. Tsuji (Tsuji points) or by K. Menke (hyperbolic Menke points). In the present article, it is proven that hyperbolic Menke points approach the images of roots of unity under a conformal map from onto geometrically fast if the number of points tends to infinity. This establishes a conjecture of K. Menke. In particular, explicit bounds for the approximation error are given. Finally, an effective method for the numerical determination of * providing a geometrically shrinking error bound is presented.Mathematics Subject Classification (1991): 30C85, 30E10, 31C20The notation Menke points has been introduced by D. Gaier.     

The space of complete embedded maximal surfaces with isolated singularities in the 3-dimensional Lorentz-Minkowski space

We prove that a complete embedded maximal surface in = (³, dx₁² + dx₂²-dx₃²) with a finite number of singularities is an entire maximal graph with conelike singularities over any spacelike plane, and so, it is asymptotic to a spacelike plane or a half catenoid. We show that the moduli space of entire maximal graphs over {x₃=0} in with n+12 singular points and vertical limit normal vector at infinity is a 3n+4-dimensional differentiable manifold. The convergence in means the one of conformal structures and Weierstrass data, and it is equivalent to the uniform convergence of graphs on compact subsets of {x₃=0}. Moreover, the position of the singular points in ³ and the logarithmic growth at infinity can be used as global analytical coordinates with the same underlying topology. We also introduce the moduli space of marked graphs with n+1 singular points (a mark in a graph is an ordering of its singularities), which is a (n+1)-sheeted covering of . We prove that identifying marked graphs differing by translations, rotations about a vertical axis, homotheties or symmetries about a horizontal plane, the corresponding quotient space is an analytic manifold of dimension 3n–1. This manifold can be identified with a spinorial bundle associated to the moduli space of Weierstrass data of graphs in .Mathematics Subject Classification (2000): 53C50, 58D10, 53C42First and second authors research partially supported by MEC-FEDER grant number MTM2004-00160Second and third authors research partially supported by Consejería de Educación y Ciencia de la Junta de Andalucía and the European Union.     

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     

A characterization of convex calibrable sets in

The main purpose of this paper is to characterize the calibrability of bounded convex sets in by the mean curvature of its boundary, extending the known analogous result in dimension 2. As a by-product of our analysis we prove that any bounded convex set C of class C^1,1 has a convex calibrable set K in its interior, and and for any volume V [|K|,|C|] the solution of the perimeter minimizing problem with fixed volume V in the class of sets contained in C is a convex set. As a consequence we describe the evolution of convex sets in by the minimizing total variation flow.Mathematics Subject Classification (2000): 35J70, 49J40, 52A20, 35K65     

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.     

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     

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     

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