Canonical Heights on Elliptic Curves in Characteristic p

Let be the rational function field with finite constant field and characteristic , and let K/k be a finite separable extension. For a fixed place v of k and an elliptic curve E/K which has ordinary reduction at all places of K extending v, we consider a canonical height pairing which is symmetric, bilinear and Galois equivariant. The pairing for the infinite place of k is a natural extension of the classical Néron–Tate height. For v finite, the pairing plays the role of global analytic p-adic heights. We further determine some hypotheses for the nondegeneracy of these pairings.     

The closed ideal of (c o ,p,q)-summing operators

For 1/p+1/q1, we study the closed ideal formed by the (c _o ,p,q)-summing operators. It turns out thatT:XY does not belong to if and only if it factors the mapId:l _p ^*l _q . By localization, we get the ideal that consists of those operatorsT for which all ultrapowersT ^u are contained in . Operators in the complement of are characterized by the property that they factor the mapsId:l _p ^*n l _q ⁿ uniformly. Our main tools are ideal norms.Supported by DFG grant PI 322/1-2     

Mazur's Incidence Structure for Projective Varieties (I)

Let X be an m dimensional smooth projective variety with a Kähler metric. We construct a metrized line bundle with a rational section s over the product of Chow varieties such that

Formal Dimension for Semisimple Symmetric Spaces

If G is a semisimple Lie group and (, ) an irreducible unitary representation of G with square integrable matrix coefficients, then there exists a number d() such that

An Application of U(g)-bimodules to Representation Theory of Affine Lie Algebras

Let be the affine Lie algebra associated to the simple finite-dimensional Lie algebra . We consider the tensor product of the loop -module associated to the irreducible finite-dimensional -module V() and the irreducible highest weight -module L _k,. Then L _k, can be viewed as an irreducible module for the vertex operator algebra M _k,0. Let A(L _k,) be the corresponding -bimodule. We prove that if the -module is zero, then the -module is irreducible. As an example, we apply this result on integrable representations for affine Lie algebras.     

On Plane Maximal Curves

The number N of rational points on an algebraic curve of genus g over a finite field satisfies the Hasse–Weil bound . A curve that attains this bound is called maximal. With and , it is known that maximalcurves have . Maximal curves with have been characterized up to isomorphism. A natural genus to be studied is and for this genus there are two non-isomorphic maximal curves known when . Here, a maximal curve with genus g ₂ and a non-singular plane model is characterized as a Fermat curve of degree .     

On the Characterisation of AG(n,q) by its Parameters asa Nearly Triply Regular Design

We show that a non-symmetric nearly triply regular designD with and in which every line has at least q points is AG(n,q) for prime power q > 2 and positiveinteger n 3.     

Décroissance rapide de la distribution fλ

Let X be an open subset of ⁿ and (f₁, ...,f_p): X ^p be a holomorphic mapping. We prove that if (x⁰,0, ⁰) T^* × ^p does not belong to the characteristic variety of the _X []-module _X[]f, then there exists a conic neighborhood V × of (x⁰, ⁰) such the function is rapidely decreasing in | Im | for with Re bounded, for any (n,n)-form of class C with compact support in V. The following partial converse of this result is also established: if for all (n,n)-forms of class C with compact support in X, then .     

Euler Characteristics of Local Systems on \mathcal{M}> 2

We calculate the Euler characteristics of the local systems S ^k S ² on the moduli space ₂ of curves of genus 2, where is the rank 4 local system R ¹ _* .     

On the Structure of a Certain Class of Mixed Tsirelson Spaces

We study Banach spaces of the form We call such a space a p-space, p[1,), if for every k the space is isomorphic to _pk and the sequence (p_k) strictly decreases to p. We examine the finite block representability of the spaces _r in a p-space proving that it depends not only on p but also on the sequences (p_k) and (n_k). Assuming that _i n_i ^1/q decreases to 0, where q is the conjugate exponent of p, we prove the existence of an asymptotic biorthogonal system in X and also that c ₀ is finitely representable in X. Moreover we investigate the modified versions of p-spaces proving that, if n_km1/pkm-1/pk_m-1 increases to infinity for a subsequence (n_km) , then ₁ embeds into X. We also investigate complemented minimality for the class of spaces where is either a subsequence of the sequence of Schreier classes ( _n)_{n N} or a subsequence of ( _n)_{n N}.     

