Zeta function of the projective curveaY 21 =bX 21 +cZ 21 over a class of finite fields, for odd primesl

Letp andl be rational primes such thatl is odd and the order ofp modulol is even. For such primesp andl, and fore = l, 2l, we consider the non-singular projective curvesaY ²¹ =bX ²¹ +cZ ²¹ defined over finite fields F_q such thatq = p ^α? l(mode).We see that the Fermat curves correspond precisely to those curves among each class (fore = l, 2l), that are maximal or minimal over F_q. We observe that each Fermat prime gives rise to explicit maximal and minimal curves over finite fields of characteristic 2. Fore = 2l, we explicitly determine the ζ -function(s) for this class of curves, over F_q, as rational functions in the variablet, for distinct cases ofa, b, andc, in F _q ^* . Theζ-function in each case is seen to satisfy the Weil conjectures (now theorems) for this concrete class of curves. Fore = l, 2l, we determine the class numbers for the function fields associated to each class of curves over F_q. As a consequence, when the field of definition of the curve(s) is fixed, this provides concrete information on the growth of class numbers for constant field extensions of the function field(s) of the curve(s).     

Reflection Theorems and the Tame Kernel of a Number Field

Let L be a number field containing the pth primitive root of unity ζ _p . We investigate the p-rank of the ideal class groups of some subfields of L by using reflection theorems and establish relations between the p-rank of the ideal class groups and that of groups of units of some subfields of L.

Let F be a number field and 𝒪 _F the ring of integers in F. We also study the p-rank of tame kernels of F and establish relations between the p-rank of K ₂𝒪 _F and that of some direct summands of the ideal class group of F(ζ _p ).     

Hadamard 2-(63,31,15) designs invariant under the dihedral group of order 10

All Hadamard 2-(63,31,15) designs invariant under the dihedral group of order 10 are constructed and classified up to isomorphism together with related Hadamard matrices of order 64. Affine 2-(64,16,5) designs can be obtained from Hadamard 2-(63,31,15) designs having line spreads by Rahilly’s construction [A. Rahilly, On the line structure of designs, Discrete Math. 92 (1991) 291-303]. The parameter set 2-(64,16,5) is one of two known sets when there exists several nonisomorphic designs with the same parameters and p-rank as the design obtained from the points and subspaces of a given dimension in affine geometry AG(n,p^m) (p a prime). It is established that an affine 2-(64,16,5) design of 2-rank 16 that is associated with a Hadamard 2-(63,31,15) design invariant under the dihedral group of order 10 is either isomorphic to the classical design of the points and hyperplanes in AG(3,4), or is one of the two exceptional designs found by Harada, Lam and Tonchev [M. Harada, C. Lam, V.D. Tonchev, Symmetric (4, 4)-nets and generalized Hadamard matrices over groups of order 4, Designs Codes Cryptogr. 34 (2005) 71-87].     

An Arakelov inequality in characteristic p and upper bound of p-rank zero locus

In this paper we show an Arakelov inequality for semi-stable families of algebraic curves of genus g?1 over characteristic p with nontrivial Kodaira-Spencer maps. We apply this inequality to obtain an upper bound of the number of algebraic curves of p-rank zero in a semi-stable family over characteristic p with nontrivial Kodaira-Spencer map in terms of the genus of a general closed fiber, the genus of the base curve and the number of singular fibres. The parallel results for smooth families of Abelian varieties over k with W₂-lifting assumption are also obtained.     

p-Rank and semi-stable reduction of curves

Let R be a discrete complete valuation ring, with field of fractions K, and with algebraically closed residue field k of characteristic p > 0. Let X be a germ of an R-curve at an ordinary double point. Consider a finite Galois covering f: Y → X, whose Galois group G is a p-group, such that Y is normal, and which is étale above X_k≔ x × _rk. Asume that Y has a semi-stable model :→ Y over R, and let y be a closed point of Y. If the inertia subgroup I(y) at y is cyclic of order pⁿ, we compute the p-rank of tf⁻¹ (y) by using a result of Raynaud. In particular, we prove that this p-rank is bounded by pⁿ −1.     

On construction of certain CM elliptic curves

