Algebraic geometry of Gaussian Bayesian networks

Conditional independence models in the Gaussian case are algebraic varieties in the cone of positive definite covariance matrices. We study these varieties in the case of Bayesian networks, with a view towards generalizing the recursive factorization theorem to situations with hidden variables. In the case when the underlying graph is a tree, we show that the vanishing ideal of the model is generated by the conditional independence statements implied by graph. We also show that the ideal of any Bayesian network is homogeneous with respect to a multigrading induced by a collection of upstream random variables. This has a number of important consequences for hidden variable models. Finally, we relate the ideals of Bayesian networks to a number of classical constructions in algebraic geometry including toric degenerations of the Grassmannian, matrix Schubert varieties, and secant varieties.     

Additive Hilbert's Theorem 90 in the ring of algebraic integers

For a number field K, we give a complete characterization of algebraic numbers which can be expressed by a difference of two K-conjugate algebraic integers. These turn out to be the algebraic integers whose Galois group contains an element, acting as a cycle on some collection of conjugates which sum to zero. Hence there are no algebraic integers which can be written as a difference of two conjugate algebraic numbers but cannot be written as a difference of two conjugate algebraic integers. A generalization of the construction to a commutative ring is also given. Furthermore, we show that for n ?_ 3 there exist algebraic integers which can be written as a linear form in n K-conjugate algebraic numbers but cannot be written by the same linear form in K-conjugate algebraic integers.     

Enhanced Symmetry Analysis of Two-Dimensional Burgers System

We carry out enhanced symmetry analysis of a two-dimensional Burgers system. The complete point symmetry group of this system is found using an enhanced version of the algebraic method. Lie reductions of the Burgers system are comprehensively studied in the optimal way and new Lie invariant solutions are constructed. We prove that this system admits no local conservation laws and then study hidden conservation laws, including potential ones. Various kinds of hidden symmetries (continuous, discrete and potential ones) are considered for this system as well. We exhaustively describe the solution subsets of the Burgers system that are its common solutions with its inviscid counterpart and with the two-dimensional Navier–Stokes equations. Using the method of differential constraints, which is particularly efficient for the Burgers system, we construct a number of wide families of solutions of this system that are expressed in terms of solutions of the (\(1+1\))-dimensional linear heat equation although they are not related to the well-known linearizable solution subset of the Burgers system.

     

Automorphism groups of polycyclic-by-finite groups and arithmetic groups

We show that the outer automorphism group of a polycyclic-by-finite group is an arithmetic group. This result follows from a detailed structural analysis of the automorphism groups of such groups. We use an extended version of the theory of the algebraic hull functor initiated by Mostow. We thus make applicable refined methods from the theory of algebraic and arithmetic groups. We also construct examples of polycyclic-by-finite groups which have an automorphism group which does not contain an arithmetic group of finite index. Finally we discuss applications of our results to the groups of homotopy self-equivalences of K(Γ,1)-spaces and obtain an extension of arithmeticity results of Sullivan in rational homotopy theory.     

Splitting fields of characteristic polynomials of random elements in arithmetic groups

We discuss rather systematically the principle, implicit in earlier works, that for a “random” element in an arithmetic subgroup of a (split, say) reductive algebraic group over a number field, the splitting field of the characteristic polynomial, computed using any faitfhful representation, has Galois group isomorphic to the Weyl group of the underlying algebraic group. Besides tools such as the large sieve, which we had already used, we introduce some probabilistic ideas (large deviation estimates for finite Markov chains) and the general case involves a more precise understanding of the way Frobenius conjugacy classes are computed for such splitting fields (which is related to a map between regular elements of a finite group of Lie type and conjugacy classes in the Weyl group which had been considered earlier by Carter and Fulman for other purposes; we show in particular that the values of this map are equidistributed).     

On the quantum groups and semigroups of maps between noncommutative spaces

We define algebraic families of (all) morphisms which are purely algebraic analogs of quantum families of (all) maps introduced by P. M. So?tan. Also, algebraic families of (all) isomorphisms are introduced. By using these notions we construct two classes of Hopf-algebras which may be interpreted as the quantum group of all maps from a finite space to a quantum group, and the quantum group of all automorphisms of a finite noncommutative (NC) space. As special cases three classes of NC objects are introduced: quantum group of gauge transformations, Pontryagin dual of a quantum group, and Galois-Hopf-algebra of an algebra extension.     

On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond

We study finitely generated free Heyting algebras from a topological and from a model theoretic point of view. We review Bellissima’s representation of the finitely generated free Heyting algebra; we prove that it yields an embedding in the profinite completion, which is also the completion with respect to a naturally defined metric. We give an algebraic interpretation of the Kripke model used by Bellissima as the principal ideal spectrum and show it to be first order interpretable in the Heyting algebra, from which several model theoretic and algebraic properties are derived. In particular, we prove that a free finitely generated Heyting algebra has only one set of free generators, which is definable in it. As a consequence its automorphism group is the permutation group over its generators.     

On Singerman symmetries of a class of Belyi Riemann surfaces

By virtue of the Belyi Theorem an algebraic curve can be defined over the algebraic numbers if and only if the corresponding Riemann surface can be uniformized by a subgroup of a Fuchsian triangle group. Such surfaces are known as Belyi surfaces and an important class of them consists of Riemann surfaces having the so-called large group of automorphisms. Necessary and sufficient algebraic conditions for these surfaces to be symmetric were found by Singerman in the middle of the seventies and, by a recent result of Köck and Singerman, the algebraic numbers above can be chosen to be real if and only if the respective surface is symmetric. The aim of this paper is to give, in similar terms, the formulas for the number of ovals of the corresponding symmetries, which we refer to as the Singerman symmetries.     

