An effective matrix lemma
type: Item
instance of: scholarly article
title: An effective matrix lemma
zbMATH Open document ID: 1259.14025
author: Pascal Autissier
published in: Mathematische Zeitschrift
publication date: 2013-02-06T00:00:00Z
review text: Masser's matrix lemma gives a lower bound of the height of an abelian variety in terms of its period lattices. Precisely, let \((A;L)\) be a principally polarized abelian variety of dimension \(g\) defined over a number field \(K\) and let \(\kappa_1\) be the constant \(\frac{1}{2}\ln\frac{2\pi^3e}{3}\). Set \(\rho_\sigma=\min(\rho(A_\sigma;L_\sigma),\sqrt{\frac{\pi}{3g}})\) where \(\sigma\in G_K:=\Hom (K,\mathbb{C})\) and \(\rho(A_\sigma;L_\sigma)\) is the injectivity diameter (i.e., the first minimum of period lattice) associated to a principally polarized complex abelian variety. Then one has the inequality \[ h_{\text{Fa}}(A)+\kappa_1g\geq\frac{1}{[K:\mathbb{Q}]}\sum_{\sigma\in G_K}(\frac{\pi}{6\rho_\sigma^2}+g\ln(\rho_\sigma\sqrt{g})). \] The purpose of the paper under review is to give an almost optimal effective proof of Masser's matrix lemma. The main result can be described as follows. To a principally polarized complex abelian variety \((A;L)\), the author fixes a Haar measure \(v_1\) of volume \(1\) on \(A(\mathbb{C})\) and chooses an invertible sheaf \(\mathcal{L}\) defining \(L\), a cubic metric \(\|\cdot\|\) on \(\mathcal{L}\) and a nonzero section \(s\) of \(\mathcal{L}\). Then the integral \[ I(A;L)=-\int_{A(\mathcal{C})}\ln\|s\|{\text{d}}v_1+\frac{1}{2}\ln\int_{A(\mathcal{C})}\|s\|^2{\text{d}}v_1 \] is real and independent of the choice of \((\mathcal{L};\|\cdot\|;s)\). Let \(\rho=\min(\rho(A;L),\sqrt{\frac{\pi}{3g}})\), the author showed that \[ I(A;L)\geq\frac{\pi}{12\rho^2}+\frac{g}{2}\ln\rho+\frac{g}{4}\ln\frac{3g}{\pi e}. \] This result combined with the following inequality \[ h_{\text{Fa}}(A)\geq-\frac{g}{2}\ln(2\pi^2)+\frac{2}{[K:\mathbb{Q}]}\sum_{\sigma\in G_K}I(A_\sigma;L_\sigma), \] which is due to J.-B. Bost, implies Masser's matrix lemma.
reviewed by: Shun Tang
Mathematics Subject Classification ID: 14G40
Mathematics Subject Classification ID: 11G10
zbMATH DE Number: 6134710
zbMATH Keywords: lower bound
zbMATH Keywords: Faltings height
zbMATH Keywords: period lattice
zbMATH Keywords: Masser's matrix lemma
MaRDI profile type: Publication
full work available at URL: s00209-012-1008-x
OpenAlex ID: W2017361216
cites work: Q4830002
cites work: Intrinsic heights of stable varieties and abelian varieties
cites work: Minorations des hauteurs normalisées des sous-variétés de variétés abeliennes. II. (Lower bounds for normalized heights of subvarieties of Abelian varieties. II.)
cites work: Calculus on arithmetic surfaces
cites work: Formes linéaires de logarithmes effectives sur les variétés abéliennes
cites work: Formal groups and the isogeny theorem.
cites work: Q3781218
cites work: Periods and minimal abelian subvarieties
cites work: Q3351520
DOI: 10.1007/S00209-012-1008-X
Recommended article: Q3726756
Recommended article: A Note on a Matrix Version of the Farkas Lemma
Recommended article: A lemma on matrices and examples of its applications
Recommended article: An Extension of the Matrix Inversion Lemma
Recommended article: A straight forward proof of Roth's lemma in matrix equations
Recommended article: A matrix generalization of a theorem of Fine
Recommended article: Q4502568
Recommended article: Q3198245
Recommended article: A constructive proof of the Leech theorem for rational matrix functions
Recommended article: Efficient Removal Lemmas for Matrices
description: scientific article; zbMATH DE number 6134710