Support functions, projections and Minkowski addition of Legendrian cycles Andreas Bernig 49Q1553C6514P10Legendrian currentssubanalytic setssupport functionMinkowski addition The structure of the space $\mathcal{L}\mathcal{C}(\mathbb{R}^n \times S^{n-1})$ of compactly supported integral Legendrian cycles on $\mathbb{R}^n \times S^{n-1}$ is studied using geometric measure theory. To each such cycle $T$, a support function $h_T \in L^1(S^{n-1}, \mathbb{Z}[\mathbb{R}])$ is constructed. For almost all $k$-dimensional linear subspaces $L$, a Legendrian cycle $\pi_L(T)$, whose support function is the restriction of the support function of $T$ to $L \cap S^{n-1}$, is constructed. It is shown that there is a partial ring structure on $\mathcal{LC}(\mathbb{R}^n \times S^{n-1})$, the multiplication being a generalized Minkowski addition. An example of non-existence of the Minkowski sum is given, but it is shown that the Minkowski sum does exist after changing one of the summands by an arbitrarily small linear map. Finally, mean projection formulas are formulated and proved in the context of Legendrian cycles. Indiana University Mathematics Journal 2006 text pdf 10.1512/iumj.2006.55.2684 10.1512/iumj.2006.55.2684 en Indiana Univ. Math. J. 55 (2006) 443 - 464 state-of-the-art mathematics http://iumj.org/access/