The torsion of a submanifold of a Riemannian manifold

For a submanifoldM ⁿ of a Riemannian manifoldM ^q, the concept of a torsion bivector at the point x M ⁿ for given one- and two-dimensional directions fromT _x M ⁿ is introduced using only the first and second fundamental forms ofM ⁿ. Its relation to the concept of Gaussian torsion is then established. It is proved that: 1) equality to zero of the torsion bivector is necessary and, whenM ⁿ is a nondevelopable surface of a space of constant curvature with nonzero second fundamental form, is also sufficient for the "flattening" ofM ⁿ into some totally geodesicM ⁿ⁺¹ inM ^q; 2) when n = 2, the independence of the nonzero torsion bivector of direction characterizes a minimalM ² inM ^q.Translated from Ukrainskii Geometricheskii Sbornik, No. 34, pp. 39–42, 1991.     

On semi-fredholm properties of a boundary value problem inR + n

The paper considers a boundary value problem with the help of the smallest closed extensionL ^∼ :H _k →H _{k 0}×B _{h 1}×...×B _{h N} of a linear operatorL :C ₍₀₎ ^∞ (R ₊ ⁿ ) →L(R ₊ ⁿ )×L(R ⁿ⁻¹)×...×L(R ⁿ⁻¹). Here the spacesH _k (the spaces ℬ _h ) are appropriate subspaces ofD′(R ₊ ⁿ ) (ofD′(R ⁿ⁻¹), resp.),L(R ₊ ⁿ ) andC ₍₀₎ ^∞ (R ₊ ⁿ )) denotes the linear space of smooth functionsR ⁿ →C, which are restrictions onR ₊ ⁿ of a function from the Schwartz classL (fromC ₀ ^∞ , resp.),L(R ⁿ⁻¹) is the Schwartz class of functionsR ⁿ⁻¹ →C andL is constructed by pseudo-differential operators. Criteria for the closedness of the rangeR(L ^∼) and for the uniqueness of solutionsL ^∼ U=F are expressed. In addition, ana priori estimate for the corresponding boundary value problem is established.     

Rank formulae from the perspective of orthogonal projectors

For matrices F and G having the same number of rows and the orthogonal projectors P?=?FF ^? and Q?=?GG ^?, with F ^? and G ^? denoting the Moore–Penrose inverses of F and G, respectively, several formulae for ranks of various functions of F, G, P and Q are established. Besides a collection of original characterizations, many of which involve the ranks of F*G and (F?:?G) (which coincide with the ranks of PQ and P?+?Q, respectively), some properties known in the literature are reestablished in a generalized form. The variety of relationships considered shows that the approach utilized in the article, based on the partitioned representations of the projectors, provides a powerful tool of wide applicability.     

Two composition methods for solving certain systems of linear equations

Summary This note is concerned with the following problem: Given a systemA·x=b of linear equations and knowing that certains of its subsystemsA ¹·x ¹=b ¹, ...,A ^m ·x ^m =b ^m can be solved uniquely what can be said about the regularity ofA and how to find the solutionx fromx ¹, ...,x ^m ? This question is of particular interest for establishing methods computing certain linear or quasilinear sequence transformations recursively [7, 13, 15].Work performed under NATO Research Grant 027-81     

Operators on the Lattice of Pseudovarieties of Finite Semigroups

L (F) of pseudovarieties of finite semigroups that attempts to take full advantage of the underlying lattice structure, Auinger, Hall and the present authors recently introduced fourteen complete congruences on L (F). Such congruences provide a framework from which to study L (F) both locally and globally. For each such congruence ρ and each U∈L (F) the ρ-class of U is an interval [U ^ρ, U _ρ]. This provides a family of operators of the form U⇒Uρ on L (F) that reveal important relationships between elements of L (F). Various aspects of these operators are considered including characterizations of U ^ρ, bases of pseudoidentities for U ^ρ, instances of commutativity (U ^ρ)^σ = U ^σ)^ρ, as well as the semigroups generated by certain pairs of such operators.     

Arithmetic of Finite Ordered Sets: Cancellation of Exponents,II

