Minkowski-relation presentation of the face-part cohomology

Let XX be a torus manifold with orbit space X/TX/T, let KK be the associated simplicial complex, and let xIx_I denote the face-part cohomology class corresponding to a simplex IKI\in K. For I=k|I|=k, let XI/TX_I/T be the corresponding orbit-space face, let λ(I)μ\lambda(I)_\mu denote the characteristic-map coefficient indexed by μΛkV\mu\in\Lambda^kV, and let aa range over functions on the kk-simplices such that the indicated chain bounds in Cnk(X/T;R)C_{n-k}(X/T;\mathbb{R}).

Minkowski-relation presentation conjecture. As a vector space, F2k(X)\mathcal{F}^{2k}(X) is generated by the elements {xI}IK\{x_I\}_{I\in K} subject to the Minkowski relations

I:I=ka(I)λ(I)μxI=0,\sum_{I:|I|=k}a(I)\lambda(I)_\mu x_I=0,

where μ\mu runs over ΛkV\Lambda^kV and aa runs over all functions such that the element

I:I=ka(I)[XI/T]\sum_{I:|I|=k}a(I)[X_I/T]

bounds in Cnk(X/T;R)C_{n-k}(X/T;\mathbb{R}).

This gives a combinatorial presentation of the vector-space structure of the part of cohomology generated by characteristic submanifolds. The source provides no resolution or further evidence for the claim.

Sources & referencesView supporting material

Primary source

Anton Ayzenberg and Mikiya Masuda, “Volume polynomials and duality algebras of multi-fans”, arXiv:1509.03008 (2015).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.