One Class Genera of Lattice Chains Over Number Fields

In [1], Borel discussed discrete arithmetic groups arising from quaternion algebras over number fields with particular reference to arithmetic Kleinian and arithmetic Fuchsian groups. In these cases, he described, in each commensurability class, a class of groups which contains all maximal groups. Developing results on embedding commutative orders of the defining number field into maximal or Eichler orders in the defining quaternion algebra, Chinburg and Friedman [2] stated necessary and sufficient conditions for the existence of torsion in this class of groups in terms of the defining arithmetic data. This was more fully explored in the case of Kleinian groups in [3]. In the case of Fuchsian groups, these results on the existence of torsion were extended to obtain formulas for the number of conjugacy classes of finite cyclic subgroups for each group in this class [8, 9]. In this paper, we examine, across the range of arithmetic Fuchsian groups, how widespread torsion is in maximal Fuchsian groups. Some studies in low genus cases (see e.g. [7, 12]) indicate that 2-torsion is very prevalent. The results obtained here substantiate that but we will also obtain maximal arithmetic Fuchsian groups which are torsion-free. The author is grateful to Alan Reid for conversations on parts of this paper.

Generalization of the algebraic method of group classification with application to nonlinear wave and elliptic equations

An algebraic description of basic discrete symmetries (space reversal P, time reversal T, and their combination PT) is studied. Discrete subgroups of orthogonal groups of multidimensional spaces over the fields of real and complex numbers are considered in terms of fundamental automorphisms of Clifford algebras. In accordance with a division ring structure, a complete classification of automorphism groups is established for the Clifford algebras over the field of real numbers. The correspondence between eight double coverings (Dąbrowski groups) of the orthogonal group and eight types of the real Clifford algebras is defined with the use of isomorphisms between the automorphism groups and finite groups. Over the field of complex numbers there is a correspondence between two nonisomorphic double coverings of the complex orthogonal group and two types of complex Clifford algebras. It is shown that these correspondences associate with a well-known Atiyah–Bott–Shapiro periodicity. Generalized Brauer–Wall groups are introduced on the extended sets of the Clifford algebras. The structure of the inequality between the two Clifford–Lipschitz groups with mutually opposite signatures is elucidated. The physically important case of the two different double coverings of the Lorentz groups is considered in details.

The work of Nikulin and Agol, Belolipetsky, Storm, and Whyte shows that only finitely many number fields may serve as the field of definition of an arithmetic hyperbolic reflection group. An important problem posed by Nikulin is to enumerate these fields and their degrees. In this paper we prove that in dimension 2 the degree of these fields is at most 7. More generally we prove that the degree of the field of definition of the quaternion algebra associated to an arithmetic Fuchsian group of genus 0 is at most 7, confirming a conjecture of Long, Maclachlan and Reid. We also obtain upper bounds for the discriminants of these fields of definition, allowing for an enumeration which should be useful for the classification of arithmetic hyperbolic reflection groups.

Let X X be a smooth curve over a finite field of characteristic p p , let E E be a number field, and let L = { L λ } \mathbf {L} = \{\mathcal {L}_\lambda \} be an E E -compatible system of lisse sheaves on the curve X X . For each place λ \lambda of E E not lying over p p , the λ \lambda -component of the system L \mathbf {L} is a lisse E λ E_\lambda -sheaf L λ \mathcal {L}_\lambda on X X , whose associated arithmetic monodromy group is an algebraic group over the local field E λ E_\lambda . We use Serre’s theory of Frobenius tori and Lafforgue’s proof of Deligne’s conjecture to show that when the E E -compatible system L \mathbf {L} is semisimple and pure of some integer weight, the isomorphism type of the identity component of these monodromy groups is “independent of λ \lambda ”. More precisely, after replacing E E by a finite extension, there exists a connected split reductive algebraic group G 0 G_0 over the number field E E such that for every place λ \lambda of E E not lying over p p , the identity component of the arithmetic monodromy group of L λ \mathcal {L}_\lambda is isomorphic to the group G 0 G_0 with coefficients extended to the local field E λ E_\lambda .

We investigate sections of the arithmetic fundamental groups of hyperbolic curves over function fields. As a consequence we prove that the anabelian section conjecture of Grothendieck holds over all finitely generated fields over \mathbb Q if it holds over all number fields, under the condition of finiteness (of the \mathcal l -primary parts) of certain Shafarevich–Tate groups. We also prove that if the section conjecture holds over all number fields then it holds over all finitely generated fields for curves which are defined over a number field.

