The profile equations of geometric optics are described in a form invariant under the natural transformations of first order systems of partial differential equations. This allows us to prove that various strategies f...The profile equations of geometric optics are described in a form invariant under the natural transformations of first order systems of partial differential equations. This allows us to prove that various strategies for computing profile equations are equivalent. We prove that if L generates an evolution on L2 the same is true of the profile equations. We prove that the characteristic polynomial of the profile equations is the localization of the characteristic polynomial of the background operator at （y, dφ（y）） where φ is the background phase. We prove that the propagation cones of the profile equations are subsets of the propagation cones of the background operator.展开更多
The authors discuss the existence and classification of stable vector bundles of rank 3, with 2 3 or 4 linearly independent holomorphic sections. The sets of all such bundles are denoted by ω3^2,d and w3 respectivel...The authors discuss the existence and classification of stable vector bundles of rank 3, with 2 3 or 4 linearly independent holomorphic sections. The sets of all such bundles are denoted by ω3^2,d and w3 respectively. Our argument leads to sufficient and necessary conditions for the existence of both kinds of bundles. The conclusion is very interesting because of its contradiction to the conjectured dimension formula of stable bundles. Finally, we give a preliminary classification of ω3^2,4 and a complete discussion on the structure of ω3^3,2/3g＋2.展开更多
In this paper, we construct a category of short exact sequences of vector bundles and prove that it is equivalent to the category of double vector bundles. Moreover, operations on double vector bundles can be transfer...In this paper, we construct a category of short exact sequences of vector bundles and prove that it is equivalent to the category of double vector bundles. Moreover, operations on double vector bundles can be transferred to operations on the corresponding short exact sequences. In particular, we study the duality theory of double vector bundles in term of the corresponding short exact sequences. Examples including the jet bundle and the Atiyah algebroid are discussed.展开更多
This paper proposes a novel four-dimensional approach to the structural study of protein complexes. In the approach, the surface of a protein molecule is to be described using the intersection of a pair of four-dimens...This paper proposes a novel four-dimensional approach to the structural study of protein complexes. In the approach, the surface of a protein molecule is to be described using the intersection of a pair of four-dimensional triangular cones (with multiple top vertexes). As a mathematical toy model of protein complexes, we consider complexes of closed trajectories of n-simplices (n=2,3,4...), where the design problem of protein complexes corresponds to an extended version of the Hamiltonian cycle problem. The problem is to find “a set of” closed trajectories of n-simplices which fills the n-dimensional region defined by a given pair of n+1 -dimensional triangular cones. Here we give a solution to the extended Hamiltonian cycle problem in the case of n=2 using the discrete differential geometry of triangles (i.e., 2-simplices).展开更多
Let E be a vector bundle over a compact Riemannian manifold M. We construct a natural metric on the bundle space E and discuss the relationship between the killing vector fields of E and M. Then we give a proof of the...Let E be a vector bundle over a compact Riemannian manifold M. We construct a natural metric on the bundle space E and discuss the relationship between the killing vector fields of E and M. Then we give a proof of the Bott-Baum-Cheeger Theorem for vector bundle E.展开更多
文摘The profile equations of geometric optics are described in a form invariant under the natural transformations of first order systems of partial differential equations. This allows us to prove that various strategies for computing profile equations are equivalent. We prove that if L generates an evolution on L2 the same is true of the profile equations. We prove that the characteristic polynomial of the profile equations is the localization of the characteristic polynomial of the background operator at （y, dφ（y）） where φ is the background phase. We prove that the propagation cones of the profile equations are subsets of the propagation cones of the background operator.
文摘The authors discuss the existence and classification of stable vector bundles of rank 3, with 2 3 or 4 linearly independent holomorphic sections. The sets of all such bundles are denoted by ω3^2,d and w3 respectively. Our argument leads to sufficient and necessary conditions for the existence of both kinds of bundles. The conclusion is very interesting because of its contradiction to the conjectured dimension formula of stable bundles. Finally, we give a preliminary classification of ω3^2,4 and a complete discussion on the structure of ω3^3,2/3g＋2.
基金Supported by National Natural Science Foundation of China(Grant Nos.11001146,11101179)the Beijing Higher Education Young Elite Teacher Project
文摘In this paper, we construct a category of short exact sequences of vector bundles and prove that it is equivalent to the category of double vector bundles. Moreover, operations on double vector bundles can be transferred to operations on the corresponding short exact sequences. In particular, we study the duality theory of double vector bundles in term of the corresponding short exact sequences. Examples including the jet bundle and the Atiyah algebroid are discussed.
文摘This paper proposes a novel four-dimensional approach to the structural study of protein complexes. In the approach, the surface of a protein molecule is to be described using the intersection of a pair of four-dimensional triangular cones (with multiple top vertexes). As a mathematical toy model of protein complexes, we consider complexes of closed trajectories of n-simplices (n=2,3,4...), where the design problem of protein complexes corresponds to an extended version of the Hamiltonian cycle problem. The problem is to find “a set of” closed trajectories of n-simplices which fills the n-dimensional region defined by a given pair of n+1 -dimensional triangular cones. Here we give a solution to the extended Hamiltonian cycle problem in the case of n=2 using the discrete differential geometry of triangles (i.e., 2-simplices).
文摘Let E be a vector bundle over a compact Riemannian manifold M. We construct a natural metric on the bundle space E and discuss the relationship between the killing vector fields of E and M. Then we give a proof of the Bott-Baum-Cheeger Theorem for vector bundle E.
