Operator and matrix representation for the generalized inverse AT,S(2)A_{T,S}^{(2)}

This paper presents the matrix representation for extension of inverse of restriction of a linear operator to a subspace, on the basis of which we establish useful representations in operator and matrix form for the generalized inverse A_T,S⁽²⁾A_{T,S}^{(2)} and give some of their applications.     

On the existence of spines for ${\mathbb{Q}}${\mathbb{Q}}-rank 1 groups

Let X = Γ \G/ K be an arithmetic quotient of a symmetric space of non-compact type. In the case that G has -rank 1, we construct Γ-equivariant deformation retractions of D = G/K onto a set D₀. We prove that D₀ is a spine, having dimension equal to the virtual cohomological dimension of Γ. In fact, there is a (k − 1)-parameter family of such deformation retractions, where k is the number of Γ -conjugacy classes of rational parabolic subgroups of G. The construction of the spine also gives a way to construct an exact fundamental domain for Γ.     

Homological Invariants for pro-p Groups and Some Finitely Presented pro- C{\cal C} Groups

Let G be a finitely presented pro- C{\cal C} group with discrete relations. We prove that the kernel of an epimorphism of G to [^(\Bbb Z)]_C\hat{\Bbb Z}_{\cal C} is topologically finitely generated if G does not contain a free pro- C{\cal C} 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 C{\cal C} groups, pro-p groups, homological type FP_m, finite presentabilityBoth authors are partially supported by CNPq, Brazil.     

On the construction of stable curvilinear pp version elements for mixed formulations of elasticity and Stokes flow

Summary. The use of mixed finite element methods is well-established in the numerical approximation of the problem of nearly incompressible elasticity, and its limit, Stokes flow. The question of stability over curved elements for such methods is of particular significance in the p version, where, since the element size remains fixed, exact representation of the curved boundary by (large) elements is often used. We identify a mixed element which we show to be optimally stable in both p and h refinement over curvilinear meshes. We prove optimal p version (up to ) and h version (p = 2, 3) convergence for our element, and illustrate its optimality through numerical experiments. Received August 25, 1998 / Revised version received February 16, 1999 / Published online April 20, 2000 –? Springer-Verlag 2000     

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.     

Rational holomorphic maps from \mathbbB2 \mathbb{B}^2 into \mathbbBN \mathbb{B}^N with degree 2

Rational proper holomorphic maps from the unit ball in ℂ² into the unit ball ℂ ^N with degree 2 are studied. Any such map must be equivalent to one of the four types of maps. Dedicated to Professor Sheng GONG on the occasion of his 75th birthday     

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.     

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.     

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 .     

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.     

On the Greatest Common Divisor of u ? 1 and v ? 1 with u and v Near S{\cal S}-units

In [2], it was shown that if a and b are multiplicatively independent integers and ɛ > 0, then the inequality gcd (aⁿ − 1,bⁿ − 1) < exp(ɛn) holds for all but finitely many positive integers n. Here, we generalize the above result. In particular, we show that if f(x),f₁(x),g(x),g₁(x) are non-zero polynomials with integer coefficients, then for every ɛ > 0, the inequality gcd (f(n)aⁿ+g(n), f₁(n)bⁿ+g₁(n)) < exp(ne){\rm gcd}\, (f(n)a^n+g(n), f_1(n)b^n+g_1(n)) < \exp(n\varepsilon) holds for all but finitely many positive integers n.     

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.     

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.     

A set of global bounded solutions for a Volterra system of retarded equations on \Bbb R3+ {\Bbb R}^3_+

It is proved the existence of a compact set , invariant under the flow of a Volterra system of retarded equations on , with lag r > 0; is homeomorphic to a solid tri-dimensional cylinder. The boundary of is the union of a closed bi-dimensional cylinder with two open disks (the two basis of the cylinder ). is the union of a continuous one-parameter family of r-periodic orbits of the retarded Volterra system and any r-periodic orbit of the retarded system is contained in . The flow, restricted to , of the system of retarded equations, is the flow of a C ¹-vector-field.     

On certain functional equations related to Jordan triple (q, f){(\theta, \phi)}-derivations on semiprime rings

The main purpose of this paper is to prove the following result. Let R be a 2-torsion free semiprime ring with symmetric Martindale ring of quotients Q _s and let q{\theta} and f{\phi} be automorphisms of R. Suppose T:R? R{T:R\rightarrow R} is an additive mapping satisfying the relation T(xyx)=T(x)q(y)q(x)-f(x)T(y)q(x)+f(x)f(y)T(x){T(xyx)=T(x)\theta (y)\theta (x)-\phi (x)T(y)\theta (x)+\phi (x)\phi (y)T(x)}, for all pairs x,y ? R{x,y\in R}. In this case T is of the form 2T(x)=qq(x)+f(x)q{2T(x)=q\theta (x)+\phi (x)q}, for all x ? R{x\in R} and some fixed element q ? Q_s{q\in Q_{s}}.     

2-local superderivations on a superalgebra Mn(\mathbb C){{\rm M}_{\rm n}({\mathbb C})}

The aim of this paper is to show that every 2-local superderivation on an associative superalgebra M_n(\mathbb C){M_n({\mathbb C})} is a superderivation.     

The unit ball of the complex P(3H){{\mathcal P}(^3H)}

Let H be a two-dimensional complex Hilbert space and P(³H){{\mathcal P}(^3H)} the space of 3-homogeneous polynomials on H. We give a characterization of the extreme points of its unit ball, B_P(³H){{\mathsf B}_{{\mathcal P}(^3H)}} , from which we deduce that the unit sphere of P(³H){{\mathcal P}(^3H)} is the disjoint union of the sets of its extreme and smooth points. We also show that an extreme point of B_P(³H){{\mathsf B}_{{\mathcal P}(^3H)}} remains extreme as considered as an element of B_L(³H){{\mathsf B}_{{\mathcal L}(^3H)}} . Finally we make a few remarks about the geometry of the unit ball of the predual of P(³H){{\mathcal P}(^3H)} and give a characterization of its smooth points.     

Orthogonal complex structures on domains in \mathbb R4{\mathbb {R}^4}

An orthogonal complex structure on a domain in is a complex structure which is integrable and is compatible with the Euclidean metric. This gives rise to a first order system of partial differential equations which is conformally invariant. We prove two Liouville-type uniqueness theorems for solutions of this system, and use these to give an alternative proof of the classification of compact locally conformally flat Hermitian surfaces first proved by Pontecorvo. We also give a classification of non-degenerate quadrics in under the action of the conformal group SO _°(1, 5). Using this classification, we show that generic quadrics give rise to orthogonal complex structures defined on the complement of unknotted solid tori which are smoothly embedded in . To Nigel Hitchin on the occasion of his 60th birthday. This work was partially supported by MIUR (Metriche Riemanniane e Varietà Differenziabili, PRIN05) and NSF Grant DMS-0503506.     

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.