English

Deligne pairing and Quillen metric

Algebraic Geometry 2015-01-13 v1 Differential Geometry

Abstract

Let XSX\rightarrow S be a smooth projective surjective morphism of relative dimension nn, where XX and SS are integral schemes over C\mathbb C. Let LXL\rightarrow X be a relatively very ample line bundle. For every sufficiently large positive integer mm, there is a canonical isomorphism of the Deligne pairing L,,LS\langle L ,\cdots , L\rangle\rightarrow S with the determinant line bundle Det((LOX)(n+1)Lm){\rm Det}((L- {\mathcal O}_{X})^{\otimes (n+1)}\otimes L^{\otimes m}) \cite{PRS}. If we fix a hermitian structure on LL and a relative K\"ahler form on XX, then each of the line bundles Det((LOX)(n+1)Lm){\rm Det}((L- {\mathcal O}_{X})^{\otimes (n+1)}\otimes L^{\otimes m}) and L,,L\langle L\, ,\cdots\, ,L\rangle carries a distinguished hermitian structure. We prove that the above mentioned isomorphism between L,,LS\langle L\, ,\cdots\, ,L\rangle\longrightarrow S and Det((LOX)(n+1)Lm){\rm Det}((L- {\mathcal O}_{X})^{\otimes (n+1)}\otimes L^{\otimes m}) is compatible with these hermitian structures. This holds also for the isomorphism in \cite{BSW} between a Deligne paring and a certain determinant line bundle.

Keywords

Cite

@article{arxiv.1501.02539,
  title  = {Deligne pairing and Quillen metric},
  author = {Indranil Biswas and Georg Schumacher},
  journal= {arXiv preprint arXiv:1501.02539},
  year   = {2015}
}