Intersections in Lubin-Tate space and biquadratic fundamental lemmas

Benjamin Howard,Qirui Li

2024-09-16

Abstract:We compute the intersection multiplicities of special cycles in Lubin-Tate spaces, and formulate a new arithmetic fundamental lemma relating these intersections to derivatives of orbital integrals.

Number Theory

What problem does this paper attempt to address?

An intersection number formula for CM cycles in Lubin-Tate towers

Qirui Li

DOI: https://doi.org/10.48550/arXiv.1803.07553

2018-03-20

Number Theory

Abstract:We give an explicit formula for the arithmetic intersection number of CM cycles on Lubin-Tate spaces for all levels. We prove our formula by formulating the intersection number on the infinite level. Our CM cycles are constructed by choosing two separable quadratic extensions $K_1,K_2/F$ of non-Archimedean local fields $F$. Our formula works for all cases, $K_1$ and $K_2$ can be either the same or different, ramify or unramified. As applications, this formula translate the linear Arithmetic Fundamental Lemma (linear AFL) into a comparison of integrals. This formula can also be used to recover Gross and Keating's result on lifting endomorphism of formal modules.
A Formula of Two-Partition Hodge Integrals

Chiu-Chu Melissa Liu,Kefeng Liu,Jian Zhou

DOI: https://doi.org/10.1090/s0894-0347-06-00541-8

2007-01-01

Journal of the American Mathematical Society

Abstract:We prove a formula conjectured by the third author expressing certain Hodgeintegrals in terms of certain Chern-Simons link invariants. Such invariantsalso arise in the representation theory of Kac-Moody algebras.
Recursions and Asymptotics of Intersection Numbers

Kefeng Liu,Motohico Mulase,Hao Xu

DOI: https://doi.org/10.1142/s0129167x16500725

2016-01-01

International Journal of Mathematics

Abstract:We establish the asymptotic expansion of certain integrals of [Formula: see text] classes on moduli spaces of curves [Formula: see text], when either the [Formula: see text] or [Formula: see text] goes to infinity. Our main tools are cut-join type recursion formulae from the Witten–Kontsevich theorem, as well as asymptotics of solutions to the first Painlevé equation. We also raise a conjecture on large genus asymptotics for [Formula: see text]-point functions of [Formula: see text] classes and partially verify the positivity of coefficients in generalized Mirzakhani’s formula of higher Weil–Petersson volumes.
Intersection formulas on moduli spaces of unitary shtukas

Yongyi Chen,Benjamin Howard

2023-11-14

Abstract:Feng-Yun-Zhang have proved a function field analogue of the arithmetic Siegel-Weil formula, relating special cycles on moduli spaces of unitary shtukas to higher derivatives of Eisenstein series. We prove an extension of this formula in a low-dimensional case, and deduce from it a Gross-Zagier style formula expressing intersection multiplicities of cycles in terms of higher derivatives of base-change $L$-functions.

Number Theory
Kudla–Rapoport Cycles and Derivatives of Local Densities

Chao Li,Wei Zhang

DOI: https://doi.org/10.1090/jams/988

2021-01-01

Journal of the American Mathematical Society

Abstract:We prove the local Kudla–Rapoport conjecture, which is a precise identity between the arithmetic intersection numbers of special cycles on unitary Rapoport–Zink spaces and the derivatives of local representation densities of hermitian forms. As a first application, we prove the global Kudla–Rapoport conjecture, which relates the arithmetic intersection numbers of special cycles on unitary Shimura varieties and the central derivatives of the Fourier coefficients of incoherent Eisenstein series. Combining previous results of Liu and Garcia–Sankaran, we also prove cases of the arithmetic Siegel–Weil formula in any dimension.
Intersection Numbers and Automorphisms of Stable Curves

Kefeng Liu,Hao Xu

DOI: https://doi.org/10.1307/mmj/1250169067

2009-01-01

The Michigan Mathematical Journal

Abstract:Due to the orbifold singularities, the intersection numbers on the moduli space of curves $\bar{\sM}_{g,n}$ are in general rational numbers rather than integers. We study the properties of the denominators of these intersection numbers and their relationship with the orders of automorphism groups of stable curves. In particular, we prove a conjecture of Itzykson and Zuber. We also present a conjectural multinomial type numerical property for Hodge integrals.
New Results of Intersection Numbers on Moduli Spaces of Curves

