  Combinatorial discrepancy is a complexity measure of a collection of sets
which quantifies how well the sets in the collection can be simultaneously
balanced. More precisely, we are given an n-point set $P$, and a collection
$\mathcal{F} = \{F_1, ..., F_m\}$ of subsets of $P$, and our goal is color $P$
with two colors, red and blue, so that the maximum over the $F_i$ of the
absolute difference between the number of red elements and the number of blue
elements (the discrepancy) is minimized. Combinatorial discrepancy has many
applications in mathematics and computer science, including constructions of
uniformly distributed point sets, and lower bounds for data structures and
private data analysis algorithms.
  We investigate the combinatorial discrepancy of geometrically defined
systems, in which $P$ is an n-point set in $d$-dimensional space ,and
$\mathcal{F}$ is the collection of subsets of $P$ induced by dilations and
translations of a fixed convex polytope $B$. Such set systems include systems
of sets induced by axis-aligned boxes, whose discrepancy is the subject of the
well known Tusnady problem. We prove new discrepancy upper and lower bounds for
such set systems by extending the approach based on factorization norms
previously used by the author and Matousek. We improve the best known upper
bound for the Tusnady problem by a logarithmic factor, using a result of
Banaszczyk on signed series of vectors. We extend this improvement to any
arbitrary convex polytope $B$ by using a decomposition due to Matousek. Using
Fourier analytic techniques, we also prove a nearly matching discrepancy lower
bound for sets induced by any fixed bounded polytope $B$ satisfying a certain
technical condition.
  We also outline applications of our results to geometric discrepancy, data
structure lower bounds, and differential privacy.
