ADDITIVE FAMILIES OF INVARIANTS OF SKEWSYMMETRIC TENSORS

Abstract

Let d be a positive integer and F be a field of characteristic 0. Suppose that for each positive integer n, I _n is a polynomial invariant of the usual action of GL_n (F) on Λ^d(Fⁿ), such that for t ? Λ^d(F ^k) and s ? Λ^d(F ^l), I _{k + l} (t l s) = I _k(t)I _t (s), where t ⊥ s is defined in §1.4. Then we say that {I_n} is an additive family of invariants of the skewsymmetric tensors of degree d, or, briefly, an additive family of invariants. If not all the I_n are constant we say that the family is non-trivial. We show that in each even degree d there is a non-trivial additive family of invariants, but that this is not so for any odd d. These results are analogous to those in our paper [3] for symmetric tensors. Our proofs rely on the symbolic method for representing invariants of skewsymmetric tensors. To keep this paper self-contained we expound some of that theory, but for the proofs we refer to the book [2] of Grosshans, Rota and Stein.     

Theq-gamma function forx<0

F. H. Jackson defined aq analogue of the gamma function which extends theq-factorial (n!) _q =1(1+q)(1+q+q ²)...(1+q+q ²+...+q ^n–1) to positivex. Askey studied this function and obtained analogues of most of the classical facts about the gamma function, for 0<q<1. He proved an analogue of the Bohr-Mollerup theorem, which states that a logarithmically convex function satisfyingf(1)=1 andf(x+1)=[(q ^x –1)/(q–1)]f(x) is in fact theq-gamma function He also studied the behavior of _q asq changes and showed that asq1^–, theq-gamma function becomes the ordinary gamma function forx>0.I proved many of these results forq>1. The current paper contains a study of the behavior of _q (x) forx<0 and allq>0. In addition to some basic properties of _q , we will study the behavior of the sequence {x _n (q)} of critical points asn orq changes.     

Hypersurfaces containing flat subspaces

Lek k be an infinite field and suppose m.i. and n are positive integers such that t m We study the subset of k[x ₁,x ₂, … x_m ] which consists of 0 and the homogeneous members t of f of k[x ₁,x ₂, … x_m ] of fixed degree n such that there exists homogeneous F ₁, F ₂, … F_t in k[x ₁,x ₂, … x_m ] of degree one and homogenous g ₁ g ₂, …g_t , in k[x ₁,x ₂, … x_m ] such that f(x) = F ₁(x)g ₁(x) + F ₂(x)g ₂(x) + … + F _t (x)g _t (x) for each x in k ^m. In case k is algebrarcally closed we are able to prove that this set is an algebraic variety. Consequently. if k is also of characteristic 0 then we are able to prove that certain collections of symmetric k-valued multilinear functions are algebraic varieties.     

Polynomial Invariants of Certain Pseudo-Symplectic Groups Over Finite Fields of Characteristic Two

Let F _q be a finite field of characteristic two, S be a nonsingular non-alternate symmetric matrix over F _q and Ps _n (F _q , S) be the associated pseudo-symplectic group. Let Ps _n (F _q , S) act linearly on the polynomial ring F _q [x ₁,…, x _n ]. In this note, we find an explicit set of generators of the ring of invariants of Ps _n (F _q , S) for n = 2, 4 and 2ν +1. In particular, the results assert that the ring of invariants of Ps ₄(F _q , S) is not a polynomial algebra but is an example of hypersurface and the ring of invariants of Ps _2ν+1(F _q , S) is a complete intersection.     

Newton Polygons of L Functions Associated with Exponential Sums of Polynomials of Degree Four over Finite Fields

Let F_q be the finite field of q elements with characteristic p and F_q^m its extension of degree m. Fix a nontrivial additive character Ψ of F_p. If f(x₁,…, x_n)∈F_q[x₁,…, x_n] is a polynomial, then one forms the exponential sum S_m(f)=∑_{(x1,…,xn)∈(Fq^m)ⁿ}Ψ(Tr_Fq^m/Fp(f(x₁,…,x_n))). The corresponding L functions are defined by L(f, t)=exp(∑^∞_m=0S_m(f)t^m/m). In this paper, we apply Dwork's method to determine the Newton polygon for the L function L(f(x), t) associated with one variable polynomial f(x) when deg f(x)=4. As an application, we also give an affirmative answer to Wan's conjecture for the case deg f(x)=4.     

Bounds in Polynomial Rings over Artinian Local Rings

