Quotients of the congruence kernels of SL2 over arithmetic dedekind domains

LetC=C(C, P, k) be the coordinate ring of the affine curve obtained by removing a closed pointP from a (suitable) projective curveC over afinite fieldk. Let SL₂ (C,q) be the principal congruence subgroup of SL₂(C) andU ₂(C,q) be the subgroup generated by the all unipotent matrices in SL₂(C,q), whereq is aC-ideal. In this paper we prove that, for all but finitely manyq, the quotient SL₂(C,q)/U ₂(C,q) is a free group of finite,unbounded rank. LetC(SL₂(A)) be the congruence kernel of SL₂(A), whereA is an arithmetic Dedekind domain with only finitely many units. (e.g.A=C or ℤ) and letG be any finitely generated group. From the above (and previous results) we deduce that the profinite completion ofG,Ĝ, is a homonorphic image ofC(SL₂(A)). This is related to previous results of Lubotzky and Mel'nikov.     

ON STABLE LINE SEGMENTS IN ALL TRIANGULATIONS OF A PLANAR POINT SET

Abstract. Let S be a set of finite plauar points. A llne segment L(p, q) with p, q E Sis called a stable line segment of S, if there is no Line segment with two endpoints in S intersecting L(p, q). In this paper, some geometric properties of the set of all stable line segments     

Derived subgroups of fixed points

LetA be an elementary abelianq-group acting on a finiteq′-groupG. We show that ifA has rank at least 3, then properties ofC _G(a)′, 1 ≠a ∈A restrict the structure ofG′. In particular, we consider exponent, order, rank and number of generators. This author was supported by the NSF. This author was supported by CNP_q-Brazil.     

Ovoids and spreads of finite classical polar spaces

LetP be a finite classical polar space of rankr, r2. An ovoidO ofP is a pointset ofP, which has exactly one point in common with every totally isotropic subspace of rankr. It is proved that the polar spaceW _n (q) arising from a symplectic polarity ofPG(n, q), n odd andn > 3, that the polar spaceQ(2n, q) arising from a non-singular quadric inPG(2n, q), n > 2 andq even, that the polar space Q^–(2n + 1,q) arising from a non-singular elliptic quadric inPG(2n + 1,q), n > 1, and that the polar spaceH(n,q ²) arising from a non-singular Hermitian variety inPG(n, q ²)n even andn > 2, have no ovoids.LetS be a generalized hexagon of ordern (1). IfV is a pointset of order n³ + 1 ofS, such that every two points are at distance 6, thenV is called an ovoid ofS. IfH(q) is the classical generalized hexagon arising fromG ₂ (q), then it is proved thatH(q) has an ovoid iffQ(6, q) has an ovoid. There follows thatQ(6, q), q=3^2h+1, has an ovoid, and thatH(q), q even, has no ovoid.A regular system of orderm onH(3,q ²) is a subsetK of the lineset ofH(3,q ²), such that through every point ofH(3,q ²) there arem (> 0) lines ofK. B. Segre shows that, ifK exists, thenm=q + 1 or (q + l)/2.If m=(q + l)/2,K is called a hemisystem. The last part of the paper gives a very short proof of Segre's result. Finally it is shown how to construct the 4-(11, 5, 1) design out of the hemisystem with 56 lines (q=3).     

THE SECOND EXPONENT SET OF PRIMITIVE DIGRAPHS

51.IntroductionandNotationsLetD=(V,E)beadigraphandL(D)denotethesetofcyclelengthsofD.ForuEVandintegeri21,letfo(u):={vEVIthereedestsadirectedwalkoflengthifromutov}.WedelveRo(u):={u}.Letu,vEV.IfN (v)=N (v)andN--(v)=N--(v),thenwecanvacopyofu.LotDbeaprimitivedigraphand7(D)denotetheexponentofD.In1950,H.WielandtI61foundthat7(D)5(n--1)' 1andshowedthatthereisapiquedigraphthatattainsthisbound.In1964,A.L.DulmageandN.S.Mendelsohn[2]ObservedthattherearegapsintheexponentsetEd={ry(D)IDEPD.}…     

Matrices with zero trace

LetM _n(F) denote the algebra ofn-square matrices with elements in a fieldF. In this paper we show that ifM ∈M _n(F) has zero trace thenM=AB−BA for certainA, B ∈ M _n(F), withA nilpotent and traceB=0, apart from some exceptional cases whenn=2 or 3. We also determine whenM=MB−BM for someB ∈ M _n(F). The preparation of this paper was supported in part by the U.S. Air Force under contract AFOSR 698-65.     

The additive subgroup generated by a polynomial

SupposeR is a prime ring with the centerZ and the extended centroidC. Letp(x ₁, …,x _n) be a polynomial overC in noncommuting variablesx ₁, …,x _n. LetI be a nonzero ideal ofR andA be the additive subgroup ofRC generated by {p(a ₁, …,a _n):a ₁, …,a _n ∈I}. Then eitherp(x ₁, …,x _n) is central valued orA contains a noncentral Lie ideal ofR except in the only one case whereR is the ring of all 2 × 2 matrices over GF(2), the integers mod 2.     