Garrett Birkhoff conjectured in 1942 that when A, B, P are finite posets satisfying A ^PB ^P, then AB. We show that this is true. Further, we introduce an operation C(A ^B), related to Garrett Birkhoff's exponentiation, and determine the structure of the algebra of isomorphism types of finite posets under the operations induced by A+B, A×B, and C(A ^B). Every finite +-indecomposable and ×-indecomposable poset A of more than one element is expressible for unique (up to isomorphism) E and P as AC(E ^P) where P is connected and E is indecomposable for all three operations.     

Clairaut relation for geodesics of Hopf tubes

Summary In this note we use the Hopf map π: S³ → S² to construct an interesting family of Riemannian metrics h^fon the 3-sphere, which are parametrized on the space of positive smooth functions f on the 2-sphere. All these metrics make the Hopf map a Riemannian submersion. The Hopf tube over an immersed curve γ in S² is the complete lift π^-1(γ) of γ, and we prove that any geodesic of this Hopf tube satisfies a Clairaut relation. A Hopf tube plays the role in S³ of the surfaces of revolution in R^3. Furthermore, we show a geometric integration method of the Frenet equations for curves in those non-standard S³. Finally, if we consider the sphere S³ equipped with a family h^f of Lorentzian metrics, then a new Clairautrelation is also obtained for timelike geodesics of the Lorentzian Hopf tube, and a geometric integration method for curves is still possible.     

The Dimension of the Hilbert Scheme of Special Threefolds #

The Hilbert scheme of 3-folds in ? ⁿ , n ≥  6 , that are scrolls over ? ² or over a smooth quadric surface Q  ? ? ³ or that are quadric or cubic fibrations over ? ¹ is studied. All known such threefolds of degree 7  ≤ d ≤  11 are shown to correspond to smooth points of an irreducible component of their Hilbert scheme, whose dimension is computed.     

Existence and uniqueness of complete constant mean curvature surfaces at infinity ofH 3

A set of conditions are given, each equivalent to the constancy of mean curvature of a surface in H ³.It is shown that analogs of these equivalences exist for surfaces in S _∞ ² ,the bounding ideal sphere of H ³,leading to a notion of constant mean curvature at infinity of H ³.A parametrization of all complete constant mean curvature surfaces at infinity of H ³ is given by holomorphic quadratic differentials on Ĉ,C, and D.     

Coding of a translation of the two-dimensional torus

Let α be in the two-dimensional torus T ² = R ²/Z ². Assume that the translation map T : x → x + α acts ergodically. We present a symbolic coding of the map T which shares several properties with the Sturmian coding of a one-dimensional translation. The symbolic dynamical system is metrically isomorphic to the geometric dynamical system (T ², T). The coding is of quadratic growth complexity and 2-balanced. Moreover, there is a geometric underpinning, the coding is related to a fundamental domain for the action of Z ² on R ² and also to bounded remainder sets.      

Coding of a translation of the two-dimensional torus

Let α be in the two-dimensional torus T ² = R ²/Z ². Assume that the translation map T : x → x + α acts ergodically. We present a symbolic coding of the map T which shares several properties with the Sturmian coding of a one-dimensional translation. The symbolic dynamical system is metrically isomorphic to the geometric dynamical system (T ², T). The coding is of quadratic growth complexity and 2-balanced. Moreover, there is a geometric underpinning, the coding is related to a fundamental domain for the action of Z ² on R ² and also to bounded remainder sets.     

Interpolation by holomorphic automorphisms and embeddings in Cn

Let n > 1 and let C ⁿ denote the complex n-dimensional Euclidean space. We prove several jet-interpolation results for nowhere degenerate entire mappings F:C ⁿ →C ⁿ and for holomorphic automorphisms of C ⁿ on discrete subsets of C ⁿ.We also prove an interpolation theorem for proper holomorphic embeddings of Stein manifolds into C ⁿ.For each closed complex submanifold (or subvariety) M ⊂ C ⁿ of complex dimension m < n we construct a domain Ω ⊂C ⁿ containing M and a biholomorphic map F: Ω → C ⁿ onto C ⁿ with J F ≡ 1such that F(M) intersects the image of any nondegenerate entire map G:C ^n−m →C ⁿ at infinitely many points. If m = n − 1, we construct F as above such that C ⁿ ∖F(M) is hyperbolic. In particular, for each m ≥ 1we construct proper holomorphic embeddings F:C ^m →C ^m−1 such that the complement C ^m+1 ∖F(C ^m )is hyperbolic.     

