Convex functions on Carnot Groups

We consider the definition and regularity properties of convex functions in Carnot groups. We show that various notions of convexity in the subelliptic setting that have appeared in the literature are equivalent. Our point of view is based on thinking of convex functions as subsolutions of homogeneous elliptic equations.