Search

We generalize the intersection theory of nef toric (Weil) b-divisors on smooth and complete toric varieties to the case of nef b-divisors on complete varieties which are toroidal with respect to a snc divisor. As a key ingredient we show the existence of a limit measure, supported on a balanced rational conical polyhedral space attached to the toroidal embedding, which arises as a limit of discrete measures defined via tropical intersection theory on the polyhedral space. We prove that the intersection theory of nef Cartier b-divisors can be extended continuously to nef toroidal Weil b-divisors and that their degree can be computed as an integral with respect to this limit measure. As an application, we show that a Hilbert¿Samuel type formula holds for big and nef toroidal Weil b-divisors.

By following the intrinsic reaction coordinate connecting transition states with energy minima on the potential energy surface, we have determined the reaction steps connecting three-dimensional hexaborane(12) with unknown planar two-dimensional hexaborane(12). In an effort to predict the potential synthesis of finite planar borane molecules, we found that the reaction limiting factor stems from the breaking of the central boron-boron bond perpendicular to the C2 axis of rotation in three-dimensional hexaborane(12).

Given a smooth complex toric variety we will compare real Lagerberg forms and currents on its tropicalization with invariant complex forms and currents on the toric variety. Our main result is a correspondence theorem which identifies the cone of invariant closed positive currents on the complex toric variety with closed positive currents on the tropicalization. In a subsequent paper, this correspondence will be used to develop a Bedford¿Taylor theory of plurisubharmonic functions on the tropicalization.

Let L be an ample line bundle on a smooth projective variety X over a non-archimedean field K. For a continuous metric on L, we show in the following two cases that the semipositive envelope is a continuous semipositive metric on L and that the non-archimedean Monge–Ampère equation has a solution. First, we prove it for curves using results of Thuillier. Second, we show it under the assumption that X is a surface defined geometrically over the function field of a curve over a perfect field k of positive characteristic. The second case holds in higher dimensions if we assume resolution of singularities over k. The proof follows a strategy from Boucksom, Favre and Jonsson, replacing multiplier ideals by test ideals. Finally, the appendix by Burgos and Sombra provides an example of a semipositive metric whose retraction is not semipositive. The example is based on the construction of a toric variety which has two SNC-models which induce the same skeleton but different retraction maps.

Let X be a normal projective variety over a complete discretely valued field and L a line bundle on X. We denote by X the analytification of X in the sense of Berkovich and equip the analytification L of L with a continuous metric k k. We study nonarchimedean volumes, a tool which allows us to control the asymptotic growth of small sections of big powers of L. We prove that the non-archimedean volume is differentiable at a continuous semipositive metric and that the derivative is given by integration with respect to a Monge-Ampère measure. Such a differentiability formula had been proposed by M. Kontsevich and Y. Tschinkel. In residue characteristic zero, it implies an orthogonality property for non-archimedean plurisubharmonic functions which allows us to drop an algebraicity assumption in a theorem of S. Boucksom, C. Favre and M. Jonsson about the solution to the non-archimedean Monge-Ampère equation. The appendix by R. Lazarsfeld establishes the holomorphic Morse inequalities in arbitrary characteristic.

We give a new definition of higher arithmetic Chow groups for smooth projective varieties defined over an arithmetic field, which is similar to Gillet and Soulé's definition of arithmetic Chow groups. We also give a compact description of the intersection theory of such groups. A consequence of this theory is the definition of a heigh pairing between two higher algebraic cycles of complementary dimensions, whose real regulator class is zero. This description agrees with Beilinson's height pairing for the classical arithmetic Chow groups. We also give examples of higher arithmetic intersection pairing in dimension zero.

