Geodesics of Sasakian Metrics on Tensor Bundles

On the basis of the phase completion the notion of vertical and horizontal lifts of vector fields is defined in the tensor bundles over a Riemannian manifold. Such a tensor bundle is made into a manifold with a Riemannian structure of special type by endowing it with Sasakian metric. The components of the Levi-Civita and other metric connections with respect to Sasakian metrics on tensor bundles with respect to the adapted frame are presented. This having been done, it is shown that it is possible to study geodesics of Sasakian metrics dealing with geodesics of the base manifolds. Dedicated to the memory of Vladimir Vishnevskii (1929-2007)     

Contact metric manifolds with <Emphasis Type="Italic">η</Emphasis>-parallel torsion tensor

We show that a non-Sasakian contact metric manifold with η-parallel torsion tensor and sectional curvatures of plane sections containing the Reeb vector field different from 1 at some point, is a (k, μ)-contact manifold. In particular for the standard contact metric structure of the tangent sphere bundle the torsion tensor is η-parallel if and only if M is of constant curvature, in which case its associated pseudo-Hermitian structure is CR- integrable. Next we show that if the metric of a non-Sasakian (k, μ)-contact manifold (M, g) is a gradient Ricci soliton, then (M, g) is locally flat in dimension 3, and locally isometric to E ⁿ⁺¹ × S ⁿ (4) in higher dimensions.      

On the geometry of tangent hyperquadric bundles: CR and pseudoharmonic vector fields

We study the natural almost CR structure on the total space of a subbundle of hyperquadrics of the tangent bundle T(M) over a semi-Riemannian manifold (M, g) and show that if the Reeb vector ξ of an almost contact Riemannian manifold is a CR map then the natural almost CR structure on M is strictly pseudoconvex and a posteriori ξ is pseudohermitian. If in addition ξ is geodesic then it is a harmonic vector field. As an other application, we study pseudoharmonic vector fields on a compact strictly pseudoconvex CR manifold M, i.e. unit (with respect to the Webster metric associated with a fixed contact form on M) vector fields X ε H(M) whose horizontal lift X↑ to the canonical circle bundle S¹ → C(M) → M is a critical point of the Dirichlet energy functional associated to the Fefferman metric (a Lorentz metric on C(M)). We show that the Euler–Lagrange equations satisfied by X^↑ project on a nonlinear system of subelliptic PDEs on M. Mathematics Subject Classifications (2000): 53C50, 53C25, 32V20     

On Ricci curvature ofC-totally real submanifolds in Sasakian space forms

LetM ⁿ be a Riemanniann-manifold. Denote byS(p) and Ric(p) the Ricci tensor and the maximum Ricci curvature onM _n, respectively. In this paper we prove that everyC-totally real submanifold of a Sasakian space formM ^2m+1(c) satisfies , whereH ² andg are the square mean curvature function and metric tensor onM ⁿ, respectively. The equality holds identically if and only if eitherM ⁿ is totally geodesic submanifold or n = 2 andM ⁿ is totally umbilical submanifold. Also we show that if aC-totally real submanifoldM ⁿ ofM ²ⁿ⁺¹ (c) satisfies identically, then it is minimal.     

Riemannian Metrics with the Prescribed Curvature Tensor and all Its Covariant Derivatives at One Point

On an n-dimensional vector space, equipped with a scalar product, we prescribe (0, 4) -, (0, 5)-, … type tensors R⁽⁰⁾, R⁽¹⁾, …, satisfying the well-known conditions for a curvature tensor and its derivatives and furthermore certain inequalities for the absolute values of the components of R^(k). Then there is an analytic Riemannian metric g on an open ball of the Cartesian space Rⁿ[u¹, …, uⁿ] for which u¹, …, uⁿ are normal coordinates and (▽^(k)R)₀ = R^(k) (k = 0, 1, 2, …) hold under an identification of the tangent space T₀Rⁿ at the origin with the vector space; ▽^(k)R denote the curvature tensor and its covariant derivatives with respect to the Levi-Civita connection ▽ of g, respectively.     

On the optimal computation of a set of symmetric and persymmetric bilinear forms

A special class $\text{T}$ⁿ of n×n matrices is described, which has tensor rank n over the real field. A tensor base for general symmetric, persymmetric, both symmetric and persymmetric matrices and Toeplitz symmetric matrices can be defined in terms of the tensor bases of $\text{T}$^l for some different values of l. It is proved that both symmetric and persymmetric n×n matrices and Toeplitz symmetric n×n matrices have tensor rank $\text{[}\text{(n+1)}{}^2\text{4}\text{]}$ and 2n?2, respectively, in the real field.     

Isoperimetric regions in spherical cones and Yamabe constants of M ×?S1

We study isoperimetric regions on Riemannian manifolds of the form (M ⁿ × (0, π), sin²(t)g + dt ²) where g is a metric of positive Ricci curvature ≥ n − 1. When g is an Einstein metric we use this to compute the Yamabe constant of (M ×\mathbbR, g+ dt² ){(M \times \mathbb{R}, g+ dt^2 )} and so to obtain lower bounds for the Yamabe invariant of M × S ¹.     

