Modular Subgroup Arithmetic and a Theorem of Philip Hall

A surprising relationship is established in this paper, betweenthe behaviour modulo a prime p of the number S_n G of index nsubgroups in a group G, and that of the corresponding subgroupnumbers for a normal subgroup in G normal subgroup in p-powerorder. The proof relies, among other things, on a twisted versiondue to Philip Hall of Frobenius' theorem concerning the equationx^m=1 in finite groups. One of the applications of this result,presented here, concerns the explicit determination modulo pof S_n G in the case when G is the fundamental group of a treeof groups all of whose vertex groups are cyclic of p-power order.Furthermore, a criterion is established (by a different technique)for the function S_n G to be periodic modulo p. 2000 MathematicsSubject Classification 20E06, 20F99 (primary); 05A15, 05E99(secondary).     

The Solubility of Diagonal Cubic Diophantine Equations

This paper proves conditional existence results for non-trivialsolutions of the equation where the coefficients a_i and the unknowns X_i are taken to berational integers. No such results were previously known for n6. The proofs useelementary facts about the 3-descent procedure for ellipticcurves of the form E_A: X³ + Y³ = AZ³. Thus, when n=4, and the a_i are each prime, and are all congruentto 2 modulo 3, it is shown that (*) will have non-trivial solutions,providing that the Selmer conjecture holds for the curves E_A.One may replace the Selmer conjecture by an appropriate formof the Generalized Riemann Hypothesis, when n=5 and the a_i areagain taken to be primes, all congruent to 8 modulo 9. Finally,when n=5, one may require only that the a_i be square-free andcoprime to 3, providing one assumes both the Selmer conjectureand a special case of Schinzel's conjecture (on the representationof primes by cubic polynomials). 1991 Mathematics Subject Classification:11D25, 11G05, 14G05.     

ORTHOGONALLY ADDITIVE POLYNOMIALS ON C*-ALGEBRAS

We show that for every orthogonally additive scalar n-homogeneouspolynomial P on a C*-algebra A there exists in A* satisfyingP(x)= (xⁿ), for each element x in A. The vector-valued analoguefollows as a corollary.     

Regularity of Rees Algebras

Let B = k[x₁, ..., x_n] be a polynomial ring over a field k,and let A be a quotient ring of B by a homogeneous ideal J.Let m denote the maximal graded ideal of A. Then the Rees algebraR = A[m t] also has a presentation as a quotient ring of thepolynomial ring k[x₁, ..., x_n, y₁, ..., y_n] by a homogeneousideal J^*. For instance, if A = k[x₁, ..., x_n], then Rk[x₁,...,x_n,y₁,...,y_n]/(x_iy_j–x_jy_i|i, j=1,...,n). In this paper we want to compare the homological propertiesof the homogeneous ideals J and J^*.     

Reduction of CalderON Commutators

Let A₁,..., A_n be Lipschitz functions on R such that A'₁,...,A'_nVMO. We show that on any bounded interval, the Calderóncommutator associated with the kernel (A₁(x)–A₁(y)) ...(A_n(x) – A_n(y))/(x–y) ⁿ¹ is a compact perturbationof , where H is the Hilberttransform. 1991 Mathematics Subject Classification 47B38, 47B47,47G10, 45E99.     

Cm Elliptic Curves and Bicolorings of Steiner Triple Systems

It is shown that a necessary condition for the existence ofa bicolored Steiner triple system of order n is that n can bewritten in the form A²+3B² for integers A and B. In the casewhen n=q is either a prime congruent to 1 mod 3, or the squareof a prime congruent to 2 mod 3, it is shown that the numbersof colored vertices in the triple system would be unique, andare given by the number of points on specific twists of theCM elliptic curve y²=x³–1 over the finite field F_q. 2000Mathematics Subject Classification 05B07, 11G20, 14G15 (primary);11G15, 14K22 (secondary).     

Smoothness Properties of the Unit Ball in a JB*-Triple