Kefeng Liu,Hao Xu

DOI: https://doi.org/10.1073/pnas.0705910104

IF: 11.1

2007-01-01

Proceedings of the National Academy of Sciences

Abstract:We present a series of results we obtained recently about the intersection numbers of tautological classes on moduli spaces of curves, including a simple formula of the n-point functions for Witten's tau classes, an effective recursion formula to compute higher Weil-Petersson volumes, several new recursion formulae of intersection numbers and our proof of a conjecture of Itzykson and Zuber concerning denominators of intersection numbers. We also present Virasoro and KdV properties of generating functions of general mixed kappa and psi intersections.
Non-reductive special cycles and Twisted Arithmetic Fundamental Lemma

Zhiyu Zhang

2024-06-03

Abstract:We consider arithmetic analogs of the relative Langlands program and applications of new non-reductive geometry. Firstly, we introduce mirabolic special cycles, which produce special cycles on many Hodge type Rapoport-Zink spaces via pullbacks e.g. Kudla--Rapoport cycles. Secondly, we formulate arithmetic intersection problems for these cycles and formulate a method of arithmetic induction. As a main example, we formulate arithmetic twisted Gan--Gross--Prasad conjectures on unitary Shimura varieties and prove a key twisted arithmetic fundamental lemma using mirabolic special cycles, arithmetic inductions, and Weil type relative trace formulas.

Number Theory,Algebraic Geometry,Representation Theory
Dynamical invariants and intersection theory on the flex and gothic loci

Dawei Chen

DOI: https://doi.org/10.48550/arXiv.2105.11487

2021-05-25

Abstract:The flex locus parameterizes plane cubics with three collinear cocritical points under a projection, and the gothic locus arises from quadratic differentials with zeros at a fiber of the projection and with poles at the cocritical points. The flex and gothic loci provide the first example of a primitive, totally geodesic subvariety of moduli space and new ${\rm SL}_2(\mathbb{R})$-invariant varieties in Teichmüller dynamics, as discovered by McMullen-Mukamel-Wright. In this paper we determine the divisor class of the flex locus as well as various tautological intersection numbers on the gothic locus. For the case of the gothic locus our result confirms numerically a conjecture of Chen-Möller-Sauvaget about computing sums of Lyapunov exponents for ${\rm SL}_2(\mathbb{R})$-invariant varieties via intersection theory.

Algebraic Geometry,Dynamical Systems,Geometric Topology
Measured Lamination Spaces on Surfaces and Geometric Intersection Numbers

F Luo,R Stong

DOI: https://doi.org/10.1016/s0166-8641(03)00220-7

IF: 0.583

2004-01-01

Topology and its Applications

Abstract:In this paper, we produce an elementary approach to Thurston's theory of measured laminations on compact surfaces with non-empty boundary. We show that the theory can be derived from a simple inequality for geometric intersection numbers between arcs inside an octagon.
Abstract divisorial spaces and arithmetic intersection numbers

Yulin Cai,Walter Gubler

2024-09-01

Abstract:Yuan and Zhang introduced arithmetic intersection numbers for adelic line bundles on quasi-projective varieties over a number field. Burgos and Kramer generalized this approach allowing more singular metrics at archimedean places. We introduce abstract divisorial spaces as a tool to generalize these arithmetic intersection numbers to the setting of a proper adelic base curve in the sense of Chen and Moriwaki. We also allow more singular metrics at non-archimedean places using relative mixed energy there as well.

Algebraic Geometry,Number Theory
$δ$-Forms on Lubin--Tate Space

Andreas Mihatsch

2023-09-13

Abstract:We extend Gubler--Künnemann's theory of $\delta$-forms from algebraic varieties to good Berkovich spaces. This is based on the observation that skeletons in such spaces satisfy a tropical balance condition. Our main result is that complete intersection formal models of cycles give rise to Green $\delta$-forms for their generic fibers. We moreover show that, in certain situations, intersection numbers on formal models are given by the $\star$-product of their Green currents. In this way, we generalize some results for divisor intersection to higher codimension situations. We illustrate the mentioned results in the context of an intersection problem for Lubin--Tate spaces.

Algebraic Geometry,Number Theory
A Proof of the Faber Intersection Number Conjecture

Kefeng Liu,Hao Xu