On eigenvalues of symmetric (+1, −1) matrices

To every symmetric matrixA with entries ±1, we associate a graph G(A), and ask (for two different definitions of distance) for the distance ofG(A) to the nearest complete bipartite graph (cbg). Letλ ₁(A),λ ¹ (A) be respectively the algebraically largest and least eigenvalues ofA. The Frobenius distance (see Section 4) to the nearest cbg is bounded above and below by functions ofn −λ ₁ (A), wheren=ord A. The ordinary distance (see Section 1) to the nearest cbg is shown to be bounded above and below by functions ofλ ¹ (A). A curious corollary is: there exists a functionf (independent ofn, and given by (1.1)), such that |λ _i (A) | ≦f(λ ¹(A), whereλ _i (A) is any eigenvalue ofA other thanλ _i (A). This work was supported (in part) by the U.S. Army under contract #DAHC04-C-0023.     

On a class of transitive permutation groups of prime degreep=4n+1

SupposeG is a nonsolvable transitive permutation group of prime degreep, such that |N _G v(P)|=p(p−1) for some Sylowp-subgroupP ofG. Letq be a generator of the subgroup ofN _G (P), fixing one letter (it is easy to show that this subgroup is cyclic). Assume thatG contains an elementj such thatj ⁻¹ qj=q ^(p+1)/2. We shall prove that for almost all primesp of the formp=4n+1, a group that satisfies the above conditions must be the symmetric group on a set withp elements.     

Approximation of approximation numbers by truncation

LetA be a bounded linear operator onsome infinite-dimensional separable Hilbert spaceH and letA _n be the orthogonal compression ofA to the span of the firstn elements of an orthonormal basis ofH. We show that, for eachk1, the approximation numberss _k(A_n) converge to the corresponding approximation numbers _k(A) asn. This observation implies almost at once some well known results on the spectral approximation of bounded selfadjoint operators. For example, it allows us to identify the limits of all upper and lower eigenvalues ofA _n in the case whereA is selfadjoint. These limits give us all points of the spectrum of a selfadjoint operator which lie outside the convex hull of the essential spectrum. Moreover, it follows that the spectrum of a selfadjoint operatorA with a connected essential spectrum can be completely recovered from the eigenvalues ofA _n asn goes to infinity.     

The generic division rings

LetA=k (X ₁, X₂..., X_m) be the division ring generated by genericn×n matrices over a fieldk; thenA is not a crossed product in the following cases: (i) there exists a primeq such thatq ³ℛn;(ii)[k:Q]=m, whereQ is the field of rationals, then if eitherq ³ℛn for someq for whichq-1ℛm, orq ²/nn for some other prime; (iii)k=Z _p ^r a finite field ofp ^r elements and eitherq ³ℛn for sameqℛp ^r-1 orq ²ℛn for some other primes. Other cases are also considered.     

Operator algebras and a theorem of Dieudonne

LetA be aC*-algebra with second dualA″. Let (φ _n)(n=1,...) be a sequence in the dual ofA such that limφ _n(a) exists for eacha εA. In general, this does not imply that limφ _n(x) exists for eachx εA″. But if limφ _n(p) exists whenever p is the range projection of a positive self-adjoint element of the unit ball ofA, then it is shown that limφ _n(x) does exist for eachx inA″. This is a non-commutative generalisation of a celebrated theorem of Dieudonné. A new proof of Dieudonné’s theorem, for positive measures, is given here. The proof of the main result makes use of Dieudonné’s original theorem.     

Group-universal unary varieties

LetV be a variety of unary algebras and letM(V) be the monoid of all unary polynomials ofV. Then every group appears as the automorphism group of an algebraA∈V if and only if the left ideals ofM(V) do not form an inclusion-ordered chain. The support of the National Research Council of Canada is gratefully acknowledged. Presented by J. Mycielski.     

Extensions of the Hadamard determinant theorem

Denote byH _n the set ofn byn, positive definite hermitian matrices. Hadamard proved thath(A)≧det(A) for allA∈H _n, whereh(A) is the product of the main diagonal elements ofA. Subsequently, M. Marcus showed that per(A)≧h(A) for allA∈H _n. This article contains a result for all generalized matrix functions from which it follows thath(A)≧(per(A^1/n )) ⁿ ,A∈H _n.     

Gaussian partitions

Let V=V(n,q) denote the finite vector space of dimension n over the finite field with q elements. A subspace partition of V is a collection Π of subspaces of V such that each 1-dimensional subspace of V is in exactly one subspace of Π. In a recent paper, we proved some strong connections between the lattice of the subspace partitions of V and the lattice of the set partitions of n={1,…,n}. We now define a Gaussian partition of [n] _q =(q ⁿ −1)/(q−1) to be a nonincreasing sequence of positive integers formed by ordering all elements of some multiset {dim(W):W∈Π}, where Π is a subspace partition of V. The Gaussian partition function gp(n,q) is then the number of all Gaussian partitions of [n] _q , and is naturally analogous to the classical partition function p(n). In this paper, we initiate the study of gp(n,q) by exhibiting all Gaussian partitions for small n. In particular, we determine gp(n,q) as a polynomial in q for n≤5, and find a lower bound for gp(6,q).     

Complexified real arrangements of hyperplanes

LetV be a finite dimensional vector space over the real or complex numbers. Areal (orcomplex)arrangement A inV is a finite collection of real (or complex) affine hyperplanes. A real arrangement inV can becomplexified to form a complex arrangement in the complex vector spaceA. The (complex)complement of a real arrangementA is defined byM(A)=V⊗ℂ−⋃ _H∈ ^A H⊗ℂ. There are two different finite simplicial complexes which carry the homotopy type ofM(A), one given by M. Salvetti, the other by P. Orlik. In this paper we describe both complexes and exhibit a simplicial homotopy equivalence between them.     

Abelian coverings of finite general linear groups and an application to their non-commuting graphs

In this paper we introduce and study a family A_n(q)\mathcal{A}_{n}(q) of abelian subgroups of GL_n(q){\rm GL}_{n}(q) covering every element of GL_n(q){\rm GL}_{n}(q). We show that A_n(q)\mathcal{A}_{n}(q) contains all the centralizers of cyclic matrices and equality holds if q>n. For q>2, we obtain an infinite product expression for a probabilistic generating function for |A_n(q)||\mathcal{A}_{n}(q)|. This leads to upper and lower bounds which show in particular that

Degenerate principal series representations of Sp(<Emphasis Type="Italic">p,q</Emphasis>)

Letp>q and letG=Sp(p, q). LetP=LN be the maximal parabolic subgroup ofG with Levi subgroupL≅GL _q (ℍ)×Sp(p−q). Forsεℂ andμ a highest weight of Sp(p−q), let п_s,μ be the representation ofP such that its restriction toN is trivial and ⊠T _p-q ^μ , where det _q is the determinant character of GL _q (ℍ) andT _p-q ^μ is the irreducible representation of Sp(p−q) with highest weightμ. LetI _p,q(s, μ) be the Harish-Chandra module of the induced representation Ind _P ^G . In this paper, we shall determine the module structure and unitarity ofI _{p, q}(s, μ). Partially supported by NUS grant R-146-000-026-112.     

A lower bound for finding predecessors in Yao's cell probe model

LetL be the set consisting of the firstq positive integers. We prove in this paper that there does not exist a data structure for representing an arbitrary subsetA ofL which uses poly (¦A¦) cells of memory (where each cell holdsc logq bits of information) and which the predecessor inA of an arbitraryxq can be determined by probing only a constant (independent ofq) number of cells. Actually our proof gives more: the theorem remains valid if this number is less than log logq, that is D. E. Willard's algorithm [2] for finding the predecessor inO(log logq) time is optimal up to a constant factor.     

Perfect crystals andq-deformed Fock spaces

In [S], [KMS] the semi-infinite wedge construction of level 1U _q (A _n ⁽¹⁾ ) Fock spaces and their decomposition into the tensor product of an irreducibleU _q (A _n ⁽¹⁾ )-module and a bosonic Fock space were given. Here a general scheme for the wedge construction ofq-deformed Fock spaces using the theory of perfect crystals is presented.LetU _q (g) be a quantum affine algebra. LetV be a finite-dimensionalU _q (g)-module with a perfect crystal base of levell. LetV _aff V [z,z ^–1] be the affinization ofV, with crystal base (L _aff,B _aff). The wedge spaceV _aff V _aff is defined as the quotient ofV _aff V _aff by the subspace generated by the action ofU _q (g) [z ^a z ^b +z ^b z ^a ]_a,b onv v (v an extremal vector). The wedge space ^r V _aff (r ) is defined similarly. Normally ordered wedges are defined by using the energy functionH :B _aff B _aff . Under certain assumptions, it is proved that normally ordered wedges form a base of ^r V _aff.Aq-deformed Fock space is defined as the inductive limit of ^r V _aff asr , taken along the semi-infinite wedge associated to a ground state sequence. It is proved that normally ordered wedges form a base of the Fock space and that the Fock space has the structure of an integrableU _q (g)-module. An action of the bosons, which commute with theU _q (g)-action, is given on the Fock space. It induces the decomposition of theq-deformed Fock space into the tensor product of an irreducibleU _q (g)-module and a bosonic Fock space.As examples, Fock spaces for typesA _2n ⁽²⁾ ,B _n ⁽¹⁾ ,A _2n ^–1/(2) ,D _n ⁽¹⁾ andD _n ^+1/(2) at level 1 andA ₁ ⁽¹⁾ at levelk are constructed. The commutation relations of the bosons in each of these cases are calculated, using two point functions of vertex operators.