An element a of norm one in a JB^*-triple A is said to be smoothif there exists a unique element x in the unit ball A₁^* of thedual A^* of A at which a attains its norm, and is said to beFréchet-smooth if, in addition, any sequence (x_n) ofelements in A₁^* for which (x_n(a)) converges to one necessarilyconverges in norm to x. The sequence (a²ⁿ⁺¹) of odd powers ofa converges in the weak^*-topology to a tripotent u(a) in theJBW^*-envelope A^** of A. It is shown that a is smooth if andonly if u(a) is a minimal tripotent in A^** and a is Fréchet-smoothif and only if, in addition, u(a) lies in A.     

The tower of K-theory of truncated polynomial algebras

Let A be a regular noetherian F_p-algebra. The relative K-groupsK_q(A[x]/(x^m),(x)) and the Nil-groups Nil_q(A[x]/(x^m)) were evaluatedby the author and Ib Madsen in terms of the big de Rham–Wittgroups W_rA^q of the ring A. In this paper, we evaluate the mapsof relative K-groups and Nil-groups induced by the canonicalprojection f: A[x]/(x^m) A[x]/(xⁿ). The result depends stronglyon the prime p. It generalizes earlier work by Stienstra onthe groups in degrees 2 and 3. Received February 28, 2007.     

Factor Algebras of Free Algebras: On a Problem of G. Bergman

Let A_n = K x₁,...,x_n be a free associative algebra over a fieldK. In this paper, examples are given of elements u A_n, n 3,such that the factor algebra of A_n over the ideal generatedby u is isomorphic to A_n–1, and yet u is not a primitiveelement of A_n (that is, it cannot be taken to x₁ by an automorphismof A_n). If the characteristic of the ground field K is 0, thisyields a negative answer to a question of G. Bergman. On theother hand, by a result of Drensky and Yu, there is no suchexample for n = 2. It should be noted that a similar questionfor polynomial algebras, known as the embedding conjecture ofAbhyankar and Sathaye, is a major open problem in affine algebraicgeometry. 2000 Mathematics Subject Classification 16S10, 16W20(primary); 14A05, 13B25 (secondary).     

Holomorphic Almost Modular Forms

Holomorphic almost modular forms are holomorphic functions ofthe complex upper half plane that can be approximated arbitrarilywell (in a suitable sense) by modular forms of congruence subgroupsof large index in SL(2,Z). It is proved that such functionshave a rotation-invariant limit distribution when the argumentapproaches the real axis. An example of a holomorphic almostmodular form is the logarithm of . The paper is motivated by the author's previous studies [Int.Math. Res. Not. 39 (2003) 2131–2151] on the connectionbetween almost modular functions and the distribution of thesequence n²x modulo one. 2000 Mathematics Subject Classification11F11 (primary), 11F06, 11J71 (secondary).     

Root-Clustering Criteria (I): The Composite-Matrix Approach

In a series of articles we investigate different approachesto root clustering criteria. In particular, given A C^nxn andan algebraic region A C, we are looking for a criterion (asingle set of inequalities) ensuring the inclusion (A) A. Here,in the first article, we collect previous ideas on transformableregions and composite matrices, state new results, and correctand refine others.     

Sur L'equation Diophantienne (xn-1)/(x-1)=yq, III

In this paper we study the diophantine equation of the title,which was first introduced by Nagell and Ljunggren during thefirst half of the twentieth century. We describe a method whichallows us, on the one hand when n is fixed, to obtain an upperbound for q, and on the other hand when n and q are fixed, toobtain upper bounds for x and y which are far sharper than thosederived from the theory of linear forms in logarithms. We alsoshow how these bounds can be used even when they seem too largefor a straightforward enumeration of the remaining possiblevalues of x. By combining all these techniques, we are ableto solve the equation in many cases, including the case whenn has a prime divisor less than 13, or the case when n has aprime divisor which is less than or equal to 23 and distinctfrom q. 2000 Mathematical Subject Classification: primary 11D41;secondary 11J86, 11Y50.     

Rado Partition Theorem for Random Subsets of Integers

