Group Pairs with Property (T), from Arithmetic Lattices

Let Γ be an arithmetic lattice in an absolutely simple Lie group G with trivial centre. We prove that there exists an integer N ≥ 2, a subgroup Λ of finite index in Γ, and an action of Λ on such that the pair ( ) has property (T). If G has property (T), then so does . If G is the adjoint group of Sp(n, 1), then is a property (T) group satisfying the Baum–Connes conjecture. If Γ is an arithmetic lattice in SO(n, 1), then the associated von Neumann algebra is a II₁-factor in Popa’s class . Elaborating on this result of Popa, we construct a countable family of pairwise nonstably isomorphic group II₁-factors in the class , all with trivial fundamental groups and with all L²-Betti numbers being zero.Mathematics Subject Classiffications (2000). 22E40, 22E47, 46L80, 37A20     

On the Structure and Symmetry Properties of Almost $$\cal{S}$$-manifolds

We prove that any simply connected -manifold of CR-codimension s 2 is noncompact by showing that the complete, simply connected -manifolds are all the CR products N × ^{s-1} with N Sasakian, endowed with a suitable product metric. N is a Sasakian -symmetric space if and only if M is CR-symmetric. The locally CR-symmetric -manifolds are characterized by

On the Optimal Value Function of a Linearly Perturbed Quadratic Program

The optimal value function of the quadratic program , where is a given symmetric matrix, a given matrix, and are the linear perturbations, is considered. It is proved that is directionally differentiable at any point in its effective domain . Formulae for computing the directional derivative of at in a direction are obtained. We also present an example showing that, in general, is not piecewise linear-quadratic on W. The preceding (unpublished) example of Klatte is also discussed.     

Contact and Conformal Maps in

When the action of the conformal group O(1, n+1) on may be characterized in simple differential geometric terms, even locally: a theorem of Liouville states that a C⁴ map between domains and in whose differential is a (variable) multiple of a (variable) isometry at each point of is the restriction to of a transformation x g·x, for some g in O(1,n+1). In this paper, we consider the problem of characterizing the action of a more general semisimple Lie group G on the space G/P, where P is a minimal parabolic subgroup.     

A New Cover of the 3-Local Geometry of Co1

The 3-local geometry of the sporadic simple group Co₁ has been known to have a cover with a flag-transitive automorphism group which is a nonsplit extension of an elementary Abelian 2-group of rank 24 (the Leech lattice modulo 2) by Co₁. It was conjectured that was simply connected. We disprove this conjecture by constructing a double cover of . The automorphism group of is of the shape . However, it is not isomorphic to the involution centralizer of the Monster sporadic simple group.     

Tissus linéaires et théorèmes d'algébrisation de type Abdel-inverse et Reiss-inverse

A d-web in ( ,0) is given by d complex analytic foliations of codimension one in ( ,0) which are in general position. A d-web in ( ,0) is linear if all the leaves are (pieces of) hyperplanes in and is algebraic if it is associated, by duality, to a nondegenerate algebraic curve in of degree d. We characterize linear webs in ( ,0). We give explicit conditions under which a linear d-web in ( ,0) is algebraic and we obtain equations for in this case. Some related problems are discussed and some questions are posed.     

Representation Rings of Lie Superalgebras

Given a Lie superalgebra , we introduce several variants of the representation ring, built as subrings and quotients of the ring of virtual -supermodules, up to (even) isomorphisms. In particular, we consider the ideal of virtual -supermodules isomorphic to their own parity reversals, as well as an equivariant K-theoretic super representation ring on which the parity reversal operator takes the class of a virtual -supermodule to its negative. We also construct representation groups built from ungraded -modules, as well as degree-shifted representation groups using Clifford modules. The full super representation ring , including all degree shifts, is then a -graded ring in the complex case and a -graded ring in the real case. Our primary result is a six-term periodic exact sequence relating the rings , and . We first establish a version of it working over an arbitrary (not necessarily algebraically closed) field of characteristic 0. In the complex case, this six-term periodic long exact sequence splits into two three-term sequences, which gives us additional insight into the structure of the complex super representation ring . In the real case, we obtain the expected 24-term version, as well as a surprising six-term version, of this periodic exact sequence. (Received: October 2004)     

Matrix Groups Related to the Quaternion Group and Spherical Orbit Codes

