Algebraic number fields

This survey of the theory of algebraic numbers covers material abstracted in theReferativnyi Zhurnal Matematika during the period 1975–1980. The survey focused mainly on the arithmetic of Abelian and cyclotomic fields.Translated from Itogi Nauki i Tekhniki, Seriya Algebra, Topologiya, Geometriya, Vol. 22, pp. 117–204, 1984.     

Algebraic theories, clones and their segments

Isomorphism and elementary equivalence of segments of clones of objects in concrete categories are investigated. A survey of results about the finitary case is presented and a new theorem about the infinitary case is proved.Financial support of the Grant Agency of the Czech Republic under the grant no. 201/93/0950 and of the Grant Agency of the Charles University under the grant GAUK 349 is gratefully acknowledged.     

The forcing companions of number theories

This paper is concerned with the finite forcing companion T ^f and the infinite forcing companion T ^F of a number theory T. A number theory is any theory containing the \forall _2 - {\text{part}} of peano number theory P. Two of our results are as follows: (A) for each number theory T, the theory T ^f is not arithmetical, and the theory T ^F is not analytical, and (B) there is a sentence \sigma \in \forall _4 such that, for each two (not necessarily distinct) number theories T₁, T₂, both σ∈T ₁ ^f and ⌍ σ∈T ₂ ^F .     

Algebraic function fields with small class number

It is proved that there is no congruence function field of genus 4 over GF(2) which has no prime of degree less than 4 and precisely one prime of degree 4. This shows the nonexistence of function fields of genus 4 with class number one and gives an example of an isogeny class of abelian varieties which contains no jacobian. It is shown that, up to isomorphism, there are two congruence function fields of genus 3 with class number one. It follows that there are seven nonisomorphic function fields of genus different from zero with class number one. Congruence function fields with class number 2 are fully classified. Finally, it is proved that there are eight imaginary quadratic function fields $\text{F}\text{K(x)}$ for which the integral closure of K[x] in F has class number 2.     

Algebraic leaves of algebraic foliations over number fields

Summary — We prove an algebraicity criterion for leaves of algebraic foliations defined over number fields. Namely, consider a number field K embedded in C, a smooth algebraic variety X over K, equipped with a K-rational point P, and F an algebraic subbundle of the its tangent bundle T_X, defined over K. Assume moreover that the vector bundle F is involutive, i.e., closed unter Lie bracket. Then it defines an holomorphic foliation of the analytic mainfold X(C), and one may consider its leaf ℱ through P. We prove that ℱ is algebraic if the following local conditions are satisfied: i) For almost every prime ideal p of the ring of integers 𝒪_K of the number field K, the p-curvature of the reduction modulo p of the involutive bundle F vanishes at P (where p denotes the characteristic of the residue field 𝒪_K / p ). ii) The analytic manifold ℱ satisfies the Liouville property; this arises, in particular, if ℱ is the image by some holomorphic map of the complement in a complex algebraic variety of a closed analytic subset. This algebraicity criterion unifies and extends various results of D. V. and G. V. Chudnovsky, André, and Graftieaux, and also admits new consequences. For instance, applied to an algebraic group G over K, it shows that a K-Lie subalgebra h of Lie G is algebraic if and only if for almost every non-zero prime ideal p of 𝒪_K , of residue characteristic p, the reduction modulo p of h is a restricted Lie subalgebra of the reduction modulo p of Lie G (i.e., is stable under p-th powers). This solves a conjecture of Ekedahl and Shepherd-Barron. The algebraicity criterion above follows from a more basic algebraicity criterion concerning smooth formal germs in algebraic varieties over number fields. The proof of the latter relies on “transcendence techniques”, recast in a modern geometric version involving elementary concepts of Arakelov geometry, and on some analytic estimates, related to the First Main Theorem of higher-dimensional Nevanlinna theory.

---

