Measures on diffeomorphism groups for non-archimedean manifolds: Group representations and their applications

Nondegenerate σ-additive measures with ranges in ℝ and ℚ_q (q≠p are prime numbers) that are quasi-invariant and pseudodifferentiable with respect to dense subgroups G′ are constructed on diffeomorphism and homeomorphism groups G for separable non-Archimedean Banach manifolds M over a local fieldK,K ⊃ ℚ_q, where ℚ_q is the field of p-adic numbers. These measures and the associated irreducible representations are used in the non-Archimedean gravitation theory. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 119, No. 3, pp. 381–396, June, 1999.     

Multiplicative relations with conjugate algebraic numbers

We study what algebraic numbers can be represented by a product of algebraic numbers conjugate over a fixed number field K in fixed integer powers. The problem is nontrivial if the sum of these integer powers is equal to zero. The norm of such a number over K must be a root of unity. We show that there are infinitely many algebraic numbers whose norm over K is a root of unity and which cannot be represented by such a product. Conversely, every algebraic number can be expressed by every sufficiently long product in algebraic numbers conjugate over K. We also construct nonsymmetric algebraic numbers, i.e., algebraic numbers such that no elements of the corresponding Galois group acting on the full set of their conjugates form a Latin square. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 7, pp. 890–900, July, 2007.     

Galois groups ofp-extensions with two ramification points

LetK _p (p, q) be the maximalp-extension of the field ℚ of rational numbers with ramification pointsp andq. LetG _p (p, q) be the Galois group of the extensionK _p(p.q)/ℚ. It is known thatG _p(p, q) can be presented by two generators which satisfy a single relation. The form of this relation is known only modulo the second member of the descending central series ofG _p(p, q). In this paper, we find an arithmetical-type condition on which the form of the relation modulo the third member of the descending central series ofG _p(p, q) depends. We also consider two examples withp=3,q=19 andp=3,q=37. Translated from Lietuvos Matematikos Rinkinys, Vol. 40, No. 1, pp. 48–60, January–March, 2000. Translated by H. Markšaitis     

Structure of coordinate groups for algebraic sets in partially commutative nilpotent groups

The results obtained deal in algebraic geometry over partially commutative class two nilpotent ℚ-groups, where ℚ is a field of rationals. It is proved that two arbitrary non-Abelian partially commutative class two nilpotent ℚ-groups are geometrically equivalent. A necessary and sufficient condition of being universally geometrically equivalent is specified for two partially commutative class two nilpotent ℚ-groups. Algebraic sets for systems of equations in one variable, as well as for some special systems in several variables, are described. Dedicated to V. N. Remeslennikov on the occasion of his 70th birthday Translated from Algebra i Logika, Vol. 48, No. 2, pp. 378–399, May–June, 2009.     

Algebraic independence results for the sixteen families of <Emphasis Type="Italic">q</Emphasis>-series

The sixteen families of q-series containing the Ramanujan functions were listed by I.J. Zucker (SIAM J. Math. Anal. 10:192–206, 1979), which are generated from the Fourier series expansions of the Jacobian elliptic functions or some of their squares. This paper discusses algebraic independence properties for these q-series. We determine all the sets of q-series such that, at each algebraic point, the values of the q-series in the set are algebraically independent over ℚ. We also present several algebraic relations over ℚ for two or three of these q-series.     

Regulator constants and the parity conjecture

The p-parity conjecture for twists of elliptic curves relates multiplicities of Artin representations in p ^∞-Selmer groups to root numbers. In this paper we prove this conjecture for a class of such twists. For example, if E/ℚ is semistable at 2 and 3, K/ℚ is abelian and K ^∞ is its maximal pro-p extension, then the p-parity conjecture holds for twists of E by all orthogonal Artin representations of . We also give analogous results when K/ℚ is non-abelian, the base field is not ℚ and E is replaced by an abelian variety. The heart of the paper is a study of relations between permutation representations of finite groups, their “regulator constants”, and compatibility between local root numbers and local Tamagawa numbers of abelian varieties in such relations. T. Dokchitser is supported by a Royal Society University Research Fellowship.     

Divisible rigid groups

A soluble group G is rigid if it contains a normal series of the form G = G₁ > G₂ > … > G_p > G_p+1 = 1, whose quotients G_i/G_i+1 are Abelian and are torsion-free as right ℤ[G/G_i]-modules. The concept of a rigid group appeared in studying algebraic geometry over groups that are close to free soluble. In the class of all rigid groups, we distinguish divisible groups the elements of whose quotients G_i/G_i+1 are divisible by any elements of respective groups rings Z[G/G_i]. It is reasonable to suppose that algebraic geometry over divisible rigid groups is rather well structured. Abstract properties of such groups are investigated. It is proved that in every divisible rigid group H that contains G as a subgroup, there is a minimal divisible subgroup including G, which we call a divisible closure of G in H. Among divisible closures of G are divisible completions of G that are distinguished by some natural condition. It is shown that a divisible completion is defined uniquely up to G-isomorphism. Supported by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-344.2008.1). Translated from Algebra i Logika, Vol. 47, No. 6, pp. 762–776, November–December, 2008.     

The abc-conjecture for Algebraic Numbers

