On the spectral synthesis property and its application to partial differential equations

LetM be a (n−1)-dimensional manifold inR ⁿ with non-vanishing Gaussian curvature. Using an estimate established in the early work of the author [4], we will improve the known result of Y. Domar on the weak spectral synthesis property by reducing the smoothness assumption upon the manifoldM. Also as an application of the method, a uniqueness property for partial differential equations with constant coefficients will be proved, which for some specific cases recovers or improves H?rmander's general result.     

Products of central collineations

An n by n matrix M over a (commutative) field F is said to be central if M ? I has rank 1. We say that M is an involution if M²=I; if M is also central we call M a simple involution. We will prove that any n-by-n matrix M satisfying detM=±1 is the product of n+2 or fewer simple involutions. This can be reduced to n+1 if F contains no roots of the equation xⁿ=(?1)ⁿ other than ±1. Any ordered field is of this kind. Our main result is that if M is any n-by-n nonsingular nonscalar matrix and if x_i ∈ F such that x₁?x_n=detM, then there exist central matrices M_i such that M=M₁?M_n and x_i=detM_i for i=1,…,n. We will apply this result to the projective group PGL(n,F) and to the little projective group PSL(n,F).     

Notes on the Rescaled Sasaki Type Metric on the Cotangent Bundle

Let (M,g) be an n-dimensional Riemannian manifold and T^*M be its cotangent bundle equipped with the rescaled Sasaki type metric. In this paper, we firstly study the paraholomorphy property of the rescaled Sasaki type metric by using some compatible paracomplex structures on T^*M. Second, we construct locally decomposable Golden Riemannian structures on T^*M. Finally we investigate curvature properties of T^*M.     

Adian-Lisenok groups and (U) condition

A group G possesses the property (U) with respect to S if there exists a number M = M(G) such that for each generating set P of the group G there exists an element t ? G for which max _x?S |t ^?1 xt| _P ≤ M. It is proved that the well-known Adian-Lisenok groups possess the property (U). In connection with the problem on finding infinite groups with the property (U), which is stated in a joint unpublishedwork by D.Osin and D. Sonkin, it is shown that for any odd n ≥ 1003 there is a continuum set of non-isomorphic, i.e. simple groups with the property (U) in the variety of groups satisfying the identity x ⁿ = 1.     

Variational Inequalities: an Elementary Approach

We will deal with the following problem: Let M be an n×n matrix with real entries. Under which conditions the family of inequalities: x∈? ⁿ ;x?0;M·x?0has non–trivial solutions? We will prove that a sufficient condition is given by m_i,j+m_j,i?0 (1?i,j?n); from this result we will derive an elementary proof of the existence theorem for Variational Inequalities in the framework of Monotone Operators.     

Wallman compactification and matrices of zeroes and ones