Résumé — Nous établissons un critère d'algébricité concernant les feuilles des feuilletages algébriques définis sur un corps de nombres. Soit en effet K un corps de nombres plongé dans C, X une variété algébrique lisse sur K, munie d'un point K-rationnel P, et F un sous-fibré du fibré tangent T_X, défini sur K. Supposons de plus que le fibré vectoriel F soit involutif, i.e.., stable par crochet de Lie. Il définit alors un feuilletage holomorphe de la variété analytique X(C) et l'on peut considérer la feuille ℱ de ce feuilletage passant par P. Nous montrons que ℱ est algébrique lorque les conditions locales suivantes son satisfaites: i) Pour presque tout idéal premier p de l'annneau des entiers 𝒪_K de K, la réduction modulo p du fibré F est stablé par l'opération de puissance p-ième (où p désigne la caractéristique du corps résiduel 𝒪_K / p ). ii) La variété analytique ℱ satisfait à la propriété de Liouville; cela a lieu, par exemple, lorsque ℱ est l'image par une application holomorphe du complémentaire d'un sous-ensemble analytique fermé dans une variété algébrique. Ce critère d'algébricité unifie et généralise divers résultats de D. V. and G. V. Chudnovsky, André et Graftieaux. Il conduit aussi à de nouvelles conséquences. Par exemple, appliqué à un groupe algébrique G sur K, il montre qu'une sous-algèbre de Lie h de Lie G, définie sur K, est algébrique si et seulement si, pour presque tout idéal premier p de 𝒪_K , de caractéristique résiduelle p, la réduction modulo p de h est une sous-p-algèbre de Lie de la réduction modulo p de Lie G (i.e., est stable par puissance p-ième). Cet énoncé résout une conjecture d'Ekedahl et Shepherd-Barron. Le critère d'algébricité ci-dessus découle d'un critère d'algébricité plus général, concernant les germes de sous-variétés formelles des variétés sur les corps de nombres. La démonstration de ce dernier repose sur des “techniques de transcendance”, reformulées dans une version géométrique utilisant diverses notions élémentaires de géométrie d'Arakelov, et sur des estimations analytiques reliées au premier théorème fondamental de la théorie de Nevanlinna en dimension supérieure.

---

---

Manucsrit re?u le 27 septembre 2000.     

Algebraic properties of Riordan subgroups

Journal of Algebraic Combinatorics - We present properties of the group structure of Riordan arrays. We examine similar properties among known Riordan subgroups, and from this, we define...     

Algebraic properties of zigzag algebras

Abstract

We give necessary and sufficient conditions for zigzag algebras and certain generalizations of them to be (relative) cellular, quasi-hereditary or Koszul.     

Algebraic properties of quantum quasigroups

Quantum quasigroups provide a self-dual framework for the unification of quasigroups and Hopf algebras. This paper furthers the transfer program, investigating extensions to quantum quasigroups of various algebraic features of quasigroups and Hopf algebras. Part of the difficulty of the transfer program is the fact that there is no standard model-theoretic procedure for accommodating the coalgebraic aspects of quantum quasigroups. The linear quantum quasigroups, which live in categories of modules under the direct sum, are a notable exception. They form one of the central themes of the paper.From the theory of Hopf algebras, we transfer the study of grouplike and setlike elements, which form separate concepts in quantum quasigroups. From quasigroups, we transfer the study of conjugate quasigroups, which reflect the triality symmetry of the language of quasigroups. In particular, we construct conjugates of cocommutative Hopf algebras. Semisymmetry, Mendelsohn, and distributivity properties are formulated for quantum quasigroups. We classify distributive linear quantum quasigroups that furnish solutions to the quantum Yang-Baxter equation. The transfer of semisymmetry is designed to prepare for a quantization of web geometry.     

Algebraic properties of Hamel functions

We say that f: ℝ → ℝ is LIF if it is linearly independent over ℚ as a subset of ℝ² and that it is a Hamel function (HF) if it is a Hamel basis of ℝ². We construct an example of HF bijection and use a similar method to prove that any function can be represented as the composition of three HF’s as well as the limit of uniformly convergent sequence of HF’s. Finally we consider products of HF’s, maximal invariant classes (with respect to several algebraic operations) and pose some open problems concerning sets of continuity points of HF’s.     

Algebraic properties of stably numerical polynomials

We study algebraic properties of certain rings of polynomials closely related to the ring of integer-valued polynomials. We give generators and relations for the localisations at a prime. We describe the maximal and prime ideals and show that the rings considered are not Noetherian.     

Algebraic and combinatorial properties of zircons

In this paper we introduce and study a new class of posets, that we call zircons, which includes all Coxeter groups partially ordered by Bruhat order. We prove that many of the properties of Coxeter groups extend to zircons often with simpler proofs: in particular, zircons are Eulerian posets and the Kazhdan-Lusztig construction of the Kazhdan-Lusztig representations can be carried out in the context of zircons. Moreover, for any zircon Z, we construct and count all balanced and exact labelings (used in the construction of the Bernstein-Gelfand-Gelfand resolutions in the case that Z is the Weyl group of a Kac-Moody algebra). Partially supported by the program “Gruppi di trasformazioni e applicazioni”, University of Rome “La Sapienza”. Part of this research was carried out while the author was a member of the Institut Mittag-Leffler of the Royal Swedish Academy of Sciences.     

