Explicit determination of images of Galois representations attached to Hilbert modular forms

In a previous paper the second author proved that the image of the Galois representation modulo λ attached to a Hilbert modular newform is “large” for all but finitely many primes λ, if the newform is not a theta series. In this brief note, we give an explicit bound for this exceptional finite set of primes and determine the images in three different examples. Our examples are of Hilbert newforms on real quadratic fields, of parallel or non-parallel weight and of different levels.     

Galois Stability, Integrality and Realization Fields for Representations of Finite Abelian Groups

For a given field F of characteristic 0 we consider a normal extension E/F of finite degree d and finite Abelian subgroups GGL _n (E) of a given exponent t. We assume that G is stable under the natural action of the Galois group of E/F and consider the fields E=F(G) that are obtained via adjoining all matrix coefficients of all matrices gG to F. It is proved that under some reasonable restrictions for n, any E can be realized as F(G), while if all coefficients of matrices in G are algebraic integers, there are only finitely many fields E=F(G) for prescribed integers n and t or prescribed n and d.     

Lifting Galois representations over arbitrary number fields

It is proved that every two-dimensional residual Galois representation of the absolute Galois group of an arbitrary number field lifts to a characteristic zero p-adic representation, if local lifting problems at places above p are unobstructed.     

Geometric families of 4-dimensional Galois representations with generically large images

We study compatible families of four-dimensional Galois representations constructed in the étale cohomology of a smooth projective variety. We prove a theorem asserting that the images will be generically large if certain conditions are satisfied. We only consider representations with coefficients in an imaginary quadratic field. We apply our result to an example constructed by Jasper Scholten (A non-selfdual 4-dimensional Galois representation, , 1999), obtaining a family of linear groups and one of unitary groups as Galois groups over . Research partially supported by MEC grant MTM2006-04895.     

A Note on Regular Crossed Products and Galois Representations

A crossed product representing an associative finite dimensional central simple algebra over a field is called regular if all values of the corresponding cocycle are roots of unity. Under a certain assumption such a crossed product is shown to allow the construction of Galois representations. The case of number fields is investigated more closely and several examples are discussed.     

Central Pairs, Galois Theory and Automorphic Forms

A central pair over a field k of characteristic 0 consists of a finite Abelian group which is equipped with a central 2-cocycle with values in the multiplicative group k ^* of k. In this paper we use specific central pairs to construct a class of projective representations of the absolute Galois group G _k of k and if k is a number field we investigate the liftings of these projective representations to linear representations of G _k . In particular we relate these linear representations to automorphic representations. It turns out that some of these automorphic representations correspond to certain indefinite modular forms already constructed by E. Hecke.     

Massless Elementary Particles in a Quantum Theory over a Galois Field

We consider massless elementary particles in a quantum theory based on a Galois field (GFQT). We previously showed that the theory has a new symmetry between particles and antiparticles, which has no analogue in the standard approach. We now prove that the symmetry is compatible with all operators describing massless particles. Consequently, massless elementary particles can have only half-integer spin (in conventional units), and the existence of massless neutral elementary particles is incompatible with the spin–statistics theorem. In particular, this implies that the photon and the graviton in the GFQT can only be composite particles.     

Applications of versal deformations to Galois theory

In this paper we study which solutions to an embedding problem can be constructed using a versal deformation of a group representation over an algebraically closed field of positive characteristic. This question reduces (at least stably) to finding which representations of finite groups have faithful versal deformations. We determine exactly when a versal deformation of a representation of a finite group is faithful in case the representation belongs to a cyclic block and its endomorphisms are given by scalar multiplications. Received: January 30, 2001     

δ-BiHom-Jordan-李超代数的表示

本文研究δ-BiHom-Jordan-李超代数的表示.特别是详细地研究δ-BiHom-Jordan-李超代数的伴随表示、平凡表示、形变.作为应用,还讨论δ-BiHom-Jordan-李代数的导子.     

An invariant for quadratic forms valued in Galois Rings of characteristic 4

