Differential-geometric structure associated with Lagrangian,and its dynamic interpretation

The paper is devoted to investigation of differential-geometric structure associated with Lagrangian t depending on n functions of one variable L and their derivatives by means of Cartan–Laptev method. We construct a fundamental object of a structure associated with Lagrangian. We also construct a covector E _i (i = 1,..., n) embraced by prolonged fundamental object so that the system of equalities E _i = 0 is an invariant representation of the Euler equations for the variational functional. Due to this, there is no necessity to connect Euler equations with the variational problem. Moreover,we distinguish in an invariant way the class of special Lagrangians generating connection in the bundle of centroaffine structure over the base M. In the case when Lagrangian L is special, there exists a relative invariant Π defined on M which generates a covector field on M and fibered metric in the bundle of centroaffine structure over the base M.     

Nonorientable Manifolds, Complex Structures, and Holomorphic Vector Bundles

A generalization of the notion of almost complex structure is defined on a nonorientable smooth manifold M of even dimension. It is defined by giving an isomorphism J from the tangent bundle TM to the tensor product of the tangent bundle with the orientation bundle such that JJ=–Id _TM . The composition JJ is realized as an automorphism of TM using the fact that the orientation bundle is of order two. A notion of integrability of this almost complex structure is defined; also the Kähler condition has been extended. The usual notion of a complex vector bundle is generalized to the nonorientable context. It is a real vector bundle of even rank such that the almost complex structure of a fiber is given up to the sign. Such bundles have generalized Chern classes. These classes take value in the cohomology of the tensor power of the local system defined by the orientation bundle. The notion of a holomorphic vector bundle is extended to the context under consideration. Stable vector bundles and Einstein–Hermitian connections are also generalized. It is shown that a generalized holomorphic vector bundle on a compact nonorientable Kähler manifold admits an Einstein–Hermitian connection if and only if it is polystable.     

Principal bundle structure on jet prolongations of frame bundles

In this paper, we introduce the structure of a principal bundle on the r-jet prolongation J ^r FX of the frame bundle FX over a manifold X. Our construction reduces the well-known principal prolongation W ^r FX of FX with structure group G _n ^r . For a structure group of J ^r FX we find a suitable subgroup of G _n ^r . We also discuss the structure of the associated bundles. We show that the associated action of the structure group of J ^r FX corresponds with the standard actions of differential groups on tensor spaces.     

Deformations of the generalised Picard bundle

Let X be a nonsingular algebraic curve of genus g?3, and let M_ξ denote the moduli space of stable vector bundles of rank n?2 and degree d with fixed determinant ξ over X such that n and d are coprime. We assume that if g=3 then n?4 and if g=4 then n?3, and suppose further that n₀, d₀ are integers such that n₀?1 and nd₀+n₀d>nn₀(2g-2). Let E be a semistable vector bundle over X of rank n₀ and degree d₀. The generalised Picard bundle W_ξ(E) is by definition the vector bundle over M_ξ defined by the direct image where U_ξ is a universal vector bundle over X×M_ξ. We obtain an inversion formula allowing us to recover E from W_ξ(E) and show that the space of infinitesimal deformations of W_ξ(E) is isomorphic to H¹(X,End(E)). This construction gives a locally complete family of vector bundles over M_ξ parametrised by the moduli space M(n₀,d₀) of stable bundles of rank n₀ and degree d₀ over X. If (n₀,d₀)=1 and W_ξ(E) is stable for all E∈M(n₀,d₀), the construction determines an isomorphism from M(n₀,d₀) to a connected component M⁰ of a moduli space of stable sheaves over M_ξ. This applies in particular when n₀=1, in which case M⁰ is isomorphic to the Jacobian J of X as a polarised variety. The paper as a whole is a generalisation of results of Kempf and Mukai on Picard bundles over J, and is also related to a paper of Tyurin on the geometry of moduli of vector bundles.     

On S n -invariant conformal blocks vector bundles of rank one on {\overline{M}_{0,n}}

For any simple Lie algebra, a positive integer, and n-tuple of compatible weights, the conformal blocks bundle is a globally generated vector bundle on the moduli space of pointed rational curves. We classify all vector bundles of conformal blocks for \({\mathfrak{sl}_n}\), with S _n -invariant weights, which have rank one. We show that the cone generated by their base point free first Chern classes is polyhedral, generated by level one divisors.     

On compact splitting complex submanifolds of quotients of bounded symmetric domains

