Normalizers of the congruence subgroups of the Hecke group

Let cos and let be the Hecke group associated to . In this article, we show that for a prime ideal in , the congruence subgroups of are self-normalized in .

     

Hecke algebras,

The Donald-Flanigan conjecture asserts that the integral group ring of a finite group can be deformed to an algebra over the power series ring with underlying module such that if is any prime dividing then is a direct sum of total matric algebras whose blocks are in natural bijection with and of the same dimensions as those of We prove this for using the natural representation of its Hecke algebra by quantum Yang-Baxter matrices to show that over localized at the multiplicatively closed set generated by and all , the Hecke algebra becomes a direct sum of total matric algebras. The corresponding ``canonical" primitive idempotents are distinct from Wenzl's and in the classical case (), from those of Young.

     

Decomposition of

For any locally compact group , let and be the Fourier and the Fourier-Stieltjes algebras of , respectively. is decomposed as a direct sum of and , where is a subspace of consisting of all elements that satisfy the property: for any and any compact subset , there is an with and such that is characterized by the following: an element is in if and only if, for any there is a compact subset such that for all with and . Note that we do not assume the amenability of . Consequently, we have for all if is noncompact. We will apply this characterization of to investigate the general properties of and we will see that is not a subalgebra of even for abelian locally compact groups. If is an amenable locally compact group, then is the subspace of consisting of all elements with the property that for any compact subset , .

     

Copies of in topological Riesz spaces

The paper is concerned with order-topological characterizations of topological Riesz spaces, in particular spaces of measurable functions, not containing Riesz isomorphic or linearly homeomorphic copies of or .

     

Newton's formula for

This paper presents an explicit relation between the two sets which are well-known generators of the center of the universal enveloping algebra of the Lie algebra : one by Capelli (1890) and the other by Gelfand (1950). Our formula is motivated to give an exact analogy for the classical Newton's formula connecting the elementary symmetric functions and the power sum symmetric functions. The formula itself can be deduced from a more general result on Yangians obtained by Nazarov. Our proof is elementary and has an advantage in its direct accessibility.

     

-sequences

A sequence of positive integers is called a -sequence if every integer has at most representations with all in and . A -sequence is also called a -sequence or Sidon sequence. The main result is the following

Theorem. Let be a -sequence and for an integer . Then there is a -sequence of size , where .

Corollary. Let . The interval then contains a -sequence of size , when .

     

is a CS-algebra

In this paper, it is shown that the group algebra is right CS if and only if . Moreover, when , then is also CS as a module over its center.

     

Serre's condition for associated graded rings

A criterion is given for when the associated graded ring of an ideal satisfies Serre's condition . As an application, the integrality and quasi-Gorensteinness of such rings is investigated.

     

Riesz transforms for

It has been asked (see R. Strichartz, Analysis of the Laplacian, J. Funct. Anal. 52 (1983), 48-79) whether one could extend to a reasonable class of non-compact Riemannian manifolds the boundedness of the Riesz transforms that holds in . Several partial answers have been given since. In the present paper, we give positive results for under very weak assumptions, namely the doubling volume property and an optimal on-diagonal heat kernel estimate. In particular, we do not make any hypothesis on the space derivatives of the heat kernel. We also prove that the result cannot hold for under the same assumptions. Finally, we prove a similar result for the Riesz transforms on arbitrary domains of .

     

Irreducible representations of the Cuntz algebra

In this paper, we establish formulas for the configuration of a special class of irreducible representations of the Cuntz algebra , . These irreducible representations arise as subrepresentations of naturally occurring representations of acting in and arise from consideration of multiresolution wavelet filters.

     

Normal subgroups of

We classify the normal subgroups of of index less than 960; they are all congruence subgroups.

     

Low-dimensional linear representations of

We classify all complex representations of the automorphism group of the free group of dimension Among those representations is a new representation of dimension which does not vanish on the group of inner automorphisms.

     

On the unitary dual of

In this paper we begin a systematic study of the unitarity question for genuine representations of the group . The main result is that we find a class of unitary representations (mostly isolated) analogous to the special unipotent representations defined by D. Barbasch and D. Vogan. In particular the full unitary dual of should be obtainable from this set by complementary series.

     

Free

It has been conjectured that every free algebraic action of the additive group of complex numbers on complex affine three space is conjugate to a global translation. The main result lends support to this conjecture by showing that the morphism to the variety defined by the ring of invariants of the associated action on the coordinate ring is smooth. As a consequence, the graph morphism is an open immersion, and simple proofs of certain cases of the conjecture are obtained.

     

The distribution of solutions of the congruence

For a cube of size , we obtain a lower bound on so that is nonempty, where is the algebraic subset of defined by

a positive integer and an integer not divisible by . For we obtain that is nonempty if , for we obtain that is nonempty if , and for we obtain that is nonempty if . Using the assumption of the Grand Riemann Hypothesis we obtain is nonempty if .

     

Computing

Let denote the Von Mangoldt function and . We describe an elementary method for computing isolated values of . The complexity of the algorithm is time and space. A table of values of for up to is included, and some times of computation are given.

     

New facts

We use ``iterated square sequences' to show that there is an -definable partition such that if is an inner model not containing :

(a)

For some is stationary.

(b)

For each there is a generic extension of in which does not exist and is non-stationary.

This result is then applied to show that if is an inner model without , then some sentence not true in can be forced over .

     

On reflection of stationary sets in

Let be an inaccessible cardinal, and let and is regular and . It is consistent that the set is stationary and that every stationary subset of reflects at almost every .