A companion ideal of a multiplication module

Let M _R be a faithful multiplication module, where R is a commutative ring. As defined by Anderson, this ideal has proved to be useful in studying multiplication modules. First of all a cancellation law involving M and the ideals contained in is proved. Among various applications given, the following result is proved:: There exists a canonical isomorphism from onto such that for any ( Hom _R(M,M), x ( M, a ( (M), (xa) = x.(()(a). As an application of this later result it is proved that M is quasi-injective if and only if (M) is quasi-injective.     

On (q 2 + q + 2, q + 2)-arcs in the Projective Plane PG(2, q)

A (k,n)-arc in PG(2,q) is usually defined to be a set of k points in the plane such that some line meets in n points but such that no line meets in more than n points. There is an extensive literature on the topic of (k,n)-arcs. Here we keep the same definition but allow to be a multiset, that is, permit to contain multiple points. The case k=q ²+q+2 is of interest because it is the first value of k for which a (k,n)-arc must be a multiset. The problem of classifying (q ²+q+2,q+2)-arcs is of importance in coding theory, since it is equivalent to classifying 3-dimensional q-ary error-correcting codes of length q ²+q+2 and minimum distance q ². Indeed, it was the coding theory problem which provided the initial motivation for our study. It turns out that such arcs are surprisingly rich in geometric structure. Here we construct several families of (q ²+q+2,q+2)-arcs as well as obtain some bounds and non-existence results. A complete classification of such arcs seems to be a difficult problem.     

The Maximum Size Of Graphs With A Unique<Emphasis Type="Italic">k</Emphasis>- Factor

For suitable positive integers n and k let m(n, k) denote the maximum number of edges in a graph of order n which has a unique k-factor. In 1964, Hetyei and in 1984, Hendry proved for even n and , respectively. Recently, Johann confirmed the following conjectures of Hendry: for and kn even and for n = 2kq, where q is a positive integer. In this paper we prove for and kn even, and we determine m(n, 3).     

Kolmogorov-type inequalities for mixed derivatives of functions of many variables

Let = (₁,...,_d) be a vector with positive components and let D be the corresponding mixed derivative (of order _j with respect to the jth variable). In the case where d > 1 and 0 < k < r are arbitrary, we prove that

A Minimal-Automaton-Based Algorithm for the Reliability of Con(d,k, n) Systems

A d-within-consecutive-k-out-of-n system, abbreviated as Con(d, k, n), is a linear system of n components in a line which fails if and only if there exists a set of k consecutive components containing at least d failed ones. So far the fastest algorithm to compute the reliability of Con(d, k, n) is Hwang and Wright's algorithm published in 1997, where . In this paper we use automata theory to reduce to . For d small or close to k, we have reduced from exponentially many (in k) to polynomially many. The computational complexity of our final algorithm is , where .     

Twists of elliptic curves

If E is an elliptic curve over , then let E(D) denote theD-quadratic twist of E. It is conjectured that there are infinitely many primesp for which E(p) has rank 0, and that there are infinitely many primes for which has positive rank. For some special curvesE we show that there is a set S of primes p with density for which if is a squarefree integer where , then E(D) has rank 0. In particular E(p) has rank 0 for every . As an example let E1 denote the curve .Then its associated set of primes S₁ consists of the prime11 and the primes p for which the order of the reduction ofX₀(11) modulo p is odd. To obtain the general result we show for primes that the rational factor of L(E(p),1) is nonzero which implies thatE(p) has rank 0. These special values are related to surjective Galois representations that are attached to modularforms. Another example of this result is given, and we conclude with someremarks regarding the existence of positive rank prime twists via polynomialidentities.     

Two-Dimensional Discrete Hardy Inequalities

A sufficient condition on nonnegative double-sequences