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.     

Quantum integrable systems and differential Galois theory

This paper is devoted to a systematic study of quantum completely integrable systems (i.e., complete systems of commuting differential operators) from the point of view of algebraic geometry. We investigate the eigenvalue problem for such systems and the correspondingD-module when the eigenvalues are in generic position. In particular, we show that the differential Galois group of this eigenvalue problem is reductive at generic eigenvalues. This implies that a system is algebraically integrable (i.e., its eigenvalue problem is explicitly solvable in quadratures) if and only if the differential Galois group is commutative for generic eigenvalues. We apply this criterion of algebraic integrability to two examples: finite-zone potentials and the elliptic Calogero-Moser system. In the second example, we obtain a proof of the Chalyh-Veselov conjecture that the Calogero-Moser system with integer parameter is algebraically integrable, using the results of Felder and Varchenko.     

New classes of parameterized differential Galois groups

This paper is on the inverse parameterized differential Galois problem. We show that surprisingly many groups do not occur as parameterized differential Galois groups over K(x) even when K is algebraically closed. We then combine the method of patching over fields with a suitable version of Galois descent to prove that certain groups do occur as parameterized differential Galois groups over k((t))(x). This class includes linear differential algebraic groups that are generated by finitely many unipotent elements and also semisimple connected linear algebraic groups.

     

Difference Galois theory of linear differential equations

We develop a Galois theory for linear differential equations equipped with the action of an endomorphism. This theory is aimed at studying the difference algebraic relations among the solutions of a linear differential equation. The Galois groups here are linear difference algebraic groups, i.e., matrix groups defined by algebraic difference equations.     

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.     

Realizability of algebraic Galois extensions by strictly commutative ring spectra

We discuss some of the basic ideas of Galois theory for commutative -algebras originally formulated by John Rognes. We restrict our attention to the case of finite Galois groups and to global Galois extensions.

We describe parts of the general framework developed by Rognes. Central rôles are played by the notion of strong duality and a trace mapping constructed by Greenlees and May in the context of generalized Tate cohomology. We give some examples where algebraic data on coefficient rings ensures strong topological consequences. We consider the issue of passage from algebraic Galois extensions to topological ones by applying obstruction theories of Robinson and Goerss-Hopkins to produce topological models for algebraic Galois extensions and the necessary morphisms of commutative -algebras. Examples such as the complex -theory spectrum as a -algebra indicate that more exotic phenomena occur in the topological setting. We show how in certain cases topological abelian Galois extensions are classified by the same Harrison groups as algebraic ones, and this leads to computable Harrison groups for such spectra. We end by proving an analogue of Hilbert's theorem 90 for the units associated with a Galois extension.

     

The differential Galois theory of strongly normal extensions

Differential Galois theory, the theory of strongly normal extensions, has unfortunately languished. This may be due to its reliance on Kolchin's elegant, but not widely adopted, axiomatization of the theory of algebraic groups. This paper attempts to revive the theory using a differential scheme in place of those axioms. We also avoid using a universal differential field, instead relying on a certain tensor product.

We identify automorphisms of a strongly normal extension with maximal differential ideals of this tensor product, thus identifying the Galois group with the closed points of an affine differential scheme. Moreover, the tensor product has a natural coring structure which translates into the Galois group operation: composition of automorphisms.

This affine differential scheme splits, i.e. is obtained by base extension from a (not differential, not necessarily affine) group scheme. As a consequence, the Galois group is canonically isomorphic to the closed, or rational, points of a group scheme defined over constants. We obtain the fundamental theorem of differential Galois theory, giving a bijective correspondence between subgroup schemes and intermediate differential fields.

On the way to this result we study certain aspects of differential algebraic geometry, e.g. closed immersions, products, local ringed space of constants, and split differential schemes.

     

Tannakian duality for Anderson–Drinfeld motives and algebraic independence of Carlitz logarithms

We develop a theory of Tannakian Galois groups for t-motives and relate this to the theory of Frobenius semilinear difference equations. We show that the transcendence degree of the period matrix associated to a given t-motive is equal to the dimension of its Galois group. Using this result we prove that Carlitz logarithms of algebraic functions that are linearly independent over the rational function field are algebraically independent. Mathematics Subject Classification (2000) Primary: 11J93; Secondary: 11G09, 12H10, 14L17     

Lie symmetries and differential Galois groups of linear equations

For a linear ordinary differential equation the Lie algebra of its infinitesimal Lie symmetries is compared with its differential Galois group. For this purpose an algebraic formulation of Lie symmetries is developed. It turns out that there is no direct relation between the two above objects. In connection with this a new algorithm for computing the Lie symmetries of a linear ordinary differential equation is presented.     

