Given a proper algebraic surface $S$, the Picard group $Pic(S)$ is endowed with the (symmetric) intersection form. We can therefore talk about reflections in the classes of $-2$-curves. These will preserve the intersection form and therefore the positive cone inside the lattice $Pic(S)$. Many times I have come across the claim that if $S$ is a smooth K3, then the action of this group generated by reflections is properly discontinuous on the positive cone inside $Pic(S) \otimes \mathbb{R}$ and has a (maybe infinite) polyhedral fundamental domain with faces defined by the hyperplanes orthogonal to the classes of effective $-2$-classes. Why is this? And is there a good reference for the proof of this fact?



Fundamental domain for group generated by reflections in -2 curves
This is a general fact about groups generated by reflections acting on lattices. The reflections in $-2$ curves generates an action on $H^2(S;\mathbb{Z})$ by reflections, with quadratic form given by the cup product. Restricting this to $H^{1,1}(S)\cap H^2(S;\mathbb{Z})$, one gets an action on an integral lattice of signature $(1,19)$ (check out [McMullen](http://www.math.harvard.edu/~ctm/papers/home/text/papers/k3/k3.pdf)). For any group preserving a Lorentzian lattice, the subgroup generated by reflections will have fundamental domain bounded by hyperplanes fixed by a subset of reflections. The point is that the set of all hyperplanes which are fixed by reflections is equivariant with respect to the group action, since the conjugate of a reflection is a reflection. Thus, they cut out polyhedra in the positive cone (the hyperplanes must be locally finite since the group is discrete as it preserves a lattice). The fact that the quadratic form is Lorentzian is used here, since otherwise none of the complementary pieces of the null cone are convex. Given any two points in the cone, one takes a generic path between them, which will cross finitely many hyperplanes. The sequence of reflections fixing the sequence of hyperplanes crossed by the path will send the polyhedron containing one point to the polyhedron containing the other. Thus, the polyhedra are all equivalent by the group action, and therefore form a fundamental domain for the subgroup generated by reflections (one must also check that no reflection fixes one of the polyhedra, which is not hard to show geometrically as well). In fact, Vinberg has a [nice algorithm](http://www.turpion.org/php/paper.phtml?journal_id=sm&paper_id=1346) which will compute the fundamental domain inductively, and I believe this kind of argument is discussed in his [book](http://www.ams.org/mathscinet-getitem?mr=1254933). 