Let R be a (mixed characteristic) Artinian local ring of length l and let X be an n-tuple of variables. We prove that several algebraic constructions in the ring R[X] admit uniform bounds on the degrees of their output in terms of l, n and the degrees of the input. For instance, if I is an ideal in R[X] generated by polynomials g _i of degree at most d and if f is a polynomial of degree at most d belonging to I, then f = q ₁ f ₁ + ··· + q _s f _s , for some q _i of degree bounded in terms of d, l and n only. Similarly, the module of syzygies of I is generated by tuples all of whose entries have degree bounded in terms of d, l and n only.     

Bounds in Polynomial Rings over Artinian Local Rings

Let R be a (mixed characteristic) Artinian local ring of length l and let X be an n-tuple of variables. We prove that several algebraic constructions in the ring R[X] admit uniform bounds on the degrees of their output in terms of l, n and the degrees of the input. For instance, if I is an ideal in R[X] generated by polynomials g _i of degree at most d and if f is a polynomial of degree at most d belonging to I, then f = q ₁ f ₁ + ··· + q _s f _s , for some q _i of degree bounded in terms of d, l and n only. Similarly, the module of syzygies of I is generated by tuples all of whose entries have degree bounded in terms of d, l and n only.     

Characterization and Transformation of Invariants

We consider difference equations of order k _n+k ≥ 2 of the form: y_n+k = f(yn,…,yn+k-1), n= 0,1,2,… where f: D ^k → D is a continuous function, and D?R. We develop a necessary and sufficient condition for the existence of a symmetric invariant I(x ₁,…,x_k ) ∈C^∞[D^k,D]. This condition will be used to construct invariants for linear and rational difference equations. Also, we investigate the transformation of invariants under invertible maps. We generalize and extend several results that have been obtained recently.     

Linearizability of d-webs, d?≥?4, on two-dimensional manifolds

We find d – 2 relative differential invariants for a d-web, d 4, on a two-dimensional manifold and prove that their vanishing is necessary and sufficient for a d-web to be linearizable. If one writes the above invariants in terms of web functions f(x, y) and g₄(x, y),..., g_d(x, y), then necessary and sufficient conditions for the linearizabilty of a d-web are two PDEs of the fourth order with respect to f and g₄, and d – 4 PDEs of the second order with respect to f and g₄,..., g_d. For d = 4, this result confirms Blaschkes conjecture on the nature of conditions for the linearizabilty of a 4-web. We also give the Mathematica codes for testing 4- and d-webs (d > 4) for linearizability and examples of their usage.     

Functions and line digraphs

Consider two maps f and g from a set E into a set F such that f(x) ≠ g(x) for every x in E. Suppose that there exists a positive integer n such that for any element z in F either f^?1(z) or g^?1(z) has at most n elements. Then, E can be partitioned into 2n + 1 subsets E₁, E₂,…,E_{2n + 1} such that f(E_i)∩ g(E_i) = ?, 1 ≤ i ≤ 2n + 1. © 2003 Wiley Periodicals, Inc. J Graph Theory 44: 296–303, 2003     

An application of L-functions of imaginary quadratic fields

Let F₁(x, y),…, F_2h+1(x, y) be the representatives of equivalent classes of positive definite binary quadratic forms of discriminant ?q (q is a prime such that q ≡ 3 mod 4) with integer coefficients, then the number of integer solutions of F_i(x, y) = n (i = 1,…, 2h + 1) can be calculated for each natural number n using L-functions of imaginary quadratic field $\text{Q}$((?q)^1/2).     

Vanishing Derivations and Co-Centralizing Generalized Derivations on Multilinear Polynomials in Prime Rings

Let R be a noncommutative prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, and f(x₁,…, x_n) be a multilinear polynomial over C, which is not central valued on R. Suppose that F and G are two generalized derivations of R and d is a nonzero derivation of R such that d(F(f(r))f(r) ? f(r)G(f(r))) = 0 for all r = (r₁,…, r_n) ∈ Rⁿ, then one of the following holds:

1. There exist a, p, q, c ∈ U and λ ∈C such that F(x) = ax + xp + λx, G(x) = px + xq and d(x) = [c, x] for all x ∈ R, with [c, a ? q] = 0 and f(x₁,…, x_n)² is central valued on R;

2. There exists a ∈ U such that F(x) = xa and G(x) = ax for all x ∈ R;

3. There exist a, b, c ∈ U and λ ∈C such that F(x) = λx + xa ? bx, G(x) = ax + xb and d(x) = [c, x] for all x ∈ R, with b + αc ∈ C for some α ∈C;

