Quotients of absolute Galois groups which determine the entire Galois cohomology

For a prime power q = p ^d and a field F containing a root of unity of order q we show that the Galois cohomology ring H^*(G_F,\mathbbZ/q){H^*(G_F,\mathbb{Z}/q)} is determined by a quotient G_F^[3]{G_F^{[3]}} of the absolute Galois group G _F related to its descending q-central sequence. Conversely, we show that G_F^[3]{G_F^{[3]}} is determined by the lower cohomology of G _F . This is used to give new examples of pro-p groups which do not occur as absolute Galois groups of fields.     

On some questions related to the Gauss conjecture for function fields

We show that, for any finite field Fq, there exist infinitely many real quadratic function fields over Fq such that the numerator of their zeta function is a separable polynomial. As pointed out by Anglès, this is a necessary condition for the existence, for any finite field Fq, of infinitely many real function fields over Fq with ideal class number one (the so-called Gauss conjecture for function fields). We also show conditionally the existence of infinitely many real quadratic function fields over Fq such that the numerator of their zeta function is an irreducible polynomial.     

Semidirect product division algebras

SupposeD is a division algebra of degreep over its centerF, which contains a primitivep-root of 1. Also supposeD has a maximal separable subfield overF whose Galois group is the semidirect product of the cyclic groupsC _p C _q , whereq=2, 3, 4, or 6 and is relatively prime top (In particular this is the case whenp is prime ≤7 andD has a maximal separable subfield whose Galois group is solvable.) ThenD is cyclic. The proof involves developing a theory of a wider class of algebras, which we call accessible, and proving that they are cyclic.     

On recognizability of some finite simple orthogonal groups by spectrum

It is proved that, if G is a finite group that has the same set of element orders as the simple group D _p (q), where p is prime, p ≥ 5 and q ∈ {2, 3, 5}, then the commutator group of G/F(G) is isomorphic to D _p (q), the subgroup F(G) is equal to 1 for q = 5 and to O _q (G) for q ∈ {2, 3}, F(G) ≤ G′, and |G/G′| ≤ 2.     

On the motivic class of the stack of bundles

Let G be a split connected semisimple group over a field. We give a conjectural formula for the motivic class of the stack of G-bundles over a curve C, in terms of special values of the motivic zeta function of C. The formula is true if C=P¹ or G=SLn. If k=C, upon applying the Poincaré or called the Serre characteristic by some authors the formula reduces to results of Teleman and Atiyah-Bott on the gauge group. If k=Fq, upon applying the counting measure, it reduces to the fact that the Tamagawa number of G over the function field of C is |π₁(G)|.     

Group-theoretic constraints on the structure of the class group

Let $\text{K}\text{k}$ be a Galois extension of number fields and G its Galois group. By considering the class group of K as a G module we are able to make assertions about its structure once the class number is known. Applications are made to cyclic cubic fields and the 2-class group of cyclotomic fields.     

On recognizability of some finite simple orthogonal groups by spectrum

It is proved that, if G is a finite group that has the same set of element orders as the simple group D _p (q), where p is prime, p ≥ 5 and q ∈ {2, 3, 5}, then the commutator group of G/F(G) is isomorphic to D _p (q), the subgroup F(G) is equal to 1 for q = 5 and to O _q (G) for q ∈ {2, 3}, F(G) ≤ G′, and |G/G′| ≤ 2.     

On Galois structure of the integers in elementary abelian extensions of local number fields

Let p be an odd prime number and k a finite extension of Qp. Let K/k be a totally ramified elementary abelian Kummer extension of degree p² with Galois group G. We determine the isomorphism class of the ring of integers in K as an oG-module under some assumptions. The obtained results imply there exist extensions whose rings are ZpG-isomorphic but not oG-isomorphic, where Zp is the ring of p-adic integers. Moreover we obtain conditions that the rings of integers are free over the associated orders and give extensions whose rings are not free.     

On the cohomology of Witt vectors of p-adic integers and a conjecture of Hesselholt

