Representation fields for quaternionic skew-hermitian forms

Given a field K equipped with a set of discrete valuations V , we develop a general theory to relate reduction properties of skew-hermitian forms over a quaternion K -algebra Q to quadratic forms over the function field K(Q) obtained via Morita equivalence. Using this we show that if (K,V) satisfies certain conditions, then the number of K -isomorphism classes of the universal coverings of the special unitary groups of quaternionic skew-hermitian forms that have good reduction at all valuations in V is finite and bounded by a value that depends on size of a quotient of the Picard group of V and the size of the kernel and cokernel of residue maps in Galois cohomology of K with finite coefficients. As a corollary we prove a conjecture of Chernousov, Rapinchuk, Rapinchuk for groups of this type.

There are a lot of arithmetic consequences if a Galois group of a number field is of cohomological dimension ≦ 2 (cf. [Schmidt, J. reine angew. Math. 596: 115–130, 2006], [Schmidt, Doc. Math. 12: 441–471, 2007], [Schmidt, J. reine angew. Math. 640: 203–235, 2010]). But with class field theory we only have an approximate description of the relators of such groups, which makes it difficult to determine the cohomological dimension. There are several criteria (cf. [Labute, Math. 596: 155–182, 2006], [Labute and Mináč, Mild pro-2-groups and 2-extensions of ℚ with restricted ramification, 2009]) on the so called linking numbers to get cd ≦ 2. The techniques in these papers use Lie algebra theory which become much more complicated for pro-2-groups. Here we will give a more simple and direct proof of the same algebraic criteria for a pro-p-group to be of cd ≦ 2 including the case p = 2.

On almost strong approximation for algebraic groups

We shall consider the maximal cyclotomic extension of a finite algebraic number field and its two abelian extensions, the maximal abelian extension and the maximal abelian extension with certain restricted ramification. We shall investigate the structure of these Galois groups with the action of the cyclotomic Galois group.

Structured eigenvalue methods for the computation of corner singularities in 3D anisotropic elastic structures

Residue properties of certain quadratic units

Let X be a subgroup of a group Y. The \\emphinterval (X, Y) is the set of subgroups of Y that contain X including X and Y. By local class field theory the interval (N K/k K*, k*) contains a finite number of norm groups for any finite extension K of a 𝔭-adic number field k. In the present work we investigate the number of norm groups in the interval (N K/k K*, k*) for a given finite extension K/k of algebraic number fields. We prove that if K/k is an extension of prime degree, or of degree n such that the normal closure of K over k has the Galois group isomorphic to A n or S n , then the interval (N K/k K*, k*) contains only the obvious two norm groups. Also, the interval (N K/k K*, k*) contains a finite number of norm groups for any Galois extension of degree 4, and there are extensions with Galois groups order 8 for which the corresponding intervals contain a finite number of norm groups. The main theorem in our earlier work states that the interval (N K/k K*, k*) contains infinitely many norm groups for any Galois extension of even degree that is not a 2-extension, the so-called 2𝔫-\\emphextensions. In the present work we generalize the main theorem to non-Galois 2𝔫-extensions K/k, and determine some subintervals of (N K/k K*, k*) that contain infinitely many norm groups. We then use this theorem to prove that the interval (N K/k K*, k*) contains infinitely many norm groups for any Galois 2-extension K/k with the Galois group that either contains an element of order 8 or contains the quaternion group Q8 of order 8, or Q8 is a homomorphic image of the Galois group.

Let k be an algebraic number field of finite degree or an algebraic function field of dimension 1 with finite constant field and let K/k be a finite, separably Galois extension field. We call an algebraic extension field L, not necessarily Galois nor necessarily of finite degree, of K an everywhere locally abelian extension, denoted in the following as EL-abelian extension, for brevity, of K over k, if and only if for every finite extension L' of K in L and every valuation v of L it holds that the completion field Lv' of L' with reference to v is a composition field of KV and an abelian extension Mv of kv in Lv', where we denote by kv and KV the closures of k and K in Lv', respectively. Let Q be an algebraic closure of K, BK/k the maximum separably EL-abelian extension of K/k in Q, CK/k the maximum separably central extension of K/k in Q (i.e. the maximum extension CK/k which is separably normal over k, contains K, and has the Galois group of CK/k/K in the center of the Galois group of CK/k/k), Ik and IK the groups of the ideles of k and K, Ak and AK the maximum separably abelian extensions of k and K in Q, respectively. Let DK/k=BK/k nCKIk. Then, the norm residue symbol 0Jk in Ak/k is, if restricted into NK/kIK, extensible into a homomorphism UK/k of NK/kIK into the Galois group G(DK/k/K). We shall study in the present article arithmetical meanings of the extensibility. In ?1, we shall define oUK/k precisely, in ?2, study the kernel and obtain a principal genus theorem (Theorem 2), from which will follow easily a certain generalized formulation of some fundamental theorems in the class field theory.1 Combining it with a known property2 of the quotient group of the connected component of the unit element of the idele class group by the natural image of the maximal compact subgroup of the connected component of the unit element of the idele group, we shall obtain, in ?3, our main result (Theorem 8), which concerns total norm residues in the principal idele group of k for K/k, and which is, the author thinks, an idele-theoretic reconstruction of a research of Scholz.3

A remark on the Dade group and the Burnside group

