Central polynomials for matrices over finite fields

Let c(x ₁,?…?,?x _d ) be a multihomogeneous central polynomial for the n?×?n matrix algebra M _n (K) over an infinite field K of positive characteristic p. We show that there exists a multihomogeneous polynomial c ₀(x ₁,?…?,?x _d ) of the same degree and with coefficients in the prime field 𝔽 _p which is central for the algebra M _n (F) for any (possibly finite) field F of characteristic p. The proof is elementary and uses standard combinatorial techniques only.     

Graded central polynomials for the algebra <Emphasis Type="Italic">M</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">K</Emphasis>)

Let M _n (K) be the algebra of all n × n matrices over an infinite field K. This algebra has a natural ℤ _n -grading and a natural ℤ-grading. Finite bases for its ℤ _n -graded identities and for its ℤ-graded identities are known. In this paper we describe finite generating sets for the ℤ _n -graded and for the ℤ-graded central polynomials for M _n (K) Partially supported by CNPq 620025/2006-9     

The automorphisms of Petit’s algebras

Let σ be an automorphism of a field K with fixed field F. We study the automorphisms of nonassociative unital algebras which are canonical generalizations of the associative quotient algebras K[t;σ]∕fK[t;σ] obtained when the twisted polynomial f∈K[t;σ] is invariant, and were first defined by Petit. We compute all their automorphisms if σ commutes with all automorphisms in Aut_F(K) and n≥m?1, where n is the order of σ and m the degree of f, and obtain partial results for n<m?1. In the case where K∕F is a finite Galois field extension, we obtain more detailed information on the structure of the automorphism groups of these nonassociative unital algebras over F. We also briefly investigate when two such algebras are isomorphic.     

Asymptotic analysis of the Krawtchouk polynomials by the WKB method

We analyze the Krawtchouk polynomials K _n (x,N,p,q) asymptotically. We use singular perturbation methods to analyze them for N→∞, with appropriate scalings of the two variables x and n. In particular, the WKB method and asymptotic matching are used. We obtain asymptotic approximations valid in the whole domain [0,N]×[0,N], involving some special functions. We give numerical examples showing the accuracy of our formulas.      

Markov-type Inequalities for Surface Gradients of Multivariate Polynomials

Let K ^d be a compact set with a smooth boundary and consider a polynomial p of total degree n such that p_C(K)1. Then we show that D_Tp(x)=o(n²) for any x Bd K and T a tangential direction at x. Moreover, the o(n²) term is given in terms of the modulus of smoothness of Bd K.     

The images of Lie polynomials evaluated on matrices

Kaplansky asked about the possible images of a polynomial f in several noncommuting variables. In this paper, we consider the case of f a Lie polynomial. We describe all the possible images of f in M₂(K) and provide an example of f whose image is the set of non-nilpotent trace zero matrices, together with 0. We provide an arithmetic criterion for this case. We also show that the standard polynomial s_k is not a Lie polynomial, for k>2.     

Extremal K -Theory and Index for C*-Algebras

We develop the general theory for a new functor K _e on the category of C ^*-algebras. The extremal K-set, K _e (A), of a C ^*-algebra A is defined by means of homotopy classes of extreme partial isometries. It contains K ₁ (A) and admits a partially defined addition extending the addition in K ₁ (A), so that we have an action of K ₁ (A) on K _e (A). We show how this functor relates to K ₀ and K ₁, and how it can be used as a carrier of information relating the various K-groups of ideals and quotients of A. The extremal K-set is then used to extend the classical theory of index for Fredholm and semi-Fredholm operators.     

Lower bounds for the merit factors of trigonometric polynomials from Littlewood classes

With the notation ,

we prove the following result.Theorem 1. Assume that p is a trigonometric polynomial of degree at most n with real coefficients that satisfies

||p||_L2(K)An^1/2 and ||p′||_L2(K)Bn^3/2.

Then

M₄(p)−M₂(p)M₂(p)

with

We also prove that

and

M₂(p)−M₁(p)10⁻³¹M₂(p)

for every , where denotes the collection of all trigonometric polynomials of the form

     

Idempotency of Extensions via the Bicompletion

Let Top ₀ be the category of topological T ₀-spaces, QU ₀ the category of quasi-uniform T ₀-spaces, T : QU ₀ → Top ₀ the usual forgetful functor and K : QU ₀ → QU ₀ the bicompletion reflector with unit k : 1 → K. Any T-section F : Top ₀ → QU ₀ is called K-true if KF = FTKF, and upper (lower) K-true if KF is finer (coarser) than FTKF. The literature considers important T-sections F that enjoy all three, or just one, or none of these properties. It is known that T(K,k)F is well-pointed if and only if F is upper K-true. We prove the surprising fact that T(K,k)F is the reflection to Fix(TkF) whenever it is idempotent. We also prove a new characterization of upper K-trueness. We construct examples to set apart some natural cases. In particular we present an upper K-true F for which T(K,k)F is not idempotent, and a K-true F for which the coarsest associated T-preserving coreflector in QU ₀ is not stable under K. We dedicate this paper to the memory of Sérgio de Ornelas Salbany (1941–2005).     

On Invariants and Strict Systems of Irreducible Polynomials Over Henselian Valued Fields

Let g(x) be a monic irreducible defectless polynomial over a henselian valued field (K, v), i.e., K(θ) is a defectless extension of (K, v) for any root θ of g(x). It is known that a complete distinguished chain for θ with respect to (K, v) gives rise to several invariants associated with g(x). Recently Ron Brown studied certain invariants of defectless polynomials by introducing strict systems of polynomial extensions. In this article, the authors establish a one-to-one correspondence between strict systems of polynomial extensions and conjugacy classes of complete distinguished chains. This correspondence leads to a simple interpretation of various results proved for strict systems. The authors give new characterizations of an invariant γ _g introduced by Brown.     

