We introduce new spaces of martingales that behave like L₁-based Sobolev spaces on R^d. We prove a martingale analog of Van Schaftingen’s theorem and give sharp estimates on the lower Hausdorff dimension of the terminal distributions of these martingales. We also provide martingale analogs of trace theorems for Sobolev functions.