The original control problem of optimal reorientation from a state of rest to a state of rest is considered and solved. The control function is torque vector. Problem of optimal control is investigated in detail for statement when control is restricted and the used functional of optimality includes kinematical rotary energy and time of maneuver. For solving and synthesis of the optimal control program, the quaternion method and the Pontryagin’s maximum principle are applied. Analytic solution of the proposed problem is presented basing on the differential equation connecting the angular velocity vector and quaternion of spacecraft attitude. It is shown that a chosen criterion of optimality provides a turn of a spacecraft with rotation energy which does not exceed the required value. This property of proposed control increases safety of flight. The time-optimal problem was solved also. The control law is formulated in the form of an explicit dependence of the control variables on the phase coordinates. All key expressions and equations are written in quaternion form which is convenient for onboard realization and implementation. The analysis of the special control regime of the spacecraft was made. Analytical formulas were written for duration of acceleration and braking. For specific cases of spacecraft configurations (dynamically symmetric spacecraft and spheric-symmetrical spacecraft as particular cases), complete solution of optimal control problem in closed form is given. Numerical example and the results of mathematical simulation for spacecraft motion under optimal control are demonstrated. This data supplements the made theoretical descriptions, and illustrates the practical feasibility of the designed algorithm for controlling the spatial orientation of the spacecraft showing reorientation process in visual form.

We construct a two-variable analogue of Perrin-Riou's p-adic regulator map for the Iwasawa cohomology of a crystalline representation of the absolute Galois group of ℚp, over a Galois extension whose Galois group is an abelian p-adic Lie group of dimension 2. We use this regulator map to study p-adic representations of global Galois groups over certain abelian extensions of number fields whose localization at the primes above p is an extension of the above type. In the example of the restriction to an imaginary quadratic field of the representation attached to a modular form, we formulate a conjecture on the existence of a "zeta element", whose image under the regulator map is a p-adic L-function. We show that this conjecture implies the known properties of the 2-variable p-adic L-functions constructed by Perrin-Riou and Kim.

We now apply the cohomology theory of the previous chapter to the study of the Brauer group. However, we shall have to use a slightly modified construction which takes into account the fact that the absolute Galois group of a field is determined by its finite quotients. This is the cohomology theory of profinite groups, which we develop first. As a fruit of our labours, we identify the Brauer group of a field with a second, this time commutative, cohomology group of the absolute Galois group. As applications, we obtain easy proofs of some basic facts concerning the Brauer group, and give an important characterization of the index of a central simple algebra. Last but not least, one of the main objects of study in this book makes its appearance: the Galois symbol. The cohomology theory of profinite groups was introduced in the late 1950s by John Tate, motivated by sheaf-theoretic considerations of Alexander Grothendieck. His original aim was to find the appropriate formalism for developing class field theory. Tate himself never published his work, which thus became accessible to the larger mathematical community through the famous account of Serre [4], which also contains many original contributions. It was Brauer himself who described the Brauer group as a second cohomology group, using his language of factor systems. We owe to Serre the insight that descent theory can be used to give a more conceptual proof. The Galois symbol was defined by Tate in connection with the algebraic theory of power residue symbols, a topic extensively studied in the 1960s by Bass, Milnor, Moore, Serre and others. Profinite groups and Galois groups It can be no surprise that the main application of the cohomological techniques of the previous chapter will be in the case when G is the Galois group of a finite Galois extension. However, it will be convenient to consider the case of infinite Galois extensions as well, and first and foremost that of the extension k s |k , where k s is a separable closure of k .

On orthogonal groups over the integers of a non-dyadic local field

In this paper, we prove a generalization of a correspondence between holomorphic Jacobi cusp forms of higher degree (matrix index) and elliptic cusp forms obtained by K. Bringmann [Lifting maps from a vector space of Jacobi cusp forms to a subspace of elliptic modular forms, Math. Z.253 (2006) 735–752], for forms of higher levels (for congruence subgroups). To achieve this, we make use of the method adopted by M. Manickam and the first author in Sec. 3 of [On Shimura, Shintani and Eichler–Zagier correspondences, Trans. Amer. Math. Soc.352 (2000) 2601–2617], who obtained similar correspondence in the degree one case. We also derive a similar correspondence in the case of skew-holomorphic Jacobi forms (matrix index and for congruence subgroups). Such results in the degree one case (for the full group) were obtained by N.-P. Skoruppa [Developments in the theory of Jacobi forms, in Automorphic Functions and Their Applications, Khabarovsk, 1988 (Acad. Sci. USSR, Inst. Appl. Math., Khabarovsk, 1990), pp. 168–185; Binary quadratic forms and the Fourier coefficients of elliptic and Jacobi modular forms, J. Reine Angew. Math.411 (1990) 66–95] and by M. Manickam [Newforms of half-integral weight and some problems on modular forms, Ph.D. thesis, University of Madras (1989)].

It is proved that the relation h(d)=2 is valid for at least Cx1/2 log−2 x values of d≤x. Here h(d) is the number of the classes of binary quadratic forms of determinant d, while C>0 is a constant. Further, it is shown that for almost all primes p≡3 (mod 4), p≤x, for ε(p), a fundamental unit of field ℚ and l(p), the length of the period of the continued fraction expansion of √p, we have estimates ε(p)≫p2 log−c p, l(p)≫log p, which improve a result of Hooley (J. Reine Angew. Math., Vol. 353, pp. 98–131, 1984; MR 86d:11032). In addition, a generalization is given to composite discriminants of the Hirzebruch-Zagier formula, relating h(−p), p ≡ 3 (mod 4), with the continued fraction expansion of √p (Astérisque, no. 24–25, pp. 81–97, 1975; MR 51 #10293).