We study the degeneration of semipositive smooth hermitian line bundles on open complex manifolds, assuming that the metric extends well away from a codimension two analytic subset of the boundary. Using terminology introduced by R. Hain, we show that under these assumptions the so-called height jump divisors are always effective. This result is of particular interest in the context of biextension line bundles on Griffiths intermediate jacobian fibrations of polarized variations of Hodge structure of weight ¿1¿, pulled back along normal function sections. In the case of the normal function on MgMg associated to the Ceresa cycle, our result proves a conjecture of Hain. As an application of our result we obtain that the Moriwaki divisor on the completion of Mg has non-negative degree on all complete curves in the completion of Mg not entirely contained in the locus of irreducible singular curves.

We study the distribution of Galois orbits of points of small height on proper toric varieties, and its application to the Bogomolov problem. We introduce the notion of monocritical toric metrized divisor. We prove that a toric metrized divisor D on a proper toric variety X over a global field K is monocritical if and only if for every generic D-small sequence of algebraic points of X and every place v of K, the sequence of their Galois orbits on the analytic space X converges to a measure. When this is the case, the limit measure is a translate of the natural measure on the compact torus sitting in the principal orbit of X. The key ingredient is the study of the v-adic modulus distribution of Galois orbits of generic D-small sequences of algebraic points. In particular, we characterize all their cluster measures. We generalize the Bogomolov problem by asking when a closed subvariety of the principal orbit of a proper toric variety that has the same essential minimum than the ambient variety, must be a translate of a subtorus. We prove that the generalized Bogomolov problem has a positive answer for monocritical toric metrized divisors, and we give several examples of toric metrized divisors for which the Bogomolov problem has a negative answer.

We describe an explicit morphism of complexes that induces the cycle-class maps from (simplicially described) higher Chow groups to rational Deligne cohomology. The reciprocity laws satisfied by the currents we introduce for this purpose are shown to provide a clarifying perspective on functional equations satisfied by complex-valued di- and trilogarithms.

In dieser Dissertation entwickeln wir eine Schnittheorie von torischen bzw. toroidalen b-Divisoren auf torischen bzw. toroidalen Einbettungen. Motiviert wird dies durch das Ziel, eine arithmetische Schnittheorie auf gemischten Shimura- Varietäten von nicht-kompaktem Typ zu begründen. Die bisher zur Verfügung stehenden Werkzeuge definieren keine numerischen Invarianten, die birational invariant sind. Zuerst definieren wir torische b-Divisoren auf torischen Varietäten und einen Integrabilitätsbegriff für solche Divisoren. Wir zeigen, dass torische b-Divisoren unter geeigneten Annahmen an die Positivität integrierbar sind und dass ihr Grad als das Volumen einer konvexen Menge gegeben ist. Außerdem zeigen wir, dass die Dimension des Vektorraums der globalen Schnitte eines torischen b-Divisors, der nef ist, gleich der Anzahl der Gitterpunkte in besagter konvexer Menge ist und wir geben eine Hilbert–Samuel-Formel für das asymptotische Wachstum dieser Dimension. Dies verallgemeinert klassische Resultate für klassische torische Divisoren auf torischen Varietäten. Als ein zusätzliches Resultat setzen wir konvexe Mengen, die von torischen b-Divisoren kommen, mit Newton–Okounkov- Körpern in Beziehung. Anschließend definieren wir toroidale b-Divisoren auf toroidalen Varietäten und einen Integrierbarkeitsbegriff für solche Divisoren. Wir zeigen, dass unter geeigneten Positivitätsannahmen toroidale b-Divisoren integrierbar sind und ihr Grad als ein Integral bezüglich eines Grenzmaßes aufgefasst werden kann. Dieses Grenzmaß ist ein schwacher Grenzwert von diskreten Maßen, deren Gewichte über tropische Schnittheorie auf rationalen konischen polyedrischen Komplexen definiert sind, welche zu der toroidalen Varietät gehören. Wir setzen dieses Grenzmaß ebenfalls in Beziehung zum zu einem konvexen Körper assoziierten Flächeninhaltsmaß. Diese Beziehung erlaubt es uns, Integrale bezüglich des Grenzmaßes explizit auszurechnen. Zusätzlich erhalten wir eine kanonische Zerlegung der Differenz, In this thesis we develop an intersection theory of toric and toroidal b-divisors on toric and toroidal embeddings, respectively. Our motivation comes from wanting to establish an arithmetic intersection theory on mixed Shimura varieties of non- compact type. The tools available until now do not define numerical invariants which are birationally invariant. First, we define toric b-divisors on toric varieties and an integrability notion of such divisors. We show that under suitable positivity assumptions toric b- divisors are integrable and that their degree is given as the volume of a convex set. Moreover, we show that the dimension of the space of global sections of a nef toric b-divisor is equal to the number of lattice points in this convex set and we give a Hilbert-Samuel type formula for its asymptotic growth. This generalizes classical results for classical toric divisors on toric varieties. As a by-product, we relate convex sets arising from toric b-divisors with Newton-Okounkov bodies. Then, we define toroidal b-divisors on toroidal varieties and an integrability notion of such divisors. We show that under suitable positivity assumptions toroidal b-divisors are integrable and that their degree is given as an integral with respect to a limit measure, which is a weak limit of discrete measures whose weights are defined via tropical intersection theory on the rational con- ical polyhedral complex attached to the toroidal variety. We also relate this limit measure with the surface area measure associated to a convex body. This relation enables us to compute integrals with respect to these limit measures ex- plicitly. Additionally, we give a canonical decomposition of the difference of two convex sets and we relate the volume of the pieces to tropical top intersection numbers. Finally, as an application, we compute the degree of the b-divisor of Jacobi forms of weight k and index m with respect to the principal congruence subgroup of level N >= 3 on the generaliz