Complex algebraic plane curves via Poincaré-Hopf formula. II. Annuli

We give a complete classification of algebraic curves in ℂ² which are homeomorphic with ℂ* and which satisfy a certain natural condition about codimensions of its singularities. In the proof we use the method developed in [BZI]. It relies on estimation of certain invariants of the curve, the so-called numbers of double points hidden at singularities and at infinity. The sum of these invariants is given by the Poincaré-Hopf formula applied to a suitable vector field.     

Quantum double constructions for compact quantum group

For a non-degenerate pair of compact quantum groups, we first construct the quantum double as an algebraic compact quantum group in an algebraic framework. Then by adopting some completion procedure, we give the universal and reduced quantum double constructions in the correspondence C＊-algebraic settings, which generalize Drinfeld＇s quantum double construction and yield new C＊-algebraic compact quantum groups.     

From Lie algebras of vector fields to algebraic group actions

The action of an affine algebraic group G on an algebraic variety V can be differentiated to a representation of the Lie algebra L(G) of G by derivations on the sheaf of regular functions on V . Conversely, if one has a finite-dimensional Lie algebra L and a homomorphism ρ : L → Der_K(K[U]) for an affine algebraic variety U, one may wonder whether it comes from an algebraic group action on U or on a variety V containing U as an open subset. In this paper, we prove two results on this integration problem. First, if L acts faithfully and locally finitely on K[U], then it can be embedded in L(G), for some affine algebraic group G acting on U, in such a way that the representation of L(G) corresponding to that action restricts to ρ on L. In the second theorem, we assume from the start that L = L(G) for some connected affine algebraic group G and show that some technical but necessary conditions on ρ allow us to integrate ρ to an action of G on an algebraic variety V containing U as an open dense subset. In the interesting cases where L is nilpotent or semisimple, there is a natural choice for G, and our technical conditions take a more appealing form.     

Realizability of a braid monodromy by an algebraic function in a disk

A braid is called algebraic if it is conjugated to the local braid of an algebraic function at a singular point. It is shown that any homomorphism of a free group into a braid group which takes each generator to an algebraic braid, can be realized as the braid monodromy of an algebraic function in a disk.     

Group theoretic properties of Rijndael-like ciphers

We provide conditions for which the round functions of an ?-bit Rijndael-like block cipher generate the alternating group on the set {0,1}^?. These conditions show that the class of Rijndael-like ciphers whose round functions generate the alternating group on their message space is large, and includes both the actual Rijndael and the block cipher used by the compression function of the Whirlpool hash function. The result indicates that there is no trapdoor design for a Rijndael-like cipher based on the imprimitivity of the group action of its proper round functions which is difficult to detect.     

Algebraic monoids with affine unit group are affine

In this short paper we prove that any irreducible algebraic monoid whose unit group is an affine algebraic group is affine.     

Algebraic quantum hypergroups

An algebraic quantum group is a regular multiplier Hopf algebra with integrals. In this paper we will develop a theory of algebraic quantum hypergroups. It is very similar to the theory of algebraic quantum groups, except that the comultiplication is no longer assumed to be a homomorphism. We still require the existence of a left and of a right integral. There is also an antipode but it is characterized in terms of these integrals. We construct the dual, just as in the case of algebraic quantum groups and we show that the dual of the dual is the original quantum hypergroup. We define algebraic quantum hypergroups of compact type and discrete type and we show that these types are dual to each other. The algebraic quantum hypergroups of compact type are essentially the algebraic ingredients of the compact quantum hypergroups as introduced and studied (in an operator algebraic context) by Chapovsky and Vainerman.We will give some basic examples in order to illustrate different aspects of the theory. In a separate note, we will consider more special cases and more complicated examples. In particular, in that note, we will give a general construction procedure and show how known examples of these algebraic quantum hypergroups fit into this framework.     

Vector bundles over real algebraic varieties

The object of this paper is to study continuous vector bundles, over real algebraic varieties, admitting an algebraic structure. For large classes of real varieties, we obtain explicit information concerning the Grothendieck group of algebraic vector bundles. We show that in many cases this group is small compared to the corresponding group of continuous vector bundles. These results are used elsewhere to study the geometry of real algebraic varieties.Dedicated to Professor Alexander Grothendieck on the occasion of his 60th birthdaySupported by the NSF Grant DMS-8602672.     

Groups definable in local fields and pseudo-finite fields

Using model-theoretic methods we prove: Theorem A If G is a Nash group over the real or p-adic field, then there is a Nash isomorphism between neighbourhoods of the identity of G and of the set of F-rational points of an algebraic group defined over F. Theorem B Let G be a connected affine Nash group over ℝ. Then G is Nash isogeneous with the (real) connected component of the set of real points of an algebraic group defined over ℝ. Theorem C Let G be a group definable in a pseudo-finite field F. Then G is definably virtually isogeneous with the set of F-rational points of an algebraic group defined over F. Both authors supported by NSF grants.     

On the length of polynomial automorphisms of the affine plane

The automorphism group of the affine plane is a mysterious and challenging object. Although we know that it is an amalgamated product of two well known subgroups, many questions are still unsolved. Moreover, the group has the structure of an infinite-dimensional algebraic group. But the interactions between these two structures are not yet clear. In this paper, we study the length of an element (defined using the amalgamated structure) with respect to the algebraic structure. If the ground field is of characteristic zero, we prove that the length is a lower semicontinuous function on the group. Received: 15 September 1997 / Published online: 18 January 2002