Witt equivalence of local and global fields of characteristic 2

ABSTRACT

In this note it is proved that certain level sets of some real proper polynomial maps are nothing but spheres. As an application of this, we provide new proofs of Theorems 1.1, 1.2 and of the fundamental theorem of algebra. In addition, we show that every strictly convex (concave) polynomial map is proper. The latter implies that every real polynomial map g(x): R ⁿ  → R ⁿ , whose Jacobian matrix is symmetric and has nonzero eigenvalues of the same sign, is a homeomorphism of R ⁿ onto R ⁿ .     

Diffeomorphic types of complements of nice point arrangements in CP<Superscript><Emphasis Type="Italic">l</Emphasis></Superscript>

We use a new method to study arrangement in CP ^l , define a class of nice point arrangements and show that if two nice point arrangements have the same combinatorics, then their complements are diffeomorphic to each other. In particular, the moduli space of nice point arrangements with same combinatorics in CP ^l is connected. It generalizes the result on point arrangements in CP ³ to point arrangements in CP ^l for any l.     

The Incompressible Limits of Viscous Polytropic Fluids with Zero Thermal Conductivity Coefficient

ABSTRACT

We study the singular limit of viscous polytropic fluids without thermal conductivity as the Mach number tends to zero. A uniform existence result for the Cauchy problem in R ³ is proved under the assumption that the initial data belongs uniformly to H ^k (R ³) with k = 2, 3 and is well-prepared in H ¹ (R ³).     

Irrationality of linear combinations of eigenvectors

A givenn ×n matrix of rational numbers acts onC ^π and onQ ^π. We assume that its characteristic polynomial is irreducible and compare a basis of eigenvectors forC ^π with the standard basis forQ ^π. Subject to a hypothesis on the Galois group we prove that vectors from these two bases are as independent of each other as possible.     

The connectedness of the real locus of the Hilbert scheme ofP r

Summary Let χ be a numerical polynomial. Here we prove the connectedness of the real locus Hilb χ(P ^r )(R) of the Hilbert scheme parametrizing all the subschemes ofP ^r with χ as Hilbert polynomial.

---

Sunto Sia χ un polinomio numerico. In questa nota si dimostra la connessione della parte reale Hilb χ(P ^r )(R) dello schema di Hilbert che parametrizza tutti i sottoschemi diP ^r che hanno χ come polinomio di Hilbert.

     

Multivariate normal distributions,Fisher information and matrix inequalities

Using appropriately parameterized families of multivariate normal distributions and basic properties of the Fisher information matrix for normal random vectors, we provide statistical proofs of the monotonicity of the matrix function A ^-1 in the class of positive definite Hermitian matrices. Similarly, we prove that A ¹¹ &lt; A ^-111, where A ₁₁ is the principal submatrix of A and A ¹¹ is the corresponding submatrix of A ^-1. These results in turn lead to statistical proofs that the the matrix function A ^-1 is convex in the class of positive definite Hermitian matrices and that A ² is convex in the class of all Hermitian matrices. (These results are based on the Loewner ordering of Hermitian matrices, under which A &lt; B if A - B is non-negative definite.) The proofs demonstrate that the Fisher information matrix, a fundamental concept of statistics, deserves attention from a purely mathematical point of view.     

Homomorphisms into N *

We study the properties of continuous homomorphisms from β S into N ^* and from N ^* into N ^* . We show that the image C of N ^* under a continuous homomorphism which does not arise from the continuous extension of a homomorphism mapping N to itself, has the property that C+C is a singleton.     

Axioms of determinacy and biorthogonal systems

If allΠ _n ¹ games are determined, every non-norm-separable subspaceX ofl ^∞(N) which is W* —Σ _n ^+1/1 contains a biorthogonal system of cardinality 2^ℵ ₀. In Levy’s model of Set Theory, the same is true of every non-norm-separable subspace ofl ^∞(N) which is definable from reals and ordinals. Under any of the above assumptions,X has a quotient space which does not linearly embed into 1^∞(N).