Let E be a CM elliptic curve defined over an algebraic number field F. In the previous paper [N. Murabayashi, On the field of definition for modularity of CM elliptic curves, J. Number Theory 108 (2004) 268-286], we gave necessary and sufficient conditions for E to be modular over F, i.e. there exists a normalized newform f of weight two on Γ₁(N) for some N such that HomF(E,Jf)≠{0}. We also determined the multiplicity of E as F-simple factor of Jf when HomF(E,Jf)≠{0}. In this process we separated into the three cases. In this paper we construct certain CM elliptic curves which satisfy the conditions of each case. In other words, we show that all three cases certainly occur.     

Irreducibility and p-adic monodromies on the Siegel moduli spaces

We generalize the surjectivity result of the p-adic monodromy for the ordinary locus of a Siegel moduli space by Faltings and Chai (independently by Ekedahl) to that for any p-rank stratum. We discuss irreducibility and connectedness of some p-rank strata of the moduli spaces with parahoric level structure. Finer results are obtained on the Siegel 3-fold with Iwahori level structure.     

Incomplete Character Sums and Polynomial Interpolation of the Discrete Logarithm

In the first part of the paper, certain incomplete character sums over a finite field F_p^r are considered which in the case of finite prime fields F_p are of the form ∑^A+N−1_n=Aχ(g(n))ψ(f(n)), where A and N are integers with 1≤N<p, g and f are polynomials over F_p, and χ denotes a multiplicative and ψ an additive character of F_p. Excluding trivial cases, it is shown that the above sums are at most of the order of magnitude N^1/2p^r/4. Recently, Shparlinski showed that a polynomial f over the integers which coincides with the discrete logarithm of the finite prime field F_p for N consecutive elements of F_p must have a degree at least of the order of magnitude Np^−1/2. In this paper this result is extended to arbitrary F_p^r. The proof is based on the above new bound for incomplete hybrid character sums.     

On some special codes over Fp + uFp + uFp

We define a new map between codes over F_p + uF_p + u²F_p and F_p which is different to that defined in [2]. It is proved that the image of the linear cyclic code over the commutative ring F_p + uF_p + u²F_p with length n under this map is a distance-invariant quasi-cyclic code of index p² with length p²n over F_p. Moreover, it is proved that, if (n, p) = 1, then every code with length p²n over F_p which is the image of a linear (1 − u²)-cyclic code with length n over F_p + uF_p + u²F_p under this map is permutation equivalent to a quasi-cyclic code of index p².     

Point Sets on the Sphere \mathbb{S}^{2} with Small Spherical Cap Discrepancy

In this paper we study the geometric discrepancy of explicit constructions of uniformly distributed points on the two-dimensional unit sphere. We show that the spherical cap discrepancy of random point sets, of spherical digital nets and of spherical Fibonacci lattices converges with order?N ^?1/2. Such point sets are therefore useful for numerical integration and other computational simulations. The proof uses an area-preserving Lambert map. A?detailed analysis of the level curves and sets of the pre-images of spherical caps under this map is given.     

Realizations for direct constructions of resolvable Steiner 2‐designs with block size 5

We consider direct constructions due to R. J. R. Abel and M. Greig, and to M. Buratti, for ({ν},5,1) balanced incomplete block designs. These designs are defined using the prime fields F_p for certain primes p, are 1‐rotational over G ⊕ F_p where G is a group of order 4, and are also resolvable under certain conditions. We introduce specifications to the constructions and, by means of character sum arguments, show that the constructions yield resolvable designs whenever p is sufficiently large. © 2000 John Wiley & Sons, Inc. J Combin Designs 8:207–217, 2000     

The p-rank stratification on the Siegel moduli space with Iwahori level structure

Our concern in this paper is to describe the p-rank stratification on the Siegel moduli space with Iwahori level structure over fields of positive characteristic. We calculate the dimension of the strata and describe the closure of a given stratum in terms of p-rank strata. We also examine the relationship between the p-rank stratification and the Kottwitz–Rapoport stratification.     

A simplified proof for the limit of a tower over a cubic finite field