Algebraic properties of quadratic quaternary rings

A quadratic quaternary ring (abbreviated QQR) was defined for generalized quadrangles [1] as the analogue of a planar ternary ring (abbreviated PTR) for projective planes. To be useful, this algebraic structure should have nice properties whenever the generalized quadrangle has a large automorphism group. This interaction is described in this paper. Both authors are supported by the National Fund of Scientific Research Belgium (NFWO).     

Algebraic properties of crowns and fences

In this paper we study the clones of all order preserving operations for crowns and fences. By presenting explicit generating sets, we show that these clones are finitely generated. The case of crowns is particularly interesting because they admit no order preserving near unanimity operations. Various related questions are also discussed. For example, we give a new proof of a theorem of Duffus and Rival which states that crowns are irreducible.Research partially supported by the Hungarian National Foundation for Scientific Research, Grant 1066. The second-named author wishes to express his gratitude to the University of Chicago which he was visiting while the final version of this paper was completed     

Algebraic properties of Manin matrices 1

We study a class of matrices with noncommutative entries, which were first considered by Yu.I. Manin in 1988 in relation with quantum group theory. They are defined as “noncommutative endomorphisms” of a polynomial algebra. More explicitly their defining conditions read: (1) elements in the same column commute; (2) commutators of the cross terms are equal: [M_ij,M_kl]=[M_kj,M_il] (e.g. [M₁₁,M₂₂]=[M₂₁,M₁₂]). The basic claim is that despite noncommutativity many theorems of linear algebra hold true for Manin matrices in a form identical to that of the commutative case. Moreover in some examples the converse is also true, that is, Manin matrices are the most general class of matrices such that linear algebra holds true for them. The present paper gives a complete list and detailed proofs of algebraic properties of Manin matrices known up to the moment; many of them are new. In particular we provide complete proofs that an inverse to a Manin matrix is again a Manin matrix and for the Schur formula for the determinant of a block matrix; we generalize the noncommutative Cauchy–Binet formulas discovered recently arXiv:0809.3516, which includes the classical Capelli and related identities. We also discuss many other properties, such as the Cramer formula for the inverse matrix, the Cayley–Hamilton theorem, Newton and MacMahon–Wronski identities, Plücker relations, Sylvester's theorem, the Lagrange–Desnanot–Lewis Carroll formula, the Weinstein–Aronszajn formula, some multiplicativity properties for the determinant, relations with quasideterminants, calculation of the determinant via Gauss decomposition, conjugation to the second normal (Frobenius) form, and so on and so forth. Finally several examples and open question are discussed. We refer to [A. Chervov, G. Falqui, Manin matrices and Talalaev's formula, J. Phys. A 41 (2008) 194006; V. Rubtsov, A. Silantiev, D. Talalaev, Manin matrices, elliptic commuting families and characteristic polynomial of quantum gl_n elliptic Gaudin model, in press] for some applications in the realm of quantum integrable systems.     

Algebraic properties of discrete box splines

The central objective of this paper is to discuss linear independence of translates of discrete box splines which we introduced earlier as a device for the fast computation of multivariate splines. The results obtained here allow us to draw conclusions about the structure of such discrete splines which have, in particular, applications to counting the number of nonnegative integer solutions of linear diophantine equations.     

Algebraic properties of compatible Poisson brackets

We discuss algebraic properties of a pencil generated by two compatible Poisson tensors A(x) and B(x). From the algebraic viewpoint this amounts to studying the properties of a pair of skew-symmetric bilinear forms A and B defined on a finite-dimensional vector space. We describe the Lie group G _P of linear automorphisms of the pencil P = {A + λB}. In particular, we obtain an explicit formula for the dimension of G _P and discuss some other algebraic properties such as solvability and Levi-Malcev decomposition.     

Algebraic properties of separated power series

We study the commutative algebra of rings of separated power series over a ring E and that of their extensions: rings of separated (and more specifically convergent) power series from a field K with a separated E-analytic structure. Both of these collections of rings already play an important role in the model theory of non-Archimedean valued fields and we establish their algebraic properties. This will make a study of the analytic geometry over such fields through the classical methods of algebraic geometry possible.