Smooth Morphisms Research Articles

On the behavior of the Kodaira dimension under smooth morphisms

On the behavior of the Kodaira dimension under smooth morphisms

Projective varieties with nef tangent bundle in positive characteristic

Let $X$ be a smooth projective variety defined over an algebraically closed field of positive characteristic $p$ whose tangent bundle is nef. We prove that $X$ admits a smooth morphism $X \to M$ such that the fibers are Fano varieties with nef tangent bundle and $T_M$ is numerically flat. We also prove that extremal contractions exist as smooth morphisms. As an application, we prove that, if the Frobenius morphism can be lifted modulo $p^2$, then $X$ admits, up to a finite étale Galois cover, a smooth morphism onto an ordinary abelian variety whose fibers are products of projective spaces.

Comparison of Relatively Unipotent Log de Rham Fundamental Groups

In this paper, we prove compatibilities of various definitions of relatively unipotent log de Rham fundamental groups for certain proper log smooth integral morphisms of fine log schemes of characteristic zero. Our proofs are purely algebraic. As an application, we give a purely algebraic calculation of the monodromy action on the unipotent log de Rham fundamental group of a stable log curve. As a corollary we give a purely algebraic proof to the transcendental part of Andreatta–Iovita–Kim’s article: obtaining in this way a complete algebraic criterion for good reduction for curves.

A -adic monodromy theorem for de Rham local systems

We study horizontal semistable and horizontal de Rham representations of the absolute Galois group of a certain smooth affinoid over a$p$-adic field. In particular, we prove that a horizontal de Rham representation becomes horizontal semistable after a finite extension of the base field. As an application, we show that every de Rham local system on a smooth rigid analytic variety becomes horizontal semistable étale locally around every classical point. We also discuss potentially crystalline loci of de Rham local systems and cohomologically potentially good reduction loci of smooth proper morphisms.

Characteristic cycle and wild ramification for nearby cycles of étale sheaves

Abstract In this article, we give a bound for the wild ramification of the monodromy action on the nearby cycles complex of a locally constant étale sheaf on the generic fiber of a smooth scheme over an equal characteristic trait in terms of Abbes and Saito’s logarithmic ramification filtration. This provides a positive answer to the main conjecture in [24] for smooth morphisms in equal characteristic. We also study the ramification along vertical divisors of étale sheaves on relative curves and abelian schemes over a trait.

Cyclic Mechanics: the Principle of Cyclicity

Cyclic mechanic is intended as a suitable generalization both of quantum mechanics and general relativity apt to unify them. It is founded on a few principles, which can be enumerated approximately as follows: 1. Actual infinity or the universe can be considered as a physical and experimentally verifiable entity. It allows of mechanical motion to exist. 2. A new law of conservation has to be involved to generalize and comprise the separate laws of conservation of classical and relativistic mechanics, and especially that of conservation of energy: This is the conservation of action or information. 3. Time is not a uniformly flowing time in general. It can have some speed, acceleration, more than one dimension, to be discrete. 4. The following principle of cyclicity: The universe returns in any point of it. The return can be only kinematic, i.e. per a unit of energy (or mass), and thermodynamic, i.e. considering the universe as a thermodynamic whole. 5. The kinematic return, which is per a unit of energy (or mass), is the counterpart of conservation of energy, which can be interpreted as the particular case of conservation of action “per a unit of time”. The kinematic return per a unit of energy (or mass) can be interpreted in turn as another particular law of conservation in the framework of conservation of action (or information), namely conservation of wave period (or time). These two counterpart laws of conservation correspond exactly to the particle “half” and to the wave “half” of wave-particle duality. 6. The principle of quantum invariance is introduced. It means that all physical laws have to be invariant to discrete and continuous (smooth) morphisms (motions) or mathematically, to the axiom of choice. The list is not intended to be exhausted or disjunctive, but only to give an introductory idea.

Positivity of anticanonical divisors and F-purity of fibers

In this paper, we prove that given a flat generically smooth morphism between smooth projective varieties with $F$-pure closed fibers, if the source space is Fano, weak Fano or a variety with the nef anti-canonical divisor, then so is the target space. We also show that relative anti-canonical divisors of generically smooth surjective nonconstant morphisms are not nef and big in arbitrary characteristic.

