Construction of genus field and some applications

Let k be a number field of finite degree. The narrow genus field K of k (genus field of k in the sense of Fröhlich) is defined as the maximal extension of k which is unramified at all finite primes of k of the form kk₁, where k₁ is an Abelian number field. In this article, K is determined and some applications are given. The results indicate a possibility that many class field theoretic properties of normal number fields could be extended to nonnormal number fields.     

Positive definite binary hermitian forms with finitely many exceptions

Let E/F be a CM extension of number fields, and L be a positive definite binary hermitian lattice over the ring of integers of E. An element in F is called an exception of L if it is represented by every localization of L but not by L itself. We show that if E/F and a positive integer k are given, then there are only finitely many similarity classes of positive definite binary hermitian lattices with at most k exceptions. This generalizes the corresponding finiteness result by Earnest and Khosravani [A.G. Earnest, A. Khosravani, Representation of integers by positive definite binary hermitian lattices over imaginary quadratic fields, J. Number Theory 62 (1997) 368-374, Theorem 2.2] for the case F=Q. We also prove that for a fixed totally real field F of odd degree over Q, there are only finitely many CM extensions E/F for which there exists a positive definite regular normal binary hermitian lattice over the ring of integers of E.     

Semi-local units modulo Gauss sums

For the p-th cyclotomic field k, Iwasawa proved that p does not divide the class number of its maximal real subfield if and only if the odd part of the group of local units coincides with its subgroup generated by Jacobi sums related to k. We refine and give a quantitative version of this result for more general imaginary abelian fields. Our result is an analogy of the famous result on “semi-local units modulo cyclotomic units”. Received: 2 May 1997 / Revised version: 11 November 1997     

Embedding smooth diffeomorphisms in flows

In this paper we study the problem on embedding germs of smooth diffeomorphisms in flows in higher dimensional spaces. First we prove the existence of embedding vector fields for a local diffeomorphism with its nonlinear term a resonant polynomial. Then using this result and the normal form theory, we obtain a class of local Ck diffeomorphisms for k∈N∪{∞,ω} which admit embedding vector fields with some smoothness. Finally we prove that for any k∈N∪{∞} under the coefficient topology the subset of local Ck diffeomorphisms having an embedding vector field with some smoothness is dense in the set of all local Ck diffeomorphisms.     

On exceptional pq-groups

A finite group G is called exceptional if for a Galois extension F/k of number fields with the Galois group G,in the Brauer-Kuroda relation of the Dedekind zeta functions of fields between k and F,the zeta function of F does not appear.In the present paper we describe effectively all exceptional groups of orders divisible by exactly two prime numbers p and q,which have unique subgroups of orders p and q.     

SPECIAL REDUCTIVE GROUPS OVER AN ARBITRARY FIELD

A linear algebraic group G defined over a field k is called special if every G-torsor over every field extension of k is trivial. In 1958 Grothendieck classified special groups in the case where the base field is algebraically closed. In this paper we describe the derived subgroup and the coradical of a special reductive group over an arbitrary field k. We also classify special semisimple groups, special reductive groups of inner type, and special quasisplit reductive groups over an arbitrary field k. Finally, we give an application to a conjecture of Serre.     

Units of algebraic numberfields

Let K be an algebraic number field with proper subfield k. If K and k have the same number of fundamental units then relations between the units of K and k are obtained.     

Finite Commutative Chain Rings

A commutative ring with identity is called a chain ring if all its ideals form a chain under inclusion. A finite chain ring, roughly speaking, is an extension over a Galois ring of characteristic pⁿusing an Eisenstein polynomial of degree k. When p∤k, such rings were classified up to isomorphism by Clark and Liang. However, relatively little is known about finite chain rings when p∣k. In this paper, we allowed p∣k. When n=2 or when p∥k but (p−1)∤k, we classified all pure finite chain rings up to isomorphism. Under the assumption that (p−1)∤k, we also determined the structures of groups of units of all finite chain rings.     

Read-Once Functions Revisited and the Readability Number of a Boolean Function

In this paper, we present the first polynomial time algorithm for recognizing and factoring read-once functions. The algorithm is based on algorithms for cograph recognition and a new efficient method for checking normality. Its correctness is based on a classical characterization theorem of Gurvich which states that a positive Boolean function is read-once if and only if it is normal and its co-occurrance graph is P₄-free.We also investigate the problem of factoring certain non-read-once functions. In particular, we show that if the co-occurrence graph of a positive Boolean function f is a tree, then the function is read-twice. We then extend this further proving that if f is normal and its corresponding graph is a partial k-tree, then f is a read 2^k function and a read 2^k formula for F for f can be obtained in polynomial time.     

How to make a linear network code (strongly) secure

A linear network code is called k-secure if it is secure even if an adversary eavesdrops at most k edges. In this paper, we show an efficient deterministic construction algorithm of a linear transformation T that transforms an (insecure) linear network code to a k-secure one for any k, and extend this algorithm to strong k-security for any k . Our algorithms run in polynomial time if k is a constant, and these time complexities are explicitly presented. We also present a concrete size of \(|\mathsf{F}|\) for strong k-security, where \(\mathsf{F}\) is the underling finite field.     

On the rational equivalence of full decomposable forms