For an l x k matrix A = (a_ij) of integers, denote by L(A) thesystem of homogenous linear equations a_i1x₁ + ... + a_ikx_k =0, 1 i l. We say that A is density regular if every subsetof N with positive density, contains a solution to L(A). Fora density regular l x k matrix A, an integer r and a set ofintegers F, we write if for any partition F = F₁ ... F_r there exists i {1, 2,..., r} and a column vector x such that Ax = 0 and all entriesof x belong to F_i. Let [n]_N be a random N-element subset of{1, 2, ..., n} chosen uniformly from among all such subsets.In this paper we determine for every density regular matrixA a parameter = (A) such that lim_n P([n]_N (A)_r)=0 if N =O(n) and 1 if N = (n). 1991 Mathematics Subject Classification:05D10, 11B25, 60C05     

Nonoscillation of Elliptic Integrals Related to Cubic Polynomials with Symmetry of Order Three

We study zeros of elliptic integrals I(h)=_HhR(x,y)dxdy, whereH(x,y) is a real cubic polynomial with a symmetry of order three,and R(x,y) is a real polynomial of degree at most n. It turnsout that the vector space A_n formed by such integrals is a Chebishevsystem: the number of zeros of each elliptic integral I(h)A_nis less than the dimension of the vector space A_n. 1991 MathematicsSubject Classification 34C10.     

ON THE SUM OF THE FIRST n PRIMES

In this note, we show that the set of n such that the arithmeticmean of the first n primes is an integer is of asymptotic densityzero. We use the same method to show that the set of n suchthat the sum of the first n primes is a square is also of asymptoticdensity zero. We also prove that both the arithmetic mean ofthe first n primes as well as the square root of the sum ofthe first n primes are well distributed modulo 1.     

A Necessary and Sufficient Condition for a Linear Differential System to be Strongly Monotone

In order to present the results of this note, we begin withsome definitions. Consider a differential system [formula] where IR is an open interval, and f(t, x), (t, x)IxRⁿ, is acontinuous vector function with continuous first derivativesf_r/x_s, r, s=1, 2, ..., n. Let D_xf(t, x), (t, x)IxRⁿ, denote the Jacobi matrix of f(t,x), with respect to the variables x₁, ..., x_n. Let x(t, t₀,x₀), tI(t₀, x₀) denote the maximal solution of the system (1)through the point (t₀, x₀)IxRⁿ. For two vectors x, yRⁿ, we use the notations x>y and x>>yaccording to the following definitions: [formula] An nxn matrix A=(a_rs) is called reducible if n2 and there existsa partition [formula] (p1, q1, p+q=n) such that [formula] The matrix A is called irreducible if n=1, or if n2 and A isnot reducible. The system (1) is called strongly monotone if for any t₀I, x₁,x₂Rⁿ [formula] holds for all t>t₀ as long as both solutions x(t, t₀, x_i),i=1, 2, are defined. The system is called cooperative if forall (t, x)IxRⁿ the off-diagonal elements of the nxn matrix D_xf(t,x) are nonnegative. 1991 Mathematics Subject Classification34A30, 34C99.     

On Maillet determinant

For a positive integer m, let $\text{A = {1 ≤ a <}\text{m}\text{2}\text{| (a, m) = 1}}$ and let n = |A|. For an integer x, let R(x) be the least positive residue of x modulo m and if (x, m) = 1, let x′ be the inverse of x modulo m. If m is odd, then |R(ab′)|_a,b∈A = ?2^1?n(∏_χ(Σ_{a = 1}^{m ? 1}aχ(a))), where χ runs over all the odd Dirichlet characters modulo m.     

A Congruence for Factorials

The methods of p-adic analysis are used to prove a congruencefor (pn)!(pⁿn!) modulo a power of a prime p.     

On the Representation of Primes by Cubic Polynomials in Two Variables

In an earlier paper (see Proc. London Math. Soc. (3) 84 (2002)257–288) we showed that an irreducible integral binarycubic form f(x, y) attains infinitely many prime values, providingthat it has no fixed prime divisor. We now extend this resultby showing that f(m, n) still attains infinitely many primevalues if m and n are restricted by arbitrary congruence conditions,providing that there is still no fixed prime divisor. Two immediate consequences for the solvability of diagonal cubicDiophantine equations are given. 2000 Mathematics Subject Classification11N32 (primary), 11N36, 11R44 (secondary).