4. R satisfies s₄ and there exist a, b ∈ U and λ ∈C such that F(x) = λx + xa ? bx and G(x) = ax + xb for all x ∈ R;

5. There exist a′, b, c ∈ U and δ a derivation of R such that F(x) = a′x + xb ? δ(x), G(x) = bx + δ(x) and d(x) = [c, x] for all x ∈ R, with [c, a′] = 0 and f(x₁,…, x_n)² is central valued on R.

     

Powers of Elements and Monomial Ideals #

All monomial ideals I ? k[X ₀,…, X _d ] are classified which satisfy the following condition: If f ∈ I with f ⁿ  ∈ I ⁿ⁺¹ for some n, then f ∈ (X ₀,…, X _d ) I.     

Forests of label-increasing trees

Label-increasing trees are fully labeled rooted trees with the restriction that the labels are in increasing order on every path from the root; the best known example is the binary case—no tree with more than two branches at the root, or internal vertices of degree greater than three—extensively examined by Foata and Schutzenberger in A Survey of Combinatorial Theory. The forests without branching restrictions are enumerated by number of trees by F_n(x) = x(x + 1)…(x + n ? 1), n >1 (F₀(x) = 1), whose equivalent: F_n(x) = Y_n(xT₁,…, xT_n), F_n(1)= T_{n + 1} = n!, is readily adapted to branching restriction.     

The approximation by q-Bernstein polynomials in the case q ↓ 1

Let B_n (f, q; x), n=1, 2, ... , 0 < q < ∞, be the q-Bernstein polynomials of a function f, B_n (f, 1; x) being the classical Bernstein polynomials. It is proved that, in general, {B_n (f, q_n; x)} with q_n ↓ 1 is not an approximating sequence for f ∈C[0, 1], in contrast to the standard case q_n ↓ 1. At the same time, there exists a sequence 0 < δ_n ↓ 0 such that the condition implies the approximation of f by {B_n (f, q_n; x)} for all f ∈C[0, 1]. Received: 15 March 2005     

Quadratic Central Differential Identities on a Multilinear Polynomial

Let K be a commutative ring with unity, R a prime K-algebra, Z(R) the center of R, d and δ nonzero derivations of R, and f(x ₁,…, x _n ) a multilinear polynomial over K. If [d(f(r ₁,…, r _n )), δ (f(r ₁,…, r _n ))] ? Z(R), for all r ₁,…, r _n  ? R, then either f(x ₁,…, x _n ) is central valued on R or {d, δ} are linearly dependent over C, the extended centroid of R, except when char(R) = 2 and dim _C RC = 4.     

Finite free resolutions of length two and koszul generalized complex

Abstract

In 1956, Ehrenfeucht proved that a polynomial f ₁(x ₁) + · + f _n (x _n ) with complex coefficients in the variables x ₁, …, x _n is irreducible over the field of complex numbers provided the degrees of the polynomials f ₁(x ₁), …, f _n (x _n ) have greatest common divisor one. In 1964, Tverberg extended this result by showing that when n ≥ 3, then f ₁(x ₁) + · + f _n (x _n ) belonging to K[x ₁, …, x _n ] is irreducible over any field K of characteristic zero provided the degree of each f _i is positive. Clearly a polynomial F = f ₁(x ₁) + · + f _n (x _n ) is reducible over a field K of characteristic p ≠ 0 if F can be written as F = (g ₁(x ₁)) ^p  + (g ₂(x ₂)) ^p  + · + (g _n (x _n )) ^p  + c[g ₁(x ₁) + g ₂(x ₂) + · + g _n (x _n )] where c is in K and each g _i (x _i ) is in K[x _i ]. In 1966, Tverberg proved that the converse of the above simple fact holds in the particular case when n = 3 and K is an algebraically closed field of characteristic p > 0. In this article, we prove an extension of Tverberg's result by showing that this converse holds for any n ≥ 3.     

On the cycle structure of certain classes of nonlinear shift registers

When m = qt, g(x_t+1, x_2t+1,…, x_(q?1)t+1) is a linear combination of only odd (or only even) elementary symmetric functions, then every cycle of the nonlinear shift register with feedback function f(x₁, x₂,…, x_m) = x₁ + g(x_t+1, x_2t+1,…, x_(q?1)t+1) has a minimal period dividing m(q+1). It is also shown that when g is derived from a cyclic code with minimum distance ?3, every cycle of this shift register has a minimal period dividing m(q + 1).     

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.