Covering and packing in \Bbb Zn{\Bbb Z}^n and \Bbb Rn{\Bbb R}^n, (I)

Given a finite subset A{\cal A} of an additive group \Bbb G{\Bbb G} such as \Bbb Zⁿ{\Bbb Z}^n or \Bbb Rⁿ{\Bbb R}^n , we are interested in efficient covering of \Bbb G{\Bbb G} by translates of A{\cal A} , and efficient packing of translates of A{\cal A} in \Bbb G{\Bbb G} . A set S ì \Bbb G{\cal S} \subset {\Bbb G} provides a covering if the translates A + s{\cal A} + s with s ? Ss \in {\cal S} cover \Bbb G{\Bbb G} (i.e., their union is \Bbb G{\Bbb G} ), and the covering will be efficient if S{\cal S} has small density in \Bbb G{\Bbb G} . On the other hand, a set S ì \Bbb G{\cal S} \subset {\Bbb G} will provide a packing if the translated sets A + s{\cal A} + s with s ? Ss \in {\cal S} are mutually disjoint, and the packing is efficient if S{\cal S} has large density. In the present part (I) we will derive some facts on these concepts when \Bbb G = \Bbb Zⁿ{\Bbb G} = {\Bbb Z}^n , and give estimates for the minimal covering densities and maximal packing densities of finite sets A ì \Bbb Zⁿ{\cal A} \subset {\Bbb Z}^n . In part (II) we will again deal with \Bbb G = \Bbb Zⁿ{\Bbb G} = {\Bbb Z}^n , and study the behaviour of such densities under linear transformations. In part (III) we will turn to \Bbb G = \Bbb Rⁿ{\Bbb G} = {\Bbb R}^n .     

Homological Invariants for pro- p Grou ps and Some Finitely Presented pro-${\cal C}$ Grou ps

Let G be a finitely presented pro- group with discrete relations. We prove that the kernel of an epimorphism of G to is topologically finitely generated if G does not contain a free pro- group of rank 2. In the case of pro-p groups the result is due to J. Wilson and E. Zelmanov and does not require that the relations are discrete ([15], [17]).For a pro-p group G of type FP_m we define a homological invariant ^m(G) and prove that this invariant determines when a subgroup H of G that contains the commutator subgroup G is itself of type FP_m. This generalises work of J. King for ¹(G) in the case when G is metabelian [9].Both parts of the paper are linked via two conjectures for finitely presented pro-p groups G without free non-cyclic pro-p subgroups. The conjectures suggest that the above conditions on G impose some restrictions on ¹(G) and on the automorphism group of G.Both authors are partially supported by CNPq, Brazil.     

Idempotent multipliers for LP (\Bbb R)(\Bbb R)

The algebra B_p(\Bbb R){\cal B}_p({\Bbb R}), p ? (1,￥)\{2}p\in (1,\infty )\setminus \{2\}, consisting of all measurable sets in \Bbb R{\Bbb R} whose characteristic function is a Fourier p-multiplier, forms an algebra of sets containing many interesting and non-trivial elements (e.g. all intervals and their finite unions, certain periodic sets, arbitrary countable unions of dyadic intervals, etc.). However, B_p(\Bbb R){\cal B}_p({\Bbb R}) fails to be a s\sigma -algebra. It has been shown by V. Lebedev and A. Olevskii [4] that if E ? B_p(\Bbb R)E\in {\cal B}_p({\Bbb R}), then E must coincide a.e. with an open set, a remarkable topological constraint on E. In this note we show if $2 < p < \infty $2 < p < \infty , then there exists E ? B_p(\Bbb R)E\in {\cal B}_p({\Bbb R}) which is not in B_q(\Bbb R){\cal B}_q({\Bbb R}) for any q > pq>p.     

Morse and semistable stratifications of K?hler spacesby \Bbb C*{\Bbb C}^{\ast}-actions

We prove that the Morse decomposition in the sense of Kirwan and semistable decomposition in the sense of GIT of a \Bbb C^*{\Bbb C}^{\ast} -K?hler manifold coincide if the moment map is proper and if the fixed points set X^{\Bbb C*}X^{{\Bbb C}^{\ast}} has a finite number of connected components. For general K?hler space with holomorphic action of a complex reductive group G, if every component of the moment map is proper, the two decompositions also coincide if each semistable piece is Zariski open in its topological closure and the moment map square is minimal degenerate Morse function in the sense of Kirwan.     

