We consider moduli spaces of dynamical systems of correspondences over the projective line as a generalization of moduli spaces of dynamical systems of endomorphisms on the projective line. We obtain the rationality of the moduli spaces. The rationality of the moduli space of degree $(d,e)$ correspondences is obtained from a representation-theoretic projection to the one for the usual dynamical systems of degree $d+e-1$. We also show that the multiplier maps for the fixed points and the multiplier index theorem (Woods Hole formula) are also reduced through the projection and obtain the reduced…
In this note, we construct nine families of projective complex minimal surfaces of general type having the canonical map of degree 8 and irregularity 0 or 1. For six of these families the canonical system has a non trivial fixed part.
This paper deals with holomorphic self-maps of the complex projective plane and the algebraic relations among the eigenvalues of the derivatives at the fixed points. These eigenvalues are constrained by certain index theorems such as the holomorphic Lefschetz fixed-point theorem. A simple dimensional argument suggests there must exist even more algebraic relations that the ones currently known. In this work we analyze the case of quadratic self-maps having an invariant line and obtain all such relations. We also prove that a generic quadratic self-map with an invariant line is completely deter…
Let V be a smooth quasi-projective complex surface such that the three first logarithmic plurigenera are equal to 1 and the logarithmic irregularity is equal to 2. We prove that the quasi-Albanese morphism of V is birational and there exists a finite set S such that the quasi-Albanese map is proper over the complement of S in the quasi-Albanese variety A(V) of V. This is a sharp effective version of a classical result of Iitaka.
Esnault-Viehweg developed the theory of cyclic branched coverings $\tilde X\to X$ of smooth surfaces providing a very explicit formula for the decomposition of $H^1(\tilde X,\mathbb{C})$ in terms of a resolution of the ramification locus. Later, the first author applies this to the particular case of coverings of $\mathbb{P}^2$ reducing the problem to a combination of global and local conditions on projective curves. In this paper we extend the above results in three directions: first, the theory is extended to surfaces with quotient singularities, second the ramification locus can be partiall…
In this article we introduce generalized projective spaces (Definitions $[2.1, 2.5]$) and prove three main theorems in two different contexts. In the first context we prove, in main Theorem $A$, the surjectivity of the Chinese remainder reduction map associated to the generalized projective space of an ideal with a given factorization into mutually co-maximal ideals each of which is contained in finitely many maximal ideals, using the key concept of choice multiplier hypothesis (Definition $4.11$) which is satisfied. In the second context of surjectivity of the map from $k$-dimensional special…
Suppose that $X$ is an integral scheme (quasi-)projective over a complete local ring of mixed characteristic. Using ideas of Takamatsu-Yoshikawa and Bhatt-Ma-et. al, we define a notion of a $+$-test ideal on $X$, including for divisors and linear series. We obtain global generation results in this setting that generalize the well known global generation results obtained via multiplier ideal sheaf techniques in characteristic $0$ and via test ideals in characteristic $p>0$. We also obtain applications to the order of vanishing of linear series and to the diminished base locus in mixed character…
The purpose of this note is to find an elemenary explanation of a surprising result of Ein--Lazarsfeld--Smith \cite{ELS} and Hochster--Huneke \cite{HH} on the containment between symbolic and ordinary powers of ideals in simple cases. This line of research has been very active ever since, see for instance \cites{BC,HaH,DST} and the references therein, by now the literature on this topic is quite extensive. By `elementary' we refer to arguments that among others do not make use of resolution of singularities and multiplier ideals nor tight closure methods. Let us quickly recall the statement \c…