Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Entropy for frame bundle systems and Grassmann bundle systems induced by a diffeomorphism

A Liao hyperbolic diffeomorphism has equal measure entropy and topological entropy to that of its induced systems on frame bundles and Grassmann bundles. This solves a problem Liao posed in 1996 for Liao hyperbolic diffeomorphisms.     

Mod 2 cohomology of combinatorial Grassmannians

Matroid bundles, introduced by MacPherson, are combinatorial analogues of real vector bundles. This paper sets up the foundations of matroid bundles. It defines a natural transformation from isomorphism classes of real vector bundles to isomorphism classes of matroid bundles. It then gives a transformation from matroid bundles to spherical quasifibrations, by showing that the geometric realization of a matroid bundle is a spherical quasifibration. The poset of oriented matroids of a fixed rank classifies matroid bundles, and the above transformations give a splitting from topology to combinatorics back to topology. A consequence is that the mod 2 cohomology of the poset of rank k oriented matroids (this poset classifies matroid bundles) contains the free polynomial ring on the first k Stiefel-Whitney classes.     

透镜空间L~1(p)上向量丛的示性类

本文讨论了透镜空间 L1( p)的上同调环中生成元的运算性质 ,进而利用 L1( p)的 KO -结构得到了L1( p)上任一向量丛的全 Stiefel-Whitney类     

η-Invariant and Flat Vector Bundles

Abstract We present an alternate definition of the mod Z component of the Atiyah-Patodi-Singer η invariant associated to (not necessary unitary) flat vector bundles, which identifies explicitly its real and imaginary parts. This is done by combining a deformation of flat connections introduced in a previous paper with the analytic continuation procedure appearing in the original article of Atiyah, Patodi and Singer. * Project supported by the Cheung-Kong Scholarship of the Ministry of Education of China and the 973 Project of the Ministry of Science and Technology of China. (Dedicated to the memory of Shiing-Shen Chern)     

关于Hopf丛S3的几个论题

本文证明了Hopf主纤维丛S^3的几个相关的命题，指出底流形S^3上的Laplace算子在主丛上的提升是主丛S^3上的Laplace算子，以及主丛的嵌入截面具有不动点性质等。     

Sub-bundles of the complexified tangent bundle

We study embeddings of complex vector bundles, especially line bundles, in the complexification of the tangent bundle of a manifold. The aim is to understand implications of properties of interest in partial differential equations.

     

局部对称共形平坦黎曼流形中的极小子流形

对局部对称共形平坦黎曼流形中具有平坦法丛的极小子流形作了一些讨论，得到了极小子流形是全测地的两个充分条件。     

Solving large-scale semidefinite programs in parallel

We describe an approach to the parallel and distributed solution of large-scale, block structured semidefinite programs using the spectral bundle method. Various elements of this approach (such as data distribution, an implicitly restarted Lanczos method tailored to handle block diagonal structure, a mixed polyhedral-semidefinite subdifferential model, and other aspects related to parallelism) are combined in an implementation called LAMBDA, which delivers faster solution times than previously possible, and acceptable parallel scalability on sufficiently large problems. This work was supported in part by NSF grants DMS-0215373 and DMS-0238008.