A semi-recursion for the number of involutions in special orthogonal groups over finite fields

Let I(n) be the number of involutions in a special orthogonal group SO(n,Fq) defined over a finite field with q elements, where q is the power of an odd prime. Then the numbers I(n) form a semi-recursion, in that for m>1 we haveI(2m+3)=(q2m+2+1)I(2m+1)+q2m(q2m−1)I(2m−2). We give a purely combinatorial proof of this result, and we apply it to give a universal bound for the character degree sum for finite classical groups defined over Fq.     

On coefficients of polynomials over finite fields

In this paper we study the relation between coefficients of a polynomial over finite field Fq and the moved elements by the mapping that induces the polynomial. The relation is established by a special system of linear equations. Using this relation we give the lower bound on the number of nonzero coefficients of polynomial that depends on the number m of moved elements. Moreover we show that there exist permutation polynomials of special form that achieve this bound when m|q−1. In the other direction, we show that if the number of moved elements is small then there is an recurrence relation among these coefficients. Using these recurrence relations, we improve the lower bound of nonzero coefficients when m?q−1 and . As a byproduct, we show that the moved elements must satisfy certain polynomial equations if the mapping induces a polynomial such that there are only two nonzero coefficients out of 2m consecutive coefficients. Finally we provide an algorithm to compute the coefficients of the polynomial induced by a given mapping with O(q3/2) operations.     

Liouville type theorems for the Euler and the Navier–Stokes equations

We prove Liouville type theorems for weak solutions of the Navier–Stokes and the Euler equations. In particular, if the pressure satisfies p∈L¹(0,T;L¹(RN)) with , then the corresponding velocity should be trivial, namely v=0 on RN×(0,T). In particular, this is the case when p∈L¹(0,T;Hq(RN)), where Hq(RN), q∈(0,1], the Hardy space. On the other hand, we have equipartition of energy over each component, if p∈L¹(0,T;L¹(RN)) with . Similar results hold also for the magnetohydrodynamic equations.     

Permutation polynomials over finite fields from a powerful lemma

Using a lemma proved by Akbary, Ghioca, and Wang, we derive several theorems on permutation polynomials over finite fields. These theorems give not only a unified treatment of some earlier constructions of permutation polynomials, but also new specific permutation polynomials over Fq. A number of earlier theorems and constructions of permutation polynomials are generalized. The results presented in this paper demonstrate the power of this lemma when it is employed together with other techniques.     

Constructions of partitions of FqN into perfect q-ary codes

Given N = (q ^m − 1)/(q − 1), where q is a power of a prime, q > 2, we present two constructions of different partitions of the set F _q ^N of all q-ary length N vectors into perfect q-ary codes of length N. The lower bounds on the number of these partitions are presented.     

On the tensor rank of the multiplication in the finite fields

First, we prove the existence of certain types of non-special divisors of degree g−1 in the algebraic function fields of genus g defined over Fq. Then, it enables us to obtain upper bounds of the tensor rank of the multiplication in any extension of quadratic finite fields Fq by using Shimura and modular curves defined over Fq. From the preceding results, we obtain upper bounds of the tensor rank of the multiplication in any extension of certain non-quadratic finite fields Fq, notably in the case of F₂. These upper bounds attain the best asymptotic upper bounds of Shparlinski-Tsfasman-Vladut [I.E. Shparlinski, M.A. Tsfasman, S.G. Vladut, Curves with many points and multiplication in finite fields, in: Lecture Notes in Math., vol. 1518, Springer-Verlag, Berlin, 1992, pp. 145-169].     

Extended Deligne–Lusztig varieties for general and special linear groups

We give a generalisation of Deligne–Lusztig varieties for general and special linear groups over finite quotients of the ring of integers in a non-archimedean local field. Previously, a generalisation was given by Lusztig by attaching certain varieties to unramified maximal tori inside Borel subgroups. In this paper we associate a family of so-called extended Deligne–Lusztig varieties to all tamely ramified maximal tori of the group.Moreover, we analyse the structure of various generalised Deligne–Lusztig varieties, and show that the “unramified” varieties, including a certain natural generalisation, do not produce all the irreducible representations in general. On the other hand, we prove results which together with some computations of Lusztig show that for SL₂(Fq???/(?²)), with odd q, the extended Deligne–Lusztig varieties do indeed afford all the irreducible representations.     

Negacyclic duadic codes