Let K be a complete discrete valued field of characteristic zero with residue field kK of characteristic p>0. Let L/K be a finite Galois extension with Galois group G such that the induced extension of residue fields kL/kK is separable. Hesselholt (2004) [2] conjectured that the pro-abelian group {H¹(G,Wn(OL))}_n∈N is zero, where OL is the ring of integers of L and W(OL) is the ring of Witt vectors in OL w.r.t. the prime p. He partially proved this conjecture for a large class of extensions. In this paper, we prove Hesselholt?s conjecture for all Galois extensions.     

Local constancy in families of non-abelian Galois representations

If is a a scheme of finite type over a local field F, and is a proper smooth family, then to each rational point one can assign an extension of the absolute Galois group of F by the geometric fundamental group G of the fibre . If F has uniformiser , and residue characteristic p, we show that the corresponding extension of the absolute Galois group of by the maximal prime to p quotient of G is locally constant in the -adic topology of . We give a similar result in the case of non-proper families, and families over -adic analytic spaces. Received August 14, 1998     

Characterization and recognition of generalized clique-Helly graphs

Let p?1 and q?0 be integers. A family of sets F is (p,q)-intersecting when every subfamily F^′⊆F formed by p or less members has total intersection of cardinality at least q. A family of sets F is (p,q)-Helly when every (p,q)-intersecting subfamily F^′⊆F has total intersection of cardinality at least q. A graph G is a (p,q)-clique-Helly graph when its family of (maximal) cliques is (p,q)-Helly. According to this terminology, the usual Helly property and the clique-Helly graphs correspond to the case p=2,q=1. In this work we present a characterization for (p,q)-clique-Helly graphs. For fixed p,q, this characterization leads to a polynomial-time recognition algorithm. When p or q is not fixed, it is shown that the recognition of (p,q)-clique-Helly graphs is NP-hard.     

The Galois closure of Drinfeld modular towers

In this article we study Drinfeld modular curves X₀(pn) associated to congruence subgroups Γ₀(pn) of GL(2,Fq[T]) where p is a prime of Fq[T]. For n>r>0 we compute the extension degrees and investigate the structure of the Galois closures of the covers X₀(pn)→X₀(pr) and some of their variations. The results have some immediate implications for the Galois closures of two well-known optimal wild towers of function fields over finite fields introduced by Garcia and Stichtenoth, for which the modular interpretation was given by Elkies.     

2-extendability of toroidal polyhexes and Klein-bottle polyhexes

A toroidal polyhex (resp. Klein-bottle polyhex) described by a string (p,q,t) arises from a p×q-parallelogram of a hexagonal lattice by a usual torus (resp. Klein bottle) boundary identification with a torsion t. A connected graph G admitting a perfect matching is k-extendable if |V(G)|≥2k+2 and any k independent edges can be extended to a perfect matching of G. In this paper, we characterize 2-extendable toroidal polyhexes and 2-extendable Klein-bottle polyhexes.     

Factorisation of Lie resolvents

Let G be a group, F a field of prime characteristic p, and V a finite-dimensional FG-module. For each positive integer r, the rth homogeneous component of the free Lie algebra on V is an FG-module called the rth Lie power of V. Lie powers are determined, up to isomorphism, by certain functions Φ^r on the Green ring of FG, called ‘Lie resolvents’. Our main result is the factorisation Φ^pmk=Φ^pm°Φ^k whenever k is not divisible by p. This may be interpreted as a reduction to the key case of p-power degree.     

Large element orders and the characteristic of finite simple symplectic groups

The characteristic of a simple group of Lie type is the characteristic of the field over which this group is defined. Let G = Sp_2n (q), where q = 2 ^k . It is shown that every finite group of Lie type with the same two largest element orders as G has characteristic 2.     

On Groups Generated by Elements of Pirme Order

