Homogeneous p-adic vector bundles on abelian varieties that are analytic tori

We are investigating homogeneous p-adic vector bundles on abelian varieties that are analytic tori. We show that for each homogeneous vector bundle on such a variety there exists an integer N > 0, such that the pullback of this vector bundle via the N-multiplication is attached to an integral representation of the topological fundamental group. Received: 8 July 2008     

Tower of the maximal abelian extensions of local fields and its application

In this paper, we study the algebraic structure of principal units in the tower of the maximal abelian extensions of local fields of characteristic zero and the corresponding Galois groups at each level. As an application, we show the finiteness result for the number of coverings with a given degree of the maximal abelian extension of a local field in characteristic zero. The number of p-coverings for is computed explicitly.     

The reflexivity of a Segre product of projective varieties

We study the reflexivity of a Segre product of a projective space and a projective variety Y, and give a criterion for to be reflexive in terms of m, the dimension of Y, the rank of the general Hessian of Y and the characteristic of the ground field. Our study is closely related to a question raised by Kleiman and Piene on the relationship between the conormal map and the Gauss map.     

Equidistribution over function fields

We prove equidistribution of a generic net of small points in a projective variety X over a function field K. For an algebraic dynamical system over K, we generalize this equidistribution theorem to a small generic net of subvarieties. For number fields, these results were proved by Yuan and we transfer here his methods to function fields. If X is a closed subvariety of an abelian variety, then we can describe the equidistribution measure explicitly in terms of convex geometry.     

Note on the rings of integers of certain tame 2-galois extensions over a number field

For a number fieldF, we prove that any tame D4-extensionN/F has a normal integral basis (NIB) if and only if any tame (2, 2)-extensionK/F has a NIB.     

The elementary obstruction and the Weil restriction

In this text we investigate the good behaviour of the elementary obstruction, introduced by Colliot-Thélène and Sansuc (Duke Math J 54:375–492, 1987). This is an obstruction to the existence of a rational points on certain algebraic varieties. Assuming some conditions on the Picard group, we prove that the elementary obstruction behaves well under the Weil restriction of a variety. Dedicated to the memory of Joost van Hamel, for all trouble he took to support this article with discussions, comments and suggestions at all times, also in moments when it is not obvious that one keeps on focusing on mathematics.     

A new family of maximal curves over a finite field

It has been known for a long time that the Deligne–Lusztig curves associated to the algebraic groups of type and defined over the finite field all have the maximum number of -rational points allowed by the Weil “explicit formulas”, and that these curves are -maximal curves over infinitely many algebraic extensions of . Serre showed that an -rational curve which is -covered by an -maximal curve is also -maximal. This has posed the problem of the existence of -maximal curves other than the Deligne–Lusztig curves and their -subcovers, see for instance Garcia (On curves with many rational points over finite fields. In: Finite Fields with Applications to Coding Theory, Cryptography and Related Areas, pp. 152–163. Springer, Berlin, 2002) and Garcia and Stichtenoth (A maximal curve which is not a Galois subcover of the Hermitan curve. Bull. Braz. Math. Soc. (N.S.) 37, 139–152, 2006). In this paper, a positive answer to this problem is obtained. For every q = n ³ with n = p ^r  > 2, p ≥ 2 prime, we give a simple, explicit construction of an -maximal curve that is not -covered by any -maximal Deligne–Lusztig curve. Furthermore, the -automorphism group Aut has size n ³(n ³ + 1)(n ² − 1)(n ² − n + 1). Interestingly, has a very large -automorphism group with respect to its genus . Research supported by the Italian Ministry MURST, Strutture geometriche, combinatoria e loro applicazioni, PRIN 2006–2007.     

Connected but not path-connected subspaces of infinite graphs

Solving a problem of Diestel [9] relevant to the theory of cycle spaces of infinite graphs, we show that the Freudenthal compactification of a locally finite graph can have connected subsets that are not path-connected. However we prove that connectedness and path-connectedness to coincide for all but a few sets, which have a complicated structure.     

Quantitative linear independence of an infinite product and its derivatives

We establish measures for the rational linear independence of 1 and the values of the product and its derivatives at finitely many rational points, q ≠ 0,±1 being a fixed integer. This is a quantitative improvement upon Bézivin’s very recent result in this journal. In contrast to his procedure, we use the method of Padé approximations of the second kind to get the above-mentioned improvement, some generalizations, and several irrationality measures.     

The rectifiability threshold in abelian groups

For any abelian group G and integer t ≥ 2 we determine precisely the smallest possible size of a non-t-rectifiable subset of G. Specifically, assuming that G is not torsion-free, denote by p the smallest order of a non-zero element of G. We show that if a subset S ⊆ G satisfies |S| ≤ ⌌log _t p⌍, then S is t-isomorphic (in the sense of Freiman) to a set of integers; on the other hand, we present an example of a subset S ⊆ G with |S| = ⌌log _t p⌍ + 1 which is not t-isomorphic to a set of integers.     