This paper extends the concepts from cyclic duadic codes to negacyclic codes over F_q (q an odd prime power) of oddly even length. Generalizations of defining sets, multipliers, splittings, even-like and odd-like codes are given. Necessary and sufficient conditions are given for the existence of self-dual negacyclic codes over F_q and the existence of splittings of 2N, where N is odd. Other negacyclic codes can be extended by two coordinates in a way to create self-dual codes with familiar parameters.     

New methods for generating permutation polynomials over finite fields

We present two methods for generating linearized permutation polynomials over an extension of a finite field Fq. These polynomials are parameterized by an element of the extension field and are permutation polynomials for all nonzero values of the element. For the case of the extension degree being odd and the size of the ground field satisfying , these parameterized linearized permutation polynomials can be used to derive non-parameterized nonlinear permutation polynomials via a recent result of Ding et al.     

The Distribution of Reciprocal Pairs Modulo Polynomials over a Finite Field

Given a finite field F_q of order q, a fixed polynomial g in –F_q[X] of positive degree, and two elements u and v in the ring of polynomials in R = F_q [X]/gF_q[X], the question arises: How many pairs (a, 6) are there in R × R so that ab ? 1 mod g and so that a is close to u while b is close to v ? The answer is, about as many as one would expect. That is, there are no favored regions in R × R where inverse pairs cluster. The error term is quite sharp in most cases, being comparable to what would happen with random distribution of pairs. The proof uses Kloosterman sums and counting arguments. The exceptional cases involve fields of characteristic 2 and composite values of g. Even then the error term obtained is nontrivial. There is no computational evidence that inverses are in fact less evenly distributed in this case, however.     

Extensions of regular mappings and the ?ojasiewicz exponent at infinity

Let F:V→Cm be a regular mapping, where V⊂Cn is an algebraic set of positive dimension and m?n?2, and let L_∞(F) be the ?ojasiewicz exponent at infinity of F. We prove that F has a polynomial extension G:Cn→Cm such L_∞(G)=L_∞(F). Moreover, we give an estimate of the degree of the extension G. Additionally, we prove that if then for any β∈Q, β?L_∞(F), the mapping F has a polynomial extension G with L_∞(G)=β. We also give an estimate of the degree of this extension.     

On the Grigorchuk–Kurchanov conjecture

 Let denote the free group of rank 2g. An automorphism φ? Aut(F _{2 g} ) is generating if N _a φ (N _b ) = F _{2 g} , where N _a is the normal closure of and N _b is defined analogously. We present a characterization of generating automorphisms in Aut(F ₂) and observe that there exists a unique (up to equivalence) epimorphism F ₂→Z×Z: this is a particular case of the Grigorchuk–Kurchanov conjecture. This leads to further investigations for splitting homomorphisms for the pairs (F _{2 g} , F _g) and (G _g, F _g) where G _g denotes the fundamental group of a closed orientable surface of genus g and a reformulation of the Poincaré and Grigorchuk–Kurchanov conjectures is derived. Received: 1 October 2001     

Variational analysis of a composite function: A formula for the lower second order epi-derivative

An exact formula is established for the lower second order epi-derivative of a function of the form g(F(x)), where F is a smooth map from one Banach space into another and g is a convex function (generally, not everywhere finite). Unconstrained minimization of such functions typically arise as an equivalent (in one or another sense) reduction form for many important classes of constrained optimization problems. The formula is further applied to study epi-differentiability of the max-function ƒ(x) = max{ƒ(q, x):q ε Q}.     

Symmetric invariant cocycles on the duals of q-deformations

We prove that for q∈C^? not a nontrivial root of unity any symmetric invariant 2-cocycle for a completion of Uqg is the coboundary of a central element. Equivalently, a Drinfeld twist relating the coproducts on completions of Uqg and Ug is unique up to coboundary of a central element. As an application we show that the spectral triple we defined in an earlier paper for the q-deformation of a simply connected semisimple compact Lie group G does not depend on any choices up to unitary equivalence.     

Reflection equation algebras, coideal subalgebras, and their centres