The abe-conjecture for the ring of integers states that, for every ε 〉 0 and every triple of relatively prime nonzero integers （a, b, c） satisfying a ＋ b = c, we have max（｜a｜, ｜b｜, ｜c｜） 〈 rad（abc）^1＋ε with a finite number of exceptions. Here the radical rad（m） is the product of all distinct prime factors of m. In the present paper we propose an abe-conjecture for the field of all algebraic numbers. It is based on the definition of the radical （in Section 1） and of the height （in Section 2） of an algebraic number. From this abc-conjecture we deduce some versions of Fermat＇s last theorem for the field of all algebraic numbers, and we discuss from this point of view known results on solutions of Fermat＇s equation in fields of small degrees over Q.     

Construction of somep-extensions of the rational number field

In this paper, we constructp-extensionsK _a ,a(modp ^r ), of degreep ^3r,p≠2, r>0, of the field ℚ of rational numbers with ramification pointsp andq. The Galois groupG(K _a )/ℚ of the extensionK _a /ℚ,a(modp ^r ), is defined by the generators and relations

Onk-stage Euclidean algorithms for Galois extensions of ℚ

LetR be an integral domain whose quotient field is an algebraic number field. Cooke and Weinberger [4] showed that, assuming the Generalized Riemann Hypothesis, ifR is a principal ideal domain and has infinite unit group, thenR is 4-stage Euclidean with the absolute value of the norm as algorithm. We remove the assumption of the Generalized Riemann Hypothesis from this result for totally real Galois extensions of ℚ of degree greater than or equal to three, replacing it with the requirement of finding sufficiently many prime elements ofR, ℚ such that the unit group ofR maps onto (R/((π₁⋯π _r )²))* via the reduction map. A similar result holds for real quadratic fields.     

Path integrals for quadratic lagrangians on <Emphasis Type="Italic">p</Emphasis>-adic and adelic spaces

Feynman’s path integrals in ordinary, p-adic and adelic quantum mechanics are considered. The corresponding probability amplitudes K(x″, t″; x′, t′) for two-dimensional systems with quadratic Lagrangians are evaluated analytically and obtained expressions are generalized to any finite-dimensional spaces. These general formulas are presented in the form which is invariant under interchange of the number fields ℝ ↔ ℚ _p and ℚ ↔ ℚ _p , p ≠ p′. According to this invariance we have that adelic path integral is a fundamental object in mathematical physics of quantum phenomena.     

Divergent trajectories and ℚ-rank

The author proves a conjecture of the author: IfG is a semisimple real algebraic defined over ℚ, Γ is an arithmetic subgroup (with respect to the given ℚ-structure) andA is a diagonalizable subgroup admitting a divergent trajectory inG/Γ, then dimA≤ rank_ℚ G.     

Onp-class groups of cyclic extensions of prime degreep of certain cyclotomic fields

Letp be an odd prime number, and letK be a cyclic extension of ℚ(ζ) of degreep, where ζ is a primitivep-th root of unity. LetC _K be thep-class group ofK, and letr _K be the minimal number of generators ofC _K ^1−σ as a module over Gal(K/ℚ(ζ)), were σ is a generator of Gal(K/ℚ(ζ)). This paper shows how likely it is forr _K = 0, 1, 2, … whenp=3, 5, or 7, and describes the obstacle to generalizing these results to regular primesp>7.     

Tours de hilbert des extensions cubiques cycliques de ℚ

In this paper, we study the problem of the Hilbert tower of a number field. We use a refinement of the result of Golod-Safarevic in the theory of thep-group, due to Schoof. Using the action of an abelian group on a finitep-group, and the characters theory of finite groups, we obtain a new criterion of the non finiteness of the Hilbertp-tower of a cubic cyclic extension over ℚ. The used method give too some good results for a totally imaginary cyclic extension of degree 6 over ℚ.      

Analytic normal basis theorem

Let p be a prime number, ℚ _p the field of p-adic numbers, and a fixed algebraic closure of ℚ _p . We provide an analytic version of the normal basis theorem which holds for normal extensions of intermediate fields ℚ _p ⊆ K ⊆ L ⊆ .      

Explicit Classification for Torsion Subgroups of Rational Points of Elliptic Curves

We study the classification of elliptic curves E over the rationals ℚ according to the torsion sugroups E _tors(ℚ). More precisely, we classify those elliptic curves with E _tors(ℚ) being cyclic with even orders. We also give explicit formulas for generators of E _tors(ℚ). These results, together with the recent results of K. Ono for the non-cyclic E _tors(ℚ), completely solve the problem of the explicit classification and parameterization when E has a rational point of order 2. Received July 29, 1999, Revised March 9, 2001, Accepted July 20, 2001     

On the Hasse principle for Shimura curves

Let C be an algebraic curve defined over a number field K, of positive genus and without K-rational points. We conjecture that there exists some extension field L over which C has points everywhere locally but not globally. We show that our conjecture holds for all but finitely many Shimura curves of the form X ₀ ^D (N)_/ℚ or X ₁ ^D (N)_/ℚ, where D > 1 and N are coprime squarefree positive integers. The proof uses a variation on a theorem of Frey, a gonality bound of Abramovich, and an analysis of local points of small degree.     

Uniform Boundedness of Torsion Subgroups of Linear Groups

The torsion conjecture says： for any abelian variety A defined over a number field k, the order of the torsion subgroup of A（k） is bounded by a constant C（k,d） which depends only on the number field k and the dimension d of the abelian variety. The torsion conjecture remains open in general. However, in this paper, a short argument shows that the conjecture is true for more general fields if we consider linear groups instead of abelian varieties. If G is a connected linear algebraic group defined over a field k which is finitely generated over Q,Г is a torsion subgroup of G（k）. Then the order of Г is bounded by a constant C＇（k, d） which depends only on k and the dimension d of G.