We study compact complex submanifolds S of quotient manifolds X = ?/Γ of irreducible bounded symmetric domains by torsion free discrete lattices of automorphisms, and we are interested in the characterization of the totally geodesic submanifolds among compact splitting complex submanifolds S ? X, i.e., under the assumption that the tangent sequence over S splits holomorphically. We prove results of two types. The first type of results concerns S ? X which are characteristic complex submanifolds, i.e., embedding ? as an open subset of its compact dual manifold M by means of the Borel embedding, the non-zero(1, 0)-vectors tangent to S lift under a local inverse of the universal covering map π : ? → X to minimal rational tangents of M.We prove that a compact characteristic complex submanifold S ? X is necessarily totally geodesic whenever S is a splitting complex submanifold. Our proof generalizes the case of the characterization of totally geodesic complex submanifolds of quotients of the complex unit ball Bnobtained by Mok(2005). The proof given here is however new and it is based on a monotonic property of curvatures of Hermitian holomorphic vector subbundles of Hermitian holomorphic vector bundles and on exploiting the splitting of the tangent sequence to identify the holomorphic tangent bundle TSas a quotient bundle rather than as a subbundle of the restriction of the holomorphic tangent bundle TXto S. The second type of results concerns characterization of total geodesic submanifolds among compact splitting complex submanifolds S ? X deduced from the results of Aubin(1978)and Yau(1978) which imply the existence of K¨ahler-Einstein metrics on S ? X. We prove that compact splitting complex submanifolds S ? X of sufficiently large dimension(depending on ?) are necessarily totally geodesic. The proof relies on the Hermitian-Einstein property of holomorphic vector bundles associated to TS,which implies that endomorphisms of such bundles are parallel, and the construction of endomorphisms of these vector bundles by means of the splitting of the tangent sequence on S. We conclude with conjectures on the sharp lower bound on dim(S) guaranteeing total geodesy of S ? X for the case of the type-I domains of rank2 and the case of type-IV domains, and examine a case which is critical for both conjectures, i.e., on compact complex surfaces of quotients of the 4-dimensional Lie ball, equivalently the 4-dimensional type-I domain dual to the Grassmannian of 2-planes in C~4.     

K?hler–Einstein metrics on strictly pseudoconvex domains

Extending the results of Cheng and Yau it is shown that a strictly pseudoconvex domain ${M\subset X}$ in a complex manifold carries a complete K?hler–Einstein metric if and only if its canonical bundle is positive, i.e. admits an Hermitian connection with positive curvature. We consider the restricted case in which the CR structure on ${\partial M}$ is normal. In this case M must be a domain in a resolution of the Sasaki cone over ${\partial M}$ . We give a condition on a normal CR manifold which it cannot satisfy if it is a CR infinity of a K?hler–Einstein manifold. We are able to mostly determine those normal CR three-manifolds which can be CR infinities. We give many examples of K?hler–Einstein strictly pseudoconvex manifolds on bundles and resolutions. In particular, the tubular neighborhood of the zero section of every negative holomorphic vector bundle on a compact complex manifold whose total space satisfies c ₁?<?0 admits a complete K?hler–Einstein metric.     

Unitary representations of the fundamental group of orbifolds

Let X be a smooth complex projective variety of dimension n and \(\mathcal {L}\) an ample line bundle on it. There is a well known bijective correspondence between the isomorphism classes of polystable vector bundles E on X with \(c_{1}(E) = 0 = c_{2} (E) \cdot c_{1} (\mathcal {L})^{n-2}\) and the equivalence classes of unitary representations of π₁(X). We show that this bijective correspondence extends to smooth orbifolds.     

The Thouless formula for random non-Hermitian Jacobi matrices

Random non-Hermitian Jacobi matricesJ _n of increasing dimensionn are considered. We prove that the normalized eigenvalue counting measure ofJ _n converges weakly to a limiting measure μ asn→∞. We also extend to the non-Hermitian case the Thouless formula relating μ and the Lyapunov exponent of the second-order difference equation associated with the sequenceJ _n . The measure μ is shown to be log-Hölder continuous. Our proofs make use of (i) the theory of products of random matrices in the form first offered by H. Furstenberg and H. Kesten in 1960 [8], and (ii) some potential theory arguments.     

Polynomial identities for the Jordan algebra of a degenerate symmetric bilinear form

Let _Jn$J_n$ be the Jordan algebra of a degenerate symmetric bilinear form. In the first section we classify all possible G  -gradings on _Jn$J_n$ where G   is any group, while in the second part we restrict our attention to a degenerate symmetric bilinear form of rank n−1$n-1$, where n is the dimension of the vector space V   defining _Jn$J_n$. We prove that in this case the algebra _Jn$J_n$ is PI-equivalent to the Jordan algebra of a nondegenerate bilinear form.     

