On mod <Emphasis Type="Italic">p</Emphasis> properties of Siegel modular forms

We prove two results on mod p properties of Siegel modular forms. First, we use theta series in order to construct of a Siegel modular form of weight p−1 which is congruent to 1 mod p. Second, we define a theta operator on q-expansions and show that the algebra of Siegel modular forms mod p is stable under , by exploiting the relation between and generalized Rankin-Cohen brackets.     

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.     

Algebraic cycles on products of elliptic curves over <Emphasis Type="Italic">p</Emphasis>-adic fields

We show that for any odd prime p there is a smooth projective threefold W defined over a p-adic field such that the Chow group CH²(W)/ and the Griffiths group Griff²(W)/ are infinite for suitable primes . We further give examples of smooth projective fourfolds over these p-adic fields for which the -torsion subgroup CH³ is infinite.     

Ranks of abelian varieties over infinite extensions of the rationals

Let S be an infinite set of rational primes and, for some p ∈ S, let be the compositum of all extensions unramified outside S of the form , for . If , let be the intersection of the fixed fields by , for i = 1, . . , n. We provide a wide family of elliptic curves such that the rank of is infinite for all n ≥ 0 and all , subject to the parity conjecture. Similarly, let be a polarized abelian variety, let K be a quadratic number field fixed by , let S be an infinite set of primes of and let be the maximal abelian p-elementary extension of K unramified outside primes of K lying over S and dihedral over . We show that, under certain hypotheses, the -corank of sel _p ∞(A/F) is unbounded over finite extensions F/K contained in . As a consequence, we prove a strengthened version of a conjecture of M. Larsen in a large number of cases.     

On a problem of K. Mahler: Diophantine approximation and Cantor sets

Let K denote the middle third Cantor set and . Given a real, positive function ψ let denote the set of real numbers x in the unit interval for which there exist infinitely many such that |x − p/q| < ψ(q). The analogue of the Hausdorff measure version of the Duffin–Schaeffer conjecture is established for . One of the consequences of this is that there exist very well approximable numbers, other than Liouville numbers, in K—an assertion attributed to K. Mahler. Explicit examples of irrational numbers satisfying Mahler’s assertion are also given. Dedicated to Maurice Dodson on his retirement—finally!     

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

Abelian constraints in inverse Galois theory

We show that if a finite group G is the Galois group of a Galois cover of over , then the orders p ⁿ of the abelianization of its p-Sylow subgroups are bounded in terms of their index m, of the branch point number r and the smallest prime of good reduction of the branch divisor. This is a new constraint for the regular inverse Galois problem: if p ⁿ is suitably large compared to r and m, the branch points must coalesce modulo small primes. We further conjecture that p ⁿ should be bounded only in terms of r and m. We use a connection with some rationality question on the torsion of abelian varieties. For example, our conjecture follows from the so-called torsion conjectures. Our approach also provides a new viewpoint on Fried’s Modular Tower program and a weak form of its main conjecture.     

On formulas for the index of the circular distributions

A circular distribution is a Galois equivariant map ψ from the roots of unity μ _∞ to an algebraic closure of such that ψ satisfies product conditions, for ϵ ∈ μ _∞ and , and congruence conditions for each prime number l and with (l, s) = 1, modulo primes over l for all , where μ _l and μ _s denote respectively the sets of lth and sth roots of unity. For such ψ, let be the group generated over by and let be , where U _s denotes the global units of . We give formulas for the indices and of and inside the circular numbers P _s and units C _s of Sinnott over . This work was supported by the SRC Program of Korea Science and Engineering Foundation (KOSEF) grant funded by the Korea government (MOST) (No. R11-2007-035-01001-0). This work was supported by the Korea Research Foundation Grant funded by the Korean Government (MOEHRD, Basic Research Promotion Fund) (KRF-2006-312-C00455).     

Intersecting subvarieties of $${G_m^n}$$ with algebraic subgroups

Let be an irreducible closed subvariety defined over . We bound the height of algebraic points on X that are in a certain sense close to the union of all algebraic subgroup of of dimension m < n/dim X. The bound we obtain is effective and will be expressed as a function of the height of X, the degree of X, and n. We then apply this bound to derive certain finiteness results if m is also strictly less than n − dim X.     

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.     

Endomorphisms of Jacobians of modular curves

Let be the modular curve associated to a congruence subgroup Γ of level N with , and let be its canonical model over . The main aim of this paper is to show that the endomorphism algebra of its Jacobian is generated by the Hecke operators T _p , with , together with the “degeneracy operators” D _M,d , D ^t _M,d , for . This uses the fundamental results of Ribet on the structure of together with a basic result on the classification of the irreducible modules of the algebra generated by these operators. Received: 18 December 2007     

A geometric inequality in the Heisenberg group and its applications to stable solutions of semilinear problems

In the Heisenberg group framework, we obtain a geometric inequality for stable solutions of in a domain . More precisely, if we denote the horizontal intrinsic Hessian by Hu, the mean curvature of a level set by h, its imaginary curvature by p, the intrinsic normal by ν and the unit tangent by υ, we have that

