Curves in a hyperbolic quadric surface with a large number of {\mathbb{F}_{q}}-points

Here we study curves C over ${\mathbb{F}_q}$ contained in a hyperbolic quadric surface and such that ${\sharp (C(\mathbb{F}_q))}$ is large.     

Representation Formulas of Curves in a Two- and Three-Dimensional Lightlike Cone

In this paper we give the representation formulas for spacelike curves in two-dimensional lightlike cone ${{\mathbb Q}^2}$ and three-dimensional lightlike cone ${{\mathbb Q}^3}$ . Using these formulas we discuss the properties and structures of cone curves in ${{\mathbb Q}^2}$ and ${{\mathbb Q}^3}$ . Some examples are also given.     

About the maximal rank of 3-tensors over the real and the complex number field

Tensor data are becoming important recently in various application fields. In this paper, we consider the maximal rank problem of 3-tensors and extend Atkinson and Stephens’ and Atkinson and Lloyd’s results over the real number field. We also prove the assertion of Atkinson and Stephens: ${{\rm max.rank}_{\mathbb{R}}(m,n,p) \leq m+\lfloor p/2\rfloor n}$ , ${{\rm max.rank}_{\mathbb{R}}(n,n,p) \leq (p+1)n/2}$ if p is even, ${{\rm max.rank}_{\mathbb{F}}(n,n,3)\leq 2n-1}$ if ${\mathbb{F}=\mathbb{C}}$ or n is odd, and ${{\rm max.rank}_{\mathbb{F}}(m,n,3)\leq m+n-1}$ if m < n where ${\mathbb{F}}$ stands for ${\mathbb{R}}$ or ${\mathbb{C}}$ .     

On the Topology of Kac–Moody groups

We study the topology of spaces related to Kac–Moody groups. Given a Kac–Moody group over $\mathbb C $ , let $\text {K}$ denote the unitary form with maximal torus ${{\mathrm{T}}}$ having normalizer ${{\mathrm{N}}}({{\mathrm{T}}})$ . In this article we study the cohomology of the flag manifold $\text {K}/{{{\mathrm{T}}}}$ as a module over the Nil-Hecke algebra, as well as the (co)homology of $\text {K}$ as a Hopf algebra. In particular, if $\mathbb F $ has positive characteristic, we show that $\text {H}_*(\text {K},\mathbb F )$ is a finitely generated algebra, and that $\text {H}^*(\text {K},\mathbb F )$ is finitely generated only if $\text {K}$ is a compact Lie group . We also study the stable homotopy type of the classifying space $\text {BK}$ and show that it is a retract of the classifying space $\text {BN(T)}$ of ${{\mathrm{N}}}({{\mathrm{T}}})$ . We illustrate our results with the example of rank two Kac–Moody groups.     

On {\mathbb{F}_q} -Rational Structure of Nilpotent Orbits in the Witt Algebra

Let ${\mathfrak{g}=W_1}$ be the p-dimensional Witt algebra over an algebraically closed field ${k=\overline{\mathbb{F}}_q}$ , where p > 3 is a prime and q is a power of p. Let G be the automorphism group of ${\mathfrak{g}}$ . The Frobenius morphism F _G (resp. ${F_\mathfrak{g}}$ ) can be defined naturally on G (resp. ${\mathfrak{g}}$ ). In this paper, we determine the ${F_\mathfrak{g}}$ -stable G-orbits in ${\mathfrak{g}}$ . Furthermore, the number of ${\mathbb{F}_q}$ -rational points in each ${F_\mathfrak{g}}$ -stable orbit is precisely given. Consequently, we obtain the number of ${\mathbb{F}_q}$ -rational points in the nilpotent variety.     

On binary Kloosterman sums divisible by 3

By counting the coset leaders for cosets of weight 3 of the Melas code we give a new proof for the characterization of Kloosterman sums divisible by 3 for ${\mathbb{F}_{2^m}}$ where m is odd. New results due to Charpin, Helleseth and Zinoviev then provide a connection to a characterization of all ${a\in\mathbb{F}_{2^m}}$ such that ${Tr(a^{1/3})=0}$ ; we prove a generalization to the case ${Tr(a^{1/(2^k-1)})=0}$ . We present an application to constructing caps in PG(n, 2) with many free pairs of points.     