Reflection equation algebras and related U_q(\mathfrak g){U{_q}(\mathfrak g)} -comodule algebras appear in various constructions of quantum homogeneous spaces and can be obtained via transmutation or equivalently via twisting by a cocycle. In this paper we investigate algebraic and representation theoretic properties of such so called ‘covariantized’ algebras, in particular concerning their centres, invariants, and characters. The locally finite part F_l(U_q (\mathfrak g)){F_l(U{_q} (\mathfrak g))} of U_q(\mathfrak g){U{_q}(\mathfrak g)} with respect to the left adjoint action is a special example of a covariantized algebra. Generalising Noumi’s construction of quantum symmetric pairs we define a coideal subalgebra B _f of U_q(\mathfrak g){U{_q}(\mathfrak g)} for each character f of a covariantized algebra. We show that for any character f of F_l(U_q(\mathfrak g)){F_l(U{_q}(\mathfrak g))} the centre Z(B _f ) canonically contains the representation ring Rep(\mathfrak g){{\rm Rep}(\mathfrak g)} of the semisimple Lie algebra \mathfrak g{\mathfrak g} . We show moreover that for \mathfrak g = \mathfrak sl_n(\mathbb C){\mathfrak g = {\mathfrak sl}_n(\mathbb C)} such characters can be constructed from any invertible solution of the reflection equation and hence we obtain many new explicit realisations of Rep(\mathfrak sl_n(\mathbb C)){{\rm Rep}({\mathfrak sl}_n(\mathbb C))} inside U_q(\mathfrak sl_n(\mathbb C)){U_q({\mathfrak sl}_n(\mathbb C))} . As an example we discuss the solutions of the reflection equation corresponding to the Grassmannian manifold Gr(m,2m) of m-dimensional subspaces in \mathbb C^2m{{\mathbb C}^{2m}}.     

Quasirecognition by prime graph of the simple group <Superscript>2</Superscript><Emphasis Type="Italic">F</Emphasis><Subscript>4</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

As the main result, we show that if G is a finite group such that Γ(G) = Γ(² F ₄(q)), where q = 2^2m+1 for some m ≧ 1, then G has a unique nonabelian composition factor isomorphic to ² F ₄(q). We also show that if G is a finite group satisfying |G| =|² F ₄(q)| and Γ(G) = Γ(² F ₄(q)), then G ≅ ² F ₄(q). As a consequence of our result we give a new proof for a conjecture of W. Shi and J. Bi for ² F ₄(q). The third author was supported in part by a grant from IPM (No. 87200022).     

Newtonian and Schinzel sequences in a domain

A Schinzel or F sequence in a domain is such that, for every ideal I with norm q, its first q terms form a system of representatives modulo I, and a Newton or N sequence such that the first q terms serve as a test set for integer-valued polynomials of degree less than q. Strong F and strong N sequences are such that one can use any set of q consecutive terms, not only the first ones, finally a very well F ordered sequence, for short, a V.W.F sequence, is such that, for each ideal I with norm q, and each integer s,{u_sq,…,u_(s+1)q−1} is a complete set of representatives modulo I. In a quasilocal domain, V.W.F sequences and N sequences are the same, so are strong F and strong N sequences. Our main result is that a strong N sequence is a sequence which is locally a strong F sequence, and an N sequence a sequence which is locally a V.W.F. sequence. We show that, for F sequences there is a bound on the number of ideals of a given norm. In particular, a sequence is a strong F sequence if and only if it is a strong N sequence and for each prime p, there is at most one prime ideal with finite residue field of characteristic p. All results are refined to sequences of finite length.     

An algebraic slice in the coadjoint space of the Borel and the Coxeter element

Let g be a complex simple Lie algebra and b a Borel subalgebra. The algebra Y of polynomial semi-invariants on the dual b^? of b is a polynomial algebra on rank g generators (Grothendieck and Dieudonné (1965–1967)) [16]. The analogy with the semisimple case suggests there exists an algebraic slice to coadjoint action, that is an affine translate y+V of a vector subspace of b^? such that the restriction map induces an isomorphism of Y onto the algebra R[y+V] of regular functions on y+V. This holds in type A and even extends to all biparabolic subalgebras (Joseph (2007)) [20]; but the construction fails in general even with respect to the Borel. Moreover already in type C(2) no algebraic slice exists.Very surprisingly the exception of type C(2) is itself an exception. Indeed an algebraic slice for the coadjoint action of the Borel subalgebra is constructed for all simple Lie algebras except those of types B(2m), C(n) and F(4).Outside type A, the slice obtained meets an open dense subset of regular orbits, even though the special point y of the slice is not itself regular. This explains the failure of our previous construction.