We use a differential form cohomology theory on transitive digraphs to give a new proof of a theorem of Gerstenhaber and Schack about isomorphism between simplicial cohomology and Hochschild cohomology of a certain algebra associated with the simplicial complex.

Inspired by mirror symmetry, we investigate some differential geometric aspects of the space of Bridgeland stability conditions on a Calabi-Yau triangulated category. The aim is to develop theory of Weil-Petersson geometry on the stringy K\" ahler moduli space. A few basic examples are studied. In particular, we identify our Weil-Petersson metric with the Bergman metric on a Siegel modular variety in the case of the self-product of an elliptic curve.

In this article, we study the small sphere limit of the WangYau quasi-local energy defined in Wang and Yau (Phys Rev Lett 102(2):021101, 2009, Commun Math Phys 288(3):919942, 2009). Given a point <i>p</i> in a spacetime <i>N</i>, we consider a canonical family of surfaces approaching <i>p</i> along its future null cone and evaluate the limit of the WangYau quasi-local energy. The evaluation relies on solving an optimal embedding equation whose solutions represent critical points of the quasi-local energy. For a spacetime with matter fields, the scenario is similar to that of the large sphere limit found in Chen etal. (Commun Math Phys 308(3):845863, 2011). Namely, there is a natural solution which is a local minimum, and the limit of its quasi-local energy recovers the stress-energy tensor at <i>p</i>. For a vacuum spacetime, the quasi-local energy vanishes to higher order and the solution of the optimal embedding

For the SU (N) invariant supersymmetric matrix model related to membranes in 4 space-time dimensions we argue that&lt; Psi, chi&gt;= 0 for the previously obtained solution of Q chi= 0, Q^{dagger} Psi= 0.

In a graph G, for a subset S of the vertex set, the induced subgraph determined by S has edge set consisting of all edges of G with both endpoints in S. The (edge) boundary, denoted by S consists of all edges containing one endpoint in S and one endpoint not in S.