DOI: https://doi.org/10.4310/jdg/1261495334

2009-01-01

Journal of Differential Geometry

Abstract:We prove the famous Faber intersection number conjecture and other more general results by using a recursion formula of n-point functions for intersection numbers on moduli spaces of curves. We also present some vanishing properties of Gromov-Witten invariants.
Intersection theory and volumes of moduli spaces of flat metrics on the sphere

Duc-Manh Nguyen,Vincent Koziarz

DOI: https://doi.org/10.1007/s10711-023-00883-y

2024-01-28

Geometriae Dedicata

Abstract:Let , where , be a stratum of (projectivized) d -differentials in genus 0. We prove a recursive formula which relates the volume of to the volumes of other strata of lower dimensions in the case where none of the is divisible by d . As an application, we give a new proof of the Kontsevich's formula for the volumes of strata of quadratic differentials with simple poles and zeros of odd order, which was originally proved by Athreya–Eskin–Zorich. In another application, we show that up to some power of , the volume of the moduli spaces of flat metrics on the sphere with prescribed cone angles is a continuous piecewise polynomial with rational coefficients function of the angles, provided none of the angles is an integral multiple of . This generalizes the results of Koziarz and Nguyen (Ann Sci l'Éc Normale Supér 51(6):1549–1597, 2018) and McMullen (Am J Math 139(1):261–291, 2017).

mathematics
Cyclic stratum of Frobenius manifolds, Borel-Laplace $(\boldsymbolα,\boldsymbolβ)$-multitransforms, and integral representations of solutions of Quantum Differential Equations

Giordano Cotti

DOI: https://doi.org/10.4171/MEMS/2

2024-10-02

Abstract:In the first part of this paper, we introduce the notion of "cyclic stratum" of a Frobenius manifold $M$. This is the set of points of the extended manifold $\mathbb C^*\times M$ at which the unit vector field is a cyclic vector for the isomonodromic system defined by the flatness condition of the extended deformed connection. The study of the geometry of the complement of the cyclic stratum is addressed. We show that at points of the cyclic stratum, the isomonodromic system attached to $M$ can be reduced to a scalar differential equation, called the "master differential equation" of $M$. In the case of Frobenius manifolds coming from Gromov-Witten theory, namely quantum cohomologies of smooth projective varieties, such a construction reproduces the notion of quantum differential equation. In the second part of the paper, we introduce two multilinear transforms, called "Borel-Laplace $(\boldsymbol \alpha,\boldsymbol\beta)$-multitransforms", on spaces of Ribenboim formal power series with exponents and coefficients in an arbitrary finite dimensional $\mathbb C$-algebra $A$. When $A$ is specialized to the cohomology of smooth projective varieties, the integral forms of the Borel-Laplace $(\boldsymbol \alpha,\boldsymbol\beta)$-multitransforms are used in order to rephrase the Quantum Lefschetz Theorem. This leads to explicit Mellin-Barnes integral representations of solutions of the quantum differential equations for a wide class of smooth projective varieties, including Fano complete intersections in projective spaces. In the third and final part of the paper, as an application, we show how to use the new analytic tools, introduced in the previous parts, in order to study the quantum differential equations of Hirzebruch surfaces. This finally leads to the proof of Dubrovin Conjecture for all Hirzebruch surfaces.

Algebraic Geometry,Mathematical Physics,Differential Geometry
Intersection theory and volumes of moduli spaces of flat metrics on the sphere (with an appendix by Vincent Koziarz and Duc-Manh Nguyen)

Duc-Manh Nguyen

2023-07-04

Abstract:Let $\mathbb{P}\Omega^d\mathcal{M}_{0,n}(\kappa)$, where $\kappa=(k_1,\dots,k_n)$, be a stratum of (projectivized) $d$-differentials in genus $0$. We prove a recursive formula which relates the volume of $\mathbb{P}\Omega^d\mathcal{M}_{0,n}(\kappa)$ to the volumes of other strata of lower dimensions in the case where none of the $k_i$ is divisible by $d$. As an application, we give a new proof of the Kontsevich's formula for the volumes of strata of quadratic differentials with simple poles and zeros of odd order, which was originally proved by Athreya-Eskin-Zorich. In another application, we show that up to some power of $\pi$, the volume of the moduli spaces of flat metrics on the sphere with prescribed cone angles is a continuous piecewise polynomial with rational coefficients function of the angles, provided none of the angles is an integral multiple of $2\pi$. This generalizes the results of [28] and [24].