On the conditions to control curvature tensors of Ricci flow

An important problem in the study of Ricci flow is to find the weakest conditions that provide control of the norm of the full Riemannian curvature tensor. In this article, supposing (M ⁿ , g(t)) is a solution to the Ricci flow on a Riemmannian manifold on time interval [0, T), we show that L^\fracn+22{L^\frac{n+2}{2}} norm bound of scalar curvature and Weyl tensor can control the norm of the full Riemannian curvature tensor if M is closed and T < ∞. Next we prove, without condition T < ∞, that C ⁰ bound of scalar curvature and Weyl tensor can control the norm of the full Riemannian curvature tensor on complete manifolds. Finally, we show that to the Ricci flow on a complete non-compact Riemannian manifold with bounded curvature at t = 0 and with the uniformly bounded Ricci curvature tensor on M ⁿ  × [0, T), the curvature tensor stays uniformly bounded on M ⁿ  × [0, T). Hence we can extend the Ricci flow up to the time T. Some other results are also presented.     

Structure tensor of a field of geometric objects

A construction of a kth structure tensor of a field of geometric objects is presented here (k is a non-negative integer). For a given field we construct a vector bundle H ^k,2 (). The kth structure tensor is defined as a section of H ^k,2 () generated by the torsion of . It is then shown that vanishing of the kth structure tensor is a necessary and sufficient condition for the field to be (k+1)-flat.     

Efficient generation of random nonsingular matrices

We present an efficient algorithm for generating an n × n nonsingular matrix uniformly over a finite field. This algorithm is useful for several cryptographic and checking applications. Over GF[2] our algorithm runs in expected time M(n) + O(n²), where M(n) is the time needed to multiply two n × n matrices, and the expected number of random bits it uses is n² + 3. (Over other finite fields we use n² + O(1) random field elements on average.) This is more efficient than the standard method for solving this problem, both in terms of expected running time and the expected number of random bits used. The standard method is to generate random n × n matrices until we produce one with nonzero determinant. In contrast, our technique directly produces a random matrix guaranteed to have nonzero determinant. We also introduce efficient algorithms for related problems such as uniformly generating singular matrices or matrices with fixed determinant. © 1993 John Wiley & Sons, Inc.     

Para-tt*-bundles on the tangent bundle of an almost para-complex manifold

In this paper we study para-tt ^*-bundles (TM, D, S) on the tangent bundle of an almost para-complex manifold (M, τ). We characterise those para-tt ^*-bundles with ${\nabla=D + S}In this paper we study para-tt ^*-bundles (TM, D, S) on the tangent bundle of an almost para-complex manifold (M, τ). We characterise those para-tt ^*-bundles with induced by the one-parameter family of connections given by and prove a uniqueness result for solutions with a para-complex connection D. Flat nearly para-K?hler manifolds and special para-complex manifolds are shown to be such solutions. We analyse which of these solutions admit metric or symplectic para-tt ^*-bundles. Moreover, we give a generalisation of the notion of a para-pluriharmonic map to maps from almost para-complex manifolds (M, τ) into pseudo-Riemannian manifolds and associate to the above metric and symplectic para-tt ^*-bundles generalised para-pluriharmonic maps into , respectively, into SO ₀(n,n)/U ^π(C ⁿ ), where U ^π(C ⁿ ) is the para-complex analogue of the unitary group.      

Gauge-Invariant Characterization of Yang–Mills–Higgs Equations

Let C → M be the bundle of connections of a principal G-bundle P → M over a pseudo-Riemannian manifold (M,g) of signature (n⁺, n⁻) and let E → M be the associated bundle with P under a linear representation of G on a finite-dimensional vector space. For an arbitrary Lie group G, the O(n⁺, n⁻) × G-invariant quadratic Lagrangians on J¹(C × _M E) are characterized. In particular, for a simple Lie group the Yang–Mills and Yang–Mills–Higgs Lagrangians are characterized, up to an scalar factor, to be the only O(n⁺, n⁻) × G-invariant quadratic Lagrangians. These results are also analyzed on several examples of interest in gauge theory. Submitted: May 19, 2005; Accepted: April 25, 2006     

On multiply of sections of line bundles on compact Riemann surfaces

In this paper,we give some conditions on the surjective of multiply maps H~0(R,L)×H~0(R,K)→H~0(R,L(?)K).Here R is a compact Riemann surface,L a line bundle on R and K is the canonical line bundle.     

HORIZONTAL DISTRIBUTIONS ON SPACES OF FIBERS

Abstract