We consider a finite matrix group with 3⁴· 2¹⁶ elements, which is a subgroup of the infinite group , where is the regular representation of the quaternion group and C is a matrix that transforms the regular representation Q to its cellwise-diagonal form. There is a number of ways to define the matrix C. Our aim is to make the group similar in a certain sense to a finite group. The eventual choice of an appropriate matrix C done heuristically. We study the structure of the group and use this group to construct spherical orbit codes on the unit Euclidean sphere in R⁸. These codes have code distance less than 1. One of them has 3²· 2⁸ = 2304 elements and its squared Euclidean code distance is 0.293. Communicated by: V. A. Zinoviev     

The Torsion Theory Generated by <Emphasis Type="Italic">M</Emphasis>-Small Modules

Let M be a right R-module, the class of all M-small modules, and P a projective cover of M in [M]. We consider the torsion theories = ( ), = ( ), and = ( ) in [M], where is the torsion theory generated by is the torsion theory cogenerated by , and is the dual Lambek torsion theory. We study some conditions for to be cohereditary, stable, or split, and prove that Rej(M, ) = M = (= = ) = Gen_M(P) .2000 Mathematics Subject Classification: 16S90     

Towards a Characterization of Self-Similar Tilings in Terms of Derived Voronoï Tessellations

In this paper, a technique for analyzing levels of hierarchy in a tiling of Euclidean space is presented. Fixing a central configuration P of tiles in , a `derived Voronoï' tessellation _P is constructed based on the locations of copies of P in . A family of derived Voronoï tilings is formed by allowing the central configurations to vary through an infinite number of possibilities. The family will normally be an infinite one, but we show that for a self-similar tiling it is finite up to similarity. In addition, we show that if the family is finite up to similarity, then is pseudo-self-similar. The relationship between self-similarity and pseudo-self-similarity is not well understood, and this is the obstruction to a complete characterization of self-similarity via our method. A discussion and conjecture on the connection between the two forms of hierarchy for tilings is provided.     

A classification of martingale Hardy spaces associated with rearrangement-invariant function spaces

Let X be a rearrangement-invariant Banach function space over a complete probability space , and denote by the Hardy space consisting of all martingales such that . We prove that implies for any filtration if and only if Doobs inequality holds in X, where denotes the martingale defined by , n = 0, 1, 2, ..., and a.s.Received: 1 August 2000     

Sub-weakly Embedded Singular and Degenerate Polar Spaces

We show that every sub-weak embedding of any singular (degenerate or not) orthogonal or unitary polar space of non-singular rank at least 3 in a projective space PG , a commutative field, is the projection of a full embedding in some subspace PG of PG , where PG contains PG and is a subfield of . The same result is proved in the symplectic case under the assumption that the field over which the polarity is defined is perfect if the characteristic is 2 and if each secant line of the embedded polar space contains exactly two points of . This completes the classification of all sub-weak embeddings of orthogonal, symplectic and unitary polar spaces (singular or not; degenerate or not) of non-singular rank at least 3 and defined over a commutative field , where in the characteristic 2 case is perfect if the polar space is symplectic and the degree of the embedding is 2.     

Exponential Dichotomy on the Real Line and Admissibility of Function Spaces

The purpose of this paper is to give characterizations for uniform exponential dichotomy of evolution families on the real line. We consider a general class of Banach function spaces denoted and we prove that if with and the pair is admissible for an evolution family then is uniformly exponentially dichotomic. By an example we show that the admissibility of the pair for an evolution family is not a sufficient condition for uniform exponential dichotomy. As applications, we deduce necessary and sufficient conditions for uniform exponential dichotomy of evolution families in terms of the admissibility of the pairs and with      

Local Schur’s Lemma and Commutative Semifields

A set of linear maps , V a finite vector space over a field K, is regular if to each there corresponds a unique element such that R(x)=y. In this context, Schur’s lemma implies that is a field if (and only if) it consists of pairwise commuting elements. We consider when is locally commutative: at some μ ∈V*, AB(μ)=BA(μ) for all , and has been normalized to contain the identity. We show that such locally commutative are equivalent to commutative semifields, generalizing a result of Ganley, and hence characterizing commutative semifield spreads within the class of translation planes. This enables the determination of the orders |V| for which all locally commutative on V are (globally) commutative. Similarly, we determine a sharp upperbound for the maximum size of the Schur kernel associated with strictly locally commutative . We apply our main result to demonstrate the existence of a partial spread of degree 5, with nominated shears axis, that cannot be extend to a commutative semifield spread. Finally, we note that although local commutativity for a regular linear set implies that the set of Lie products consists entirely of singular maps, the converse is false.     

Forbidden (0,1)-vectors in Hyperplanes of $$\mathbb{R}^{n}$$: The unrestricted case

In this paper, we continue our investigation on “Extremal problems under dimension constraints” introduced [1]. The general problem we deal with in this paper can be formulated as follows. Let be an affine plane of dimension k in . Given determine or estimate .Here we consider and solve the problem in the special case where is a hyperplane in and the “forbidden set” . The same problem is considered for the case, where is a hyperplane passing through the origin, which surprisingly turns out to be more difficult. For this case we have only partial results.AMS Classification: 05C35, 05B30, 52C99     

The Automorphism Group of Plane Algebraic Curves with Singer Automorphisms

The main result in Cossidente and Siciliano (J. Number Theory, Vol. 99 (2003) pp. 373–382) states that if a Singer subgroup of PGL(3,q) is an automorphism group of a projective, geometric irreducible, non-singular plane algebraic curve then either or . In the former case is projectively equivalent to the curve with equation X^q+1Y+Y^q+1+X=0 studied by Pellikaan. Furthermore, the curve has a very nice property from Finite Geometry point of view: apart from the three distinguished points fixed by the Singer subgroup, the set of its -rational points can be partitioned into finite projective planes . In this paper, the full automorphism group of such curves is determined. It turns out that is the normalizer of a Singer group in .     

Elliptic Curves Suitable for Pairing Based Cryptography

For pairing based cryptography we need elliptic curves defined over finite fields whose group order is divisible by some prime with where k is relatively small. In Barreto et al. and Dupont et al. [Proceedings of the Third Workshop on Security in Communication Networks (SCN 2002), LNCS, 2576, 2003; Building curves with arbitrary small Mov degree over finite fields, Preprint, 2002], algorithms for the construction of ordinary elliptic curves over prime fields with arbitrary embedding degree k are given. Unfortunately, p is of size .We give a method to generate ordinary elliptic curves over prime fields with p significantly less than which also works for arbitrary k. For a fixed embedding degree k, the new algorithm yields curves with where or depending on k. For special values of k even better results are obtained.We present several examples. In particular, we found some curves where is a prime of small Hamming weight resp. with a small addition chain.AMS classification: 14H52, 14G50     

Discussing Knarr's 2-Surface of \mathbb{R} 4 which Generates the First Single Shift Plane

The generating line of the first single shift plane (cf. [11, p. 435]) is a 2-surface of ⁴ which we call the the affine part of Knarr's surface. We compute all affinities leaving invariant. After embedding ⁴ into PG(4, ) we calculate the uniquely determined projective closure _Kn of . Using a suitable projection we transform questions on Knarr's surface to questions on Cayley's surface in PG(3, ). In this way we determine all planes carrying 1-dimensional algebraic varieties of _Kn . We exhibit all automorphic collineations of _Kn .     

On the Singularities of the Magnetic Spectral Shift Function at the Landau Levels

We consider the three-dimensional Schrödinger operators and where , A is a magnetic potential generating a constant magnetic field of strength , and where decays fast enough at infinity. Then, A. Pushnitskis representation of the spectral shift function (SSF) for the pair of operators is well defined for energies We study the behaviour of the associated representative of the equivalence class determined by the SSF, in a neighbourhood of the Landau levels Reducing our analysis to the study of the eigenvalue asymptotics for a family of compact operators of Toeplitz type, we establish a relation between the type of the singularities of the SSF at the Landau levels and the decay rate of V at infinity. Communicated by Bernard HelfferSubmitted 23/09/03, accepted 15/01/04     

Sampling Theory Associated with a Symmetric Operator with Compact Resolvent and De Branges Spaces

Let be a symmetric operator with compact resolvent defined in a Hilbert space For any fixed we consider an entire function K_a which involves the resolvent of Associated with K_a we obtain, by duality in a Hilbert space of entire functions which becomes a De Branges space of entire functions. This property provides a characterization of regardless of the anti-linear mapping which has as its range space. There exists also a sampling formula allowing to recover any function in from its samples at the sequence of eigenvalues of This work has been supported by the grant BFM2003–01034 from the D.G.I. of the Spanish Ministerio de Ciencia y Tecnología.