This paper is concerned with the variable-coefficient Gardner (vc-Gardner) types of equations, which arise in fluid dynamics, nonlinear lattice and plasma physics. As its special cases, the generalized cylindrical KdV types of equations are considered simultaneously. By using the combination of Painleve analysis and Lie group classification method, the integrable conditions, Backlund transformations and complete group classifications of the vc-Gardner types of equations are obtained. Then, the exact solutions generated from the Painleve analysis and symmetry reductions are investigated.

Transformation properties of a class of generalized Kawahara equations with time-dependent coefficients are studied. We construct the equivalence groupoid of the class and prove that this class is not normalized but can be presented as a union of two disjoint normalized subclasses. Using the obtained results and properly gauging the arbitrary elements of the class, we carry out its complete group classification, which covers gaps in the previous works on the subject.

Let G be a reductive algebraic group over Q and Γ⊂G(Q) an arithmetic subgroup. Let K∞⊂G(R) be a maximal compact subgroup. We study the asymptotic behavior of the counting functions of the cuspidal and residual spectrum, respectively, of the regular representation of G(R) in L2(Γ﹨G(R)) of a fixed K∞-type σ. A conjecture, which is due to Sarnak, states that the counting function of the cuspidal spectrum of type σ satisfies Weyl's law and the residual spectrum is of lower order growth. Using the Arthur trace formula we reduce the conjecture to a problem about L-functions occurring in the constant terms of Eisenstein series. If G satisfies property (L), introduced by Finis and Lapid, we establish the conjecture. This includes classical groups over a number field.

The purpose of this paper is a classification of the non-geometric sharp permutation groups of type [Formula: see text]. This, together with the work of Maund on geometric groups, yields a complete classification of sharp permutation groups of type [Formula: see text].

We prove that the number of unimodular integral n × n matrices in a norm ball whose characteristic polynomial has Galois group different than the full symmetric group Sn is of strictly lower order of magnitude than the number of all such matrices in the ball, as the radius increases. More generally, we prove a similar result for the Galois groups associated with elements in any connected semisimple linear algebraic group defined and simple over a number field F . Our method is based on the abstract large sieve method developed by Kowalski, and the study of Galois groups via reductions modulo primes developed by Jouve, Kowalski and Zywina. The two key ingredients are a uniform quantitative lattice point counting result, and a non-concentration phenomenon for lattice points in algebraic subvarieties of the group variety, both established previously by the authors. The results answer a question posed by Rivin and by Jouve, Kowalski and Zywina, who have considered Galois groups of random products of elements in algebraic groups.

Given an abelian variety over a number field, its Sato–Tate group is a compact Lie group which conjecturally controls the distribution of Euler factors of the L L -function of the abelian variety. It was previously shown by Fité, Kedlaya, Rotger, and Sutherland that there are 52 groups (up to conjugation) that occur as Sato–Tate groups of abelian surfaces over number fields; we show here that for abelian threefolds, there are 410 possible Sato–Tate groups, of which 33 are maximal with respect to inclusions of finite index. We enumerate candidate groups using the Hodge-theoretic construction of Sato–Tate groups, the classification of degree-3 finite linear groups by Blichfeldt, Dickson, and Miller, and a careful analysis of Shimura’s theory of CM types that rules out 23 candidate groups; we cross-check this using extensive computations in GAP, SageMath, and Magma. To show that these 410 groups all occur, we exhibit explicit examples of abelian threefolds realizing each of the 33 maximal groups; we also compute moments of the corresponding distributions and numerically confirm that they are consistent with the statistics of the associated L L -functions.

Let G be a finite group and let p be a prime. In this paper, we classify all finite quasisimple groups in which the degrees of all irreducible p-Brauer characters are prime powers. As an application, for a fixed odd prime p, we classify all finite nonsolvable groups with the above-mentioned property and having no nontrivial normal p-subgroups. Furthermore, for an arbitrary prime p, a complete classification of finite groups in which the degrees of all nonlinear irreducible p-Brauer characters are primes is also obtained.

Classification of free actions of finite groups on the 3-torus

We characterize isometric actions on compact Kaehler manifolds admitting a Lagrangian orbit, describing under which condition the Lagrangian orbit is unique. We furthermore give the complete classification of simple groups acting on the complex projective space with a Lagrangian orbit, and we give the explicit list of these orbits.