We introduce an invariant for nonsingular quadratic forms that take values in a Galois Ring of characteristic 4. This notion extends the invariant in ${\mathbb{Z}}_8$ for ${\mathbb{Z}}_4$-valued quadratic forms defined by Brown [E.H. Brown, Generalizations of the Kervaire invariant, Ann. of Math. (2) 95 (2) (1972) 368–383] and studied by Wood [J.A. Wood, Witt's extension theorem for mod four valued quadratic forms, Trans. Amer. Math. Soc. 336 (1) (1993) 445–461]. It is defined in the associated Galois Ring of characteristic 8. Nonsingular quadratic forms are characterized by their invariant and the type of the associated bilinear form (alternating or not).     

Cocycle deformations and Galois objects of semisimple Hopf algebras of dimension 16

Abstract

In this article, we determine cocycle deformations and Galois objects of non-commutative and non-cocommutative semisimple Hopf algebras of dimension 16. We show that these Hopf algebras are pairwise twist inequivalent mainly by calculating their higher Frobenius-Schur indicators, and that except three Hopf algebras which are cocycle deformations of dual group algebras, none of them admit non-trivial cocycle deformations.     

Universal sums of three quadratic polynomials

Let a,b,c,d,e and f be integers with a≥ c≥ e> 0,b>-a and b≡a(mod 2),d>-c and d≡c(mod 2),f>-e and f≡e(mod 2).Suppose that b≥d if a=c,and d≥f if c=e.When b(a-b),d(c-d) and f(e-f) are not all zero,we prove that if each n∈N={0,1,2,...} can be written as x(ax+b)/2+y(cy+d)/2+z(ez+f)/2 with x,y,z∈N then the tuple(a,b,c,d,e,f) must be on our list of 473 candidates,and show that 56 of them meet our purpose.When b∈[0,a),d∈[0,c) and f∈[0,e),we investigate the universal tuples(a,b,c,d,e,f) over Z for which any n∈N can be written as x(ax+b)/2+y(cy+d)/2+z(ez+f)/2 with x,y,z∈Z,and show that there are totally 12,082 such candidates some of which are proved to be universal tuples over Z.For example,we show that any n∈N can be written as x(x+1)/2+y(3y+1)/2+z(5z+1)/2 with x,y,z∈Z,and conjecture that each n∈N can be written as x(x+1)/2+y(3y+1)/2+z(5z+1)/2 with x,y,z∈N.     

Rational Structure of X(N) over Qand Explicit Galois Action on CM Points

This paper reviews a less known rational structure on the Siegel modular variety X(N) = Γ(N)\H_g over Q for integers g, N ≥ 1. The author then describes explicitly how Galois groups act on CM points on this variety. Finally, another proof of the Shimura reciprocity law by using the result and the q-expansion principle is given.     

Localization of Universal Problems. Local Colimits

The notion of the root of the category, which is a minimal (in a precise sense) weakly coreflective subcategory, is introduced in view of defining local solutions of universal problems: If U is a functor from C to C and c an object of C, the root of the comma-category c|U is called a U-universal root generated by c; when it exists, it is unique (up to isomorphism) and determines a particular form of the locally free diagrams defined by Guitart and Lair. In this case, the analogue of an adjoint functor is an adjoint-root functor of U, taking its values in the category of pro-objects of C. Local colimits are obtained if U is the insertion from a category into its category of ind-objects; they generalize Diers' multicolimits. Applications to posets and Galois theory are given.     

Galois averages

In this paper, we introduce a notion of “Galois average” which allows us to give a suitable answer to the question: how can one extend a finite Galois extension E/F by a prime degree extension N/E to get a Galois extension N/F? Here, N/E is not necessarily a Kummer extension.     

The Generalized Center Galois Extensions of Rings

Let B be a ring with 1, C the center of B, G a finite automorphism group of B, and I_i = {c - g_i(c) | c C} for each g_i G. Then, B is called a center Galois extension with Galois group G if BI_i = B for each g_i 1 in G, and a weak center Galois extension with group G if BI_i = Be_i for some nonzero idempotent e_i in C for each g_i 1 in G. When e_i is a minimal element in the Boolean algebra generated by {e_i | g_i G} Be_i is a center Galois extension with Galois group H_i for some subgroup H_i of G. Moreover, the central Galois algebra B(1 – e_i) is characterized when B is a Galois algebra with Galois group G.AMS Subject Classification (1991): 16S35 16W20Supported by a Caterpillar Fellowship, Bradley University, Peoria, Illinois, USA. We would like to thank Caterpillar Inc. for their support.     

The Invariant Subrings of an Azumaya Galois Extension

Let B be an Azumaya Galois extension or a DeMeyer-Kanzaki Galois extension with Galois group G. Equivalent conditions are given for a separable subextension of a Galois extension in the skew group ring B * G being an invariant subring of a subgroup of the Galois group G.AMS Subject Classification (2000): 16S35, 16W20.