Symmetric Weighing Matrices Constructed using Group Matrices

A weighing matrix of order n and weight m² is a square matrix M of order n with entries from {-1,0,+1} such that MM^T=m²I where I is the identity matrix of order n. If M is a group matrix constructed using a group of order n, M is called a group weighing matrix. Recently, group weighing matrices were studied intensively, especially when the groups are cyclic and abelian. In this paper, we study the abelian group weighing matrices that are symmetric, i.e.M^T=M. Some new examples are found. Also we obtain a few exponent bounds on abelian groups that admit symmetric group weighing matrices. In particular, we prove that there is no symmetric abelian group weighing matrices of order 2p^r and weight p² where p is a prime and p≥ 5.Communicated by: K.T. Arasu     

Global Geometry of Planary 3-Body Motions

The planary 3-body problem is investigated in the framework of equivariant Riemannian geometry, where the global geometry of the trajectories of the 3-body motion are reduced to that of their moduli curves. These curves record the change of size and shape, in the 3-dimensional moduli space of oriented triangles with a given mass distribution. However, it is shown that the moduli curve, with some obvious exceptions, is already determined by the associated shape curve on the shape space M ^* ≃S ², which only records the change of the similarity class of the triangle. In this way the 3-body motion is encoded into the relative geometry between the shape curve γ ^* and the gradient field ∇ U ^* of the induced Newtonian potential function U ^* on the 2-sphere M ^* . In particular, a separation of size and shape is achieved, the size function can be reconstructed from γ ^* and the latter is a solution of a 3rd order ODE on the 2-sphere.      

The Picard group of a coarse moduli space of vector bundles in positive characteristic

Let C be a smooth projective curve over an algebraically closed field of arbitrary characteristic. Let M _r,L ^ss denote the projective coarse moduli scheme of semistable rank r vector bundles over C with fixed determinant L. We prove Pic(M _r,L ^ss) = ℤ, identify the ample generator, and deduce that M _r,L ^ss is locally factorial. In characteristic zero, this has already been proved by Drézet and Narasimhan. The main point of the present note is to circumvent the usual problems with Geometric Invariant Theory in positive characteristic.     

Hypersurfaces with null higher order mean curvature

A hypersurface M ⁿ immersed in a space form is r-minimal if its (r + 1) ^th -curvature (the (r + 1) ^th elementary symmetric function of its principal curvatures) vanishes identically. Let W be the set of points which are omitted by the totally geodesic hypersurfaces tangent to M. We will prove that if an orientable hypersurface M ⁿ is r-minimal and its r ^th -curvature is nonzero everywhere, and the set W is nonempty and open, then M ⁿ has relative nullity n − r. Also we will prove that if an orientable hypersurface M ⁿ is r-minimal and its r ^th -curvature is nonzero everywhere, and the ambient space is euclidean or hyperbolic and W is nonempty, then M ⁿ is r-stable.     

Limiting angles of Γ-martingales

Suppose that M is a complete, simply connected Riemannian manifold of non-positive sectional curvature with dimension m≥ 3 and that, outside a fixed compact set, the sectional curvatures are bounded above by −c ₁/{r ² ln r} and below by −c ₂ r ², where c ₁ and c ₂ are two positive constants and r is the geodesic distance from a fixed point. We show that, when κ≥ 1 satisfies certain conditions, the angular part of a κ-quasi-conformal Γ-martingale on M tends to a limit as time tends to infinity and the closure of the support of the distribution of this limit is the entire sphere at infinity. This improves both a result of Le for Brownian motion and also results concerning the non-existence of κ-quasi-conformal harmonic maps from certain types of Riemannian manifolds into M. Received: 19 September 1997     

On exact 2-para Sasakian manifolds

Paracontact and para Sasakian manifoldsM carryingr(1<r≤dimM) Reed vector filds ξ _r have been especially studied by A. Bucki [2], [3], [4]. In the present paper, we consider a (2m+2)-dimensional para Sasakian manifoldM(ϕ, ξ _r , η ^r g), whose Reed convectors η ^r =ξ _r ^b are exact 1-forms and the covariant derivatives of ξ _r are given by ∇ξ _r =f _r dp ^⊺, wheredp ^⊤ means the horizontal component of the soldering formdp andf _r∈C^∞M satisfydf _r =cη ^r ,c=constant. It is proved that such a manifold may be viewed as the local Riemannian productM=M ^⊥×M^⊤, where

Am×n矩阵的加边矩阵的奇异性问题

