We generalize the injectivity theorem of Esnault and Viehweg, and apply it to the structure of log canonical type divisors.

Let $(X,B)$ be a projective log canonical pair such that $B$ is a $\mathbb{Q}$-divisor, and that there is a surjective morphism $f: X\to Z$ onto a normal variety $Z$ satisfying $K_X+B\sim _{\mathbb{Q}} f^*M$ for some big $\mathbb{Q}$-divisor $M$, and the augmented base locus ${\mathbf{B}}_+(M)$ does not contain the image of any log canonical centre of $(X,B)$. We will show that $(X,B)$ has a good log minimal model. An interesting special case is when $f$ is the identity morphism.

We prove the finiteness of log pluricanonical representations for projective log canonical pairs with semi-ample log canonical divisor. As a corollary, we obtain that the log canonical divisor of a projective semi log canonical pair is semi-ample if and only if the log canonical divisor of its normalization is semi-ample. We also treat many other applications.

In this work, we describe a method to construct the generic braid monodromy of the preimage of a curve by a Kummer cover. This method is interesting since it combines two techniques, namely, the construction of a highly non-generic braid monodromy and a systematic method to go from a non-generic to a generic braid monodromy. The latter process, called generification, is independent from Kummer covers, and it can be applied in more general circumstances since non-generic braid monodromies appear more naturally and are oftentimes much easier to compute. Explicit examples are computed using these techniques.

We show that a standard conic bundle over a minimal rational surface is rational and its Jacobian splits as the direct sum of Jacobians of curves if and only if its derived category admits a semiorthogonal decomposition by exceptional objects and the derived categories of those curves. Moreover, such a decomposition gives the splitting of the intermediate Jacobian also when the surface is not minimal.

The Sarkisov program studies birational maps between varieties that are end products of the Minimal Model Program (MMP) on nonsingular uniruled varieties. If $X$ and $Y$ are terminal $ \mathbb{Q} $-factorial projective varieties endowed with a structure of Mori fibre space, a birational map $f: X\dashrightarrow Y$ is the composition of a finite number of elementary Sarkisov links. This decomposition is in general not unique: two such define a relation in the Sarkisov program. I define elementary relations, and show they generate relations in the Sarkisov program. Roughly speaking, elementary relations are the relations among the end products of suitable relative MMPs of $Z$ over $W$ with $\rho (Z/ W)= 3$.

The Nash problem asks about the existence of a correspondence between families of arcs through singularities of complex varieties and certain types of divisorial valuations. It has been positively settled in dimension 2 by Fernández de Bobadilla and Pe Pereira, and it was shown to have a negative answer in all dimensions ${\geq }4$ by Ishii and Kollár. In this note we discuss examples which show that the problem has a negative answer in dimension 3 as well. These examples also bring to light the different nature of the problem depending on whether it is formulated in the algebraic setting or in the analytic setting.

A singularity in characteristic zero is said to be of dense $F$-pure type if its modulo $p$ reduction is locally Frobenius split for infinitely many $p$. We prove that if $x\in X$ is an isolated log canonical singularity with $\mu (x\in X)\leq 2$ (where the invariant $\mu $ is as defined in Definition 1.4), then it is of dense $F$-pure type. As a corollary, we prove the equivalence of log canonicity and being of dense $F$-pure type in the case of three-dimensional isolated $ \mathbb{Q} $-Gorenstein normal singularities.

The problem of resolution of singularities in positive characteristic can be reformulated as follows: fix a hypersurface $X$, embedded in a smooth scheme, with points of multiplicity at most $n$. Let an $n$-sequence of transformations of $X$ be a finite composition of monoidal transformations with centers included in the $n$-fold points of $X$, and of its successive strict transforms. The open problem (in positive characteristic) is to prove that there is an $n$-sequence such that the final strict transform of $X$ has no points of multiplicity $n$ (no $n$-fold points). In characteristic zero, such an $n$-sequence is defined in two steps. The first consists of the transformation of $X$ to a hypersurface with $n$-fold points in the so-called monomial case. The second step consists of the elimination of these $n$-fold points (in the monomial case), which is achieved by a simple combinatorial procedure for choices of centers. The invariants treated in this work allow us to present a notion of strong monomial case which parallels that of monomial case in characteristic zero: if a hypersurface is within the strong monomial case we prove that a resolution can be achieved in a combinatorial manner.