The Teichmüller and Riemann moduli stacks

The aim of this paper is to put a nice analytic structure on the higher-dimensional Teichm\uller and Riemann spaces, which are only defined as topological spaces. We show that they can be described as Artin analytic stacks of families of complex manifolds, that is admitting a presentation as a groupoid whose objects and morphisms form a finite-dimensional analytic space and whose source and target maps are smooth morphisms. This is achieved under the sole condition that the dimension of the automorphism group of each structure is bounded by a fixed integer. The main point here is the existence of a global (multi)-foliated structure on the space of complex operators whose holonomy data encodes how to glue the local Kuranishi spaces to obtain a groupoid presentation of the Teichm\uller space.

Crystalline comparison isomorphisms in p-adic Hodge theory :the absolutely unramified case

We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for \'etale cohomology with nontrivial coefficients, as well as in the relative setting, i.e. for proper smooth morphisms of smooth formal schemes. The proof is formulated in terms of the pro-\'etale topos introduced by Scholze, and uses his primitive comparison theorem for the structure sheaf on the pro-\'etale site. Moreover, we need to prove the Poincar\'e lemma for crystalline period sheaves, for which we adapt the idea of Andreatta and Iovita. Another ingredient for the proof is the geometric acyclicity of crystalline period sheaves, whose computation is due to Andreatta and Brinon.

Effective generation and twisted weak positivity of direct images

In this paper, we study pushforwards of log pluricanonical bundles on projective log canonical pairs $(Y,\Delta)$ over the complex numbers, partially answering a Fujita-type conjecture due to Popa and Schnell in the log canonical setting. We show two effective global generation results. First, when $Y$ surjects onto a projective variety, we show a quadratic bound for generic generation for twists by big and nef line bundles. Second, when $Y$ is fibered over a smooth projective variety, we show a linear bound for twists by ample line bundles. These results additionally give effective non-vanishing statements. We also prove an effective weak positivity statement for log pluricanonical bundles in this setting, which may be of independent interest. In each context we indicate over which loci positivity holds. Finally, using the description of such loci, we show an effective vanishing theorem for pushforwards of certain log-sheaves under smooth morphisms.

Smoothness in Relative Geometry

AbstractIn [TVa], Bertrand Toën and Michel Vaquié defined a scheme theory for a closed monoidal category ( ⊗1). In this article, we define a notion of smoothness in this relative (and not necessarily additive) context which generalizes the notion of smoothness in the category of rings. This generalisation consists in replacing homological finiteness conditions by homotopical ones, using the Dold-Kan correspondence. To do this, we provide the category s of simplicial objects in a monoidal category and all the categories sA-mod, sA-alg (A ∈ sComm()) with compatible model structures using the work of Rezk [R]. We then give a general notion of smoothness in sComm(). We prove that this notion is a generalisation of the notion of smooth morphism in the category of rings and is stable under composition and homotopy pushouts. Finally we provide some examples of smooth morphisms, in particular in ℕ-alg and Comm(Set).

Chow rings and decomposition theorems for K3 surfaces and Calabi–Yau hypersurfaces

The decomposition theorem for smooth projective morphisms $\pi:\mathcal{X}\rightarrow B$ says that $R\pi_*\mathbb{Q}$ decomposes as $\oplus R^i\pi_*\mathbb{Q}[-i]$. We describe simple examples where it is not possible to have such a decomposition compatible with cup-product, even after restriction to Zariski dense open sets of $B$. We prove however that this is always possible for families of $K3$ surfaces (after shrinking the base), and show how this result relates to a result by Beauville and the author on the Chow ring of $K3$ surfaces $S$. We give two proofs of this result, the second one involving a certain decomposition of the small diagonal in $S^3$ also proved by Beauville and the author}. We prove an analogue of such a decomposition of the small diagonal in $X^3$ for Calabi-Yau hypersurfaces $X$ in $\mathbb{P}^n$, which in turn provides strong restrictions on their Chow ring.

Hermitian structures on the derived category of coherent sheaves