In the first part of the paper we give a characterization of groups generated by elements of fixed prime order p. In the second part we study the group G _n ^(p) of n × n matrices with the pth power of the determinant equal to 1 over a field F containing a primitive pth root of 1. It is known that the group G _n ⁽²⁾ of n × n matrices of determinant ± 1 over a field F and the group SL _n (F) are generated by their involutions and that each element in these groups is a product of four involutions. We consider some subgroups G of G _n ^(p) and study the following problems: Is G generated by its elements of order p? If so, is every element of G a product of k elements of order p for some fixed integer k? We show that G _n ^(p) and SL _n (F) are generated by their elements of order p and that the bound k exists and is equal to 4. We show that every universal p-Coxeter group has faithful two-dimensional representations over many fields F (including ? and ?). For a universal p-Coxeter group of rank ≥ 2 for p ≥ 3 or of rank ≥ 3 for p = 2 there is no bound k.     

Semisimple metacyclic group algebras

Given a group G of order p ₁ p ₂, where p ₁, p ₂ are primes, and \mathbbF_q\mathbb{F}_{q}, a finite field of order q coprime to p ₁ p ₂, the object of this paper is to compute a complete set of primitive central idempotents of the semisimple group algebra \mathbbF_q[G]\mathbb{F}_{q}[G]. As a consequence, we obtain the structure of \mathbbF_q[G]\mathbb{F}_{q}[G] and its group of automorphisms.     

Partial integrability of Hamiltonian systems with homogeneous potential

In this paper we consider systems with n degrees of freedom given by the natural Hamiltonian function of the form $$ H = \frac{1} {2}p^T Mp + V(q), $$ where q = (q ₁, …, q _n ) ∈ ? ⁿ , p = (p ₁, …, p _n ) ∈ ? ⁿ , are the canonical coordinates and momenta, M is a symmetric non-singular matrix, and V (q) is a homogeneous function of degree k ∈ ?*. We assume that the system admits 1 ? m < n independent and commuting first integrals F ₁, … F _m . Our main results give easily computable and effective necessary conditions for the existence of one more additional first integral F _m+1 such that all integrals F ₁, … F _m+1 are independent and pairwise commute. These conditions are derived from an analysis of the differential Galois group of variational equations along a particular solution of the system. We apply our result analysing the partial integrability of a certain n body problem on a line and the planar three body problem.     

Conjugacy Classes in Sylow p-Subgroups of Finite Chevalley Groups in Bad Characteristic

Let U = U(q) be a Sylow p-subgroup of a finite Chevalley group G = G(q). Röhrle and Goodwin in 2009 determined a parameterization of the conjugacy classes of U, for G of small rank when q is a power of a good prime for G. As a consequence they verified that the number k(U) of conjugacy classes of U is given by a polynomial in q with integer coefficients. In the present paper, we consider the case when p is a bad prime for G. Our motivation is to observe how the situation differs between good and bad characteristics. We obtain a parameterization of the conjugacy classes of U, when G has rank less than or equal to 4, and G is not of type F ₄. In these cases we deduce that k(U) is given by a polynomial in q with integer coefficients; this polynomial is different from the polynomial for good primes.     

Labeling graphs with two distance constraints

Given a graph G and integers p,q,d₁ and d₂, with p>q, d₂>d₁?1, an L(d₁,d₂;p,q)-labeling of G is a function f:V(G)→{0,1,2,…,n} such that |f(u)−f(v)|?p if d_G(u,v)?d₁ and |f(u)−f(v)|?q if d_G(u,v)?d₂. A k-L(d₁,d₂;p,q)-labeling is an L(d₁,d₂;p,q)-labeling f such that max_v∈V(G)f(v)?k. The L(d₁,d₂;p,q)-labeling number ofG, denoted by , is the smallest number k such that G has a k-L(d₁,d₂;p,q)-labeling. In this paper, we give upper bounds and lower bounds of the L(d₁,d₂;p,q)-labeling number for general graphs and some special graphs. We also discuss the L(d₁,d₂;p,q)-labeling number of G, when G is a path, a power of a path, or Cartesian product of two paths.