We determine the cones of effective and nef divisors on the toroidal compactification of the ball quotient model of the moduli space of complex cubic surfaces with a chosen line. From this we also compute the corresponding cones for the moduli space of unmarked cubic surfaces.

We prove that any nef $b$-divisor class on a projective variety defined over an algebraically closed field of characteristic zero is a decreasing limit of nef Cartier classes. Building on this technical result, we construct an intersection theory of nef $b$-divisors, and prove several variants of the Hodge index theorem inspired by the work of Dinh and Sibony. We show that any big and basepoint-free curve class is a power of a nef $b$-divisor, and relate this statement to the Zariski decomposition of curves classes introduced by Lehmann and Xiao. Our construction allows us to relate various Banach spaces contained in the space of $b$-divisors which were defined in our previous work.

We study a notion of ‘b-stability’, introduced previously by the author in connection with the existence of constant scalar curvature Kähler, and Kähler-Einstein, metrics. The main result is Theorem 1.2, which makes progress towards a statement that the existence of such metrics implies b-stability. The proof is a modification of an argument of Stoppa, taking account of the birational transformations involved in the definition of b-stability.

We prove analogues of several well-known results concerning rational maps between quadrics for the class of so-called quasilinear p-hypersurfaces. These hypersurfaces are nowhere smooth over the base field, so many of the geometric methods which have been successfully applied to the study of projective homogeneous varieties over fields cannot be used. We are therefore forced to take an alternative approach, which is partly facilitated by the appearance of several non-traditional features in the study of these objects from an algebraic perspective. Our main results were previously known for the class of quasilinear quadrics. We provide new proofs here, because the original proofs do not immediately generalise for quasilinear hypersurfaces of higher degree.

In this article we study the transitivity of the group of automorphisms of real algebraic surfaces. We characterize real algebraic surfaces with very transitive automorphism groups. We give applications to the classification of real algebraic models of compact surfaces: these applications yield new insight into the geometry of the real locus, proving several surprising facts on this geometry. This geometry can be thought of as a half-way point between the biregular and birational geometries.