Constant Angle Property and Canonical Principal Directions for Surfaces in {\mathbb{M}^{2}(c) \times {\mathbb{R}_{1}}}

In this paper, we study surfaces in Lorentzian product spaces ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ . We classify constant angle spacelike and timelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ . Moreover, complete classifications of spacelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ and timelike surfaces in ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ with a canonical principal direction are obtained. Finally, a new characterization of the catenoid of the 3rd kind is established, as the only minimal timelike surface with a canonical principal direction in Minkowski 3–space.     

Uniqueness of \mathbb{C}^{ * } - and \mathbb{C}_{{\text{ + }}} -actions on Gizatullin Surfaces

A Gizatullin surface is a normal affine surface V over $ \mathbb{C} $ , which can be completed by a zigzag; that is, by a linear chain of smooth rational curves. In this paper we deal with the question of uniqueness of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations on such a surface V up to automorphisms. The latter fibrations are in one to one correspondence with $ \mathbb{C}_{{\text{ + }}} $ -actions on V considered up to a “speed change”. Non-Gizatullin surfaces are known to admit at most one $ \mathbb{A}^{1} $ -fibration V → S up to an isomorphism of the base S. Moreover, an effective $ \mathbb{C}^{ * } $ -action on them, if it does exist, is unique up to conjugation and inversion t $ \mapsto $ t ^?1 of $ \mathbb{C}^{ * } $ . Obviously, uniqueness of $ \mathbb{C}^{ * } $ -actions fails for affine toric surfaces. There is a further interesting family of nontoric Gizatullin surfaces, called the Danilov-Gizatullin surfaces, where there are in general several conjugacy classes of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations, see, e.g., [FKZ1]. In the present paper we obtain a criterion as to when $ \mathbb{A}^{{\text{1}}} $ -fibrations of Gizatullin surfaces are conjugate up to an automorphism of V and the base $ S \cong \mathbb{A}^{{\text{1}}} $ . We exhibit as well large subclasses of Gizatullin $ \mathbb{C}^{ * } $ -surfaces for which a $ \mathbb{C}^{ * } $ -action is essentially unique and for which there are at most two conjugacy classes of $ \mathbb{A}^{{\text{1}}} $ -fibrations over $ \mathbb{A}^{{\text{1}}} $ .     

Linear recurring sequences and subfield subcodes of cyclic codes

Linear recurring sequences over finite fields play an important role in coding theory and cryptography. It is known that subfield subcodes of linear codes yield some good codes. In this paper, we study linear recurring sequences and subfield subcodes. Let Mqm(f(x)) denote the set of all linear recurring sequences over Fqm with characteristic polynomial f(x) over Fqm . Denote the restriction of Mqm(f(x)) to sequences over Fq and the set after applying trace function to each sequence in Mqm(f(x)) by Mqm(f(x)) | Fq and Tr( Mqm(f(x))), respectively. It is shown that these two sets are both complete sets of linear recurring sequences over Fq with some characteristic polynomials over Fq. In this paper, we firstly determine the characteristic polynomials for these two sets. Then, using these results, we determine the generator polynomials of subfield subcodes and trace codes of cyclic codes over Fqm .     

A new multi-linear universal hash family

A new universal hash family is described which generalises a previously known multi-linear hash family. Messages are sequences over a finite field ${\mathbb{F}_q}$ while keys are sequences over an extension field ${\mathbb{F}_{q^n}}$ . A linear map ${\psi}$ from ${\mathbb{F}_{q^n}}$ to itself is used to compute the output digest. Of special interest is the case q = 2. For this case, we show that there is an efficient way to implement ${\psi}$ using a tower field representation of ${\mathbb{F}_{q^n}}$ . From a practical point of view, the focus of our constructions is small hardware and other resource constrained applications. For such platforms, our constructions compare favourably to previous work.     

On the Distribution of Atkin and Elkies Primes

Given an elliptic curve $E$ over a finite field $\mathbb {F}_q$ of $q$ elements, we say that an odd prime $\ell \not \mid q$ is an Elkies prime for $E$ if $t_E^2 - 4q$ is a square modulo  $\ell $ , where $t_E = q+1 - \#E(\mathbb {F}_q)$ and $\#E(\mathbb {F}_q)$ is the number of $\mathbb {F}_q$ -rational points on $E$ ; otherwise, $\ell $ is called an Atkin prime. We show that there are asymptotically the same number of Atkin and Elkies primes $\ell < L$ on average over all curves $E$ over $\mathbb {F}_q$ , provided that $L \ge (\log q)^\varepsilon $ for any fixed $\varepsilon >0$ and a sufficiently large $q$ . We use this result to design and analyze a fast algorithm to generate random elliptic curves with $\#E(\mathbb {F}_p)$ prime, where $p$ varies uniformly over primes in a given interval $[x,2x]$ .     