Let k be any finite normal extension of the rational field Q and fix an order D of k invariant under the galois group $\text{G(}\text{k}\text{Q}\text{)}$. Consider the set F of the full decomposable forms which correspond to the invertible fractional ideals of D. In a recent paper the author has given arithmetic criteria to determine which classes of improperly equivalent forms in F integrally represent a given positive rational integer m. These criteria are formulated in terms of certain integer sequences which satisfy a linear recursion and need only be considered modulo the primes dividing m. Here, for the most part, we consider partitioning F under rational equivalence. It is a found that the set of rationally equivalent classes in F is a group under composition of forms analogous to Gauss' and Dirichlet's classical results for binary quadratic forms. This leads us to given criteria as before to determine which classes of rationally equivalent forms in F rationally represent m. Moreover, by applying the genus theory of number fields, we find arithmetic criteria to determine when everywhere local norms are global norms if the Hasse norm principle fails to hold in $\text{k}\text{Q}$.     

On Stably Free Modules over Affine Algebras

If X is a smooth affine variety of dimension d over an algebraically closed field k, and if (d?1)!??k ^× then any stably trivial vector bundle of rank (d?1) over X is trivial. The hypothesis that X is smooth can be weakened to X is normal if d??4.     

On chains and Sperner k-families in ranked posets,II

A ranked poset P satisfies condition S if for all k the set of elements of the k largest ranks in P is a Sperner k-family. It satisfies condition T if for all k there exist disjoint chains in P which each meet the k largest ranks and which cover the kth largest rank. Griggs employed the theory of saturated partitions to prove that if P satisfies S it also satisfies T, and that the converse is true for posets with unimodal Whitney numbers. Here we present new proofs of these facts which do not require the existence of saturated partitions. The first result is proven with a simple network flow argument and the second is proven directly.     

Schur–Weyl duality over finite fields

We prove a version of the Schur–Weyl duality over finite fields. We prove that for any field k, if k has at least r + 1 elements, the Schur–Weyl duality holds for the rth tensor power of a finite dimensional vector space V. Moreover, if the dimension of V is at least r + 1, the natural map ${{k\mathfrak{S}_r \to \mathsf{End}_{{\rm GL}(V)}(V^{\otimes r})}}We prove a version of the Schur–Weyl duality over finite fields. We prove that for any field k, if k has at least r + 1 elements, the Schur–Weyl duality holds for the rth tensor power of a finite dimensional vector space V. Moreover, if the dimension of V is at least r + 1, the natural map k\mathfrakS_r ? End_GL(V)(V^?r){{k\mathfrak{S}_r \to \mathsf{End}_{{\rm GL}(V)}(V^{\otimes r})}} is an isomorphism. This isomorphism may fail if dim _k V is not strictly larger than r.     

Factoring Polynomials over Special Finite Fields

We exhibit a deterministic algorithm for factoring polynomials in one variable over finite fields. It is efficient only if a positive integer k is known for which Φ_k(p) is built up from small prime factors; here Φ_k denotes the kth cyclotomic polynomial, and p is the characteristic of the field. In the case k=1, when Φ_k(p)=p−1, such an algorithm was known, and its analysis required the generalized Riemann hypothesis. Our algorithm depends on a similar, but weaker, assumption; specifically, the algorithm requires the availability of an irreducible polynomial of degree r over Z/pZ for each prime number r for which Φ_k(p) has a prime factor l with l≡1 mod r. An auxiliary procedure is devoted to the construction of roots of unity by means of Gauss sums. We do not claim that our algorithm has any practical value.     

A finer classification of the unit sum number of the ring of integers of quadratic fields and complex cubic fields

The unit sum number, u(R), of a ring R is the least k such that every element is the sum of k units; if there is no such k then u(R) is ω or ∞ depending on whether the units generate R additively or not. Here we introduce a finer classification for the unit sum number of a ring and in this new classification we completely determine the unit sum number of the ring of integers of a quadratic field. Further we obtain some results on cubic complex fields which one can decide whether the unit sum number is ω or ∞. Then we present some examples showing that all possibilities can occur.     

Special unipotent groups are split

We show that over any field k, a smooth unipotent algebraic k-group is special if and only if it is k-split.     

Cyclicity of the unramified Iwasawa module

For a number field k and a prime number p, let k _?? be the cyclotomic Z _p -extension of k with finite layers k _n . We study the finiteness of the Galois group X _?? over k _?? of the maximal abelian unramified p-extension of k _?? when it is assumed to be cyclic. We then focus our attention to the case where p?=?2 and k is a real quadratic field and give the rank of the 2-primary part of the class group of k _n . As a consequence, we determine the complete list of real quadratic number fields for which X _?? is cyclic non trivial. We then apply these results to the study of Greenberg??s conjecture for infinite families of real quadratic fields thus generalizing previous results obtained by Ozaki and Taya.     

A remark on Berger’s conjecture,Kolchin’s theorem,and arc schemes

Let k be a field of characteristic zero. Let V be a k-scheme of finite type, i.e., a k-variety, which is integral. We prove that if the associated arc scheme \({\mathcal{L}_{\infty}(V)}\) is reduced, then the \({\mathcal{O}_{V}}\)-Module \({\Omega_{V/k}^{1}}\) is torsion-free. Then if the k-variety V is assumed to be locally a complete intersection (lci), we deduce that the k-variety V is normal. We also obtain the following consequence: for every class \({\mathfrak{C}}\) of integral k-curves which satisfies the Berger conjecture, and for every \({\mathscr{C} \in \mathfrak{C}}\), the k-curve \({\mathscr{C}}\) is smooth if and only if \({\mathcal{L}(\mathscr{C})}\) is reduced.     

A remark on the capitulation problem

We determine explicitly an infinite family of imaginary cyclic number fields k, such that the 2-class group of k is elementary with arbitrary large 2-rank and capitulates in an unramified quadratic extension K. The infinitely many number fields k and K have the same Hilbert 2-class field and an infinite Hilbert 2-class field tower.