A note on simultaneous Diophantine approximation on planar curves

Let denote the set of simultaneously - approximable points in and denote the set of multiplicatively ψ-approximable points in . Let be a manifold in . The aim is to develop a metric theory for the sets and analogous to the classical theory in which is simply . In this note, we mainly restrict our attention to the case that is a planar curve . A complete Hausdorff dimension theory is established for the sets and . A divergent Khintchine type result is obtained for ; i.e. if a certain sum diverges then the one-dimensional Lebesgue measure on of is full. Furthermore, in the case that is a rational quadric the convergent Khintchine type result is obtained for both types of approximation. Our results for naturally generalize the dimension and Lebesgue measure statements of Beresnevich et al. (Mem AMS, 179 (846), 1–91 (2006)). Moreover, within the multiplicative framework, our results for constitute the first of their type. The research of Victor V. Beresnevich was supported by an EPSRC Grant R90727/01. Sanju L. Velani is a Royal Society University Research Fellow. For Iona and Ayesha on No. 3.     

Lower bounds on the canonical height associated to the morphism $${\phi(z)= z^d+c}$$

A lower bound is obtained of the canonical height associated to the morphism evaluated at wandering points α. The lower bound is of the form Ch(c), for some constant C depending on the the number of primes of bad reduction for , and the degree of the number field . The author was supported by a PDF grant from NSERC.     

On the negative cyclic homology of <Emphasis Type="Italic">shc</Emphasis>-algebras

Let be a field of characteristic and S ¹ the unit circle. We prove that the shc-structure on a cochain algebra (A,d _A ) induces an associative product on the negative cyclic homology HC _*⁻ A. When the cochain algebra (A,d _A ) is the algebra of normalized cochains of the simply connected topological space X with coefficients in , then HC _*⁻ A is isomorphic as a graded algebra to the S ¹-equivariant cohomology algebra of LX, the free loop space of X. We use the notion of shc-formality introduced in Topology 41, 85–106 (2002) to compute the S ¹-equivariant cohomology algebras of the free loop space of the complex projective space when n + 1 = 0 [p] and of the even spheres S ²ⁿ when p = 2.      

Extensions of linking systems with <Emphasis Type="Italic">p</Emphasis>-group kernel

We study extensions of p-local finite groups where the kernel is a p-group. In particular, we construct examples of saturated fusion systems which do not come from finite groups, but which have normal p-subgroups such that is the fusion system of a finite group. One of the tools used to do this is the concept of a “transporter system”, which is modelled on the transporter category of a finite group, and is more general than a linking system. B. Oliver is partially supported by UMR 7539 of the CNRS. J. Ventura is partially supported by FCT/POCTI/FEDER and grant PDCT/MAT/58497/2004.     

Efficient <Emphasis Type="Italic">p</Emphasis>th root computations in finite fields of characteristic <Emphasis Type="Italic">p</Emphasis>

We present a method for computing pth roots using a polynomial basis over finite fields of odd characteristic p, p ≥ 5, by taking advantage of a binomial reduction polynomial. For a finite field extension of our method requires p − 1 scalar multiplications of elements in by elements in . In addition, our method requires at most additions in the extension field. In certain cases, these additions are not required. If z is a root of the irreducible reduction polynomial, then the number of terms in the polynomial basis expansion of z ^1/p , defined as the Hamming weight of z ^1/p or , is directly related to the computational cost of the pth root computation. Using trinomials in characteristic 3, Ahmadi et al. (Discrete Appl Math 155:260–270, 2007) give is greater than 1 in nearly all cases. Using a binomial reduction polynomial over odd characteristic p, p ≥ 5, we find always.      

A note on <Emphasis Type="Italic">q</Emphasis>-multiplicative functions

We prove the following statement. Let , and let . Suppose that, for all and , the sequence satisfies the relation

On the rate of convergence of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> norms in the CLT for poisson and gamma random variables

In the paper, we present upper bounds of L _p norms of order ( X)^-1/2 for all 1 ≤ p ≤ ∞ in the central limit theorem for a standardized random variable (X− X)/ √ X, where a random variable X is distributed by the Poisson distribution with parameter λ > 0 or by the standard gamma distribution Γ(α, 0, 1) with parameter α > 0. The research was partially supported by the Lithuanian State Science and Studies Foundation, grant No. T-70/09.     

Existence of solutions of the very fast diffusion equation in bounded and unbounded domain

We prove the existence of a unique solution of the following Neumann problem , u > 0, in (a, b) × (0, T), u(x, 0) = u ₀(x) ≥ 0 in (a, b), and , where if m < 0, if m = 0, and m≤ 0, , and the case −1 < m ≤ 0, , for some constant p > 1 − m. We also obtain a similar result in higher dimensions. As a corollary we will give a new proof of a result of A. Rodriguez and J.L. Vazquez on the existence of infinitely many finite mass solutions of the above equation in for any −1 < m ≤ 0. We also obtain the exact decay rate of the solution at infinity.