Pfaffian representations of cubic surfaces

Let $\mathbb{K }$ be a field of characteristic zero. We describe an algorithm which requires a homogeneous polynomial $F$ of degree three in $\mathbb{K }[x_{0},x_1,x_{2},x_{3}]$ and a zero ${\mathbf{a }}$ of $F$ in $\mathbb{P }^{3}_{\mathbb{K }}$ and ensures a linear Pfaffian representation of $\text{ V}(F)$ with entries in $\mathbb{K }[x_{0},x_{1},x_{2},x_{3}]$ , under mild assumptions on $F$ and ${\mathbf{a }}$ . We use this result to give an explicit construction of (and to prove the existence of) a linear Pfaffian representation of $\text{ V}(F)$ , with entries in $\mathbb{K }^{\prime }[x_{0},x_{1},x_{2},x_{3}]$ , being $\mathbb{K }^{\prime }$ an algebraic extension of $\mathbb{K }$ of degree at most six. An explicit example of such a construction is given.     

On the reducibility of some composite polynomials over finite fields

Let g(x)?=?x ⁿ ?+?a _n-1 x ^n-1?+?. . .?+?a ₀ be an irreducible polynomial over ${\mathbb{F}_q}$ . Varshamov proved that for a?=?1 the composite polynomial g(x ^p ?ax?b) is irreducible over ${\mathbb{F}_q}$ if and only if ${{\rm Tr}_{\mathbb{F}_q/\mathbb{F}_p}(nb-a_{n-1})\neq 0}$ . In this paper, we explicitly determine the factorization of the composite polynomial for the case a?=?1 and ${{\rm Tr}_{\mathbb{F}_q/\mathbb{F}_p}(nb-a_{n-1})= 0}$ and for the case a?≠ 0, 1. A recursive construction of irreducible polynomials basing on this composition and a construction with the form ${g(x^{r^kp}-x^{r^k})}$ are also presented. Moreover, Cohen’s method of composing irreducible polynomials and linear fractions are considered, and we show a large number of irreducible polynomials can be obtained from a given irreducible polynomial of degree n provided that gcd(n, q ³ ? q)?=?1.     

Representation of cyclotomic fields and their subfields

Let $\mathbb{K}$ be a finite extension of a characteristic zero field $\mathbb{F}$ . We say that a pair of n × n matrices (A,B) over $\mathbb{F}$ represents $\mathbb{K}$ if $\mathbb{K} \cong {{\mathbb{F}\left[ A \right]} \mathord{\left/ {\vphantom {{\mathbb{F}\left[ A \right]} {\left\langle B \right\rangle }}} \right. \kern-0em} {\left\langle B \right\rangle }}$ , where $\mathbb{F}\left[ A \right]$ denotes the subalgebra of $\mathbb{M}_n \left( \mathbb{F} \right)$ containing A and 〈B〉 is an ideal in $\mathbb{F}\left[ A \right]$ , generated by B. In particular, A is said to represent the field $\mathbb{K}$ if there exists an irreducible polynomial $q\left( x \right) \in \mathbb{F}\left[ x \right]$ which divides the minimal polynomial of A and $\mathbb{K} \cong {{\mathbb{F}\left[ A \right]} \mathord{\left/ {\vphantom {{\mathbb{F}\left[ A \right]} {\left\langle {q\left( A \right)} \right\rangle }}} \right. \kern-0em} {\left\langle {q\left( A \right)} \right\rangle }}$ . In this paper, we identify the smallest order circulant matrix representation for any subfield of a cyclotomic field. Furthermore, if p is a prime and $\mathbb{K}$ is a subfield of the p-th cyclotomic field, then we obtain a zero-one circulant matrix A of size p × p such that (A, J) represents $\mathbb{K}$ , where J is the matrix with all entries 1. In case, the integer n has at most two distinct prime factors, we find the smallest order 0, 1-companion matrix that represents the n-th cyclotomic field. We also find bounds on the size of such companion matrices when n has more than two prime factors.     

