arXiv subjects
Publications and source records attributed to Nathan Grieve.
We address the question of effectivity for calculation of local Weil functions from the viewpoint of presentations of Cartier divisors. This builds on the approach of Bombieri and Gubler as well as the perspective of our earlier works. Among other features, our approach here gives rise to theoretical effective algorithms for calculating local Weil functions on projective varieties.
We apply the theory of the Chow-Mumford line bundle as developed by Arezzo-et-al and build on earlier key insights of Paul and Tian (see \cite{Arezzo:DellaVedova:LaNave} and the references therein). In particular, we give an explicit intersection theoretic description of the Donaldson-Futaki $\K$-stability invariants that arise via deformation to the normal cones along subschemes and with respect to big and nef line bundles on projective varieties. In doing so we generalize to the case of big and nef line bundles the slope stability theory of Ross and Thomas \cite[Section 4]{Ross:Thomas:2006}. A key point to what we do here is the continuity property of the Chow Mumford line bundles with respect to the ample cones of projective varieties.
We study in detail the work of Jeffrey and Weitsman, especially \cite{Jeffrey:Weitsman:1992} and \cite{Jeffrey:Weitsman:1994}. In particular, we describe the manner in which the inequalities that cut out the Bohr-Sommerfeld moment polytope give rise to a solution of the $\operatorname{SU}(2)$-multiplicative eigenvalue problem for the case of three conjugacy classes.
We fix some gaps of a proof of Xiao's conjecture on canonically fibered surfaces of relative genus 5 by the second author. Our argument simplifies the original proof and gives a much better bound on the geometric genus of the surface. Also we apply the same argument to canonically fibered surfaces of relative genus 3 and 4 to obtain some Noether-type inequalities for these surfaces.
We build on the perspective of the works \cite{Grieve:Noytaptim:fwd:orbits}, \cite{Matsuzawa:2023}, \cite{Grieve:qualitative:subspace}, \cite{Grieve:chow:approx}, \cite{Grieve:Divisorial:Instab:Vojta} (and others) and study the dynamical arithmetic complexity of rational points in projective varieties. Our main results make progress towards the attractive problem of asymptotic complexity of coordinate size dynamics in the sense formulated by Matsuzawa, in \cite[Question 1.1.2]{Matsuzawa:2023}, and building on earlier work of Silverman \cite{Silverman:1993}. A key tool to our approach here is a novel formulation of conjectural Vojta type inequalities for log canonical pairs and with respect to finite extensions of number fields. Among other features, these conjectured Diophantine arithmetic height inequalities raise the question of existence of log resolutions with respect to finite extensions of number fields which is another novel concept which we formulate in precise terms here and also which is of an independent interest.
{\tt AbstractSimplicialComplexes.m2} is a computer algebra package written for the computer algebra system {\tt Macaulay2} \cite{M2}. It provides new infrastructure to work with abstract simplicial complexes and related homological constructions. Its key novel feature is to implement each given abstract simplicial complex as a certain graded list in the form of a hash table with integer keys. Among other features, this allows for a direct implementation of the associated reduced and non-reduced simplicial chain complexes. Further, it facilitates construction of random simplicial complexes. The approach that we employ here builds on the {\tt Macaulay2} package {\tt Complexes.m2} \cite{Stillman:Smith:Complexes.m2}. It complements and is entirely different from the existing {\tt Macaulay2} simplicial complexes framework that is made possible by the package {\tt SimplicialComplexes.m2} \cite{Smith:et:al:SimplicialComplexes.m2:jsag}.
Working over a base number field $\KK$, we study the attractive question of Zariski non-density for $(D,S)$-integral points in $\mathrm{O}_f(x)$ the forward $f$-orbit of a rational point $x \in X(\KK)$. Here, $f \colon X \rightarrow X$ is a regular surjective self-map for $X$ a geometrically irreducible projective variety over $\KK$. Given a non-zero and effective $f$-quasi-polarizable Cartier divisor $D$ on $X$ and defined over $\KK$, our main result gives a sufficient condition, that is formulated in terms of the $f$-dynamics of $D$, for non-Zariski density of certain dynamically defined subsets of $\mathrm{O}_f(x)$. For the case of $(D,S)$-integral points, this result gives a sufficient condition for non-Zariski density of integral points in $\mathrm{O}_f(x)$. Our approach expands on that of Yasufuku, \cite{Yasufuku:2015}, building on earlier work of Silverman \cite{Silverman:1993}. Our main result gives an unconditional form of the main results of loc.~cit.; the key arithmetic input to our main theorem is the Subspace Theorem of Schmidt in the generalized form that has been given by Ru and Vojta in \cite{Ru:Vojta:2016} and expanded upon in \cite{Grieve:points:bounded:degree} and \cite{Grieve:qualitative:subspace}.
We deduce Diophantine arithmetic inequalities for big linear systems and with respect to finite extensions of number fields. Our starting point is the Parametric Subspace Theorem, for linear forms, as formulated by Evertse and Ferretti \cite{Evertse:Ferretti:2013}. Among other features, this viewpoint allows for a partitioning of the linear scattering, for the Diophantine Exceptional set, that arises in the Subspace Theorem. Our perspective builds on our work \cite{Grieve:points:bounded:degree}, combined with earlier work of Evertse and Ferretti, \cite{Evertse:Ferretti:2013}, Evertse and Schlickewei, \cite{Evertse:Schlickewei:2002}, and others. As an application, we establish a novel linear scattering type result for the Diophantine exceptional set that arises in the main Diophantine arithmetic inequalities of Ru and Vojta \cite{Ru:Vojta:2016}. This result expands, refines and complements our earlier works (including \cite{Grieve:2018:autissier} and \cite{Grieve:points:bounded:degree}). A key tool to our approach is the concept of \emph{linear section} with respect to a linear system. This was defined in \cite{Grieve:points:bounded:degree}. Another point, which we develop in this article, is a notion of logarithmic \emph{twisted height functions} for local Weil functions and linear systems. As an additional observation, which is also of an independent interest, we use the theory of Iitaka fibrations to determine the asymptotic nature of such linear sections.
We build on the recent techniques of Codogni and Patakfalvi, from \cite{Codogni:Patakfalvi:2021}, which were used to establish theorems about semi-positivity of the Chow Mumford line bundles for families of $\K$-semistable Fano varieties. Here we apply the Central Limit Theorem to ascertain the asymptotic probabilistic nature of the vertices of the \emph{Harder and Narasimhan polygons}. As an application of our main result, we use it to establish a filtered vector space analogue of the main technical result of \cite{Codogni:Patakfalvi:2021}. In doing so, we expand upon the slope stability theory, for filtered vector spaces, that was initiated by Faltings and W\"{u}stholz \cite{Faltings:Wustholz}. One source of inspiration for our abstract study of \emph{Harder and Narasimhan data}, which is a concept that we define here, is the lattice reduction methods of Grayson \cite{Grayson:1984}. Another is the work of Faltings and W\"{u}stholz, \cite{Faltings:Wustholz}, and Evertse and Ferretti, \cite{Evertse:Ferretti:2013}, which is within the context of Diophantine approximation for projective varieties.
We study singularities and Artin's contraction theorem for orbifold surfaces. Our main result has a consequence which is in the direction of the birational Minimal Model Program for b-terminal orbifold surfaces. For example, we ascertain the nature of extremal contractions for such $b$-terminal pairs.
We study the property of \emph{continuous Castelnuovo-Mumford regularity}, for semihomogeneous vector bundles over a given Abelian variety, which was formulated in \cite{Kuronya:Mustopa:2020} by K\"{u}ronya and Mustopa. Our main result gives a novel description thereof. It is expressed in terms of certain normalized polynomial functions that are obtained via the Wedderburn decomposition of the Abelian variety's endomorphism algebra. This result builds on earlier work of Mumford and Kempf and applies the form of the Riemann-Roch Theorem that we established in \cite{Grieve:R-R:abVars}. In a complementary direction, we explain how these topics pertain to the \emph{Index} and \emph{Generic Vanishing Theory} conditions for simple semihomogeneous vector bundles. In doing so, we refine results from \cite{Gulbrandsen:2008}, \cite{Grieve-cup-prod-ab-var} and \cite{Mum:Quad:Eqns}.
We study algebraic points of bounded degree on polarized projective varieties. To do so, we refine further the filtration construction and Subspace Theorem approach, for the study of integral points, which has origins in the work of Corvaja-Zannier, Levin, Evertse and Autissier. Our main result shows how a conjecture of H.~P.~Schlickewei implies Second Main Arithmetic Schmidt's Subspace type inequalities for polarized projective varieties and points of bounded degree.
We revisit work of S. Boucksom, C. Favre, and M. Jonsson (J. Algebraic Geom. \textbf{18} (2009), no. 2, 279--308); Boucksom and H. Chen (Compos. Math. \textbf{147} (2011), no. 4, 1205--1229); and S. Boucksom, A. K\"{u}ronya, C. Maclean, and T. Szemberg (Math. Ann. \textbf{361} (2015), no.~3--4, 811--834). The key point is to associate a Duistermaat-Heckman measure to a filtered big linear series on a given projective variety. The expectation of the measure admits a description via the theory of Newton-Okounkov bodies. Such considerations have origins in symplectic geometry. They have applications for $\mathrm{K}$-stability and Diophantine arithmetic geometry of projective varieties.
We study the greatest common divisor problem for torus invariant blowing-up morphisms of nonsingular toric Fano varieties. Our main result applies the theory of Okounkov bodies together with an arithmetic form of Cartan's Second Main theorem, which has been established by Ru and Vojta. It also builds on Silverman's geometric concept of greatest common divisor. As a special case of our results, we deduce a bound for the generalized greatest common divisor of pairs of nonzero algebraic numbers.
We establish consequences of the moving form of Schmidt's Subspace Theorem. Indeed, we obtain inequalities that bound the logarithmic greatest common divisor of moving multivariable polynomials evaluated at moving $S$-unit arguments. In doing so, we complement recent work of Levin. As an additional application, we obtain results that pertain to the greatest common divisor problem for algebraic linear recurrence sequences. These observations are motivated by previous related works of Corvaja-Zannier, Levin and others.
We study Diophantine arithmetic properties of birational divisors in conjunction with concepts that surround $\mathrm{K}$-stability for Fano varieties. There is also an interpretation in terms of the barycentres of Newton-Okounkov bodies. Our main results show how the notion of divisorial instability, in the sense of K. Fujita, implies instances of Vojta's Main Conjecture for Fano varieties. A main tool in the proof of these results is an arithmetic form of Cartan's Second Main Theorem that has been obtained by M. Ru and P. Vojta.
We study the homogeneous irreducible Severi-Brauer varieties over an Abelian variety $A$. Such objects were classified by Brion, \cite{Bri}. Here we interpret that result within the context of cubical structures and biextensions for certain $\G_m$-torsors over finite subgroups of $A$. Our results can be seen as an instance of the theory developed by Breen, \cite{Breen:1983}, and Moret-Bailly, \cite{Moret-Bailly}.
We apply Schmidt's Subspace Theorem to establish Arithmetic General Theorems for projective varieties over number and function fields. Our first result extends an analogous result of M. Ru and P. Vojta. One aspect to its proof makes use of a filtration construction which appears in work of Autissier. Further, we consider work of M. Ru and J. T.-Y. Wang, which pertains to an extension of K. F. Roth's theorem for projective varieties in the sense of D. McKinnon and M. Roth. Motivated by these works, we establish our second Arithmetic General Theorem, namely a form of Roth's theorem for exceptional divisors. Finally, we observe that our results give, within the context of Fano varieties, a sufficient condition for validity of the main inequalities predicted by Vojta.