Tameness of Pseudovariety Joins Involving \sf R{\sf R}

In this paper, we establish several decidability results for pseudovariety joins of the form \sf Vú\sf W{\sf V}\vee{\sf W} , where \sf V{\sf V} is a subpseudovariety of \sf J{\sf J} or the pseudovariety \sf R{\sf R} . Here, \sf J{\sf J} (resp. \sf R{\sf R} ) denotes the pseudovariety of all J{\cal J} -trivial (resp. ?{\cal R} -trivial) semigroups. In particular, we show that the pseudovariety \sf Vú\sf W{\sf V}\vee{\sf W} is (completely) κ-tame when \sf V{\sf V} is a subpseudovariety of \sf J{\sf J} with decidable κ-word problem and \sf W{\sf W} is (completely) κ-tame. Moreover, if \sf W{\sf W} is a κ-tame pseudovariety which satisfies the pseudoidentity x₁ ⋯ x_ry^ω+1zt^ω = x₁ ⋯ x_ryzt^ω, then we prove that \sf Rú\sf W{\sf R}\vee{\sf W} is also κ-tame. In particular the joins \sf Rú\sf Ab{\sf R}\vee{\sf Ab} , \sf Rú\sf G{\sf R}\vee{\sf G} , \sf Rú\sf OCR{\sf R}\vee{\sf OCR} , and \sf Rú\sf CR{\sf R}\vee{\sf CR} are decidable.     

On pseudo-random subsets of \mathbb Z n{\mathbb Z _n}

The notion of pseudo-randomness of subsets of \mathbb Z_n{\mathbb Z_n} is defined, and the measures of pseudo-randomness are introduced. Then a construction (based on the use of hybrid character sums) will be presented for subsets of \mathbb Z_p{\mathbb Z_p} with strong pseudo-random properties.     

Idempotents in a complex group algebra, projective modules, and the von Neumann algebra

The complex group algebra \Bbb CG{\Bbb C}G of a countable group G can be imbedded in the von Neumann algebra NG of G. If G is torsion-free, and if P is a finitely generated projective module over \Bbb CG{\Bbb C}G it is proved that the central-valued trace of NG?_{\Bbb CG}PNG\otimes _{{\Bbb C}G}P, i.e. of an idempotent \Bbb CG{\Bbb C}G-matrix A defining P is equal to the canonical trace k(P)\kappa (P) times identity I. It follows that k(P)\kappa (P) characterizes the isomorphism type of NG?_{\Bbb CG}PNG\otimes _{{\Bbb C}G}P.¶If k(P)\kappa (P) is an integer, e.g., if the weak Bass conjecture holds for G then NG?_{\Bbb C G}PNG\otimes _{{\Bbb C} G}P is free. It is also shown that for certain classes of groups geometric arguments can be used to prove the Bass conjecture.     

Amenable representations and dynamics of the unit sphere in an infinite-dimensional Hilbert space