On canonical embeddings of complex projective spaces in real projective spaces

In this paper, we construct a natural embedding \(\sigma :\mathbb{C}P_\mathbb{R}^{n} \to \mathbb{R}P^{n^2 + 2n} \) of the complex projective space ?P ⁿ considered as a 2n-dimensional, real-analytic manifold in the real projective space \(\mathbb{R}P^{n^2 + 2n} \). The image of the embedding σ is called the ?P ⁿ-surface. To construct the embedding, we consider two equivalent approaches. The first approach is based on properties of holomorphic bivectors in the realification of a complex vector space. This approach allows one to prove that a ?P-surface is a flat section of a Grassman manifold. In the second approach, we use the adjoint representation of the Lie group U(n + 1) and the canonical decomposition of the Lie algebra u(n). This approach allows one to state a gemetric characterization of the canonical decomposition of the Lie algebra u(n). Moreover, we study properties of the embedding constructed. We prove that this embedding determines the canonical Kähler structure on ?P _? ⁿ . In particular, the Fubini-Study metric is exactly the first fundamental form of the embedding and the complex structure on ?P _? ⁿ is completely defined by its second fundamental form; therefore, this embedding is said to be canonical. Moreover, we describe invariant and anti-invariant completely geodesic submanifolds of the complex projective space.     

James’ quasi-reflexive space is primary

It is shown that James’ quasi-reflexive Banach space is primary. We also prove if X is a complemented reflexive subspace ofJ thenX is isomorphic to a complemented subspace of (ΣJ _n )I₂ whereJ _n is the span of the firstn elements of the unit vector basis ofJ.     

Syzygies of projective bundles

In this paper we study defining equations and syzygies among them of projective bundles. We prove that for a given p≥0, if a vector bundle on a smooth complex projective variety is sufficiently ample, then the embedding given by the tautological line bundle satisfies property N_p.     

Positive Twistor Bundle of a Kähler Surface