Algebraic groups and automorphisms of finite simple Chevalley groups

Using the vanishing of Galois cohomology of algebraic groups defined over finite fields, due to S. Lang, we further our study of the splitting properties of the automorphism groups of finite Chevalley groups. We show that under suitable restrictions on the base fields there are no complements for the inner automorphism groups in the automorphism groups of Chevalley groups. The results are somewhat complementary to the author's work on the same problem, in another paper.     

Applications to cryptography of twisting commutative algebraic groups

We give an overview on twisting commutative algebraic groups and applications to discrete log-based cryptography. We explain how discrete log-based cryptography over extension fields can be reduced to cryptography in primitive subgroups. Primitive subgroups in turn are part of a general theory of tensor products of commutative algebraic groups and Galois modules (or twists of commutative algebraic groups), and this underlying mathematical theory can be used to shed light on discrete log-based cryptosystems. We give a number of concrete examples, to illustrate the definitions and results in an explicit way.     

A note on Higgs-de Rham flows of level zero

The notion of Higgs-de Rham flows was introduced by Lan et al.(2019), as an analogue of YangMills-Higgs flows in the complex nonabelian Hodge theory. In this paper we investigate a small part of this theory, and study those Higgs-de Rham flows which are of level zero. We improve the original definition of level-zero Higgs-de Rham flows(which works for general levels), and establish a Hitchin-Simpson type correspondence between such objects and certain representations of fundamental groups in positive characteristic,which generalizes a classical results of Katz(1973). We compare the deformation theories of two sides in the correspondence, and translate the Galois action on the geometric fundamental groups of algebraic varieties defined over finite fields into the Higgs side.     

On the computation of resolvents and Galois groups

A large class of algorithms for computing resolvents of algebraic equations — so called rational transformations — is investigated and characterized group theoretically. The concept of rational transformations implies a program how to develop good methods to determine the Galois group of an equation. It is shown that some known methods are special cases of rational transformations, and a new procedure to find the group of a sextic equation is given. Moreover, all cases in which Galois resolvents can be found by means of rational transformations are classified.     

Isomonodromic differential equations and differential categories

We study isomonodromicity of systems of parameterized linear differential equations and related conjugacy properties of linear differential algebraic groups by means of differential categories. We prove that isomonodromicity is equivalent to isomonodromicity with respect to each parameter separately under a filtered-linearly closed assumption on the field of functions of parameters. Our result implies that one does not need to solve any non-linear differential equations to test isomonodromicity anymore. This result cannot be further strengthened by weakening the requirement on the parameters as we show by giving a counterexample. Also, we show that isomonodromicity is equivalent to conjugacy to constants of the associated parameterized differential Galois group, extending a result of P. Cassidy and M. Singer, which we also prove categorically. We illustrate our main results by a series of examples, using, in particular, a relation between the Gauss–Manin connection and parameterized differential Galois groups.     

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.     

Galois groups over complete valued fields

We propose an elementary algebraic approach to the patching of Galois groups. We prove that every finite group is regularly realizable over the field of rational functions in one variable over a complete discrete valued field. Partially supported by NSF grant DMS 9306479.     

2-Filteredness and The Point of Every Galois Topos

A connected locally connected topos is a Galois topos if the Galois objects generate the topos. We show that the full subcategory of Galois objects in any connected locally connected topos is an inversely 2-filtered 2-category, and as an application of the construction of 2-filtered bi-limits of topoi, we show that every Galois topos has a point.     

Quadratic transform of complete ideals in regular local rings

In an upcoming article we study harmonic analysis on the quantum E(2) group within an algebraic framework: we explicitly construct Fourier transforms between quantum E(2) and its Pontryagin dual, involving q-Bessel functions as kernel, prove Plancherel &; inversion formulas etc. In the present paper we propose an algebraic setting in which to perform harmonic analysis on non-compact, non-discrete quantum groups and in particular on quantum E(2). We are mainly concerned with the construction of positive and faithful invariant functionals on an algebraic level, KMS properties, etc.     

A conjecture on arithmetic fundamental groups

The conjecture is the following: Over an algebraic variety over a finite field, the geometric monodromy group of every smooth is finite. We indicate how to prove this for rank 2, using results of Drinfeld. We also show that the conjecture implies that certain deformation rings of Galois representations are complete intersection rings. This material is based upon work supported by the National Science Foundation under Grant No. 9970049.