We present a new perspective on the weak approximation conjecture of Hassett and Tschinkel: formal sections of a rationally connected fibration over a curve can be approximated to arbitrary order by regular sections. The new approach involves the study of how ideal sheaves pullback to Cartier divisors.
Using the Gille-Merkurjev norm principle we compute in a uniform way the image of the degree map for quadrics (Springer's theorem), for twisted forms of maximal orthogonal Grassmannians (theorem of Bayer-Fluckiger and Lenstra), for E6- (Rost's theorem), and E7-varieties.
Given a natural number $l$ and a weak Fano $n$-fold $X$ with $\operatorname{dim}\overline{φ_{-lK_X}(X)}\geq n-1$, we study the lower bound of the anti-canonical volume and the upper bound of the anti-canonical stability index. The method can also be used to give similar bounds for polarised Calabi-Yau varieties.
Inspired by the Weak Lefschetz Principle, we study when a smooth projective variety fully determines the birational geometry of some of its subvarieties. In particular, we consider the natural embedding of the space of complete quadrics into the space of complete collineations and we observe that their birational geometry, from the point of view of Mori theory, fully determines each other. When two varieties are related in this way, we call them birational twins. We explore this notion and its various flavors for other embeddings between Mori dream spaces.
Algebra bundles, in the strict sense, appear in many areas of geometry and physics. However, the structure of an algebra is flexible enough to vary non-trivially over a connected base, giving rise to a structure of a weak algebra bundle. We will show that the notion of a weak algebra bundle is more natural than that of a strict algebra bundle. We will give necessary and sufficient conditions for weak algebra bundles to be locally trivial. The collection of non-trivial associative algebras of a fixed dimension forms a projective variety, called associator varieties. We will show that these vari…
This is a survey of weak approximation over complex function fields, touching on the Koll'ar-Miyaoka-Mori theorem, places of good and bad reduction, the special case of rational surfaces, rationally simply connected varieties, and applications to low-degree complete intersections.
We prove that the anti-canonical divisors of weak Fano 3-folds with log canonical singularities are semiample. Moreover, we consider semiampleness of the anti-log canonical divisor of any weak log Fano pair with log canonical singularities. We show semiampleness dose not hold in general by constructing several examples. Based on those examples, we propose sufficient conditions which seem to be the best possible and we prove semiampleness under such conditions. In particular we derive semiampleness of the anti-canonical divisors of log canonical weak Fano 4-folds whose lc centers are at most 1-…
Zero-cycles are conjectured to satisfy weak approximation with Brauer-Manin obstruction for proper smooth varieties defined over number fields. Roughly speaking, we prove that the conjecture is compatible for products of rationally connected varieties, K3 surfaces, Kummer varieties, and one curve.
Let $G$ be a simple algebraic group over the field of complex numbers. Fix a maximal torus $T$ and a Borel subgroup $B$ of $G$ containing $T$. Let $w$ be an element of the Weyl group $W$ of $G$, and let $Z(\tilde w)$ be the Bott-Samelson-Demazure-Hansen (BSDH) variety corresponding to a reduced expression $\tilde w$ of $w$ with respect to the data $(G, B, T)$. In this article we give complete characterization of the expressions $\tilde w$ such that the corresponding BSDH variety $Z(\tilde w)$ is Fano or weak Fano. As a consequence we prove vanishing theorems of the cohomology of tangent bundle…
We give a geometric proof that Hasse principle holds for the following varieties defined over global function fields: smooth quadric hypersurfaces in odd characteristic, smooth cubic hypersurfaces of dimension at least $4$ in characteristic at least $7$, and smooth complete intersections of two quadrics of dimension at least $3$ in odd characteristics. In Appendix A we explain how to modify a previous argument of the author to prove weak approximation for cubic hypersurfaces defined over function fields of curves over algebraically closed fields of characteristic at least $7$. In Appendix B we…
We give a necessary and sufficient condition for the nonsingular projective toric variety associated to a building set to be weak Fano in terms of the building set.
Let $A$ and $A'$ be abelian varieties defined over a number field $k$ of dimension $g\geq 1$. For $g\leq 3$, we show that the following local-global principle holds: $A$ and $A'$ are quadratic twists of each other if and only if, for almost all primes $\mathfrak p$ of $k$ of good reduction for $A$ and $A'$, the reductions $A_{\mathfrak p}$ and $A'_{\mathfrak p}$ are quadratic twists of each other. This result is known when $g=1$, in which case it has appeared in works by Kings, Rajan, Ramakrishnan, and Serre. We provide an example that violates this local-global principle in dimension $g=4$.
Recently, Kanemitsu has discovered a counterexample to the long-standing conjecture that the tangent bundle of a Fano manifold of Picard number one is (semi)stable. His counterexample is a smooth horospherical variety. There is a weaker conjecture that the tangent bundle of a Fano manifold of Picard number one is simple. We prove that this weaker conjecture is valid for smooth horospherical varieties of Picard number one. Our proof follows from the existence of an irreducible family of unbendable rational curves whose tangent vectors span the tangent spaces of the horospherical variety at gene…
We show that fixed dimensional klt weak Fano pairs with alpha-invariants and volumes bounded away from $0$ and the coefficients of the boundaries belong to the set of hyperstandard multiplicities $Φ(\mathscr{R})$ associated to a fixed finite set $\mathscr{R}$ form a bounded family. We also show $α(X,B)^{d-1}\mathrm{vol}(-(K_X+B))$ are bounded from above for all klt weak Fano pairs $(X,B)$ of a fixed dimension $d$.
A point $p\in\mathbb{P}^N$ of a projective space is $h$-identifiable, with respect to a variety $X\subset\mathbb{P}^N$, if it can be written as linear combination of $h$ elements of $X$ in a unique way. Identifiability is implied by conditions on the contact locus in $X$ of general linear spaces called non weak defectiveness and non tangential weak defectiveness. We give conditions ensuring non tangential weak defectiveness of an irreducible and non-degenerated projective variety $X\subset\mathbb{P}^N$, and we apply these results to Segre-Veronese varieties.
In the early 2000's Levine and Morel have given a geometric construction of an algebraic cobordism group defined for all smooth quasi projective varieties over a field. We show how we can refine their construction to build an Arakelov version of this group for Arakelov varieties over a number field, and how this integrates well in the general philosophy of Arakelov geometry.
Borrowing a reduction principle to a recent preprint of G. Faltings (toroidal resolution of some matrix singularities, 1999), we use Lafforgue's compactification of PGL_r^{N+1}/PGL_r to construct a canonical log-smooth toroidal resolution for the bad reduction in a prime p of Shimura varieties of unitary and symplectic type with parahoric level structures at p. Using this result, non-canonical semi-stable resolutions over Z_p[p^{1/ν}] can be derived.
Regular semisimple Hessenberg varieties are smooth subvarieties of the flag variety, and their examples contain the flag variety itself and the permutohedral variety which is a toric variety. We give a complete classification of Fano and weak Fano regular semisimple Hessenberg varieties in type A in terms of combinatorics of Hessenberg functions. In particular, we show that if the anti-canonical bundle of a regular semisimple Hessenberg variety is nef, then it is in fact nef and big.
We prove that smooth, projective, $K$-trivial, weakly ordinary varieties over a perfect field of characteristic $p>0$ are not geometrically uniruled. We also show a singular version of our theorem, which is sharp in multiple aspects. Our work, together with Langer's results, implies that varieties of the above type have strongly semistable tangent bundles with respect to any polarization.
General linear sections of codimension 2 of the Grassmannians G(1,4) and G(1,5) appear in the classification of Fano manifolds of high index. Unlike Grassmannians, these manifolds are not homogeneous. Nevertheless, their automorphisms groups have finitely many orbits. In this work we first compute the orbits of these actions. Then we give a description of the variety of lines (under the Plücker embedding) passing through a fixed point in each orbit of the action. As an application we show that these Fano manifolds are not weakly 2-Fano, completing the classification of weakly 2-Fano manifolds …
In the present article we investigate properties of the category of the integral Grothendieck-Chow motives over a field. We discuss the Krull-Schmidt principle for integral motives, provide a complete list of the generalized Severi-Brauer varieties with indecomposable integral motive, and exploit a relation between the category of motives of twisted flag varieties and integral $p$-adic representations of finite groups.
For a semi-stable abelian variety A_K over a complete discrete valuation field K, we show that every finite subgroup scheme of A_K extends to a log finite flat group scheme over the valuation ring of K endowed with the canonical log structure. To achieve this, we first prove that every weak log abelian variety over an fs log scheme with its underlying scheme locally noetherian, is a sheaf for the Kummer flat topology, which answers a question of Chikara Nakayama. We also give several equivalent conditions defining isogenies of log abelian varieties.
The weak factorization theorem for birational maps is used to prove that for all nonnegative i the ith mod 2 Betti number of compact nonsingular real algebraic varieties has a unique extension to a "virtual Betti number" beta_i defined for all real algebraic varieties, such that if Y is a closed subvariety of X, then beta_i(X) = beta_i(X\Y) + beta_i(Y).
Using the weak factorization theorem we give a simple presentation for the value group of the universal Euler characteristic with compact support for varieties of characteristic zero and describe the value group of the universal Euler characteristic of pairs. This gives a new proof for the existence of natural Euler characteristics with values in the Grothendieck group of Chow motives. A generalization of the presentation to the relative setting allows us to define duality and the six operations.
For moduli of polarized smooth K-trivial a.k.a., Calabi-Yau varieties in a general sense, we revisit a classical problem of constructing its "weak K-moduli" compactifications which parametrizes K-semistable (i.e., semi-log-canonical K-trivial) degenerations. Although weak K-moduli is not unique in general, they always contain a unique partial compactification (K-moduli). Our main theorem is the log minimality of their normalizations, under some conditions. Partially to confirm that known examples satisfy the conditions, we also include an appendix on the algebro-geometric reconstruction of Kul…
We study the existence of zero-cycles of degree one on varieties that are defined over a function field of a curve over a complete discretely valued field. In particular, we show that local-global principles hold for such zero-cycles provided that local-global principles hold for the existence of rational points over extensions of the function field. This assertion is analogous to a known result concerning varieties over number fields. We also show that our results hold more generally in the henselian case.
We study rational points on a smooth variety X over a complete local field K with algebraically closed residue field, and models of X with tame quotient singularities. If a model of X is the quotient of a Galois action on a weak Néron model of the base change of X to a tame Galois extension of K, then we construct a canonical weak Néron model of X with a map to this model, and examine its special fiber. As an application we get examples of singular models of X such that X has K-rational points specializing to a singular point of this model. Moreover we obtain formulas for the motivic Serre inv…
The main goal of the present paper is two-fold. First we extend the theory of toroidal embeddings introduced by Kempf, Knudsen, Mumford and Saint-Donat to the class of toroidal varieties with stratifications (which is the main body of the paper). Second we give a proof of the following weak factorization theorem as an application and illustration of the theory: A birational map between complete nonsingular varieties over an algebraically closed field K of characteristic zero is a composite of blow ups and blow downs with smooth centers. Another proof of the weak factorization theorem appeared …
We prove weak approximation for isotrivial families of rationally connected varieties defined over the function field of a smooth projective complex curve.
Let $k$ be a number field. In the spirit of a result by Yongqi Liang, we relate the arithmetic of rational points over finite extensions of $k$ to that of zero-cycles over $k$ for Kummer varieties over $k$. For example, for any Kummer variety $X$ over $k$, we show that if the Brauer-Manin obstruction is the only obstruction to the Hasse principle for rational points on $X$ over all finite extensions of $k$, then the ($2$-primary) Brauer-Manin obstruction is the only obstruction to the Hasse principle for zero-cycles of any given odd degree on $X$ over $k$. We also obtain similar results for pr…
A remarkable result of Peter O'Sullivan asserts that the algebra epimorphism from the rational Chow ring of an abelian variety to its rational Chow ring modulo numerical equivalence admits a (canonical) section. Motivated by Beauville's splitting principle, we formulate a conjectural Section Property which predicts that for smooth projective holomorphic symplectic varieties there exists such a section of algebra whose image contains all the Chern classes of the variety. In this paper, we investigate this property for (not necessarily symplectic) varieties with Chow motive of abelian type. We i…
We consider the convex geometry of the cone of nonnegative quadratics over Stanley-Reisner varieties. Stanley-Reisner varieties (which are unions of coordinate planes) are amongst the simplest real projective varieties, so this is potentially a starting point that can generalize to more complicated real projective varieties. This subject has some suprising connections to algebraic topology and category theory, which we exploit heavily in our work. These questions are also valuable in applied math, because they directly translate to questions about positive semidefinite (PSD) matrices. In parti…
We study (weak) log abelian varieties with constant degeneration in the log flat topology. If the base is a log point, we further study the endomorphism algebras of log abelian varieties. In particular, we prove the dual short exact sequence for isogenies, Poincaré complete reducibility theorem for log abelian varieties, and the semi-simplicity of the endomorphism algebras of log abelian varieties.
This article gives an overview of toric Fano and toric weak Fano varieties associated to graphs and building sets. We also study some properties of such toric Fano varieties and discuss related topics.
We study the non-archimedean counterpart to the complex amoeba of an algebraic variety, and show that it coincides with a polyhedral set defined by Bieri and Groves using valuations. For hypersurfaces this set is also the tropical variety of the defining polynomial. Using non-archimedean analysis and a recent result of Conrad we prove that the amoeba of an irreducible variety is connected. We introduce the notion of an adelic amoeba for varieties over global fields, and establish a form of the local-global principle for them. This principle is used to explain the calculation of the nonexpansiv…
We define the weak-normalization and the seminormalization of a real algebraic variety relative to its central locus. The study is related to the properties of the rings of continuous rational functions and hereditarily rational functions on real algebraic varieties. We provide in particular several characterizations (algebraic or geometric) of these varieties, and provide a full description of centrally seminormal curves.
We show how to deduce the standard sign conjecture (a weakening of the Künneth standard conjecture) for Shimura varieties from some statements about discrete automorphic representations (Arthur's conjectures plus a bit more). We also indicate what is known (to us) about these statements.