Consider a complete abelian category which has an injective cogenerator. If its derived category is left-complete we show that the dual of this derived category satisfies Brown representability. In particular, this is true for the derived category of an abelian AB $4^{*}$ - $n$ category and for the derived category of quasi-coherent sheaves over a nice enough scheme, including the projective finitely dimensional space.

Divergence functions are the non-symmetric “distance” on the manifold, Μθ, of parametric probability density functions over a measure space, ( Χ,μ). Classical information geometry prescribes, on Μθ: (i) a Riemannian metric given by the Fisher information; (ii) a pair of dual connections (giving rise to the family of α-connections) that preserve the metric under parallel transport by their joint actions; and (iii) a family of divergence functions ( α-divergence) defined on Μθ x？ Μθ, which induce the metric and the dual connections. Here, we construct an extension of this differential geometric structure from Μθ (that of parametric probability density functions) to the manifold, Μ, of non-parametric functions on X, removing the positivity and normalization constraints. The generalized Fisher information and α-connections on M are induced by an α-parameterized family of divergence functions, reflecting the fundamental convex inequality associated with any smooth and strictly convex function. The infinite-dimensional manifold, M, has zero curvature for all these α-connections; hence, the generally non-zero curvature of M can be interpreted as arising from an embedding of Μθ into Μ. Furthermore, when a parametric model (after a monotonic scaling) forms an affine submanifold, its natural and expectation parameters form biorthogonal coordinates, and such a submanifold is dually flat for α？= ± 1, generalizing the results of Amari’s α-embedding. The present analysis illuminates two different types of duality in information geometry, one concerning the referential status of a point (measurable function) expressed in the divergence function (“referential duality”) and the other concerning its representation under an arbitrary monotone scaling (“representational duality”).

We define quasi-local conserved quantities in general relativity by using the optimal isometric embedding in Wang and Yau (Commun Math Phys 288(3):919–942, 2009) to transplant Killing fields in the Minkowski spacetime back to the 2-surface of interest in a physical spacetime. To each optimal isometric embedding, a dual element of the Lie algebra of the Lorentz group is assigned. Quasi-local angular momentum and quasi-local center of mass correspond to pairing this element with rotation Killing fields and boost Killing fields, respectively. They obey classical transformation laws under the action of the Poincaré group. We further justify these definitions by considering their limits as the total angular momentum and the total center of mass of an isolated system. These expressions were derived from the Hamilton–Jacobi analysis of the gravitational action and thus satisfy conservation laws. As a result, we obtained an invariant total angular momentum theorem in the Kerr spacetime. For a vacuum asymptotically flat initial data set of order 1, it is shown that the limits are always finite without any extra assumptions. We also study these total conserved quantities on a family of asymptotically flat initial data sets evolving by the vacuum Einstein evolution equation. It is shown that the total angular momentum is conserved under the evolution. For the total center of mass, the classical dynamical formula relating the center of mass, energy, and linear momentum is recovered, in the nonlinear context of initial data sets evolving by the vacuum Einstein evolution equation. The definition of quasi-local angular momentum provides an answer to the second problem in classical general relativity on Penrose’s list (Proc R Soc Lond Ser A 381(1780):53–63, 1982).

We introduce a curvature-dimension condition CD ($K$,$N$) for metric measure spaces. It is more restrictive than the curvature bound $\underline{{{\text{Curv}}}} {\left( {M,{\text{d}},m} \right)} > K$ (introduced in [Sturm K-T (2006) On the geometry of metric measure spaces. I. Acta Math 196:65–131]) which is recovered as the borderline case CD($K$, ∞). The additional real parameter$N$plays the role of a generalized upper bound for the dimension. For Riemannian manifolds, CD($K$,$N$) is equivalent to $${\text{Ric}}_{M} {\left( {\xi ,\xi } \right)} > K{\left| \xi \right|}^{2} $$ and dim($M$) ⩽$N$.

A discrete conformality for polyhedral metrics on surfaces is introduced in this paper. It is shown that each polyhedral metric on a compact surface is discrete conformal to a constant curvature polyhedral metric which is unique up to scaling. Furthermore, the constant curvature metric can be found using a finite dimensional variational principle.