Le th eor eme de Riemann-Roch originale a rme que pour tout morphisme propre f : Y ! X entre vari et es quasi-projectifs lisses sur un corps, et tout el ement a 2 K0(Y ) du groupe de Grothendieck des br es vectoriels on a ch(f!(a)) = f {u100000}Td(Tf ) ch(a) (cf. [BS58]). Ici ch est le caract ere de Chern, Td(Tf ) est la classe de Todd du br e tangent relative et f et f! sont les images directes de l'anneau de Chow et K0 respectivement. Apr es, Baum, Fulton et MacPherson ont d emontr e en [BFM75] le th eor eme de Riemann-Roch pour des morphismes localement intersection compl ete entre des sch emas alg ebriques (sch emas s epar es et localement de type ni sur un corps) projectifs et singuli eres. En [FG83] Fulton et Gillet ont d emontr e le th eor eme sans hypoth eses projectifs. L'extension a la th eorie K sup erieure pour des sch emas r eguli eres sur une base fut d emontr e par Gillet en [Gil81]. Le th eor eme de Riemann-Roch qu'il prouve est pour des morphismes projectifs entre des sch emas lisses et quasi-projectifs. Donc, dans le cas des sch emas sur un corps, le r esultat de Gillet n'inclus pas le th eor eme de [BFM75]. La plus grande g en eralisation du th eor eme de Riemann-Roch que je connais est [D eg14] et [HS15], o u D eglise et Holmstrom-Scholbach obtiennent ind ependamment le th eor eme de Riemann- Roch pour la K-th eorie sup erieure et les morphismes projectifs lic entre sch emas r eguli eres sur une base noetherienne de dimension nie... NOTA 520 8 El teorema de Riemann-Roch original de Grothendieck a rma que para todo mor smo propio f : Y ! X, entre variedades irreducibles quasiproyectivas lisas sobre un cuerpo, y todo elemento a 2 K0(Y ) del grupo de Grothendieck de brados vectoriales se satisface la relaci on ch(f!(a)) = f {u100000}Td(Tf ) ch(a) (cf. [BS58]). Recu erdese que ch denota el car acter de Chern, Td(Tf ) la clase de Todd del brado tangente relativo y f y f! las im agenes directas en el anillo de Chow y K0 respectivamente. M as tarde Baum