Recently Bezerra, Garcia and Stichtenoth constructed an explicit tower F=(Fn)_n?0 of function fields over a finite field Fq³, whose limit λ(F)=limn→∞N(Fn)/g(Fn) attains the Zink bound λ(F)?2(q²−1)/(q+2). Their proof is rather long and very technical. In this paper we replace the complex calculations in their work by structural arguments, thus giving a much simpler and shorter proof for the limit of the Bezerra, Garcia and Stichtenoth tower.     

On Groups Generated by Elements of Pirme Order

In the first part of the paper we give a characterization of groups generated by elements of fixed prime order p. In the second part we study the group G _n ^(p) of n × n matrices with the pth power of the determinant equal to 1 over a field F containing a primitive pth root of 1. It is known that the group G _n ⁽²⁾ of n × n matrices of determinant ± 1 over a field F and the group SL _n (F) are generated by their involutions and that each element in these groups is a product of four involutions. We consider some subgroups G of G _n ^(p) and study the following problems: Is G generated by its elements of order p? If so, is every element of G a product of k elements of order p for some fixed integer k? We show that G _n ^(p) and SL _n (F) are generated by their elements of order p and that the bound k exists and is equal to 4. We show that every universal p-Coxeter group has faithful two-dimensional representations over many fields F (including ? and ?). For a universal p-Coxeter group of rank ≥ 2 for p ≥ 3 or of rank ≥ 3 for p = 2 there is no bound k.     

Modules over group rings of solvable groups with rank restrictions on subgroups

Let A be an R G-module over a commutative ring R, where G is a group of infinite section p-rank (0-rank), C _G (A) = 1, A is not a Noetherian R-module, and the quotient A/C _A (H) is a Noetherian R-module for every proper subgroup H of infinite section p-rank (0-rank). We describe the structure of solvable groups G of this type.     

Design and shape adjustment of developable surfaces

This paper presents two direct explicit methods of computer-aided design for developable surfaces. The developable surfaces are designed by using control planes with C-Bézier basis functions. The shape of developable surfaces can be adjusted by using a control parameter. When the parameter takes on different values, a family of developable surfaces can be constructed and they keep the characteristics of Bézier surfaces. The thesis also discusses the properties of designed developable surfaces and presents geometric construction algorithms, including the de Casteljau algorithm, the Farin–Boehm construction for G² continuity, and the G² Beta restricted condition algorithm. The techniques for the geometric design of developable surfaces in this paper have all the characteristics of existing approaches for curves design, but go beyond the limitations of traditional approaches in designing developable surfaces and resolve problems frequently encountered in engineering by adjusting the position and shape of developable surfaces.     

Minimal quadratic residue cyclic codes of lengthp n(p odd prime)

The explicit expressions for the 2n + 1 primitive idempotents in $R_{p^ - } = F[x]/< x^{p^ - } - 1 > $ , whereF is the field of prime power orderq and the multiplicative order ofq modulop ⁿ is ?(p ⁿ)/2 (n ≥ 1 andp is an odd prime), are obtained. An algorithm for computing the generating polynomials of the minimal QR cyclic codes of lengthp ⁿ, generated by these primitive idempotents, is given and hence some bounds on the minimum distance of some QR codes of prime length overGF(q)(q = 2, 3, ...) are obtained.     

Cyclic comodules, the homology of j, and j-homology

We provide a somewhat simpler computation of the homology of the image of j spectrum using general techniques for comodules over a coalgebra. We also compute the homotopy of the spectrum HFpj_∧HFp, the spectrum which plays the role of HFp∧HFp in the category of j-modules.     

On the p 2-Rank of Tame Kernels of Quadratic Fields

For any odd prime p, we prove some results connecting the p²-rank of the tame kernel of a quadratic field F with the p²-rank Cl(𝒪_E1 ), where E₁ is the maximal real subfield of F(ζ_p² ).     

Central values of L-functions over CM fields

We prove an explicit formula for the central values of certain Rankin L-functions. These L-functions are the L-functions attached to Hilbert newforms over a totally real field F, twisted by unitary Hecke characters of a totally imaginary quadratic extension of F. This formula generalizes our former result on L-functions twisted by finite CM characters.