给定m×n阶矩阵A,我们给出了它的加边矩阵M=[A B C O] (1)为非奇的充分必要条件。其中O为r₁×r₂阶零矩阵。把M的逆矩阵记为分块形式M^-1=[A₁ B₂ C₃ O₄]其中C₁为n×m、C₂为n×r₁、C₃为r₂×m、C₄为r₂×r₁阶矩阵。在一定条件下,我们证明了其中的C₁为A的广义逆矩阵A⁺。     

The Brauer group of desingularization of moduli spaces of vector bundles over a curve

Let C be an irreducible smooth projective curve, of genus at least two, defined over an algebraically closed field of characteristic zero. For a fixed line bundle L on C, let M _C (r; L) be the coarse moduli space of semistable vector bundles E over C of rank r with ∧ ^r E = L. We show that the Brauer group of any desingularization of M _C (r; L) is trivial.     

Pappus type theorems for hypersurfaces in a space form

In order to get further insight on the Weyl’s formula for the volume of a tubular hypersurface, we consider the following situation. Letc(t) be a curve in a space formM _λ ⁿ of sectional curvature λ. LetP ₀ be a totally geodesic hypersurface ofM _λ ⁿ throughc(0) and orthogonal toc(t). LetC ₀ be a hypersurface ofP ₀. LetC be the hypersurface ofM _λ ⁿ obtained by a motion ofC ₀ alongc(t). We shall denote it byC ^PorC ^Fif it is obtained by a parallel or Frenet motion, respectively. We get a formula for volume(C). Among other consequences of this formula we get that, ifc(0) is the centre of mass ofC ₀, then volume(C) ≥ volume(C),^P),and the equality holds whenC ₀ is contained in a geodesic sphere or the motion corresponds to a curve contained in a hyperplane of the Lie algebraO(n−1) (whenn=3, the only motion with these properties is the parallel motion). Work partially supported by a DGES Grant No. PB97-1425 and a AGIGV Grant No. GR0052.     

Manifolds with small Dirac eigenvalues are nilmanifolds

Consider the class of n-dimensional Riemannian spin manifolds with bounded sectional curvatures and bounded diameter, and almost non-negative scalar curvature. Let r = 1 if n = 2,3 and r = 2^[n/2]-1 + 1 if n ≥ 4. We show that if the square of the Dirac operator on such a manifold has r small eigenvalues, then the manifold is diffeomorphic to a nilmanifold and has trivial spin structure. Equivalently, if M is not a nilmanifold or if M is a nilmanifold with a non-trivial spin structure, then there exists a uniform lower bound on the r-th eigenvalue of the square of the Dirac operator. If a manifold with almost non-negative scalar curvature has one small Dirac eigenvalue, and if the volume is not too small, then we show that the metric is close to a Ricci-flat metric on M with a parallel spinor. In dimension 4 this implies that M is either a torus or a K3-surface.      

When are the tangent sphere bundles of a Riemannian manifold <Emphasis Type="Italic">η</Emphasis>-Einstein?

We study the geometry of a tangent sphere bundle of a Riemannian manifold (M, g). Let M be an n-dimensional Riemannian manifold and T _r M be the tangent bundle of M of constant radius r. The main theorem is that T _r M equipped with the standard contact metric structure is η-Einstein if and only if M is a space of constant sectional curvature \frac1r²{\frac{1}{r^2}} or \fracn-2r²{\frac{n-2}{r^2}}.     

Analytic Extension of Non Quasi - Analytic Whitney Jets of Beurling Type

Let (M_r)_r∈_?0 be a logarithmically convex sequence of positive numbers which verifies M₀ = 1 as well as M_r ≥ 1 for every r ∈ ? and defines a non quasi - analytic class. Let moreover F be a closed proper subset of ?ⁿ. Then for every function f on ?ⁿ belonging to the non quasi - analytic (M_r)-class of Beurling type, there is an element g of the same class which is analytic on ?,ⁿ F and such that D^αf(x) = D^αg(x) for every α ∈ ?ⁿ₀ and x ∈ F.     

Weak helix submanifolds of euclidean spaces

Let M⊂ℝ ⁿ be a submanifold of a euclidean space. A vector d∈ℝ ⁿ is called a helix direction of M if the angle between d and any tangent space T _p M is constant. Let ℋ(M) be the set of helix directions of M. If the set ℋ(M) contains r linearly independent vectors we say that M is a weak r-helix. We say that M is a strong r-helix if ℋ(M) is a r-dimensional linear subspace of ℝ ⁿ . For curves and hypersurfaces both definitions agree. The object of this article is to show that these definitions are not equivalent. Namely, we construct (non strong) weak 2-helix surfaces of ℝ⁴. The author is supported by the Project M.I.U.R. “Riemann Metrics and Differentiable Manifolds” and by G.N.S.A.G.A. of I.N.d.A.M., Italy.     

