Related papers: Canonical heights for correspondences
The aim of this paper is to show how a conjectural lower bound on the canonical height function in the spirit of Lang and Silverman leads to an explicit uniform bound on the number of rational points on curves of genus $g\geq 2$ over a…
We show that the height of a variety over a finitely generated field of characteristic zero can be written as an integral of local heights over the set of places of the field. This allows us to apply our previous work on toric varieties and…
Let $E$ be an elliptic curve defined over the rationals without complex multiplication. The field $F$ generated by all torsion points of $E$ is an infinite, non-abelian Galois extension of the rationals which has unbounded, wild…
A practical version of the polynomial canonical formalism is developed for normal mesoscopic systems consisting of N independent electrons. Drastic simplification of calculations is attained by means of proper ordering excited states of the…
This paper investigates how global decision problems over arithmetically represented domains acquire reflective structure through class-quantification. Arithmetization forces diagonal fixed points whose verification requires reflection…
We develop a method to calculate the N\'eron-Tate height of tautological integral cycles on jacobians of curves defined over number fields. As examples we obtain closed expressions for the N\'eron-Tate height of the difference surface, the…
We consider dominant dimension of an order over a Cohen-Macaulay ring in the category of centrally Cohen-Macaulay modules. There is a canonical tilting module in the case of positive dominant dimension and we give an upper bound on the…
A canonical formalism for higher-derivative theories is presented on the basis of Dirac's method for constrained systems. It is shown that this formalism shares a path integral expression with Ostrogradski's canonical formalism.
We show that the (toric) local height of a toric variety with respect to a semipositive torus-invariant singular metric is given by the integral of a concave function over a compact convex set. This generalizes a result of Burgos,…
We characterize Poisson and Jacobi structures by means of complete lifts of the corresponding tensors: the lifts have to be related to canonical structures by morphisms of corresponding vector bundles. Similar results hold for generalized…
The Hamiltonian description of classical gauge theories is a well studied subject. The two best known approaches, namely the covariant and canonical Hamiltonian formalisms have received a lot of attention in the literature. However, in our…
Polarity is a fundamental reciprocal duality of $n$-dimensional projective geometry which associates to points polar hyperplanes, and more generally $k$-dimensional convex bodies to polar $(n-1-k)$-dimensional convex bodies. It is…
Each metric graph has canonically associated to it a polarized real torus called its tropical Jacobian. A fundamental real-valued invariant associated to each polarized real torus is its tropical moment. We give an explicit and efficiently…
We recall the definition of classical polar varieties, as well as those of affine and projective reciprocal polar varieties. The latter are defined with respect to a non-degenerate quadric, which gives us a notion of orthogonality. In…
For the product $X=C\times S$ of a curve and a surface over a number field, we construct unconditionally a Beilinson--Bloch type height pairing for homologically trivial algebraic cycles on $X$. Then for an embedding $f: C\to S$, we define…
Path integral expressions for three canonical formalisms -- Ostrogradski's one, constrained one and generalized one -- of higher-derivative theories are given. For each fomalism we consider both nonsingular and singular cases. It is shown…
There is a construction which lies at the heart of descent theory. The combinatorial aspects of this paper concern the description of the construction in all dimensions. The description is achieved precisely for strict n-categories and…
We give an explicit description, in terms of bracket, anchor, and pairing, of the standard cochain complex associated to a Courant algebroid. In this formulation, the differential satisfies a formula that is formally identical to the Cartan…
For fixed $t\ge 2$, we consider the class of representations of $1$ as sum of unit fractions whose denominators are powers of $t$ or equivalently the class of canonical compact $t$-ary Huffman codes or equivalently rooted $t$-ary plane…
The purpose of this paper is to give two applications of Fourier transforms and generic vanishing theorems: - we give a cohomological characterization of principal polarizations - we prove that if $X$ an abelian variety and $\Theta $ a…