The aim of this paper is to characterize Kähler surfaces in terms oftheir positive twistor bundle. We prove that an oriented four-dimensionalRiemannian manifold (M, g) admits a complex structure J compatible with the orientation and such that (M, g, J is a Kähler manifold ifand only if the positive twistor bundle (Z ⁺(M), g _c ) admits a verticalKilling vector field.     

A fiberwise analogue of the Borsuk-Ulam theorem for sphere bundles over a 2-cell complex

For a vector bundle α, let indα denote the largest integer m for which there exists a Z/2-map from Sm−1 to S(α). We prove that the equality indα=dimα holds for every vector bundle α over the complex Sn−1k_∪en, where n?2 and k≠0, if and only if either k is even and n≠2,3,4,8 or k is odd.     

Weakly complex Einstein-Finsler vector bundle

Let (E, F) be a complex Finsler vector bundle over a compact Kähler manifold (M, g) with Kähler form Φ. We prove that if (E, F) is a weakly complex Einstein-Finsler vector bundle in the sense of Aikou (1997), then it is modeled on a complex Minkowski space. Consequently, a complex Einstein-Finsler vector bundle (E, F) over a compact Kähler manifold (M, g) is necessarily Φ-semistable and (E, F) = (E₁, F₁) ? · · · ? (Ek; Fk); where F _j := F |E _j , and each (E _j , F _j ) is modeled on a complex Minkowski space whose associated Hermitian vector bundle is a Φ-stable Einstein-Hermitian vector bundle with the same factor c as (E, F).     

Legendrian tori and the semi-classical limit

Let X be CPn or a compact smooth quotient of the n-dimensional complex hyperbolic space, n>1. Let L be a hermitian holomorphic line bundle (with hermitian connection) on X chosen as follows: if X=CPn then L is the hyperplane bundle, and in the second case L is chosen so that L⊗(n+1)=KX⊗E, where KX is the canonical line bundle and E is a flat line bundle. The unit circle bundle P in L^∗ is a contact manifold. Let k^′ be a fixed positive integer. We construct certain Legendrian tori in P (the construction depends, in particular, on the choice of k^′) and sequences {uk}, k=k^′m, , of holomorphic sections of L⊗k associated to these tori. We study asymptotics of the norms ‖ukk_‖ as m→+∞ and, in particular, apply this result to construct explicitly certain non-trivial holomorphic automorphic forms on the n-dimensional complex hyperbolic space. We obtain an n>1 analogue of the classical period formula (this is a well-known statement for automorphic forms on the upper half plane, n=1).     

Estimation of an algebraic polynomial in a plane in terms of its real part on the unit circle

We consider the class P _n ^* of algebraic polynomials of a complex variable with complex coefficients of degree at most n with real constant terms. In this class we estimate the uniform norm of a polynomial P _n ∈ P _n ^* on the circle Γ_r = z ∈ ?: ¦z¦ = r of radius r = 1 in terms of the norm of its real part on the unit circle Γ₁ More precisely, we study the best constant μ(r, n) in the inequality ||P_n||C(Γ_r) ≤ μ(r,n)||Re P_n||C(Γ₁). We prove that μ(r,n) = rⁿ for rⁿ⁺² ? r ⁿ ? 3r² ? 4r + 1 ≥ 0. In order to justify this result, we obtain the corresponding quadrature formula. We give an example which shows that the strict inequality μ(r, n) = r ⁿ is valid for r sufficiently close to 1.     

Nonnegativity of principal minors of generalized inverses of P0-matrices

We derive a necessary and sufficient condition under which a reflexive generalized inverse of a singular P₀-matrix is again a P₀-matrix. Simpler conditions are obtained when the rank of the matrix is n?1, where n is the order of the matrix. We then consider the application of these results to singular M-matrices of order n and rank n?1. In particular, for this case we prove that the Moore-Penrose inverse is a P₀-matrix.     

Kähler geometry of hyperbolic type on the manifold of nondegenerate <Emphasis Type="Italic">m</Emphasis>-pairs

A nondegenerate m-pair (A, Ξ) in an n-dimensional projective space ?P _n consists of an m-plane A and an (n ? m ? 1)-plane Ξ in ?P _n , which do not intersect. The set \(\mathfrak{N}_m^n \) of all nondegenerate m-pairs ?P _n is a 2(n ? m)(n ? m ? 1)-dimensional, real-complex manifold. The manifold \(\mathfrak{N}_m^n \) is the homogeneous space \(\mathfrak{N}_m^n = {{GL(n + 1,\mathbb{R})} \mathord{\left/ {\vphantom {{GL(n + 1,\mathbb{R})} {GL(m + 1,\mathbb{R})}}} \right. \kern-\nulldelimiterspace} {GL(m + 1,\mathbb{R})}} \times GL(n - m,\mathbb{R})\) equipped with an internal Kähler structure of hyperbolic type. Therefore, the manifold \(\mathfrak{N}_m^n \) is a hyperbolic analogue of the complex Grassmanian ?G _m,n = U(n+1)/U(m+1) × U(n?m). In particular, the manifold of 0-pairs \(\mathfrak{N}_m^n {{GL(n + 1,\mathbb{R})} \mathord{\left/ {\vphantom {{GL(n + 1,\mathbb{R})} {GL(1,\mathbb{R})}}} \right. \kern-\nulldelimiterspace} {GL(1,\mathbb{R})}} \times GL(n,\mathbb{R})\) is a hyperbolic analogue of the complex projective space ?P _n = U(n+1)/U(1) × U(n). Similarly to ?P _n , the manifold \(\mathfrak{N}_m^n \) is a Kähler manifold of constant nonzero holomorphic sectional curvature (relative to a hyperbolic metrics). In this sense, \(\mathfrak{N}_0^n \) is a hyperbolic spatial form. It was proved in [6] that the manifold of 0-pairs \(\mathfrak{N}_0^n \) is globally symplectomorphic to the total space T*?P _n of the cotangent bundle over the projective space ?P _n . A generalization of this result (see [7]) is as follows: the manifold of nondegenerate m-pairs \(\mathfrak{N}_m^n \) is globally symplectomorphic to the total space T*?G _m,n of the cotangent bundle over the Grassman manifold ?G _m,n of m-dimensional subspaces of the space ?P _n .In this paper, we study the canonical Kähler structure on \(\mathfrak{N}_m^n \). We describe two types of submanifolds in \(\mathfrak{N}_m^n \), which are natural hyperbolic spatial forms holomorphically isometric to manifolds of 0-pairs in ?P _m +1 and in ?P _n?m , respectively. We prove that for any point of the manifold \(\mathfrak{N}_m^n \), there exist a 2(n ? m)-parameter family of 2(m + 1)-dimensional hyperbolic spatial forms of first type and a 2(m + 1)-parameter family of 2(n ? m)-dimensional hyperbolic spatial forms of second type passing through this point. We also prove that natural hyperbolic spatial forms of first type on \(\mathfrak{N}_m^n \) are in bijective correspondence with points of the manifold \(\mathfrak{N}_{m + 1}^n \) and natural hyperbolic spatial forms of second type on \(\mathfrak{N}_m^n \) are in bijective correspondence with points of the manifolds \(\mathfrak{N}_{m + 1}^n \).