Elements of Small Orders in K2F Ⅱ

In "Elements of small orders in K2(F)" (Algebraic K-Theory, Lecture Notes in Math., 966, 1982, 1-6.), the author investigates elements of the form {a, Φn(a)} in the Milnor group K2F of a field F, where Φn(x) is the n-th cyclotomic polynomial. In this paper, these elements are generalized. Applying the explicit formulas of Rosset and Tate for the transfer homomorphism for K2, the author proves some new results on elements of small orders in K2F.     

The Smallest Degree Sum That Yields Potentially Kr＋1 - K3-Graphic Sequences

Let a（Kr,＋1 - K3,n） be the smallest even integer such that each n-term graphic sequence п= （d1,d2,…dn） with term sum σ（п） = d1 ＋ d2 ＋…＋ dn 〉 σ（Kr＋1 -K3,n） has a realization containing Kr＋1 - K3 as a subgraph, where Kr＋1 -K3 is a graph obtained from a complete graph Kr＋1 by deleting three edges which form a triangle. In this paper, we determine the value σ（Kr＋1 - K3,n） for r ≥ 3 and n ≥ 3r＋ 5.     

The decomposition of Kv into K2×K5''''s

The decomposition of the complete graph Kv into Kr×Kc's, the products of Kr and Kc,is originated from the use of DNA library screening. In this paper, we consider the case where r=2 and c = 5, and show that such a decomposition exists if and only if v ≡ 1 (mod 25).     

On potentially <Emphasis Type="Italic">H</Emphasis>-graphic sequences

For given a graph H, a graphic sequence π = (d ₁, d ₂,..., d _n) is said to be potentially H-graphic if there is a realization of π containing H as a subgraph. In this paper, we characterize the potentially (K ₅ − e)-positive graphic sequences and give two simple necessary and sufficient conditions for a positive graphic sequence π to be potentially K ₅-graphic, where K _r is a complete graph on r vertices and K _r-e is a graph obtained from K _r by deleting one edge. Moreover, we also give a simple necessary and sufficient condition for a positive graphic sequence π to be potentially K ₆-graphic. Project supported by National Natural Science Foundation of China (No. 10401010).     

Graded central polynomials for the matrix algebra of order two

Let K be an infinite integral domain, and let A = M ₂(K) be the matrix algebra of order two over K. The algebra A can be given a natural -grading by assuming that the diagonal matrices are the 0-component while the off-diagonal ones form the 1-component. In this paper we study the graded identities and the graded central polynomials of A. We exhibit finite bases for these graded identities and central polynomials. It turns out that the behavior of the graded identities and central polynomials in the case under consideration is much like that in the case when K is an infinite field of characteristic 0 or p > 2. Our proofs are characteristic-free so they work when K is an infinite field, char K = 2. Thus we describe finite bases of the graded identities and graded central polynomials for M ₂(K) in this case as well. A. Krasilnikov has been partially supported by CNPq and FINATEC.     

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.     

Kp,q-factorization of complete bipartite graphs

Let K _m,nbe a complete bipartite graph with two partite sets having m and n vertices, respectively. A K _p,q-factorization of K _m,n is a set of edge-disjoint K _p,q-factors of K _m,n which partition the set of edges of K _m,n. When p = 1 and q is a prime number, Wang, in his paper “On K _1,k -factorizations of a complete bipartite graph” (Discrete Math, 1994, 126: 359—364), investigated the K _1,q -factorization of K _m,nand gave a sufficient condition for such a factorization to exist. In the paper “K _1,k -factorizations of complete bipartite graphs” (Discrete Math, 2002, 259: 301—306), Du and Wang extended Wang’s result to the case that q is any positive integer. In this paper, we give a sufficient condition for K _m,n to have a K _p,q-factorization. As a special case, it is shown that the Martin’s BAC conjecture is true when p : q = k : (k+ 1) for any positive integer k.     

Algebraic K-Theory and the Conjectural Leibniz K-Theory

The analogy between algebraic K-theory and cyclic homology is used to build a program aiming at understanding the algebraic K-theory of fields and the periodicity phenomena in algebraic K-theory. In particular, we conjecture the existence of a Leibniz K-theory which would play the role of Hochschild homology. We propose a motivated presentation for the Leibniz K ₂-group ofa field.     

Congruences for the class numbers of real cyclic sextic number fields

LetK ₆ be a real cyclic sextic number field, andK ₂,K ₃ its quadratic and cubic subfield. Leth(L) denote the ideal class number of fieldL. Seven congruences forh ^- =h (K ₆)/(h(K ₂)h(K ₃)) are obtained. In particular, when the conductorf ₆ ofK ₆ is a primep, , whereC is an explicitly given constant, andB _n is the Bernoulli number. These results on real cyclic sextic fields are an extension of the results on quadratic and cyclic quartic fields. Project supported by the National Natural Science Foundation of China (Grant No. 19771052).     

On potentially K 5-H-graphic sequences

Let K _m -H be the graph obtained from K _m by removing the edges set E(H) of H where H is a subgraph of K _m . In this paper, we characterize the potentially K ₅-P ₄ and K ₅-Y ₄-graphic sequences where Y ₄ is a tree on 5 vertices and 3 leaves. Research was supported by NNSF of China (10271105) and by NSF of Fujian (Z0511034), Fujian Provincial Training Foundation for “Bai-Quan-Wan Talents Engineering”, Project of Fujian Education Department, Project of Zhangzhou Teachers College and by NSERC.