Title: Structure of martingale transports in finite dimensions,
Abstract: We study the structure of martingale transports in finite dimensions. We
consider the family $\mathcal{M}(\mu,\nu) $ of martingale measures on
$\mathbb{R}^N \times \mathbb{R}^N$ with given marginals $\mu,\nu$, and
construct a family of relatively open convex sets $\{C_x:x\in \mathbb{R}^N \}$,
which forms a partition of $\mathbb{R}^N$, and such that any martingale
transport in $\mathcal{M}(\mu,\nu) $ sends mass from $x$ to within
$\overline{C_x}$, $\mu(dx)$--a.e. Our results extend the analogous
one-dimensional results of M. Beiglböck and N. Juillet (2016) and M.
Beiglböck, M. Nutz, and N. Touzi (2015). We conjecture that the decomposition
is canonical and minimal in the sense that it allows to characterise the
martingale polar sets, i.e. the sets which have zero mass under all measures in
$\mathcal{M}(\mu,\nu)$, and offers the martingale analogue of the
characterisation of transport polar sets proved in M. Beiglböck, M.
Goldstern, G. Maresch, and W. Schachermayer (2009).