Algebraic Geometry,Complex Variables,Geometric Topology
Abelian integrals for quadratic centres having almost all their orbits formed by quartics*

Weigu Li,Yulin Zhao,Chengzhi Li,Zhifen Zhang

DOI: https://doi.org/10.1088/0951-7715/15/3/321

2002-01-01

Nonlinearity

Abstract:In this paper, we give an upper bound on the number of zeros of Abelian integrals for the quadratic centres having almost all their orbits formed by quartics, under polynomial perturbations of arbitrary degree n. The bound is linearly dependent on n.
Local-global principle and integral Tate conjecture for certain varieties

Zhiyu Tian

2024-09-25

Abstract:We give a geometric criterion to check the validity of the integral Tate conjecture for one-cycles on a smooth projective variety that is separably rationally connected in codimension one, and to check that the Brauer-Manin obstruction is the only obstruction to the local-global principle for zero-cycles on a separably rationally connected variety defined over a global function field. We prove that the Brauer-Manin obstruction is the only obstruction to the local-global principle for zero-cycles on all geometrically rational surfaces defined over a global function field, and to the Hasse principle for rational points on del Pezzo surfaces of degree four defined over a global function field of odd characteristic. Along the way, we also prove some results about the space of one-cycles on a smooth projective variety that is separably rationally connected in codimension one, which leads to the equality of the coniveau filtration and the strong coniveau filtration on degree $3$ homology of such varieties.

Algebraic Geometry
Just-likely intersections on Hilbert modular surfaces

Asvin G.,Qiao He,Ananth N. Shankar

2024-01-17

Abstract:In this paper, we prove an intersection-theoretic result pertaining to curves in certain Hilbert modular surfaces in positive characteristic. Specifically, we show that given two appropriate curves C,D parameterizing abelian surfaces with real multiplication, the set of points (x,y) in the product CxD with surfaces parameterized by x and y isogenous to each other is Zariski dense in C x D, thereby proving a case of a just-likely intersection conjecture. We also compute the change in Faltings height under appropriate p-power isogenies of abelian surfaces with real multiplication over characteristic p global fields.

Algebraic Geometry,Number Theory
A binary tree of complete intersections with the strong Lefschetz property

Tadahito Harima,Satoru Isogawa,Junzo Watanabe

2024-03-02

Abstract:In this paper we give a new family of complete intersections which have the strong Lefschetz property. The family consists of (Artinian algebras defined by) ideals generated by power sum symmetric polynomials of consecutive degrees and of certain ideals naturally derived from them. This family has a structure of a binary tree and this observation is a key to prove that all members in it have the strong Lefschetz property.

Commutative Algebra

Intersections in Lubin-Tate space and biquadratic fundamental lemmas

An intersection number formula for CM cycles in Lubin-Tate towers

A Formula of Two-Partition Hodge Integrals

Recursions and Asymptotics of Intersection Numbers

Intersection formulas on moduli spaces of unitary shtukas

Kudla–Rapoport Cycles and Derivatives of Local Densities

Intersection Numbers and Automorphisms of Stable Curves

New Results of Intersection Numbers on Moduli Spaces of Curves

Non-reductive special cycles and Twisted Arithmetic Fundamental Lemma

Dynamical invariants and intersection theory on the flex and gothic loci

Measured Lamination Spaces on Surfaces and Geometric Intersection Numbers

Abstract divisorial spaces and arithmetic intersection numbers

$δ$-Forms on Lubin--Tate Space

A Proof of the Faber Intersection Number Conjecture

Intersection theory and volumes of moduli spaces of flat metrics on the sphere

Cyclic stratum of Frobenius manifolds, Borel-Laplace $(\boldsymbolα,\boldsymbolβ)$-multitransforms, and integral representations of solutions of Quantum Differential Equations

Intersection theory and volumes of moduli spaces of flat metrics on the sphere (with an appendix by Vincent Koziarz and Duc-Manh Nguyen)

Abelian integrals for quadratic centres having almost all their orbits formed by quartics*

Local-global principle and integral Tate conjecture for certain varieties

Just-likely intersections on Hilbert modular surfaces

A binary tree of complete intersections with the strong Lefschetz property