<Emphasis Type="Italic">L</Emphasis>-functions of symmetric products of the Kloosterman sheaf over Z

The classical n-variable Kloosterman sums over the finite field F _p give rise to a lisse -sheaf Kl _n+1 on , which we call the Kloosterman sheaf. Let L _p (G _{m, F p} , Sym ^k Kl _n+1, s) be the L-function of the k-fold symmetric product of Kl _n+1. We construct an explicit virtual scheme X of finite type over Spec Z such that the p-Euler factor of the zeta function of X coincides with L _p (G _{m, F p} , Sym ^k Kl _n+1, s). We also prove similar results for and . The research of L. Fu is supported by the NSFC (10525107).     

Rational torsion of J0(N) for hyperelliptic modular curves and families of Jacobians of genus 2 and genus 3 curves with a rational point of order 5,7 or 10

We describe a way of constructing Jacobians of hyperelliptic curves of genus g ≥ 2, defined over a number field, whose Jacobians have a rational point of order of some (well chosen) integer l ≥ g + 1; the method is based on a polynomial identity. Using this approach we construct new families of genus 2 curves defined over — which contain the modular curves X₀(31) (and X₀(22) as a by-product) and X₀(29), the Jacobians of which have a rational point of order 5 and 7 respectively. We also construct a new family of hyperelliptic genus 3 curves defined over —, which contains the modular curve X₀(41), the Jacobians of which have a rational point of order 10. Finally we show that all hyperelliptic modular curves X₀(N) with N a prime number fit into the described strategy, except for N = 37 in which case we give another explanation. The authors thank the FNR (project FNR/04/MA6/11) for their support.     

Construction of elliptic curves with large Iwasawa $${\lambda}$$ -invariants and large Tate-Shafarevich groups

In this paper we construct elliptic curves defined over the rationals with arbitrarily large Iwasawa λ-invariants for primes p satisfying or p = 13. We use this to obtain that the p-rank of the Tate-Shafarevich group can be arbitrarily large for such primes p.     

Motives of some Fano varieties

We study the Fano varieties of projective k-planes lying in hypersurfaces and investigate the associated motives. The first author is partially supported by a grant from the Natural Sciences and Engineering Research Council of Canada. The second author is partially supported by TüBİTAK-BDP funds and Bilkent University research development funds.     

Reduction of structure for torsors over semilocal rings

Let G be a reductive affine group scheme defined over a semilocal ring k. Assume that either G is semisimple or k is normal and noetherian. We show that G has a finite k-subgroup S such that the natural map H ¹(R, S) → H ¹(R, G) is surjective for every semilocal ring R containing k. In other words, G-torsors over Spec(R) admit reduction of structure to S. We also show that the natural map H ¹(X, S) → H ¹(X, G) is surjective in several other contexts, under suitable assumptions on the base ring k, the scheme X/k and the group scheme G/k. These results have already been used to study loop algebras and essential dimension of connected algebraic groups in prime characteristic. Additional applications are presented at the end of this paper. V. Chernousov was partially supported by the Canada Research Chairs Program and an NSERC research grant. Z. Reichstein was partially supported by NSERC Discovery and Accelerator Supplement grants.     

Sheaves on abelian surfaces and strange duality

We formulate three versions of a strange duality conjecture for sections of the Theta bundles on the moduli spaces of sheaves on abelian surfaces. As supporting evidence, we check the equality of dimensions on dual moduli spaces, answering a question raised by Göttsche et al. (K-theoretic Donaldson invariants via instanton counting. arXiv:math/0611945).     

The distribution of values of the enumerating function of finite, non-isomorphic abelian groups in short intervals

The result is: The distribution of values of the enumerating function of finite, non-isomorphic abelian groups in short intervals is similar to the distribution of square-free numbers in short intervals. Moreover, a new estimate of the error term in the corresponding asymptotic formula is given, which improves former estimates.      

On capability of finite abelian groups

Baer characterized capable finite abelian groups (a group is capable if it is isomorphic to the group of inner automorphisms of some group) by a condition on the size of the factors in the invariant factor decomposition (the group must be noncyclic and the top two invariant factors must be equal). We provide a different characterization, given in terms of a condition on the lattice of subgroups. Namely, a finite abelian group G is capable if and only if there exists a family {H _i } of subgroups of G with trivial intersection, such that the union generates G and all quotients G/H _i have the same exponent. Other variations of this condition are also provided (for instance, the condition that the union generates G can be replaced by the condition that it is equal to G). The work presented here is partially supported by NSF/DMS-0805932.     

All extensions of $${C^*_r\left(\mathbb F_n\right)}$$ are semi-invertible

It is shown that an extension of the reduced group C ^*-algebra of a free group by the compact operators can be made asymptotically split by addition of another extension which admits a completely positive lifting.