On enumeration of polynomial equivalence classes

The isomorphism of polynomials(IP),one of the hard problems in multivariate public key cryptography induces an equivalence relation on a set of systems of polynomials.Then the enumeration problem of IP consists of counting the numbers of different classes and counting the cardinality of each class that is highly related to the scale of key space for a multivariate public key cryptosystem.In this paper we show the enumeration of the equivalence classes containing ∑n-1 i=0 aiX2qi when char(Fq) = 2,which implies that these polynomials are all weak IP instances.Moreover,we study the cardinality of an equivalence class containing the binomial aX 2q i + bX 2qj(i=j) over Fqn without the restriction that char(Fq) = 2,which gives us a deeper understanding of finite geometry as a tool to investigate the enumeration problem of IP.     

A Uniqueness Theorem for Bounded Analytic Functions on the Polydisc

Given n, N ≥ 1 we construct a set of points ${\lambda_1,{\ldots},\lambda_{N^n}\in{\mathbb D}^n}$ such that for each rational inner function f on ${{\mathbb D}^n}$ of degree less than N the Pick problem on ${{\mathbb D}^n}$ with data ${\lambda_1,{\ldots},\lambda_{N^n}}$ and ${f(\lambda_1),{\ldots},f(\lambda_{N^n})}$ has a unique solution. In particular, we construct a 1-dimensional inner variety V and show that the points ${\lambda_1,{\ldots},\lambda_{N^n}}$ may be chosen almost arbitrarily in ${V\cap{\mathbb D}^n}$ . Our results state that f is uniquely determined in the Schur class of ${{\mathbb D}^n}$ by its values on ${\lambda_1,{\ldots},\lambda_{N^n}}$ .     

Hyperelliptic curves and values of Gaussian hypergeometric series

We express the number of ${\mathbb{F}_q}$ -points on the hyperelliptic curve ${\alpha{y}^2=\beta{x}^f + \gamma}$ in terms of Gaussian hypergeometric series. We also find some special values of ${{_{2}}F_1}$ -Gaussian hypergeometric series containing characters of order 3 and 4 as parameters.     

Bent functions embedded into the recursive framework of {\mathbb{Z}} -bent functions

Suppose that n is even. Let ${\mathbb{F}_2}$ denote the two-element field and ${\mathbb{Z}}$ the set of integers. Bent functions can be defined as ± 1-valued functions on ${\mathbb{F}_2^n}$ with ± 1-valued Fourier transform. More generally we call a mapping f on ${\mathbb{F}_2^n}$ a ${\mathbb{Z}}$ -bent function if both f and its Fourier transform ${\widehat{f}}$ are integer-valued. ${\mathbb{Z}}$ -bent functions f are separated into different levels, depending on the size of the maximal absolute value attained by f and ${\widehat{f}}$ . It is shown how ${\mathbb{Z}}$ -bent functions of lower level can be built up recursively by gluing together ${\mathbb{Z}}$ -bent functions of higher level. This recursion comes down at level zero, containing the usual bent functions. In the present paper we start to study bent functions in the framework of ${\mathbb{Z}}$ -bent functions and give some guidelines for further research.     

Algebraic groups over the field with one element

In this paper we provide a first realization of an idea of Jacques Tits from a 1956 paper, which first mentioned that there should be a field of charactéristique une, which is now called ${\mathbb{F}_1}$ , the field with one element. This idea was that every split reductive group scheme over ${\mathbb{Z}}$ should descend to ${\mathbb{F}_1}$ , and its group of ${\mathbb{F}_1}$ -rational points should be its Weyl group. We connect the notion of a torified scheme to the notion of ${\mathbb{F}_1}$ -schemes as introduced by Connes and Consani. This yields models of toric varieties, Schubert varieties and split reductive group schemes as ${\mathbb{F}_1}$ -schemes. We endow the class of ${\mathbb{F}_1}$ -schemes with two classes of morphisms, one leading to a satisfying notion of ${\mathbb{F}_1}$ -rational points, the other leading to the notion of an algebraic group over ${\mathbb{F}_1}$ such that every split reductive group is defined as an algebraic group over ${\mathbb{F}_1}$ . Furthermore, we show that certain combinatorics that are expected from parabolic subgroups of GL(n) and Grassmann varieties are realized in this theory.