We prove that the quotient by ${\mathrm{SL} }_{2} \times {\mathrm{SL} }_{2} $ of the space of bidegree $(a, b)$ curves on ${ \mathbb{P} }^{1} \times { \mathbb{P} }^{1} $ is rational when $ab$ is even and $a\not = b$.

We show that the automorphism group of Drinfeld’s half-space over a finite field is the projective linear group of the underlying vector space. The proof of this result uses analytic geometry in the sense of Berkovich over the finite field equipped with the trivial valuation. We also take into account extensions of the base field.

Let $(X,D)$ be a dlt pair, where $X$ is a normal projective variety. We show that any smooth family of canonically polarized varieties over $X\setminus \,{\rm Supp}\lfloor D \rfloor $ is isotrivial if the divisor $-(K_X+D)$ is ample. This result extends results of Viehweg–Zuo and Kebekus–Kovács. To prove this result we show that any extremal ray of the moving cone is generated by a family of curves, and these curves are contracted after a certain run of the minimal model program. In the log Fano case, this generalizes a theorem by Araujo from the klt to the dlt case. In order to run the minimal model program, we have to switch to a $\mathbb Q$-factorialization of $X$. As $\mathbb Q$-factorializations are generally not unique, we use flops to pass from one $\mathbb Q$-factorialization to another, proving the existence of a $\mathbb Q$-factorialization suitable for our purposes.

We determine the structure of the Hodge ring, a natural object encoding the Hodge numbers of all compact Kähler manifolds. As a consequence of this structure, there are no unexpected relations among the Hodge numbers, and no essential differences between the Hodge numbers of smooth complex projective varieties and those of arbitrary Kähler manifolds. The consideration of certain natural ideals in the Hodge ring allows us to determine exactly which linear combinations of Hodge numbers are birationally invariant, and which are topological invariants. Combining the Hodge and unitary bordism rings, we are also able to treat linear combinations of Hodge and Chern numbers. In particular, this leads to a complete solution of a classical problem of Hirzebruch’s.

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.

We use reduction maps to study the minimal model program. Our main result is that the existence of a good minimal model for a Kawamata log terminal pair (X,Δ) can be detected on a birational model of the base of the (KX+Δ)-trivial reduction map. We then interpret the main conjectures of the minimal model program as a natural statement about the existence of curves on X.

We obtain a sharp bound for p-elementary subgroups in the Cremona group Cr2(k) over an arbitrary perfect field k.

We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separated algebraic spaces, generalizing earlier results of Raoult. Along the way we also prove (and use) absolute noetherian approximation for such algebraic spaces, generalizing earlier results in the case of schemes.

Explicit generators are found for the group G2 of automorphisms of the algebra of one-sided inverses of a polynomial algebra in two variables over a field. Moreover, it is proved that

where S2 is the symmetric group, is the 2-dimensional algebraic torus, E∞() is the subgroup of GL∞() generated by the elementary matrices. In the proof, we use and prove several results on the index of an operator. The final argument is the proof of the fact that K1() ≃ K*. The algebras and are noncommutative, non-Noetherian, and not domains.

An abelian cover is a finite morphism X→Y of varieties which is the quotient map for a generically faithful action of a finite abelian group G. Abelian covers with Y smooth and X normal were studied in [R. Pardini, Abelian covers of algebraic varieties, J. Reine Angew. Math. 417 (1991), 191–213; MR 1103912(92g:14012)]. Here we study the non-normal case, assuming that X and Y are S2 varieties that have at worst normal crossings outside a subset of codimension greater than or equal to two. Special attention is paid to the case of ℤr2-covers of surfaces, which is used in [V. Alexeev and R. Pardini, Explicit compactifications of moduli spaces of Campedelli and Burniat surfaces, Preprint (2009), math.AG/arXiv:0901.4431] to construct explicitly compactifications of some components of the moduli space of surfaces of general type.

Generalizing a classical theorem of Carlson and Toledo, we prove that any Zariski dense isometric action of a Kähler group on the real hyperbolic space of dimension at least three factors through a homomorphism onto a cocompact discrete subgroup of PSL2(ℝ). We also study actions of Kähler groups on infinite-dimensional real hyperbolic spaces, describe some exotic actions of PSL2(ℝ) on these spaces, and give an application to the study of the Cremona group.