Large deviations and stochastic flows of diffeomorphisms

Summary Previous results in the theory of large deviations for additive functionals of a diffusion process on a compact manifold M are extended and then applied to the analysis of the Lyapunov exponents of a stochastic flow of diffeomorphisms of M. An approximation argument relates these results to the behavior near the diagonal Δ in M ² of the associated two point motion. Finally it is shown, under appropriate non-degeneracy conditions, that the two-point motion is ergodic on M ²-Δ if the top Lyapunov exponent is positive. At the period when this research was initiated, both authors where guests of the I.M.A. in Minneapolis. The first author was at Aberdeen University, Scotland when this article was prepared. Throughout the period of this research, the second author has been partially supported by N.S.F. grant DMS-8611487 and ARO grant DAAL03-86-K-171     

Properties of Hadamard product of inverse M‐matrices

This paper concerns with the properties of Hadamard product of inverse M‐matrices. Structures of tridiagonal inverse M‐matrices and Hessenberg inverse M‐matrices are analysed. It is proved that the product A ○ A^T satisfies Willoughby's necessary conditions for being an inverse M‐matrix when A is an irreducible inverse M‐matrix. It is also proved that when A is either a Hessenberg inverse M‐matrix or a tridiagonal inverse M‐matrix then A ○ A^T is an inverse M‐matrix. Based on these results, the conjecture that A ○ A^T is an inverse M‐matrix when A is an inverse M‐matrix is made. Unfortunately, the conjecture is not true. Copyright © 2004 John Wiley Sons, Ltd.     

Local Geometry of Levi-Forms Associated with the Existence of Complex Submanifolds and the Minimality of Generic CR Manifolds

Let M be a generic CR manifold in \BbbC^m+d\Bbb{C}^{m+d} of codimension d, locally given as the common zero set of real-valued functions r ¹,…,r ^d . Given an integer δ=1,…,d, we find a necessary and sufficient condition for M to contain a real submanifold of codimension δ with the same CR structure. We also find a necessary and sufficient condition and several sufficient conditions for M to admit a complex submanifold of complex dimension n, for any n=1,…,m. We use the method of prolongation of an exterior differential system. The conditions are systems of partial differential equations on r ¹,…,r ^d of third order.     

Eigenvalues of Finite Projective Planes with an Abelian Cartesian Group

Let M be an incidence matrix for a projective plane of order n. The eigenvalues of M are calculated in the Desarguesian case and a standard form for M is obtained under the hypothesis that the plane admits a (P,L)-transitivity G, |G| = n. The study of M is reduced to a principal submatrix A which is an incidence matrix for n ² lines of an associated affine plane. In this case, A is a generalized Hadamard matrix of order n for the Cayley permutation representation R(G). Under these conditions it is shown that G is a 2-group and n = 2^r when the eigenvalues of A are real. If G is abelian, the characteristic polynomial |xI – A| is the product of the n polynomials |x – (A)|, a linear character of G. This formula is used to prove n is a prime power under natural conditions on A and spectrum(A). It is conjectured that |xI – A| x ⁿ² mod p for each prime divisor p of n and the truth of the conjecture is shown to imply n = |G| is a prime power.     

Non-special divisors on real algebraic curves and embeddings into real projective spaces

We show that there is a large class of non-special divisors of relatively small degree on a given real algebraic curve. If the real algebraic curve has many real components, such a divisor gives rise to an embedding (birational embedding, resp.) of the real algebraic curve into the real projective space ℙ ^r for r≥3 (r=2, resp.). We study these embeddings in quite some detail. Received: October 17, 2001?Published online: February 20, 2003     

Weak convergence to the matrix stochastic integral ∫0 B dB′

The asymptotic theory of regression with integrated processes of the ARIMA type frequently involves weak convergence to stochastic integrals of the form ∫₀¹ W dW, where W(r) is standard Brownian motion. In multiple regressions and vector autoregressions with vector ARIMA processes, the theory involves weak convergence to matrix stochastic integrals of the form ∫₀¹ B dB′, where B(r) is vector Brownian motion with a non-scalar covariance matrix. This paper studies the weak convergence of sample covariance matrices to ∫₀¹ B dB′ under quite general conditions. The theory is applied to vector autoregressions with integrated processes.