scholarly journals Hyperbolicity for Log Smooth Families with Maximal Variation

Author(s):  
Chuanhao Wei ◽  
Lei Wu

Abstract We prove that the base space of a log smooth family of log canonical pairs of log general type is of log general type as well as algebraically degenerate, when the family admits a relative good minimal model over a Zariski open subset of the base and the relative log canonical model is of maximal variation.

Author(s):  
Ehud Hrushovski ◽  
François Loeser

This chapter includes some additional material on homotopies. In particular, for a smooth variety V, there exists an “inflation” homotopy, taking a simple point to the generic type of a small neighborhood of that point. This homotopy has an image that is properly a subset of unit vector V, and cannot be understood directly in terms of definable subsets of V. The image of this homotopy retraction has the merit of being contained in unit vector U for any dense Zariski open subset U of V. The chapter also proves the continuity of functions and homotopies using continuity criteria and constructs inflation homotopies before proving GAGA type results for connectedness. Additional results regarding the Zariski topology are given.


2016 ◽  
Vol 223 (1) ◽  
pp. 1-20 ◽  
Author(s):  
ADRIEN DUBOULOZ ◽  
TAKASHI KISHIMOTO

We show that the generic fiber of a family $f:X\rightarrow S$ of smooth $\mathbb{A}^{1}$-ruled affine surfaces always carries an $\mathbb{A}^{1}$-fibration, possibly after a finite extension of the base $S$. In the particular case where the general fibers of the family are irrational surfaces, we establish that up to shrinking $S$, such a family actually factors through an $\mathbb{A}^{1}$-fibration $\unicode[STIX]{x1D70C}:X\rightarrow Y$ over a certain $S$-scheme $Y\rightarrow S$ induced by the MRC-fibration of a relative smooth projective model of $X$ over $S$. For affine threefolds $X$ equipped with a fibration $f:X\rightarrow B$ by irrational $\mathbb{A}^{1}$-ruled surfaces over a smooth curve $B$, the induced $\mathbb{A}^{1}$-fibration $\unicode[STIX]{x1D70C}:X\rightarrow Y$ can also be recovered from a relative minimal model program applied to a smooth projective model of $X$ over $B$.


2000 ◽  
Vol 43 (3) ◽  
pp. 605-623 ◽  
Author(s):  
Olivier Vivolo

AbstractConsider an isospectral manifold formed by matrices M ∈ glr(ℂ)[x] with a fixed leading term. The description of such a manifold is well known in the case of a diagonal leading term with different eigenvalues. On the other hand, there are many important systems where this term has multiple eigenvalues. One approach is to impose conditions in the sub-leading term. The result is that the isospectral set is a smooth manifold, bi-holomorphic to a Zariski open subset of the generalized Jacobian of a singular curve.


2012 ◽  
Vol 206 ◽  
pp. 1-24
Author(s):  
Chris Peters ◽  
Morihiko Saito

AbstractLetXbe an irreducible complex analytic space withj:U ↪ Xan immersion of a smooth Zariski-open subset, and let 𝕍 be a variation of Hodge structure of weightnoverU. Assume thatXis compact Kähler. Then, provided that the local monodromy operators at infinity are quasi-unipotent,IHk(X, 𝕍) is known to carry a pure Hodge structure of weightk+n, whileHk(U, 𝕍) carries a mixed Hodge structure of weight at leastk+n. In this note it is shown that the image of the natural mapIHk(X, 𝕍) →Hk(U, 𝕍) is the lowest-weight part of this mixed Hodge structure. In the algebraic case this easily follows from the formalism of mixed sheaves, but the analytic case is rather complicated, in particular when the complementX — Uis not a hypersurface.


2013 ◽  
Vol 149 (6) ◽  
pp. 1019-1040
Author(s):  
Daniel Lohmann

AbstractLet $(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.


2014 ◽  
Vol 215 ◽  
pp. 203-224 ◽  
Author(s):  
Caucher Birkar ◽  
Zhengyu Hu

AbstractWe continue our study of the relation between log minimal models and various types of Zariski decompositions. Let (X,B) be a projective log canonical pair. We will show that (X,B) has a log minimal model if either KX + B birationally has a Nakayama–Zariski decomposition with nef positive part, or if KX +B is big and birationally has a Fujita–Zariski or Cutkosky–Kawamata–Moriwaki–Zariski decomposition. Along the way we introduce polarized pairs (X,B +P), where (X,B) is a usual projective pair and where P is nef, and we study the birational geometry of such pairs.


Author(s):  
Bo Berndtsson ◽  
Mihai Păun ◽  
Xu Wang

Let $p:X\rightarrow Y$ be an algebraic fiber space, and let $L$ be a line bundle on $X$ . In this article, we obtain a curvature formula for the higher direct images of $\unicode[STIX]{x1D6FA}_{X/Y}^{i}\otimes L$ restricted to a suitable Zariski open subset of $X$ . Our results are particularly meaningful if $L$ is semi-negatively curved on $X$ and strictly negative or trivial on smooth fibers of $p$ . Several applications are obtained, including a new proof of a result by Viehweg–Zuo in the context of a canonically polarized family of maximal variation and its version for Calabi–Yau families. The main feature of our approach is that the general curvature formulas we obtain allow us to bypass the use of ramified covers – and the complications that are induced by them.


2014 ◽  
Vol 215 ◽  
pp. 203-224
Author(s):  
Caucher Birkar ◽  
Zhengyu Hu

AbstractWe continue our study of the relation between log minimal models and various types of Zariski decompositions. Let (X,B) be a projective log canonical pair. We will show that (X,B) has a log minimal model if eitherKX+Bbirationally has a Nakayama–Zariski decomposition with nef positive part, or ifKX+Bis big and birationally has a Fujita–Zariski or Cutkosky–Kawamata–Moriwaki–Zariski decomposition. Along the way we introduce polarized pairs (X,B+P), where (X,B) is a usual projective pair and wherePis nef, and we study the birational geometry of such pairs.


2014 ◽  
Vol 8 (5) ◽  
pp. 1113-1126 ◽  
Author(s):  
Fabian Müller

Author(s):  
Ariyan Javanpeykar ◽  
Junyi Xie

Abstract Motivated by Lang–Vojta’s conjecture, we show that the set of dominant rational self-maps of an algebraic variety over a number field with only finitely many rational points in any given number field is finite by combining Amerik’s theorem for dynamical systems of infinite order with properties of Prokhorov–Shramov’s notion of quasi-minimal models. We also prove a similar result in the geometric setting by using again not only Amerik’s theorem and Prokhorov–Shramov’s notion of quasi-minimal model but also Weil’s regularization theorem for birational self-maps and properties of dynamical degrees. Furthermore, in the geometric setting, we obtain an analogue of Kobayashi–Ochiai’s finiteness result for varieties of general type and thereby generalize Noguchi’s theorem (formerly Lang’s conjecture).


Sign in / Sign up

Export Citation Format

Share Document