The main objective of the present paper is to set up the theoretical basis and the language needed to deal with the problem of direct images of Hermitian vector bundles for projective non-necessarily smooth morphisms. To this end, we first define Hermitian structures on the objects of the bounded derived category of coherent sheaves on a smooth complex variety. Secondly we extend the theory of Bott–Chern classes to these Hermitian structures. Finally we introduce the category Sm¯⁎/C whose morphisms are projective morphisms with a Hermitian structure on the relative tangent complex.

Some natural properties of constructive resolution of singularities

These expository notes, addressed to non-experts, are intended to present some of Hironaka’s ideas on his theorem of resolution of singularities. We focus particularly on those aspects which have played a central role in the constructive proof of this theorem. In fact, algorithmic proofs of the theorem of resolution grow, to a large extend, from the so called Hironaka’s fundamental invariant. Here we underline the influence of this invariant in the proofs of the natural properties of constructive resolution, such as: equivariance, compatibility with open restrictions, with pull-backs by smooth morphisms, with changes of the base field, independence of the embedding, etc.

On two-dimensional holonomy

We define the thin fundamental categorical group ${\mathcal P}_2(M,*)$ of a based smooth manifold $(M,*)$ as the categorical group whose objects are rank-1 homotopy classes of based loops on $M$, and whose morphisms are rank-2 homotopy classes of homotopies between based loops on $M$. Here two maps are rank-$n$ homotopic, when the rank of the differential of the homotopy between them equals $n$. Let $\C(\Gc)$ be a Lie categorical group coming from a Lie crossed module ${\Gc= (\d\colon E \to G,\tr)}$. We construct categorical holonomies, defined to be smooth morphisms ${\mathcal P}_2(M,*) \to \C(\Gc)$, by using a notion of categorical connections, being a pair $(\w,m)$, where $\w$ is a connection 1-form on $P$, a principal $G$ bundle over $M$, and $m$ is a 2-form on $P$ with values in the Lie algebra of $E$, with the pair $(\w,m)$ satisfying suitable conditions. As a further result, we are able to define Wilson spheres in this context.

Sur le Topos infinitésimal p-adique d’un schéma lisse I

In order to have cohomological operations for de Rham p-adic cohomology with coefficients as manageable as possible, the main purpose of this paper is to solve intrinsically and from a cohomological point of view the lifting problem of smooth schemes and their morphisms from characteristic p > 0 to characteristic zero which has been one of the fundamental difficulties in the theory of de Rham cohomology of algebraic schemes in positive characteristic since the beginning. We show that although smooth schemes and morphisms fail to lift geometrically, it is as if this was the case within the cohomological point of view, which is consistent with the theory of Grothendieck Motives. We deduce the p-adic factorization of the Zeta function of a smooth algebraic variety, possibly open, over a finite field, which is a key testing result of our methods.

Algebraic connections vs. algebraic $\mathscr D$-modules: inverse and direct images

This paper is devoted to a new proof of the comparison between the derived direct image functor for \mathscr D -Modules and the construction of the Gauss–Manin connection for smooth morphisms.

Flag Higher Nash Blowups

In his previous article, the author has defined a higher version of the Nash blowup. In this article, we will introduce another higher version and prove that it is compatible with products and smooth morphisms. We will also prove that the product of curves can be desingularized via both versions.

The exactness of the log homotopy sequence

In the present paper, we develop the theory of log homotopy exact sequences associated to proper log smooth morphisms and morphisms whose characteristic sheaves are locally constant with stalks isomorphic to the monoid of natural numbers. In the process of developing this theory, we also show the existence of a logarithmic version of the Stein factorization and develop the theory of algebraization of log formal schemes.

Functoriality in Resolution of Singularities

Algorithms for resolution of singularities in characteristic zero are based on Hironaka’s idea of reducing the problem to a simpler question of desingularization of an “idealistic exponent” (or “marked ideal”). How can we determine whether two marked ideals are equisingular in the sense that they can be resolved by the same blowing-up sequences? We show there is a desingularization functor defined on the category of equivalence classes of marked ideals and smooth morphisms, where marked ideals are “equivalent” if they have the same sequences of “test transformations”. Functoriality in this sense realizes Hironaka’s idealistic exponent philosophy. We use it to show that the recent algorithms for desingularization of marked ideals of Włodarczyk and of Kollár coincide with our own, and we discuss open problems.