Let M be an m by n matrix (where m and n are any finite or infinite cardinals) such that the entries of M are 0's or 1's and M contains the zero row $\text{0}$ and the rows of M are closed under coordinatewise multiplication. We prove that M can be extended to an m by n′ ? n matrix M′ such that the entries of M′ are 0's or 1's and M′ contains the zero row 0?′ and the extension preserves the zero products. Moreover, the newly introduced columns (if any) are pairwise distinct. Furthermore, if E′ is any set of rows of M′ with the property that for every finite subset of rows r′_i of E′ there exists j < n′ such that r′_ij = 1, then every subset of rows of E′ has the same property. We rephrase this by saying that if E′ has the finite intersection property then E′ has a nonempty intersection. We also show (this time by Zorn's lemma) that there exists an extension of M with all the abovementioned properties such that the extension preserves products sums, complements and the newly introduced columns (if any) are pairwise distinct in a stricter sense. In effect, our result shows that the classical Wallman compactification theorem can be formulated purely combinatorially requiring no introduction of any topology on n.     

Uniqueness of analytic continuation: Necessary and sufficient conditions

Necessary and sufficient conditions for uniqueness of analytic continuation are investigated for a system of m ? 1 first-order linear homogeneous partial differential equations in one unknown, with complex-valued $\text{b}$^∞ coefficients, in some connected open subset of $\text{R}$^k, k ? 2. The type of system considered is one for which there exists a real k-dimensional, $\text{b}$^∞, connected C-R submanifold M^k of $\text{C}$ⁿ, for k, n ? 2, such that the system may be identified with the induced Cauchy-Riemann operators on M^k. The question of uniqueness of analytic continuation for a system of partial differential equations is thus transformed to the question of uniqueness of analytic continuation for C-R functions on the manifold M^k ? Cⁿ. Under the assumption that the Levi algebra of M^k has constant dimension, it is shown that if the excess dimension of this algebra is maximal at every point, then M^k has the property of uniqueness of analytic continuation for its C-R functions. Conversely, under certain mild conditions, it is shown that if M^k has the property of uniqueness of analytic continuation for all $\text{b}$^∞ C-R functions, and if the Levi algebra has constant dimension on all of M^k, then the excess dimension must be maximal at every point of M^k.     

Tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property

In this paper we set up a representation theorem for tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property in terms of Ky Fan norms. Examples of tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property include unitarily invariant norms on finite factors (type II₁ factors and Mn(C)) and symmetric gauge norms on L^∞[0,1] and Cn. As the first application, we obtain that the class of unitarily invariant norms on a type II₁ factor coincides with the class of symmetric gauge norms on L^∞[0,1] and von Neumann's classical result [J. von Neumann, Some matrix-inequalities and metrization of matrix-space, Tomsk. Univ. Rev. 1 (1937) 286-300] on unitarily invariant norms on Mn(C). As the second application, Ky Fan's dominance theorem [Ky Fan, Maximum properties and inequalities for the eigenvalues of completely continuous operators, Proc. Natl. Acad. Sci. USA 37 (1951) 760-766] is obtained for finite von Neumann algebras satisfying the weak Dixmier property. As the third application, some classical results in non-commutative Lp-theory (e.g., non-commutative Hölder's inequality, duality and reflexivity of non-commutative Lp-spaces) are obtained for general unitarily invariant norms on finite factors. We also investigate the extreme points of N(M), the convex compact set (in the pointwise weak topology) of normalized unitarily invariant norms (the norm of the identity operator is 1) on a finite factor M. We obtain all extreme points of N(M₂(C)) and some extreme points of N(Mn(C)) (n?3). For a type II₁ factor M, we prove that if t (0?t?1) is a rational number then the Ky Fan tth norm is an extreme point of N(M).     

On bijections of Lorentz manifolds,which leave the class of spacelike paths invariant

Suppose that (M, g) and (M′, g′) are Lorentz manifolds, and that f: M → M′ is a bijection, such that f and f^-1 preserve spacelike paths (f: M → M′ has this property, if for any spacelike path γ: J → M in (M ,g), the composition fγ: J → M′ is a spacelike path in (M′, g′)). Then f is a (manifold-) homeomorphism.This statement is the ‘spacelike’ version of an analogous ‘timelike’ theorem (Hawking, King and McCarthy [6] and Göbel [2] for strongly causal, and Malament [10] for general Lorentz manifolds).With this result it is possible to prove a conjecture of Göbel [3] which states that every bijection between time-orientable n-dimensional (n ? 3) Lorentz manifolds which preserves spacelike paths is a conformal C^∞-diffeomorphism.     

Linear maps that preserve singular and nonsingular matrices

Let M (n,K) be the algebra of n × n matrices over an algebraically closed field K and T:M (n,K)→M (n,K) a linear transformation with the property that T maps nonsingular (singular) matrices to nonsingular (singular) matrices. Using some elementary facts from commutative algebra we show that T is nonsingular and maps singular matrices to singular matrices (T is nonsingular or T maps all matrices to singular matrices). Using these results we obtain Marcus and Moyl's characterization [T(x) = UXVorU^tXV for fixed U and V] from a result of Dieudonné's. Examples are given to show the hypothesis of algebraic closure in necessary.     

Deformation of CR-manifolds,minimal points and CR-manifolds with the microlocal analytic extension property

LetM be a smooth CR-manifold embedded into ? ⁿ . Letp be a point inM and letC be a small truncated cone inM (in suitable Euclidean coordinates onM) with vertexp which “symmetry axis” is a real vector in the complex tangent space. Then one can deformM into a smooth CR-manifoldM _d letting fixed all points outsideC in such a way thatp is a minimal point ofM _d . This result is used to give a new proof of the fact that wedge extendability of continuous CR-functions propagates along the CR-orbits of a CR-manifold. It allows also to prove the following natural result which was conjectured by Trepreau. LetM be a smooth generic CR-manifold in ? ⁿ . SupposeM consists of one single CR-orbit. Then each continuous CR-function onM is wedge extendable at any point ofM. Uniqueness theorems for continuous CR-functions are derived.     

Eigenvalue estimates for minimal hypersurfaces in hyperbolic space

Recently Candel [A. Candel, Eigenvalue estimates for minimal surfaces in hyperbolic space, Trans. Amer. Math. Soc. 359 (2007) 3567-3575] proved that if M is a simply-connected stable minimal surface isometrically immersed in H³, then the first eigenvalue of M satisfies 1/4?λ(M)?4/3 and he asked whether the bound is sharp and gave an example such that the lower bound is attained. In this note, we prove that the upper bound can never be attained. Also we extend the result by proving that if M is compact stable minimal hypersurface isometrically immersed in Hn+1 where n?3 such that its smooth Yamabe invariant is negative, then (n−1)/4?λ(M)?n²(n−2)/(7n−6).     

Upper bounds on the length of a shortest closed geodesic and quantitative Hurewicz theorem

In this paper we present two upper bounds on the length of a shortest closed geodesic on compact Riemannian manifolds. The first upper bound depends on an upper bound on sectional curvature and an upper bound on the volume of the manifold. The second upper bound will be given in terms of a lower bound on sectional curvature, an upper bound on the diameter and a lower bound on the volume.The related questions that will also be studied are the following: given a contractible k-dimensional sphere in M ⁿ , how “fast” can this sphere be contracted to a point, if π _i (M ⁿ )={0} for 1≤i<k. That is, what is the maximal length of the trajectory described by a point of a sphere under an “optimal” homotopy? Also, what is the “size” of the smallest non-contractible k-dimensional sphere in a (k-1)-connected manifold M ⁿ providing that M ⁿ is not k-connected?     

n-almost prime submodules

Let R be a commutative ring with identity. A proper submodule N of an R-module M will be called prime [resp. n-almost prime], if for r ∈ R and a ∈ M with ra ∈ N [resp. ra ∈ N \ (N: M) ^n?1 N], either a ∈ N or r ∈ (N: M). In this note we will study the relations between prime, primary and n-almost prime submodules. Among other results it is proved that:

1. If N is an n-almost prime submodule of an R-module M, then N is prime or N = (N: M)N, in case M is finitely generated semisimple, or M is torsion-free with dim R = 1.
2. Every n-almost prime submodule of a torsion-free Noetherian module is primary.
3. Every n-almost prime submodule of a finitely generated torsion-free module over a Dedekind domain is prime.
4. There exists a finitely generated faithful R-module M such that every proper submodule of M is n-almost prime, if and only if R is Von Neumann regular or R is a local ring with the maximal ideal m such that m ² = 0.
5. If I is an n-almost prime ideal of R and F is a flat R-module with IF ≠ F, then IF is an n-almost prime submodule of F.

     

Minimal tori with low nullity

The nullity of a minimal submanifold M⊂Sn is the dimension of the nullspace of the second variation of the area functional. That space contains as a subspace the effect of the group of rigid motions SO(n+1) of the ambient space, modulo those motions which preserve M, whose dimension is the Killing nullitykn(M) of M. In the case of 2-dimensional tori M in S³, there is an additional naturally-defined 2-dimensional subspace that contributes to the nullity; the dimension of the sum of the action of the rigid motions and this space is the natural nullitynnt(M). In this paper we will study minimal tori in S³ with natural nullity less than 8. We construct minimal immersions of the plane R² in S³ that contain all possible examples of tori with nnt(M)<8. We prove that the examples of Lawson and Hsiang with kn(M)=5 also have nnt(M)=5, and we prove that if the nnt(M)?6 then the group of isometries of M is not trivial.     

Some families of strongly clean rings

A ring R with identity is called strongly clean if every element of R is the sum of an idempotent and a unit that commute with each other. For a commutative local ring R and for an arbitrary integer n?2, the paper deals with the question whether the strongly clean property of M_n(R[[x]]), , and M_n(RC₂) follows from the strongly clean property of M_n(R). This is ‘Yes’ if n=2 by a known result.     

A-priori upper bounds for the set covering problem

A matrix M∈R^n×n is said to be a column sufficient matrix if the solution set of LCP(M,q) is convex for every q∈Rⁿ. In a recent article, Qin et al. (Optim. Lett. 3:265–276, 2009) studied the concept of column sufficiency property in Euclidean Jordan algebras. In this paper, we make a further study of this concept and prove numerous results relating column sufficiency with the Z and Lypaunov-like properties. We also study this property for some special linear transformations.     

Geometric, topological and differentiable rigidity of submanifolds in space forms

Let M be an n-dimensional submanifold in the simply connected space form F ^n+p (c) with c + H ² > 0, where H is the mean curvature of M. We verify that if M ⁿ (n ≥ 3) is an oriented compact submanifold with parallel mean curvature and its Ricci curvature satisfies Ric _M ≥ (n ? 2)(c + H ²), then M is either a totally umbilic sphere, a Clifford hypersurface in an (n + 1)-sphere with n = even, or ${\mathbb{C}P^{2} \left(\frac{4}{3}(c + H^{2})\right) {\rm in} S^{7} \left(\frac{1}{\sqrt{c + H^{2}}}\right)}$ C P 2 4 3 ( c + H 2 ) in S 7 1 c + H 2 . In particular, if Ric _M > (n ? 2)(c + H ²), then M is a totally umbilic sphere. We then prove that if M ⁿ (n ≥ 4) is a compact submanifold in F ^n+p (c) with c ≥ 0, and if Ric _M > (n ? 2)(c + H ²), then M is homeomorphic to a sphere. It should be emphasized that our pinching conditions above are sharp. Finally, we obtain a differentiable sphere theorem for submanifolds with positive Ricci curvature.     

Sequences of contractions on L1-spaces

Let T_n, n = 1,2,… be a sequence of linear contractions on the space where is a finite measure space. Let M be the subspace of L¹ for which T_ng → g weakly in L¹ for g?M. If T_n1 → 1 strongly, then T_nf → f strongly for all f in the closed vector sublattice in L¹ generated by M.This result can be applied to the determination of Korovkin sets and shadows in L¹. Given a set G ? L¹, its shadow S(G) is the set of all f?L¹ with the property that T_nf → f strongly for any sequence of contractions T_n, n = 1, 2,… which converges strongly to the identity on G; and G is said to be a Korovkin set if S(G) = L¹. For instance, if 1 ?G, then, where M is the linear hull of G and $\text{B}$_M is the sub-σ-algebra of $\text{B}$ generated by {x?X: g(x) > 0} for g?M. If the measure algebra is separable, has Korovkin sets consisting of two elements.     

Short Geodesic Segments between Two Points on a Closed Riemannian Manifold

Let M ⁿ be a closed Riemannian manifold homotopy equivalent to the product of S ² and an arbitrary (n–2)-dimensional manifold. In this paper we prove that given an arbitrary pair of points on M ⁿ there exist at least k distinct geodesics of length at most 20k!d between these points for every positive integer k. Here d denotes the diameter of M ⁿ .