Le th eor eme de Riemann-Roch originale a rme que pour tout morphisme propre f : Y ! X entre vari et es quasi-projectifs lisses sur un corps, et tout el ement a 2 K0(Y ) du groupe de Grothendieck des br es vectoriels on a ch(f!(a)) = f {u100000}Td(Tf ) ch(a) (cf. [BS58]). Ici ch est le caract ere de Chern, Td(Tf ) est la classe de Todd du br e tangent relative et f et f! sont les images directes de l'anneau de Chow et K0 respectivement. Apr es, Baum, Fulton et MacPherson ont d emontr e en [BFM75] le th eor eme de Riemann-Roch pour des morphismes localement intersection compl ete entre des sch emas alg ebriques (sch emas s epar es et localement de type ni sur un corps) projectifs et singuli eres. En [FG83] Fulton et Gillet ont d emontr e le th eor eme sans hypoth eses projectifs. L'extension a la th eorie K sup erieure pour des sch emas r eguli eres sur une base fut d emontr e par Gillet en [Gil81]. Le th eor eme de Riemann-Roch qu'il prouve est pour des morphismes projectifs entre des sch emas lisses et quasi-projectifs. Donc, dans le cas des sch emas sur un corps, le r esultat de Gillet n'inclus pas le th eor eme de [BFM75]. La plus grande g en eralisation du th eor eme de Riemann-Roch que je connais est [D eg14] et [HS15], o u D eglise et Holmstrom-Scholbach obtiennent ind ependamment le th eor eme de Riemann- Roch pour la K-th eorie sup erieure et les morphismes projectifs lic entre sch emas r eguli eres sur une base noetherienne de dimension nie... NOTA 520 8 El teorema de Riemann-Roch original de Grothendieck a rma que para todo mor smo propio f : Y ! X, entre variedades irreducibles quasiproyectivas lisas sobre un cuerpo, y todo elemento a 2 K0(Y ) del grupo de Grothendieck de brados vectoriales se satisface la relaci on ch(f!(a)) = f {u100000}Td(Tf ) ch(a) (cf. [BS58]). Recu erdese que ch denota el car acter de Chern, Td(Tf ) la clase de Todd del brado tangente relativo y f y f! las im agenes directas en el anillo de Chow y K0 respectivamente. M as tarde Baum, The original Grothendieck's Riemann-Roch theorem states that for any proper morphism f : Y ! X, between nonsingular quasiprojective irreducible varieties over a eld, and any element a 2 K0(Y ) of the Grothendieck group of vector bundles the relation ch(f!(a)) = f {u100000}Td(Tf ) ch(a) holds (cf. [BS58]). Recall that ch denotes the Chern character, Td(Tf ) the Todd class of the relative tangent bundle and f and f! the direct image in the Chow ring and K0 respectively. Later Baum, Fulton and MacPherson proved in [BFM75] the Riemann-Roch theorem for locally complete intersection morphisms between singular projective algebraic schemes (i.e., locally of nite type separated schemes over a eld). In [FG83] Fulton and Gillet proved the theorem without projective assumptions on the schemes. The remarkable extension to higher K-theory and schemes over a regular base was proved by Gillet in [Gil81]. The Riemann-Roch theorem proved there is for projective morphisms between smooth quasiprojective schemes. However, note that in the case over a eld Gillet's theorem does not recover the result of [BFM75]. The furthest generalization of the Riemann-Roch theorem I know is [D eg14] and [HS15] where D eglise and Holmstrom-Scholbach independently obtained the Riemann-Roch theorem for higher K-theory and projective lci morphisms between regular schemes over a nite dimensional noetherian base... NOTA 520 8

Following Manin's approach to renormalization in the theory of computation, we investigate Dyson-Schwinger equations on Hopf algebras, operads and properads of flow charts, as a way of encoding self-similarity structures in the theory of algorithms computing primitive and partial recursive functions and in the halting problem.