We establish a close link between the amenability property of a unitary representation p \pi of a group G (in the sense of Bekka) and the concentration property (in the sense of V. Milman) of the corresponding dynamical system (\Bbb S_p, G) ({\Bbb S}_{\pi}, G) , where \Bbb S_H {\Bbb S}_{\cal H} is the unit sphere the Hilbert space of representation. We prove that p \pi is amenable if and only if either p \pi contains a finite-dimensional subrepresentation or the maximal uniform compactification of (\Bbb S_p ({\Bbb S}_{\pi} has a G-fixed point. Equivalently, the latter means that the G-space (\Bbb S_p, G) ({\Bbb S}_{\pi}, G) has the concentration property: every finite cover of the sphere \Bbb S_p {\Bbb S}_{\pi} contains a set A such that for every e > 0 \epsilon > 0 the e \epsilon -neighbourhoods of the translations of A by finitely many elements of G always intersect. As a corollary, amenability of p \pi is equivalent to the existence of a G-invariant mean on the uniformly continuous bounded functions on \Bbb S_p {\Bbb S}_{\pi} . As another corollary, a locally compact group G is amenable if and only if for every strongly continuous unitary representation of G in an infinite-dimensional Hilbert space H {\cal H} the system (\Bbb S_H, G) ({\Bbb S}_{\cal H}, G) has the property of concentration.     

A graph associated with the p\pi-character degrees of a group

Let G be a group and $\pi$ be a set of primes. We consider the set ${\rm cd}^{\pi}(G)$ of character degrees of G that are divisible only by primes in $\pi$. In particular, we define $\Gamma^{\pi}(G)$ to be the graph whose vertex set is the set of primes dividing degrees in ${\rm cd}^{\pi}(G)$. There is an edge between p and q if pq divides a degree $a \in {\rm cd}^{\pi}(G)$. We show that if G is $\pi$-solvable, then $\Gamma^{\pi}(G)$ has at most two connected components.     

Constant angle surfaces in \Bbb S2×\Bbb R {\Bbb S}^2\times {\Bbb R}

In this article we study surfaces in \Bbb S²×\Bbb R {\Bbb S}^2\times {\Bbb R} for which the unit normal makes a constant angle with the \Bbb R {\Bbb R} -direction. We give a complete classification for surfaces satisfying this simple geometric condition.     

Conjugates of Rational Equivariant Holomorphic Maps of Symmetric Domains

Let t: D ?D￠\tau: {\cal D} \rightarrow{\cal D}^\prime be an equivariant holomorphic map of symmetric domains associated to a homomorphism r: \Bbb G ?\Bbb G￠{\bf\rho}: {\Bbb G} \rightarrow{\Bbb G}^\prime of semisimple algebraic groups defined over \Bbb Q{\Bbb Q} . If G ì \Bbb G (\Bbb Q)\Gamma\subset {\Bbb G} ({\Bbb Q}) and G￠ ì \Bbb G￠(\Bbb Q)\Gamma^\prime \subset {\Bbb G}^\prime ({\Bbb Q}) are torsion-free arithmetic subgroups with r (G) ì G￠{\bf\rho} (\Gamma) \subset \Gamma^\prime , the map G\D ?G￠\D￠\Gamma\backslash {\cal D} \rightarrow\Gamma^\prime \backslash {\cal D}^\prime of arithmetic varieties and the rationality of D{\cal D} and D￠{\cal D}^\prime as well as the commensurability groups of s ? Aut (\Bbb C)\sigma \in {\rm Aut} ({\Bbb C}) determines a conjugate equivariant holomorphic map t^s: D^s ?D^￠s\tau^\sigma: {\cal D}^\sigma \rightarrow{\cal D}^{\prime\sigma} of f^s: (G\D)^s ?(G￠\D￠)^s\phi^\sigma: (\Gamma\backslash {\cal D})^\sigma \rightarrow(\Gamma^\prime \backslash {\cal D}^\prime)^\sigma of . We prove that is rational if is rational.     

Harmonic mean curvature lines on surfaces immersed in $ \mathbb{R}^{3} $ \mathbb{R}^{3}

Consider oriented surfaces immersed in . Associated to them, here are studied pairs of transversal foliations with singularities, defined on the Elliptic region, where the Gaussian curvature , given by the product of the principal curvatures k ₁, k ₂ is positive. The leaves of the foliations are the lines of harmonic mean curvature, also called characteristic or diagonal lines, along which the normal curvature of the immersion is given by , where is the arithmetic mean curvature. That is, is the harmonic mean of the principal curvatures k ₁, k ₂ of the immersion. The singularities of the foliations are the umbilic points and parabolic curves, where k ₁ = k ₂ and , respectively.Here are determined the structurally stable patterns of harmonic mean curvature lines near the umbilic points, parabolic curves and harmonic mean curvature cycles, the periodic leaves of the foliations. The genericity of these patterns is established.This provides the three essential local ingredients to establish sufficient conditions, likely to be also necessary, for Harmonic Mean Curvature Structural Stability of immersed surfaces. This study, outlined towards the end of the paper, is a natural analog and complement for that carried out previously by the authors for the Arithmetic Mean Curvature and the Asymptotic Structural Stability of immersed surfaces, [13, 14, 17], and also extended recently to the case of the Geometric Mean Curvature Configuration [15].The first author was partially supported by FUNAPE/UFG. Both authors are fellows of CNPq. This work was done under the project PRONEX/FINEP/MCT - Conv. 76.97.1080.00 - Teoria Qualitativa das Equações Diferenciais Ordinárias and CNPq - Grant 476886/2001-5.     

Hyperflock determining line sets and totally regular parallelisms of PG (3, \mathbbR){(3,\,{\mathbb{R}})}

By a totally regular parallelism of the real projective 3-space P₃:=PG(3, \mathbb R){\Pi_3:={{\rm PG}}(3, \mathbb {R})} we mean a family T of regular spreads such that each line of Π ₃ is contained in exactly one spread of T. For the investigation of totally regular parallelisms the authors mainly employ Klein’s correspondence λ of line geometry and the polarity π ₅ associated with the Klein quadric H ₅ (for details see Chaps. 1 and 3). The λ-image of a totally regular parallelism T is a hyperflock of H ₅, i.e., a family H of elliptic subquadrics of H ₅ such that each point of H ₅ is on exactly one subquadric of H. Moreover, {p₅(span  l(X))|X ? T}=:H_T{\{\pi_5({{\rm span}} \,\lambda(\mathcal {X}))\vert\mathcal {X}\in\bf{T}\}=:\mathcal {H}_{\bf{T}}} is a hyperflock determining line set, i.e., a set Z{\mathcal {Z}} of 0-secants of H ₅ such that each tangential hyperplane of H ₅ contains exactly one line of Z{\mathcal {Z}} . We say that dim(span H_T)=:d_T{{{\rm dim}}({{\rm span}}\,\mathcal {H}_{\bf{T}})=:d_{\bf{T}}} is the dimension of T and that T is a d _T - parallelism. Clifford parallelisms and 2-parallelisms coincide. The examples of non-Clifford parallelisms exhibited in Betten and Riesinger [Result Math 47:226–241, 2004; Adv Geom 8:11–32, 2008; J Geom (to appear)] are totally regular and of dimension 3. If G{\mathcal{G}} is a hyperflock determining line set, then {l^-1 (p₅(X) ?H₅) | X ? G}{\{\lambda^{-1}\,{\rm (}\pi_5(X){\,\cap H_5)\,|\, X\in\mathcal{G}\}}} is a totally regular parallelism. In the present paper the authors construct examples of topological (see Definition 1.1) 4- and 5-parallelisms via hyperflock determining line sets.     

A rigidity theorem for the pair ${\cal q}{\Bbb C} P^n$ (complex hyperquadric, complex projective space)

Given a compact Kähler manifold M of real dimension 2n, let P be either a compact complex hypersurface of M or a compact totally real submanifold of dimension n. Let q\cal q (resp. \Bbb R Pⁿ{\Bbb R} P^n) be the complex hyperquadric (resp. the totally geodesic real projective space) in the complex projective space \Bbb C Pⁿ{\Bbb C} P^n of constant holomorphic sectional curvature 4l \lambda . We prove that if the Ricci and some (n-1)-Ricci curvatures of M (and, when P is complex, the mean absolute curvature of P) are bounded from below by some special constants and volume (P) / volume (M) ￡\leq volume (q\cal q)/ volume (\Bbb C Pⁿ)({\Bbb C} P^n) (resp. ￡\leq volume (\Bbb R Pⁿ)({\Bbb R} P^n) / volume (\Bbb C Pⁿ)({\Bbb C} P^n)), then there is a holomorphic isometry between M and \Bbb C Pⁿ{\Bbb C} P^n taking P isometrically onto q\cal q (resp. \Bbb R Pⁿ{\Bbb R} P^n). We also classify the Kähler manifolds with boundary which are tubes of radius r around totally real and totally geodesic submanifolds of half dimension, have the holomorphic sectional and some (n-1)-Ricci curvatures bounded from below by those of the tube \Bbb R Pⁿ_r{\Bbb R} P^n_r of radius r around \Bbb R Pⁿ{\Bbb R} P^n in \Bbb C Pⁿ{\Bbb C} P^n and have the first Dirichlet eigenvalue not lower than that of \Bbb R Pⁿ_r{\Bbb R} P^n_r.     

On a conjecture of E. Rapaport Strasser about knot-like groups and its pro-p version

A group G is knot-like if it is finitely presented of deficiency 1 and has abelianization G/G^′?Z. We prove the conjecture of E. Rapaport Strasser that if a knot-like group G has a finitely generated commutator subgroup G^′ then G^′ should be free in the special case when the commutator G^′ is residually finite. It is a corollary of a much more general result : if G is a discrete group of geometric dimension n with a finite K(G,1)-complex Y of dimension n, Y has Euler characteristics 0, N is a normal residually finite subgroup of G, N is of homological type FP_n-1 and G/N?Z then N is of homological type FP_n and hence G/N has finite virtual cohomological dimension vcd(G/N)=cd(G)-cd(N). In particular either N has finite index in G or cd(N)?cd(G)-1.Furthermore we show a pro-p version of the above result with the weaker assumption that G/N is a pro-p group of finite rank. Consequently a pro-p version of Rapaport's conjecture holds.     

On standard Auslander-Reiten sequences for finite groups

Let G be a finite group and O{\cal O} a complete discrete valuation ring of characteristic zero with maximal ideal (p)(\pi ) and residue field k = O/(p)k = {\cal O}/(\pi ) of characteristic p > 0. Let S be a simple kG-module and Q_S a projective O G{\cal O} G-lattice such that Q_S / pQ_SQ_S / \pi Q_S is a projective cover of S. We show that if S is liftable and Q_S belongs to a block of O G{\cal O} G of infinite representation type, then the standard Auslander-Reiten sequence terminating in W^-1S\Omega ^{-1}S is a direct summand of the short exact sequence obtained from some Auslander-Reiten sequence of OG{\cal O}G-lattices by reducing each term mod (p)(\pi ).     

Notes on the nuclearity of random subalgebras of O2{\mathcal {O}_2}

There exists a separable exact C*-algebra A which contains all separable exact C*-algebras as subalgebras, and for each norm-dense measure μ on A and independent μ-distributed random elements x ₁, x ₂, ... we have lim_{n ? ￥}\mathbb P(C^*(x₁,?,x_n) is nuclear)=0{\rm {lim}}_{n \rightarrow \infty}\mathbb {P}(C^*(x_1,\ldots,x_n) \mbox{ is nuclear})=0. Further, there exists a norm-dense non-atomic probability measure μ on the Cuntz algebra O₂{\mathcal {O}_2} such that for an independent sequence x ₁, x ₂, ... of μ-distributed random elements x _i we have lim inf_{n ? ￥}\mathbb P(C^*(x₁,?,x_n) is nuclear)=0{\rm {lim\, inf}}_{n \rightarrow \infty}\mathbb {P}(C^*(x_1,\ldots,x_n) \mbox{ is nuclear})=0. We introduce the notion of the stochastic rank for a unital C*-algebra and prove that the stochastic rank of C([0, 1] ^d ) is d.     

On products of k atoms

Let H be an atomic monoid. For k ? \Bbb Nk \in {\Bbb N} let V_k (H){\cal V}_k (H) denote the set of all m ? \Bbb Nm \in {\Bbb N} with the following property: There exist atoms (irreducible elements) u ₁, …, u _k , v ₁, …, v _m ∈ H with u ₁· … · u _k = v ₁ · … · v _m . We show that for a large class of noetherian domains satisfying some natural finiteness conditions, the sets V_k (H){\cal V}_k (H) are almost arithmetical progressions. Suppose that H is a Krull monoid with finite cyclic class group G such that every class contains a prime (this includes the multiplicative monoids of rings of integers of algebraic number fields). We show that, for every k ? \Bbb Nk \in {\Bbb N}, max V_2k+1 (H) = k |G|+ 1{\cal V}_{2k+1} (H) = k \vert G\vert + 1 which settles Problem 38 in [4].     

Geometric progressions in sumsets over finite fields

Given two sets A, B í \Bbb F_q^d{\cal A}, {\cal B}\subseteq {\Bbb F}_q^d , the set of d dimensional vectors over the finite field \Bbb F_q{\Bbb F}_q with q elements, we show that the sumset A+B = {a+b | a ? A, b ? B}{\cal A}+{\cal B} = \{{\bf a}+{\bf b}\ \vert\ {\bf a} \in {\cal A}, {\bf b} \in {\cal B}\} contains a geometric progression of length k of the form vΛ ^j , where j = 0,…, k − 1, with a nonzero vector v ? \Bbb F_q^d{\bf v} \in {\Bbb F}_q^d and a nonsingular d × d matrix Λ whenever # A # B 3 20 q^2d-2/k\# {\cal A} \# {\cal B} \ge 20 q^{2d-2/k} . We also consider some modifications of this problem including the question of the existence of elements of sumsets on algebraic varieties.     

Notes on the nuclearity of random subalgebras of O2{\mathcal {O}_2}

There exists a separable exact C*-algebra A which contains all separable exact C*-algebras as subalgebras, and for each norm-dense measure μ on A and independent μ-distributed random elements x ₁, x ₂, ... we have . Further, there exists a norm-dense non-atomic probability measure μ on the Cuntz algebra such that for an independent sequence x ₁, x ₂, ... of μ-distributed random elements x _i we have . We introduce the notion of the stochastic rank for a unital C*-algebra and prove that the stochastic rank of C([0, 1] ^d ) is d. B. Burgstaller was supported by the Austrian Schr?dinger stipend J2471-N12.