Geometric methods for systems of partial differential equations and multiple integral problems in the calculus of variations lead naturally to differentiable manifolds that resemble fiber bundles but do not possess a structure group; in terms of local coordinates, π:B→M_n|(xⁱ, q^α)→(xⁱ), dim(B) = N + n, dim(M_n) = n. The standard notions of horizontal distributions, horizontal and vertical subspaces of T(B), T(B) = V(B) ⊕ H(B), horizontal lifts of curves in M_n, and horizontal and vertical dual subspaces with Λ¹(B) = V*(B) ⊕ H*(B) are shown to be well defined in B. The absence of a structure group is compensated for by an analysis based on the homogeneous ideals V and H that are generated by the canonical bases of V*(B) and H*(B), respectively. The differential system constructed from the generators of the horizontal ideal is shown to lead to a unique system of connection 1-forms and torsion 2-forms under the requirements that they have vacuous intersections with the horizontal ideal. The horizontal ideal is shown to be completely integrable if and only if the torsion 2-forms vanish throughout B, in which case the curvature 2-forms are congruent to zero mod H, and the curvature 2-forms are shown to have a vacuous intersection with H if and only if the horizontal distribution is affine. The paper concludes with a study of the mapping properties of the connection, torsion and curvature. These are significantly more general than those of a fiber bundle since the absence of a structure group allows mappings of the form 'xⁱ = φⁱ(x,q), 'q^α = φ^α (x,q).     

Moduli spaces of quadratic differentials

The cotangent bundle ofJ (g, n) is a union of complex analytic subvarieties, V(π), the level sets of the function “singularity pattern” of quadratic differentials. Each V(π) is endowed with a natural affine complex structure and volume element. The latter contracts to a real analytic volume element, Μ_π, on the unit hypersurface, V₁(π), for the Teichmüller metric. Μ_π is invariant under the pure mapping class group, γ(g, n), and a certain class of functions is proved to be L^p(Μ_π), 0 <p < 1, over the moduli space V₁(π)/γ (g, n). In particular, Μ_π(V₁(π)/γ(g, n)) < ∞, a statement which generalizes a theorem by H. Masur. Research supported by NSF-MCS-8219148 and NSF-DMS-8521620.     

Independent sets in tensor graph powers

The tensor product of two graphs, G and H, has a vertex set V(G) × V(H) and an edge between (u,v) and (u′,v′) iff both u u′ ∈ E(G) and v v′ ∈ E(H). Let A(G) denote the limit of the independence ratios of tensor powers of G, lim, α(Gⁿ)/|V(Gⁿ)|. This parameter was introduced in [Brown, Nowakowski, Rall, SIAM J Discrete Math 9 ( 5 ), 290–300], where it was shown that A(G) is lower bounded by the vertex expansion ratio of independent sets of G. In this article we study the relation between these parameters further, and ask whether they are in fact equal. We present several families of graphs where equality holds, and discuss the effect the above question has on various open problems related to tensor graph products. © 2006 Wiley Periodicals, Inc. J Graph Theory     

Laplacians on the holomorphic tangent bundle of a Kaehler manifold

Let M be a connected complex manifold endowed with a Hermitian metric g. In this paper, the complex horizontal and vertical Laplacians associated with the induced Hermitian metric 〈·, ·〉 on the holomorphic tangent bundle T ^1,0 M of M are defined, and their explicit expressions are obtained. Using the complex horizontal and vertical Laplacians associated with the Hermitian metric 〈·, ·〉 on T ^1,0 M, we obtain a vanishing theorem of holomorphic horizontal p forms which are compactly supported in T ^1,0 M under the condition that g is a Kaehler metric on M.     

Tensorisation of vectors and their efficient convolution

In recent papers the tensorisation of vectors has been discussed. In principle, this is the isomorphic representation of an \mathbbRⁿ{\mathbb{R}^{n}} vector as a tensor. Black-box tensor approximation methods can be used to reduce the data size of the tensor representation. In particular, if the vector corresponds to a grid function, the resulting data size can become much smaller than n, e.g., O(logn) << n{O(\log n)\ll n} . In this article we discuss the convolution of two vectors which are given via a sparse tensor representation. We want to obtain the result again in the tensor representation. Furthermore, the cost of the convolution algorithm should be related to the operands’ data sizes. While \mathbbRⁿ{\mathbb{R}^{n}} vectors can be considered as grid values of function, we also apply the corresponding procedure to univariate functions.     

Isometric immersions with homothetical Gauss map

Let f:M be an isometric immersion of an m-dimensional Riemannian manifold M into the n-dimensional Euclidean space. Its Gauss map g:MG _m ( ⁿ ) into the Grassmannian G _m ( ⁿ ) is defined by assigning to every point of M its tangent space, considered as a vector subspace of ⁿ . The third fundamental form b of f is the pull-back of the canonical Riemannian metric on G _m ( ⁿ ) via g. In this article we derive a complete classification of all those f (with flat normal bundle) for which the Gauss map g is homothetical; i.e. b is a constant multiple of the Riemannian metric on M. Using these results we furthermore classify all those f (with flat normal bundle) for which the third fundamental form b is parallel w.r.t. the Levi-Civita connection on M.     

Reduction of operators with almost periodic symbols to operators overC *-Algebras on sections of associated bundles over a torus

A decomposition of any pseudodifferential operator (D) onR ⁿ with almost periodic symbol as 113-1 1 is obtained in the paper, where _A (D) is a pseudodifferential operator over a certainC ^*-algebraA acting on sections of a vector bundle over a torusT ⁿ whose fibre isA. The coincidence of spectra sp (D) = sp _A (D) is proved for all (D) either bounded or elliptic.