1: \documentclass{article}

2: 

3: \usepackage[totalwidth=480pt, totalheight=680pt]{geometry}

4: 

5: %% AMS packages

6: \usepackage[leqno]{amsmath}

7: \usepackage{amsfonts,amssymb,amsthm}

8: \usepackage{amscd,amsxtra}

9: 

10: %%XyPic

11: \usepackage[all]{xy}

12: %%\CompileMatrices %xypic: precompile diagrams

13: \SelectTips{cm}{} %xypic: arrowheads with cm fonts (like AmsCD)

14: 

15: %%pb-diagrams

16: %%\usepackage{diagrams}

17: %%\diagramstyle[amstex]

18: 

19: 

20: %% Font-related packages

21: %%%%%%%%%%%%%%%%%%%%%%%%

22: 

23: %%\usepackage{type1cm}

24: %%\usepackage[T1]{fontenc}

25: 

26: %% euler script for mathcal

27: \usepackage{eucal}

28: %%\usepackage[mathscr]{eucal}

29: 

30: %%\usepackage{stmaryrd}

31: 

32: %%\usepackage{mathbbol}

33: \usepackage{mathrsfs} %provides \mathscr

34: 

35: %%%%%%%%%%%%%%%%%%%%%%% concrete fonts and math

36: %%\usepackage{beton}

37: %%\usepackage{euler}

38: %%\usepackage{concmath}

39: %%\usepackage{concrete}

40: 

41: %%%%%%%%%%%%%%%%%%%%%%% postscript fonts

42: %%\usepackage{times}

43: %%\usepackage{mathtime}

44: %%\usepackage{pslatex}

45: %%\usepackage{mathptmx}

46: %%\usepackage[scaled=.92]{helvet}

47: %%\renewcommand{\familydefault}{\sfdefault}

48: %%\usepackage{courier}

49: 

50: %% Theorems et al.

51: 

52: \newtheorem{theorem}{Theorem}[subsection]

53: \newtheorem{proposition}[theorem]{Proposition}

54: \newtheorem{lemma}[theorem]{Lemma}

55: \newtheorem{corollary}[theorem]{Corollary}

56: %%\newtheorem{alphthm}{Theorem}

57: %%\renewcommand{\thealphthm}{\Alph{alphthm}}

58: 

59: \theoremstyle{definition}

60: \newtheorem{definition}[theorem]{Definition}

61: \newtheorem{example}[theorem]{Example}

62: \theoremstyle{remark}

63: \newtheorem{remark}[theorem]{Remark}

64: %%\newtheorem*{assumption}{Assumption}

65: 

66: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

67: \numberwithin{equation}{section}

68: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

69: 

70: %%  Curly (=cal in the sense of mathrsfs) symbol

71: \newcommand{\curly}[1]{\mathscr{#1}}

72: \newcommand{\cD}{\curly{D}}

73: \newcommand{\cL}{\curly{L}}

74: 

75: %% fields and other notable objects requiring a blackboard

76: %% boldface symbol

77: \newcommand{\field}[1]{\ensuremath{\mathbb{#1}}}

78: \newcommand{\ZZ}{\field{Z}}

79: \newcommand{\QQ}{\field{Q}}

80: \newcommand{\RR}{\field{R}}

81: \newcommand{\CC}{\field{C}}

82: \newcommand{\HH}{\field{H}}

83: \newcommand{\PP}{\field{P}}

84: \newcommand{\TT}{\field{T}}

85: 

86: %% operator names

87: %%\renewcommand{\d}{\operatorname{d}}

88: \DeclareMathOperator{\Id}{Id}

89: \DeclareMathOperator{\I}{I}

90: \DeclareMathOperator{\Tot}{Tot}

91: \DeclareMathOperator{\Hom}{Hom}

92: \newcommand{\sheafhom}{\underline{\operatorname{Hom}}}

93: \DeclareMathOperator{\Tor}{Tor}

94: \DeclareMathOperator{\Ext}{Ext}

95: \DeclareMathOperator{\Ker}{Ker}

96: \DeclareMathOperator{\Coker}{Coker}

97: \DeclareMathOperator{\cone}{Cone}

98: \DeclareMathOperator{\gr}{Gr}

99: \renewcommand{\Im}{\operatorname{Im}}

100: \renewcommand{\Re}{\operatorname{Re}}

101: \DeclareMathOperator{\GL}{GL}

102: \DeclareMathOperator{\SL}{SL}

103: \DeclareMathOperator{\PSL}{PSL}

104: \DeclareMathOperator{\SO}{SO}

105: \DeclareMathOperator{\Ad}{Ad}

106: \DeclareMathOperator{\ad}{ad}

107: \DeclareMathOperator{\deck}{Deck}

108: \DeclareMathOperator{\pic}{Pic}

109: \DeclareMathOperator{\Aut}{Aut}

110: \newcommand{\sheafaut}{\underline{\operatorname{Aut}}}

111: 

112: %% Categories, gerbes, 2-gerbes,...

113: \newcommand{\cat}[1]{\mathsf{#1}}

114: 

115: 

116: \newcommand{\gerbe}[1]{\mathcal{#1}}

117: \newcommand{\twogerbe}[1]{\mathsf{#1}}

118: 

119: \newcommand{\herm}[1]{\underline{\operatorname{herm}}({#1})}

120: \newcommand{\conn}[1]{\underline{\operatorname{Co}}({#1})}

121: 

122: \newcommand{\aut}[1]{\sheafaut (#1)}

123: 

124: \newcommand{\tors}[1]{\operatorname{\mathsf{Tors}}(#1)}

125: \newcommand{\gerbes}[1]{\operatorname{\mathsf{Gerbes}}(#1)}

126: 

127: %% Sheaves

128: \newcommand{\sheaf}[1]{\underline{\mathnormal{#1}}}

129: \newcommand{\sha}[2][\bullet]{\sheaf{A}_{#2}^{#1}}

130: \newcommand{\she}[2][\bullet]{\sheaf{\mathcal{E}}_{#2}^{#1}}

131: \newcommand{\sho}[1]{\mathcal{O}_{#1}}

132: \newcommand{\shomega}[2][\bullet]{\sheaf{\Omega}_{#2}^{#1}}

133: \newcommand{\deligne}[3][\bullet]{#2(#3)^{#1}_\mathcal{D}}

134: \newcommand{\deltilde}[3][\bullet]{%

135:   \smash[t]{\widetilde{#2(#3)}}^{#1}_\mathcal{D}}

136: \newcommand{\delub}[3][\bullet]{%

137:   \smash[b]{\underline{#2(#3)}}^{#1}_\mathcal{D}}

138: \newcommand{\dhh}[2][\bullet]{D(#2)_\mathit{h.h.}^{#1}}

139: \newcommand{\delH}[4][\bullet]{H^{#1}_\mathcal{D}(#2, #3(#4))}

140: \newcommand{\dhhH}[3][\bullet]{%

141:   H^{#1}_{\mathcal{D}_{\smash[b]{\mathit{h.h.}}}}(#2,#3)}

142: %%\newcommand{\locsys}[1]{\mathbb{#1}}

143: %%\newcommand{\locsys}[1]{\mathrm{#1}}

144: 

145: %% quasi-isomorphism

146: \newcommand{\qi}{\overset{\simeq}{\rightarrow}}

147: \newcommand{\lqi}{\overset{\simeq}{\longrightarrow}}

148: 

149: %% hypercohomology

150: \newcommand{\hyper}[1]{\mathbf{#1}}

151: \newcommand{\HHH}{\hyper{H}}

152: \newcommand{\RRR}{\hyper{R}}

153: \newcommand{\LLL}{\hyper{L}}

154: 

155: %% Cech coverings

156: \newcommand{\cover}[1]{\mathfrak{#1}}

157: %% Cech resolution

158: \newcommand{\vC}[3][\bullet]{\Check{C}^{#1}(#2,#3)}

159: 

160: %% differential complexes

161: \newcommand{\complex}[1]{\mathsf{#1}} %%

162: \newcommand{\CCC}{\complex{C}}

163: %% \newcommand{\complex}[2][\bullet]{{#2}^{#1}}

164: %% \newcommand{\CCC}{{\complex[{}]{C}}}

165: 

166: %% differentials

167: \newcommand{\del}{\partial} %usual partial

168: \newcommand{\delb}{\Bar\partial} %same with bar

169: \newcommand{\deltacheck}{\delta} %for Cech complexes

170: %% double complexes

171: \newcommand{\delp}{\partial^\prime}

172: \newcommand{\delpp}{\partial^{\prime\prime}}

173: \newcommand{\deltap}{\delta^\prime}%

174: \newcommand{\deltapp}{\delta^{\prime\prime}}

175: 

176: %% Hodge structures

177: \newcommand{\hodge}[1]{\curly{#1}}

178: \newcommand{\hM}{\hodge{M}}

179: \newcommand{\hH}{\hodge{H}}

180: 

181: %% %% objects related to complex analysis and alg. curves

182: %% \newcommand{\projspace}[1]{\PP^{#1}}

183: %% \newcommand{\pione}{\projspace{1}}

184: 

185: %% %% cross-ratio

186: %% \newcommand{\CR}[4]{[#1\colon #2\colon #3\colon #4]}

187: 

188: %% miscellaneous

189: \newcommand{\lto}{\longrightarrow}

190: \newcommand{\iso}{\cong} %isomorphism

191: \newcommand{\coin}{\equiv} %coincides

192: \newcommand{\unit}{\times} %to denote the invertibles in a ring

193: \newcommand{\tame}[2]{\bigl(#1,#2\bigr]}

194: \newcommand{\tamehh}[2]{\bigl(#1,#2\bigr]_{\smash[b]{\mathit{h.h.}}}}

195: \newcommand{\tameg}[2]{\bigl\lbrace #1,#2\bigr\rbrace}

196: \newcommand{\tate}{2\pi\smash{\sqrt{-1}}}

197: \newcommand{\bil}[2]{\bigl(#1\,\vert\,#2\bigr)}

198: \newcommand{\dual}[2]{\langle#1\,,\,#2\rangle}

199: \newcommand{\abs}[1]{\left\lvert#1\right\rvert}

200: \newcommand{\norm}[1]{\lVert#1\rVert}

201: \newcommand{\interior}{\lrcorner}

202: \newcommand{\onehalf}{\frac{1}{2}}

203: \newcommand{\onefourth}{\frac{1}{4}}

204: \newcommand{\ihalf}{\frac{\sqrt{-1}}{2}}

205: \newcommand{\eqdef}{\:\overset{\mathrm{def}}{=}\:}

206: \newcommand{\cm}[1]{\mathscr{CM}(#1)} %conformal metrics

207: \newcommand{\li}{\mathrm{Li}_2} %dilogarithm

208: \newcommand{\bwd}{{\cD}_2}  %bloch-wigner dilogarithm

209: \newcommand{\ibwd}{{\cL}_2} %bloch-wigner curly L equal to i D_2

210: 

211: %% other

212: \newcommand{\bei}{Be\u\i{}linson}

213: \newcommand{\cech}{\v{C}ech}

214: 

215: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

216: 

217: 

218: %%\usepackage{color,graphicx}

219: \usepackage{ifpdf}

220: \usepackage{ifthen}

221: %%\usepackage[colorlinks=false]{hyperref}

222: %%\usepackage[hyperindex=false,plainpages=false,colorlinks=true]{hyperref}

223: \ifthenelse{\boolean{pdf}}{%

224:   \usepackage[%

225:               hyperindex=false,

226:               plainpages=false,

227:               colorlinks=true,

228:               hypertexnames=true,

229:               plainpages=false,

230:               backref=page,

231:               pdfpagelabels]{hyperref}}{%

232:   \usepackage[hypertex]{hyperref}}

233: 

234: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

235: \setcounter{tocdepth}{2}

236: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

237: 

238: %% \title{Hermitian-holomorphic gerbes and Deligne cohomology, and a class

239: %%   of tame symbols considered by Brylinski and McLaughlin}

240: 

241: %% \title{Hermitian-holomorphic gerbes and

242: %%   Deligne cohomology, and a class of tame symbols}

243: 

244: \title{Hermitian-holomorphic ($2$)-Gerbes and tame symbols}

245: 

246: \author{Ettore Aldrovandi\\

247:   Department of Mathematics\\

248:   Florida State University\\

249:   Tallahassee, FL 32306-4510, USA\\

250:   \texttt{aldrovandi@math.fsu.edu} }

251: 

252: 

253: %% \title[Gerbes and tame symbols]{Hermitian-holomorphic gerbes and

254: %%   Deligne cohomology, and a class of tame symbols}

255: %% \author{Ettore Aldrovandi}

256: 

257: %% \address{Department of Mathematics \\

258: %%   Florida State University \\

259: %%   Tallahassee, FL 32306-4510 \\

260: %%   USA}

261: %% \email{aldrovandi@math.fsu.edu}

262: %% \urladdr{http://www.math.fsu.edu/\textasciitilde ealdrov}

263: 

264: \date{}

265: 

266: \begin{document}

267: 

268: \maketitle

269: 

270: \begin{abstract}

271:   The tame symbol of two invertible holomorphic functions can be

272:   obtained by computing their cup product in Deligne cohomology,

273:   and it is geometrically interpreted as a holomorphic line

274:   bundle with connection. In a similar vein, certain higher tame

275:   symbols later considered by Brylinski and McLaughlin are

276:   geometrically interpreted as holomorphic gerbes and $2$-gerbes

277:   with abelian band and a suitable connective structure.

278:   

279:   In this paper we observe that the line bundle associated to the

280:   tame symbol of two invertible holomorphic functions also

281:   carries a fairly canonical hermitian metric, hence it

282:   represents a class in a Hermitian holomorphic Deligne

283:   cohomology group.

284:   

285:   We put forward an alternative definition of hermitian

286:   holomorphic structure on a gerbe which is closer to the

287:   familiar one for line bundles and does not rely on an explicit

288:   ``reduction of the structure group.'' Analogously to the case

289:   of holomorphic line bundles, a uniqueness property for the

290:   connective structure compatible with the hermitian-holomorphic

291:   structure on a gerbe is also proven. Similar results are

292:   proved for $2$-gerbes as well.

293:   

294:   We then show the hermitian structures so defined propagate to a

295:   class of higher tame symbols previously considered by Brylinski

296:   and McLaughlin, which are thus found to carry corresponding

297:   hermitian-holomorphic structures. Therefore we obtain an

298:   alternative characterization for certain higher Hermitian

299:   holomorphic Deligne cohomology groups.

300: \end{abstract}

301: 

302: \tableofcontents

303: 

304: \section{Introduction}

305: \label{sec:Introduction}

306: 

307: The aim of this work is two-fold. For an analytic manifold $X$ we

308: investigate geometric objects corresponding to the elements of

309: certain low-degree Hermitian-Holomorphic Deligne cohomology

310: groups. These groups, denoted here $\dhhH[k]{X}{l}$, for two

311: integers $k$ and $l$, were defined in~\cite{bry:quillen} and, in

312: a slightly different fashion, later in~\cite{math.CV/0211055}. It

313: is already an observation by Deligne (cf. \cite{esn:char}) that

314: \begin{math}

315:   \dhhH[2]{X}{1} \iso \widehat{\pic X}\,,

316: \end{math}

317: the group of isomorphism classes of holomorphic line bundles with

318: hermitian fiber metric. Here we define an appropriate notion of

319: hermitian structure on a gerbe (or $2$-gerbe) bound by

320: $\sho{X}^\unit$ and show that the corresponding (equivalence)

321: classes are in bijective correspondence with the elements of

322: $\dhhH[k]{X}{1}$, for $k=3,4$.

323: 

324: As a second result and application, we show that the torsors and

325: ($2$-)gerbes underlying the cup products in ordinary Deligne

326: cohomology studied by

327: Brylinski-McLaughlin~\cite{brymcl:deg4_I,brymcl:deg4_II} can be

328: equipped in a rather natural way with the above mentioned

329: hermitian structures, thus producing classes in the

330: Hermitian-Holomorphic variant. More precisely, we modify the cup

331: product at the level of Deligne complexes to land into a

332: Hermitian-Holomorphic one. This modification is actually quite a

333: natural one from the point of view of Mixed Hodge Structures.

334: 

335: 

336: \subsection{Background notions}

337: \label{sec:background-notions}

338: 

339: To explain things a little bit more, let $X$ be an analytic

340: manifold and let $A\subseteq \RR$ be a subring---typically

341: $A=\ZZ,\QQ$ or $\RR$. For any integer $j$, set $A(j)= (\tate)^j

342: A$ and let $\deligne{A}{j}$ be the Deligne complex

343: \begin{displaymath}

344:   A(j)_X \hookrightarrow \sho{X} \to \shomega[1]{X}\to\dots \to

345:   \shomega[j-1]{X} \,.

346: \end{displaymath}

347: It is well known that (at the level of the derived category)

348: there are maps

349: \begin{math}

350:   \deligne{A}{j}\otimes \deligne{A}{k} \to \deligne{A}{j+k}

351: \end{math}

352: inducing a cup product in cohomology

353: \begin{displaymath}

354:   \delH[p]{X}{A}{j} \otimes \delH[q]{X}{A}{k}

355:   \xrightarrow{\cup} \delH[p+q]{X}{A}{j+k}\,,

356: \end{displaymath}

357: where we have used the notation

358: \begin{math}

359:   \delH[p]{X}{A}{j} = \HHH^p (X, \deligne{A}{j} )

360: \end{math}

361: for the \emph{Deligne cohomology} groups, and $\HHH^\bullet(X,-)$

362: denotes hypercohomology.

363: 

364: The question of obtaining a geometric picture of the cup product

365: in cohomology is a very interesting one. A chief foundational

366: example is the following. For $A=\ZZ$ the product

367: \begin{equation}

368:   \label{eq:54}

369:   \deligne{\ZZ}{1}\otimes \deligne{\ZZ}{1}

370:   \lto \deligne{\ZZ}{2}

371: \end{equation}

372: corresponds to the morphism

373: \begin{equation}

374:   \label{eq:53}

375:   \sho{X}^\unit \otimes \sho{X}^\unit \lto

376:   \bigl( \sho{X}^\unit \xrightarrow{d\log} \shomega[1]{X}

377:   \bigr)

378: \end{equation}

379: via the quasi-isomorphisms

380: \begin{math}

381:   \deligne{\ZZ}{1} \qi \sho{X}^\unit [-1]

382: \end{math}

383: and

384: \begin{math}

385:   \deligne{\ZZ}{2} \qi

386:   \bigl( \sho{X}^\unit \xrightarrow{d\log}

387:   \shomega[1]{X} \bigr)[-1]\,.

388: \end{math}

389: Deligne gave a geometric construction of~\eqref{eq:53}and the

390: ensuing cup product

391: \begin{displaymath}

392:   \sho{X}^\unit (X) \otimes \sho{X}^\unit (X)

393:   \xrightarrow{\cup}

394:   \HHH^1 \bigl( X,\sho{X}^\unit\xrightarrow{d\log} \shomega[1]{X}

395:   \bigr) 

396: \end{displaymath}

397: in his work on tame symbols, cf.~\cite{del:symbole}: If $f$ and

398: $g$ are two invertible functions on $X$, namely two elements of

399: $\sho{X}^\unit$, their cup product corresponds to a

400: $\sho{X}^\unit$-torsor, denoted $\tame{f}{g}$, equipped with an

401: analytic connection. Furthermore, if $X$ is a Riemann surface,

402: the complex

403: \begin{math}

404:   \bigl( \sho{X}^\unit \xrightarrow{d\log} \shomega[1]{X}

405:   \bigr)

406: \end{math}

407: is quasi-isomorphic to $\CC^\unit$ and the product is interpreted

408: as the \emph{holonomy} of the connection. For $X$ equal to a

409: punctured disk $D_p$ centered at $p$, if $f$ and $g$ are

410: holomorphic on $D_p$, meromorphic at $p$, the holonomy of

411: $\tame{f}{g}$ computes the \emph{tame symbol}

412: \begin{displaymath}

413:   (f,g)_p = (-)^{v(f)v(g)}\bigl( f^{v(g)}/g^{v(f)}\bigr) (p)\,,

414: \end{displaymath}

415: where $v(f)$ is the valuation of $f$ at $p$,

416: cf.~\cite{MR86h:11103,del:symbole,MR94k:19002}. This justifies

417: the use of the name \emph{tame symbol} for $\tame{f}{g}$.

418: 

419: A particularly pleasant property is that when $f$ and $1-f$ are

420: both invertible a calculation \cite{del:symbole} using the

421: classical Euler's dilogarithm $\li$ shows that $\tame{f}{1-f}$ is

422: isomorphic to the trivial torsor equipped with the trivial

423: connection $d$, namely the unit element in the group

424: \begin{math}

425:   \HHH^1 \bigl(X,\sho{X}^\unit \xrightarrow{d\log} \shomega[1]{X}

426:   \bigr)\,.

427: \end{math}

428: {}From this one also builds an interpretation of the symbol

429: associated to $f$ and $g$ in terms of Mixed Hodge

430: Structures~\cite{del:symbole}.

431: 

432: In this particular example there appear degree $1$ and $2$

433: Deligne cohomology groups: specifically, it is made use of the

434: fact that invertible functions determine elements in the group

435: \begin{math}

436:   \delH[1]{X}{\ZZ}{1}\iso \sho{X}^\unit(X)\,,

437: \end{math}

438: and, given $f$ and $g$, the class of the torsor with connection

439: $\tame{f}{g}$ is an element of

440: \begin{math}

441:   \delH[2]{X}{\ZZ}{2}\iso

442:   \HHH^1 \bigl(X,\sho{X}^\unit \xrightarrow{d\log}

443:   \shomega[1]{X} \bigr)\,.

444: \end{math}

445: It is therefore natural to investigate the geometric objects

446: corresponding to similar cup products of higher degree. The case

447: of $\tame{f}{L}$, where $f$ is again an invertible function and

448: $L$ is an $\sho{X}^\unit$-torsor, so it determines a class in 

449: \begin{math}

450:   \delH[2]{X}{\ZZ}{1} \iso H^1(X,\sho{X}^\unit)\,,

451: \end{math}

452: was already considered in ref.~\cite{del:symbole}, where it is

453: interpreted in terms of a gerbe $\gerbe{G}$ over $X$.

454: 

455: This idea has been further pursued by

456: Brylinski-McLaughlin,~\cite{brymcl:deg4_I,brymcl:deg4_II}. In

457: their study of degree $4$ characteristic classes they considered

458: the symbols $\tame{f}{L}\in \delH[3]{X}{\ZZ}{2}$ and, for a pair

459: of $\sho{X}^\unit$-torsors, $\tame{L}{L'}\in

460: \delH[4]{X}{\ZZ}{2}$.  The corresponding geometric objects are

461: identified with a gerbe (resp. a $2$-gerbe) both equipped with

462: the appropriate analog of a connection. Furthermore, the obvious

463: map 

464: \begin{math}

465:   \deligne{\ZZ}{2}\to \deligne{\ZZ}{1}

466: \end{math}

467: induces a corresponding map

468: \begin{math}

469:   \delH[k]{X}{\ZZ}{2}\to \delH[k]{X}{\ZZ}{1}

470: \end{math}

471: which simply forgets the connection. Therefore elements in the

472: groups

473: \begin{math}

474:   \delH[k]{X}{\ZZ}{1}\,,

475: \end{math}

476: for $k=3,4$ correspond to equivalence classes of ($2$-)gerbes

477: bound by $\sho{X}^\unit$,

478: cf.\cite{MR95m:18006,brymcl:deg4_I,brymcl:deg4_II}. Thus in the

479: end several Deligne cohomology groups have a concrete

480: interpretation in terms of geometric data.

481: 

482: \emph{Hermitian-Holomorphic} Deligne cohomology, as defined by

483: Brylinski, cf.~\cite{bry:quillen}, is an enhanced version of

484: Deligne cohomology. For all positive integers $l$ Brylinski

485: introduces certain complexes $C(l)^\bullet$, and defines the

486: Hermitian-Holomorphic Deligne cohomology groups as the sheaf

487: hypercohomology groups:

488: \begin{math}

489:   \dhhH[k]{X}{l} = \HHH^k(X,C(l)^\bullet)\,.

490: \end{math}

491: The complex $C(l)^\bullet$ has a map

492: \begin{math}

493:   C(l)^\bullet \to \deligne{\ZZ}{l}\,,

494: \end{math}

495: thus there is an obvious map

496: \begin{math}

497:   \dhhH[k]{X}{l} \to \delH[k]{X}{\ZZ}{l}

498: \end{math}

499: forgetting the extra-structure.

500: 

501: A primary example is provided by Deligne's observation mentioned

502: before, cf.~\cite{esn:char}, that

503: \begin{equation}

504:   \label{eq:55}

505:   \widehat{\pic X}\iso

506:   \HHH^2 \bigl( X, \ZZ(1)_X\to \sho{X} \to \she[0]{X} \bigr)\,,

507: \end{equation}

508: where $\widehat{\pic X}$ is the set of isomorphism classes of

509: $\sho{X}^\unit$-torsors with hermitian metric, and $\she[0]{X}$

510: is the sheaf of smooth real-valued functions on $X$. The complex

511: in~\eqref{eq:55} is quasi-isomorphic to $C(1)^\bullet$, therefore

512: \begin{displaymath}

513:   \widehat{\pic X} \iso\dhhH[2]{X}{1}\,.

514: \end{displaymath}

515: In fact, both complexes are quasi-isomorphic to the complex

516: \begin{math}

517:   \bigl(\sho{X}^\unit\oplus \sheaf{\TT}_X \to

518:   \sheaf{\CC}^\unit_X\bigr)[-1]\,,

519: \end{math}

520: ~\cite{brymcl:deg4_II,bry:quillen}, which encodes the reduction

521: of the torsor structure from $\sho{X}^\unit$ to $\sheaf{\TT}_X$

522: afforded by the hermitian metric.

523: 

524: Concerning higher degrees, Brylinski-McLaughlin

525: \cite{brymcl:deg4_II,MR97d:32041} gave a geometric interpretation

526: for some of the groups $\dhhH[k]{X}{l}$, $k=3,4$ and $l=1,2$ in

527: terms of classes of gerbes and $2$-gerbes bound by $\sheaf{\TT}_X$

528: and equipped with a concept of connection valued in an

529: appropriate Hodge filtration of the de~Rham complex of $X$.

530: 

531: 

532: \subsection{Statement of the results}

533: \label{sec:statement-results}

534: 

535: In this work we take on the same question of a geometric

536: interpretation for some Hermitian-Holomorphic Deligne cohomology

537: groups from a holomorphic view-point which, we believe, is

538: complementary to that of Brylinski-McLaughlin. We define a

539: hermitian structure on a $\sho{X}^\unit$-gerbe $\gerbe{G}$ as the

540: assignment of a $\she[0]{U,+}$-torsor (the ``$+$'' denotes

541: positive functions) to any object $P$ of $\gerbe{G}_U$ subject to

542: several conditions spelled out in Definition~\ref{def:2}. We

543: prove that classes of gerbes with hermitian structures in this

544: sense correspond to elements of

545: \begin{math}

546:   \dhhH[3]{X}{1} \iso

547:   \HHH^3 \bigl( X, \ZZ(1)_X\to \sho{X} \to \she[0]{X} \bigr)\,,

548: \end{math}

549: in complete analogy with~\eqref{eq:55}. Moreover we can define a

550: type $(1,0)$-connective structure on $\gerbe{G}$ by requiring

551: that to any object $P$ of $\gerbe{G}_U$ be assigned a

552: $F^1\!\sha[1]{U}$-torsor, essentially repeating the steps in

553: ref.~\cite{brymcl:deg4_II}. (Here $\sha{U}$ is the smooth

554: $\CC$-valued de~Rham complex, and $F^1$ is the first Hodge

555: filtration.) Then a notion of compatibility between the hermitian

556: structure and the connective one is defined, and in fact we prove

557: there is only one such type $(1,0)$ connective structure

558: compatible with a given hermitian structure, up to equivalence.

559: This result is analogous to the corresponding statement for

560: hermitian holomorphic line bundles, that there is a unique

561: connection --- the \emph{canonical or Griffiths connection} ---

562: compatible with both structures.

563: 

564: Similar results are available for $2$-gerbes: we define a

565: hermitian structure for a $\sho{X}^\unit$-$2$-gerbe

566: $\twogerbe{G}$ as the assignment of a $\she[0]{U,+}$-\emph{gerbe}

567: for each object $P$ of $\twogerbe{G}_U$, subject to several

568: conditions spelled out in Definition~\ref{def:5}. Analogously to

569: the simpler case of gerbes, we have a concept of type $(1,0)$

570: connectivity compatible with the hermitian structure and a

571: uniqueness result up to equivalence.

572: 

573: A second line of results is more specific to the tame symbols we

574: encountered before. Alongside with the map of complexes

575: \begin{displaymath}

576:   \deligne{\ZZ}{1} \otimes \deligne{\ZZ}{1} \lto \deligne{\ZZ}{2}

577: \end{displaymath}

578: we define a companion map

579: \begin{equation}

580:   \label{eq:56}

581:   \deligne{\ZZ}{1} \otimes \deligne{\ZZ}{1} \lto \tate\otimes

582:   C(1)^\bullet 

583: \end{equation}

584: so that it is possible to obtain a different cup product valued

585: in Hermitian-Holomorphic Deligne cohomology:

586: \begin{displaymath}

587:   \delH[i]{X}{\ZZ}{1} \otimes \delH[j]{X}{\ZZ}{1}

588:   \overset{\cup}{\lto} \tate\otimes \dhhH[i+j]{X}{1}\,.

589: \end{displaymath}

590: An immediate consequence is that for $f$ and $g$ invertible, and

591: $L,L'$ line bundles, the torsor $\tame{f}{g}$ and the gerbe

592: $\tame{f}{L}$ support natural hermitian structures of the type

593: discussed above, in addition to the analytic connection (or

594: connective) ones associated with the cup product in standard

595: Deligne cohomology. The same conclusions are valid for the

596: $2$-gerbe $\tame{L}{L'}$. It turns out that supporting both

597: structures is an easy consequence of the commutativity of the

598: following diagram:

599: \begin{displaymath}

600:   \begin{CD}

601:     \delH[i]{X}{\ZZ}{1} \otimes \delH[j]{X}{\ZZ}{1}

602:     @>{\cup}>>

603:     \tate\otimes \dhhH[i+j]{X}{1}\\

604:     @V{\cup}VV  @VV{\mathit{forget}}V\\

605:     \delH[i+j]{X}{\ZZ}{2}

606:     @>{\mathit{forget}}>>

607:     \delH[i+j]{X}{\ZZ}{1}

608:   \end{CD}

609: \end{displaymath}

610: Indeed, forgetting either structure, brings us back to the same

611: underlying object.

612: 

613: The map~\eqref{eq:56} has a rather natural definition from the

614: point of view of Mixed Hodge Structures, whose role in the matter

615: was mentioned in relation with the product~\eqref{eq:54},

616: see~\cite{del:symbole}. Namely, there is a ``universal'' MHS

617: $\hM^{(2)}$ corresponding to an iterated extension of $\ZZ(0)$ by

618: $\ZZ(1)$ by $\ZZ(2)$, where in this case $\ZZ(n)$ denotes a

619: Hodge-Tate structure. To $\hM^{(2)}$ we can associate a tensor

620: --- the ``big period'' ---

621: \begin{math}

622:   P(\hM^{(2)})\in \CC\otimes_\QQ\CC\,,

623: \end{math}

624: cf.~\cite{MR99i:19004}. The period is in fact a multiple of the

625: extension class of $\hM^{(2)}$, and it belongs to the kernel

626: \begin{math}

627:   \curly{I} = \ker\bigl(

628:   m\colon \CC \otimes_\QQ \CC \to \CC

629:   \bigr)

630: \end{math}

631: of the multiplication map. We find the map~\eqref{eq:56}

632: corresponds to the image of $P(\hM^{(2)})$ under the ``imaginary

633: part'' projection 

634: \begin{math}

635:   \CC\otimes_\QQ \CC \to \RR (1)

636: \end{math}

637: given by $a\otimes b\mapsto \Im (a) \Re (b)$. On the other hand,

638: the standard one~\eqref{eq:54} involves the projection onto the

639: K\"ahler differentials 

640: \begin{math}

641:   \curly{I} \to \curly{I}/\curly{I}^2

642: \end{math}

643: given by $a\otimes b \mapsto a\, db$.

644: 

645: Another consequence of the previous diagram is that

646: $\tame{f}{g}$, $\tame{f}{L}$, and $\tame{L}{L'}$ come equipped

647: with two connection (or connective) structures. If the unitary

648: connection in a line bundle $L$ is also analytic, then $L$ is

649: flat. In the case of $\tame{f}{g}$ we find there is an

650: obstruction to this type of compatibility. This can be cast in

651: cohomological terms, which allows to extend these considerations

652: to $\sho{X}^\unit$-gerbes and $2$-gerbes. We find that the

653: obstruction vanish, so compatibility can always be achieved.

654: 

655: \subsection{Outline of the paper}

656: \label{sec:organization}

657: 

658: This work is organized as follows. In section~\ref{sec:Prelim} we

659: make some preliminaries observations about Deligne complexes and

660: cohomology and collect a few needed facts. We recall the

661: definition of Hermitian-Holomorphic Deligne cohomology and state

662: some of its properties in section~\ref{sec:herm-holom-deligne}.

663: Alongside Brylinski's complex $C(l)^\bullet$, we use a complex

664: quasi-isomorphic to it, denoted $\dhh{l}$, which for a line

665: bundle directly encodes the data defining the \emph{canonical

666:   connection.}

667: 

668: In section~\ref{sec:tame-symb-herm} we recall the definition of

669: the tame symbol $\tame{f}{g}$ for two invertible functions and

670: some of its properties. We define the modified

671: product~\eqref{eq:56} and show that through it, the torsor

672: associated to $\tame{f}{g}$ also comes equipped with a hermitian

673: structure. As mentioned before, the product~\eqref{eq:56} and its

674: relation with the standard for Deligne complexes become more

675: clear when analyzed in terms of Hodge Structures. In order to do

676: this, we felt necessary to recall a few elementary facts and

677: calculations concerning Hodge-Tate structures that are certainly

678: well-known to experts. For this reason, and also because this

679: development lies somewhat aside this work's main lines, we

680: present this material in appendix~\ref{sec:remarks-hodge-tate}.

681: This presentation relies in part on the Heisenberg group picture

682: of the Deligne torsor, which we have recalled in

683: section~\ref{sec:heisenberg-group}.

684: 

685: Section~\ref{sec:herm-holorm-gerb} is the main part of this work.

686: There we redefine the notion of hermitian structure (modeled

687: after that of connective structure) and prove that equivalence

688: classes of these are classified by the groups $\dhhH[k]{X}{1}$.

689: We then apply this classification to the Hermitian structures and

690: the product~\eqref{eq:56} for the higher versions of the tame

691: symbols considered by Brylinski-McLaughlin.

692: 

693: The interplay between the analytic connection (or connective)

694: structures arising from standard Deligne cohomology and their

695: hermitian counterparts defined here is analyzed in

696: sections~\ref{sec:comparisons} and~\ref{sec:comp-relat-with}.

697: 

698: 

699: \subsection*{Acknowledgments}

700: 

701: Parts of the present work were written while visiting the

702: Department of Mathematics, Aarhus University, \AA rhus, Denmark;

703: the International School for Advanced Studies (SISSA), Trieste,

704: Italy; the Department of Mathematics, Instituto Superior

705: T\'ecnico, Lisbon, Portugal. It is a pleasure to thank all these

706: institutions for hospitality, support, and for providing an

707: excellent, friendly, and stimulating research environment. It is

708: also a pleasure to thank the anonymous referee for raising

709: important points and providing several stimulating comments

710: leading to a much improved version of the paper.

711: 

712: 

713: \section{Preliminaries}

714: \label{sec:Prelim}

715: 

716: \subsection{Notation and conventions}

717: \label{sec:Notation-conventions}

718: 

719: If $z$ is a complex number, then $\pi\sb{p} (z) \eqdef \onehalf (

720: z + (-1)\sp p \Bar z)$, and similarly for any other complex

721: quantity, e.g.  complex valued differential forms. For a subring

722: $A$ of $\RR$ and an integer $j$, $A(j) = (\tate)^j\,A$ is the

723: Tate twist of $A$. We identify $\CC/\ZZ(j) \iso \CC^\unit$ via

724: the exponential map $z \mapsto \exp (z/(\tate)^{j-1})$, and $\CC

725: / \RR(j) \iso \RR (j-1)$.

726: 

727: If $X$ is a complex manifold, $\sha{X}$ and $\shomega{X}$ denote

728: the de~Rham complexes of sheaves of smooth $\CC$-valued and

729: holomorphic forms, respectively. We denote by $\she{X}$ the

730: de~Rham complex of sheaves of real valued differential forms and

731: by $\she{X} (j)$ the twist $\she{X} \otimes_\RR \RR(j)$. We set

732: $\sho{X} \coin \shomega[0]{X}$ as usual.  When needed,

733: $\sha[{p,q}]{X}$ will denote the sheaf of smooth $(p,q)$-forms.

734: We use the standard decomposition $d=\del + \delb$ according to

735: types. Furthermore, we introduce the differential operator $d^c =

736: \del -\delb$ (contrary to the convention, we omit the factor

737: $1/(4\pi \sqrt{-1})$). We have $2\del\delb = d^cd$. The operator

738: $d^c$ is an imaginary one and accordingly we have the rules

739: \begin{displaymath}

740:   d\pi_p(\omega) = \pi_p(d\omega)\,,\quad

741:   d^c\pi_p(\omega) = \pi_{p+1}(d^c\omega)

742: \end{displaymath}

743: for any complex form $\omega$.

744: 

745: An open cover of $X$ will be denoted by $\cover{U}_X$. If

746: $\{U_i\}_{i\in I}$ is the corresponding collection of open sets,

747: we write $U_{ij} = U_i\cap U_j$, $U_{ijk} = U_i\cap U_j\cap

748: U_k$, and so on. More generally we can also have $\cover{U}_X =

749: \{ U_i \to X\}_{i\in I}$, where the maps are regular coverings in

750: an appropriate category. In this case intersections are replaced

751: by $(n+1)$-fold fibered products

752: \begin{math}

753:   U_{i_0 i_1\dotsb i_n}

754:   = U_{i_0} \times_X\dotsb \times_X U_{i_n}\,.

755: \end{math}

756: 

757: If $\sheaf{F}^\bullet$ is a complex of abelian sheaves on $X$,

758: its \cech\ resolution with respect to a covering $\cover{U}_X\to

759: X$ is the double complex

760: \begin{displaymath}

761:   \CCC^{p,q} (\sheaf{F}) \eqdef

762:   \vC[q]{\cover{U}_X}{\sheaf{F}^p}\,,

763: \end{displaymath}

764: where the $q$-cochains with values in $\sheaf{F}^p$ are given by

765: \begin{math}

766:   \prod \sheaf{F}^p (U_{i_0\dotsb i_n})\,.

767: \end{math}

768: The \cech\ coboundary operator is denoted $\deltacheck$. The

769: convention we use is to put the index along the \cech\ resolution

770: in the \emph{second} place, so if we denote by $d$ the

771: differential in the complex $\sheaf{F}^\bullet$, the total

772: differential is given by $D=d + (-1)^p \deltacheck$ on the

773: component $\vC[q]{\cover{U}_X}{\sheaf{F}^p}$ of the total

774: simple complex. Furthermore, recall that the Koszul sign rule

775: causes a sign being picked whenever two degree indices are

776: formally exchanged. For \cech\ resolutions of complexes of

777: sheaves it leads to the following conventions. If

778: $\sheaf{G}^\bullet$ is a second complex of sheaves on $X$, then

779: one defines the cup product

780: \begin{displaymath}

781:   \cup : \CCC^{p,q}(\sheaf{F}) \otimes \CCC^{r,s}(\sheaf{G})

782:   \lto

783:   \vC[q+s]{\cover{U}_X}{\sheaf{F}^p\otimes \sheaf{G}^r} \subset

784:   \CCC^{p+r,q+s}(\sheaf{F}\otimes\sheaf{G})

785: \end{displaymath}

786: of two elements $\{f_{i_0,\dotsc,i_q}\}\in \CCC^{p,q}(\sheaf{F})$

787: and $\{g_{j_0,\dotsc,j_s}\} \in \CCC^{r,s}(\sheaf{G})$ by

788: \begin{displaymath}

789:   (-1)^{qr}\,f_{i_0,\dots,i_q}\otimes

790:   g_{i_q,i_{q+1},\dotsc,i_{q+s}} \,.

791: \end{displaymath}

792: For a given complex of abelian objects, say $\CCC^\bullet$, the

793: symbol $\sigma^{i}$ denotes sharp truncation at the index $i$:

794: $\sigma^i\CCC^p=0$ for $p<i$.

795: 

796: 

797: \subsection{Deligne cohomology}

798: \label{sec:deligne-cohomology}

799: 

800: There are several models for the complexes to use to compute

801: Deligne cohomology \cite{esn-vie:del,MR86h:11103}. For $A\subset

802: \RR$ and an integer $j$ the latter is the hypercohomology:

803: \begin{displaymath}

804:   \delH{X}{A}{j} = \HHH^\bullet (X, \deligne{A}{j})\,. 

805: \end{displaymath}

806: Here $\deligne{A}{p}$ is the Deligne complex

807: \begin{align}

808:   \label{eq:1}

809:   \deligne{A}{j} &=  A(j)_X

810:   \overset{\imath}{\lto} \sho{X}

811:   \overset{d}{\lto} \shomega[1]{X}

812:   \overset{d}{\lto} \dotsm

813:   \overset{d}{\lto} \shomega[{j-1}]{X} \\

814:   \label{eq:2}

815:   &\lqi  \cone \big( A(j)_X \oplus F^j\shomega{X}

816:   \xrightarrow{\imath -\jmath} \shomega{X} \big) [-1]\,,

817: \end{align}

818: where $F^j\shomega{X}$ in eqn.~\eqref{eq:2} is the Hodge

819: (``stupid'') filtration on the de~Rham complex. The symbol $\lqi$

820: denotes a quasi-isomorphism. In view of \bei\ formula for the cup

821: product on cones to be recalled below~\cite{bei:hodge_coho},

822: Deligne complexes acquire a family of cup-products (depending on

823: a real parameter $\alpha$)

824: \begin{displaymath}

825:   \deligne{A}{j} \otimes \deligne{A}{k}

826:   \overset{\cup_\alpha}{\lto}

827:   \deligne{A}{j+k}\,.

828: \end{displaymath}

829: Cup products related to different values of the parameter

830: $\alpha$ are related by homotopy-commutative diagrams, hence they

831: induce a well defined graded commutative cup-product in

832: cohomology

833: \begin{equation}

834:   \label{eq:3}

835:     \delH[p]{X}{A}{j} \otimes \delH[q]{X}{A}{k}

836:   \xrightarrow{\cup} \delH[p+q]{X}{A}{j+k}\,.

837: \end{equation}

838: In order to explicitly compute cup products, the model given by

839: eq.~\eqref{eq:1} leads to simpler formulas (when it can be

840: used). If $f\in \deligne{A}{j}$ and $g\in \deligne{A}{k}$, then

841: from ref.~\cite{esn-vie:del} we quote:

842: \begin{equation}

843:   \label{eq:4}

844:   f\cup g =

845:   \begin{cases}

846:     f\cdot g & \deg f = 0\,,\\

847:     f\wedge dg & \deg f > 0\;

848:     \text{and}\; \deg g =k\,,\\

849:     0 &\text{otherwise.}

850:   \end{cases}

851: \end{equation}

852: The following examples are well known and will frequently recur

853: in the following.

854: \begin{example}

855:   For $A=\ZZ$ it is immediately verified that

856:   \begin{math}

857:     \deligne{\ZZ}{1} \qi \sho{X}^\unit [-1]

858:   \end{math}

859:   via the standard exponential sequence, so that

860:   \begin{math}

861:     \delH[k]{X}{\ZZ}{1} \iso H^{k -1}(X, \sho{X}^\unit)\,.

862:   \end{math}

863:   In particular

864:   \begin{math}

865:     \delH[1]{X}{\ZZ}{1} \iso H^0(X,\sho{X}^\unit)\,,

866:   \end{math}

867:   the global invertibles on $X$, and

868:   \begin{math}

869:     \delH[2]{X}{\ZZ}{1} \iso \pic (X)\,,

870:   \end{math}

871:   the Picard group of line bundles over $X$.

872: \end{example}

873: \begin{example}

874:   \begin{math}

875:     \deligne{\ZZ}{2} \qi \bigl( \sho{X}^\unit

876:     \xrightarrow{d\log} \shomega[1]{X}\bigr)[-1]

877:   \end{math}\,.

878:   A fundamental observation by Deligne (see

879:   ref.~\cite{MR86h:11103}) is that $\delH[2]{X}{\ZZ}{2}$ is

880:   identified with the group of isomorphism classes of holomorphic

881:   line bundles with (holomorphic) connection. This is easily

882:   understood from a \cech\ cohomology point of view. Using the

883:   cover $\cover{U}_X = \{U_i\}_{i\in I}$, a class in

884:   \begin{displaymath}

885:     \delH[2]{X}{\ZZ}{2} \iso

886:     \HHH^1(X,\sho{X}^\unit

887:     \xrightarrow{d\log} \shomega[1]{X})

888:   \end{displaymath}

889:   is represented by a pair

890:   \begin{math}

891:     (\omega_i, g_{ij}) 

892:   \end{math}

893:   with 

894:   \begin{math}

895:     \omega_i \in \shomega[1]{X}(U_i)

896:   \end{math}

897:   and 

898:   \begin{math}

899:     g_{ij} \in \sho{X}^\unit (U_{ij})

900:   \end{math}

901:   satisfying the relations

902:   \begin{displaymath}

903:     \omega_j - \omega_i = d\log g_{ij}\,,\quad

904:     g_{ij} g_{jk} = g_{ik}\,.

905:   \end{displaymath}

906:   The \cech\ representative for the actual class in

907:   $\delH[2]{X}{\ZZ}{2}$ is obtained (up to a multiplication by

908:   $\tate$) by extracting local logarithms $\log g_{ij}$, see

909:   ref.~\cite{esn-vie:del} for full details.

910: \end{example}

911: 

912: For \emph{real} Deligne cohomology, i.e. when $A=\RR$, other

913: models quasi-isomorphic to those in eqs.~\eqref{eq:1} and

914: \eqref{eq:2} are available. Since the maps

915: \begin{displaymath}

916:   \bigl( \RR(j) \rightarrow \shomega{X}\bigr)

917:   \lqi \bigl( \RR(j) \rightarrow \CC \bigr)

918:   \lqi \RR(j-1)

919:   \lqi \she{X}(j-1)

920: \end{displaymath}

921: are all quasi-isomorphisms in the derived category, cf.

922: \cite{esn-vie:del}, we have

923: \begin{equation}

924:   \label{eq:5}

925:   \deligne{\RR}{j}

926:   \lqi

927:   \cone \big(F^j\shomega{X} \rightarrow \she{X}(j-1)\big)[-1]\,.

928: \end{equation}

929: 

930: Moreover, we can use smooth forms thanks to the fact that the

931: inclusion $\shomega{X} \hookrightarrow \sha{X}$ is a filtered

932: quasi-isomorphism with respect to the filtrations $F^j\shomega{X}

933: \hookrightarrow F^j\sha{X}$. Here $F^j\sha{X}$ is the subcomplex

934: of $\sha{X}$ comprising forms of type $(p,q)$ where $p$ is at

935: least $j$, so that $F^j\sha[n]{X} = \oplus_{p\geq j}

936: \sha[{p,n-p}]{X}$.

937: 

938: Let $(\omega\sb 1, \eta\sb 1)$ be an element of degree $n$ in

939: $\deligne{\RR}{j}$---this means that $\omega\sb 1\in

940: F^j\shomega[n]{X}$ and $\eta\sb 1\in \she[n-1]{X}(j-1)$---and

941: $(\omega\sb 2, \eta\sb 2)$ any element in $\deligne{\RR}{k}$.  A

942: product is given by the formula (cf.  ref.~\cite{esn-vie:del}):

943: \begin{equation}

944:   \label{eq:6}

945:   (\omega_1,\eta_1) \,\Tilde\cup\, (\omega_2,\eta_2)

946:   = \bigl(\omega\sb 1 \wedge \omega\sb 2 ,

947:   (-1)^n\, \pi\sb p\omega\sb 1 \wedge \eta\sb 2

948:   +\eta\sb 1\wedge \pi\sb q \omega\sb 2 \bigr)\,.

949: \end{equation}

950: \begin{example}

951:   $\delH[1]{X}{\RR}{1}$ is the group of real valued functions

952:   $\eta$ on $X$ such that there exists a holomorphic one-form

953:   $\omega$ such that $\pi\sb 0\omega = d\eta$. In other words, it

954:   is the group of those real smooth functions $\eta$ such that

955:   $\del\eta$ is holomorphic. In particular, if $f$ is holomorphic

956:   and invertible on $U \subset X$, then the class in

957:   $\delH[1]{X}{\RR}{1}$ determined by $f$ is represented by

958:   $(d\log f, \log \abs{f})$.

959: \end{example}

960: 

961: \subsection{Cones}

962: \label{sec:cones}

963: 

964: We recall here a variant of \bei's formula for the cup product on

965: certain diagrams of complexes. (For full details see

966: refs.~\cite{math.CV/0211055,bei:hodge_coho,esn-vie:del}.)

967: 

968: For $i=1,2,3$ consider the diagrams of complexes

969: \begin{equation}

970:   \label{eq:7}

971:   \mathcal{D}_i \eqdef

972:   X^\bullet_i \overset{f_i}{\lto} Z^\bullet_i

973:   \overset{g_i}{\longleftarrow} Y^\bullet_i

974: \end{equation}

975: and set

976: \begin{displaymath}

977:   C(\mathcal{D}_i) =

978:   \cone (X^\bullet_i\oplus Y^\bullet_i

979:   \xrightarrow{f_i-g_i} Z^\bullet_i)[-1]\,,

980:   \quad i=1,2,3\,.

981: \end{displaymath}

982: Suppose there are product maps $X^\bullet_1\otimes X^\bullet_2

983: \xrightarrow{\cup} X^\bullet_3$, and similarly for $Y^\bullet_i$,

984: and $Z^\bullet_i$. We assume the products to be compatible with

985: the $f_i$, $g_i$ only up to homotopy, namely there exist maps

986: \begin{displaymath}

987:   h \colon \bigl( X_1\otimes X_2 \bigr)^\bullet

988:   \lto Z_3^{\bullet -1}\:,\quad

989:   k \colon \bigl( Y_1\otimes Y_2 \bigr)^\bullet

990:   \lto Z_3^{\bullet -1}

991: \end{displaymath}

992: such that

993: \begin{displaymath}

994:   f_3\circ \cup - \cup \circ (f_1\otimes f_2)

995:   = d\, h + h\,d\:, \quad

996:   g_3\circ \cup - \cup \circ (g_1\otimes g_2)

997:   = d\, k + k\,d\,,

998: \end{displaymath}

999: with obvious meaning of the symbols. The following lemma

1000: establishes a variant of \bei's product

1001: formula~\cite{bei:hodge_coho}.

1002: \begin{lemma}

1003:   For

1004:   \begin{math}

1005:     (x_i,y_i,z_i) \in X^\bullet_i \oplus Y^\bullet_i \oplus

1006:     Z^{\bullet -1}_i\,,\;i=1,2\,,

1007:   \end{math}

1008:   and a real parameter $\alpha$, the following formula:

1009:   \begin{equation}

1010:     \label{eq:8}

1011:     \begin{split}

1012:       (x_1,y_1,z_1) \cup_\alpha (x_2,y_2,z_2) =

1013:       \Big(&x_1\cup x_2, y_1\cup y_2, \\

1014:       &(-1)^{\deg (x_1)}

1015:       \big((1-\alpha )f_1(x_1) + \alpha g_1(y_1) \big) \cup z_2 \\

1016:       &\quad +z_1\cup \big( \alpha f_2(x_2) +

1017:       (1-\alpha)g_2(y_2)\big)\\

1018:       &\qquad -h(x_1\otimes x_2) +k(y_1\otimes y_2)

1019:       \Big)\,.

1020:     \end{split}   

1021:   \end{equation}

1022:   defines a family of products

1023:   \begin{displaymath}

1024:     C(\mathcal{D}_1)\otimes C(\mathcal{D}_2)

1025:     \xrightarrow{\cup_\alpha}

1026:     C(\mathcal{D}_3)\,.

1027:   \end{displaymath}

1028:   These products are homotopic to one another, and graded

1029:   commutative up to homotopy. The homotopy formula is the same as

1030:   that found in ref.~\cite{bei:hodge_coho}.

1031: \end{lemma}

1032: \begin{proof}

1033:   Direct verification.

1034: \end{proof}

1035: If the maps $f_i$, $g_i$ above are strictly compatible with the

1036: products, namely the homotopies $h$ and $k$ are zero,

1037: \eqref{eq:8} reduces to the formulas found in

1038: \cite{bei:hodge_coho,esn-vie:del}. Homotopy commutativity at the

1039: level of complexes ensures the corresponding cohomologies will

1040: have genuine graded commutative products.

1041: 

1042: 

1043: 

1044: \section{Hermitian holomorphic Deligne cohomology}

1045: \label{sec:herm-holom-deligne}

1046: 

1047: 

1048: \subsection{Metrized line bundles}

1049: \label{sec:metr-line-bundl}

1050: 

1051: Let $X$ be a complex manifold. Consider a holomorphic line bundle

1052: $L$ on $X$ with hermitian fiber metric $\rho$ or, equivalently,

1053: an invertible sheaf $L$ equipped with a map

1054: \begin{math}

1055:   \rho \colon L \to \she[0]{X,+}

1056: \end{math}

1057: to (the sheaf of) positive real smooth functions, see

1058: ref.~\cite{lang:arakelov} for the relevant formalism. Let

1059: $\widehat{ \pic (X)}$ denote the group of isomorphism classes of

1060: line bundles with hermitian metric. A basic observation by

1061: Deligne (cf.~\cite{esn:char}) is that $\widehat{\pic X}$ can be

1062: identified with the second hypercohomology group:

1063: \begin{equation}

1064:   \label{eq:9}

1065:   \HHH^2\bigl(X,%

1066:   \ZZ(1)_X \overset{\imath}{\lto} \sho{X}

1067:   \xrightarrow{-\pi_0} \she[0]{X}\bigr)\,.

1068: \end{equation}

1069: This is easy to see in \cech\ cohomology. Suppose $s_i$ is a

1070: trivialization of $L\rvert_{U_i}$, with transition functions

1071: $g_{ij}\in \sho{X}^\unit (U_{ij})$ determined by $s_j = s_i

1072: g_{ij}$. Let $\rho_i$ be the value of the quadratic form

1073: associated to $\rho$ on $s_i$, namely $\rho_i = \rho(s_i)$. Then

1074: we have $\rho_j = \rho_i \abs{g_{ij}}^2$. Taking logarithms, we

1075: see that

1076: \begin{equation*}

1077:   \bigl(\tate c_{ijk},

1078:   \log g_{ij}, \tfrac{1}{2} \log \rho_i \bigr) \,, 

1079: \end{equation*}

1080: where

1081: \begin{math}

1082:   \tate c_{ijk} = \log g_{jk} -\log g_{ik} +\log g_{ij}\in

1083:   \ZZ(1)\,,

1084: \end{math}

1085: is a cocycle representing the class of the pair $(L,\rho)$.

1086: 

1087: \subsubsection{Canonical connection}

1088: \label{sec:canonical-connection}

1089: 

1090: Recall for later use that the \emph{canonical

1091:   connection,}~\cite{gh:alg_geom} on a metrized line bundle

1092: $(L,\rho)$ is the unique connection compatible with both the

1093: holomorphic and hermitian structures.  In \cech\ cohomology with

1094: respect to the cover $\cover{U}_X$ as above, the canonical

1095: connection on $(L,\rho)$ corresponds to a collection of $(1,0)$

1096: forms

1097: \begin{math}

1098:   \xi_i\in \sha[{1,0}]{X}(U_i)

1099: \end{math}

1100: satisfying the relations

1101: \begin{align}

1102:   \label{eq:10} \xi_j - \xi_i &= d\log g_{ij}\\

1103:   \label{eq:11} \pi_0(\xi_i) &= \tfrac{1}{2} d\log \rho_i\,.

1104: \end{align}

1105: The latter just means 

1106: \begin{math}

1107:   \xi_i = \del \log \rho_i\,,

1108: \end{math}

1109: in more familiar terms. The global $2$-form

1110: \begin{equation}

1111:   \label{eq:12}

1112:   c_1(\rho) = \eta_i \coin \delb\del\log \rho_i

1113: \end{equation}

1114: represents the first Chern class of $L$ in $H^2(X,\RR(1))$. The

1115: class of $c_1(\rho)$ is in fact a pure Hodge class in

1116: $H^{1,1}(X)$---the image of the first Chern class of $L$ under

1117: the map $\delH[2]{X}{\ZZ}{1} \to H^2_\mathcal{D}(X,\RR(1))$

1118: induced by $\ZZ(1) \to \RR(1)$. It only depends on the class of

1119: $(L,\rho)$ in $\widehat{\pic (X)}$.

1120: 

1121: \subsection{Hermitian holomorphic complexes}

1122: \label{sec:herm-holom-compl}

1123: 

1124: In ref.~\cite{bry:quillen} Brylinski introduced the complexes

1125: \begin{equation}

1126:   \label{eq:13}

1127:   C(l)^\bullet = \cone \bigl(

1128:   \ZZ(l)_X \oplus (F^l\!\sha{X}\cap \sigma^{2l}\she{X}(l))

1129:   \lto \she{X}(l)

1130:   \bigr)[-1]\,.

1131: \end{equation}

1132: \begin{definition}

1133:   The hypercohomology groups

1134:   \begin{equation}

1135:     \label{eq:14}

1136:     \dhhH[p]{X}{l} \eqdef \HHH^p(X,C(l))

1137:   \end{equation}

1138:   are the \emph{Hermitian holomorphic Deligne} cohomology groups.

1139: \end{definition}

1140: By the remark after eq.~\eqref{eq:5}, the complex

1141: \begin{displaymath}

1142:   \deltilde{\RR}{l} =

1143:   \cone \big(F^l\!\sha{X} \rightarrow \she{X}(l-1)\big)[-1]\,.

1144: \end{displaymath}

1145: also computes the real Deligne cohomology. Then consider the

1146: complex

1147: \begin{equation}

1148:   \label{eq:15}

1149:   \dhh{l} = \cone \bigl(

1150:   \deligne{\ZZ}{l}\oplus (F^l\!\sha{X}\cap \sigma^{2l}\she{X}(l))

1151:   \lto \deltilde{\RR}{l}

1152:   \bigr)[-1]\,.

1153: \end{equation}

1154: In ref.~\cite{math.CV/0211055} we prove

1155: \begin{lemma}

1156:   The complexes $C(l)^\bullet$ and $\dhh{l}$ are

1157:   quasi-isomorphic, hence we also have

1158:   \begin{displaymath}

1159:     \dhhH[p]{X}{l} = \HHH^{\,p}(X,\dhh{l})\,.

1160:   \end{displaymath}

1161: \end{lemma}

1162: \begin{remark}

1163:   The complex 

1164:   \begin{math}

1165:     F^l\!\sha{X}\cap \sigma^{2l}\she{X}(l)

1166:   \end{math}

1167:   appearing in both~\eqref{eq:13} and \eqref{eq:14} can be

1168:   rewritten in terms of the complex $G(l)^\bullet$ of

1169:   ref.~\cite{esn:char}. Set

1170:   \begin{displaymath}

1171:     G(l)^\bullet = 0\lto \dotsm \lto 0

1172:     \lto \sha[{(l,l)}]{X}

1173:     \overset{d}{\lto}

1174:     \sha[{(l+1,l)}]{X}\oplus \sha[{(l,l+1)}]{X}

1175:     \overset{d}{\lto}\dotsm \;.

1176:   \end{displaymath}

1177:   Then we have

1178:   \begin{math}

1179:     F^l\!\sha{X}\cap \sigma^{2l}\she{X}(l)

1180:     = G(l)^\bullet \cap \she{X}(l)\,.

1181:   \end{math}

1182: \end{remark}

1183: For certain ranges of values of the cohomology index the groups

1184: $\dhhH[p]{X}{l}$ are fairly ordinary. Indeed we have the

1185: following easy

1186: \begin{lemma}

1187:   \label{lem:2}

1188:   For $p\leq 2l-1$ we have

1189:   \begin{displaymath}

1190:     \dhhH[p]{X}{l} \iso H^{p-1}(X,\RR(l)/\ZZ(l))\,.

1191:   \end{displaymath}

1192: \end{lemma}

1193: \begin{proof}

1194:   Using either $C(l)^\bullet$ or $\dhh{l}$, we see that they are

1195:   quasi-isomorphic to 

1196:   \begin{displaymath}

1197:     \cone \bigl(

1198:     F^l\!\sha{X}\cap \sigma^{2l}\she{X}(l) \lto

1199:     \RR(l)/\ZZ(l)

1200:     \bigr)[-1]\,,

1201:   \end{displaymath}

1202:   which leads to the triangle

1203:   \begin{displaymath}

1204:     \RR(l)/\ZZ(l)[-1] \lto \dhh{l} \lto

1205:     F^l\!\sha{X}\cap \sigma^{2l}\she{X}(l)

1206:     \overset{+1}{\lto}\,.

1207:   \end{displaymath}

1208:   The statement follows.

1209: \end{proof}

1210: In general these groups are interesting when $p\geq 2l$. The most

1211: important example is:

1212: \begin{lemma}

1213:   \begin{displaymath}

1214:     \widehat{\pic (X)} \iso \dhhH[2]{X}{1}\,.

1215:   \end{displaymath}

1216: \end{lemma}

1217: \begin{proof}

1218:   We have quasi-isomorphisms

1219:   \begin{displaymath}

1220:     \ZZ(1)_X \overset{\imath}{\lto} \sho{X}

1221:     \xrightarrow{-\pi_0} \she[0]{X}

1222:     \lqi \dhh{1} \lqi C(1)^\bullet\,.

1223:   \end{displaymath}

1224:   Indeed, note that $\dhh{1}$ can be rewritten as

1225:   \begin{displaymath}

1226:     \cone \bigl( \deligne{\ZZ}{1}

1227:     \to \deltilde{\RR}{1}/ (F^1\!\sha{X}\cap

1228:     \sigma^{2}\she{X}(1))\bigr)[-1]

1229:   \end{displaymath}

1230:   and

1231:   \begin{displaymath}

1232:     \deltilde{\RR}{1}/ (F^1\!\sha{X}\cap

1233:     \sigma^{2}\she{X}(1))

1234:     \lqi

1235:     \cone \bigl(

1236:     F^1\! \sha{X} / F^1\!\sha{X}\cap \sigma^{2}\she{X}(1)

1237:     \xrightarrow{-\pi_0} \she{X}

1238:     \bigr)[-1]\,.

1239:   \end{displaymath}

1240:   By direct verification, the latter complex is quasi-isomorphic

1241:   to $\she[0]{X}[-1]$. Thus

1242:   \begin{displaymath}

1243:     \dhh{1} \lqi

1244:     \cone \bigl( \deligne{\ZZ}{1} \to \she[0]{X}[-1] \bigr)[-1]

1245:     \lqi \ZZ(1)_X \to \sho{X} \to \she[0]{X}\,.

1246:   \end{displaymath}

1247: \end{proof}

1248: Since hermitian holomorphic Deligne complexes can be expressed as

1249: cones of diagrams of the form \eqref{eq:7}, they admit cup

1250: products, and hence there is a cup product for hermitian

1251: holomorphic Deligne cohomology \cite{bry:quillen}:

1252: \begin{displaymath}

1253:   \dhhH[p]{X}{l} \otimes \dhhH[q]{X}{k}

1254:   \overset{\cup}{\lto}

1255:   \dhhH[p+q]{X}{l+k}\,.

1256: \end{displaymath}

1257: 

1258: \subsection{Explicit cocycles}

1259: \label{sec:explict-cocycles}

1260: 

1261: Use of the seemingly more complicated complex \eqref{eq:15} in

1262: place of the one in~\eqref{eq:13} is justified by the fact that

1263: the data comprising the canonical connection can be characterized

1264: cohomologically, as follows:

1265: \begin{lemma}

1266:   Let $(L,\rho)$ be a metrized line bundle on $X$. Assume

1267:   $(L,\rho)$ to be trivialized with respect to the open cover

1268:   $\cover{U}_X$ of $X$ as before. The data:

1269:   \begin{gather*}

1270:     \xi_i\in \sha[(1,0)]{X}(U_i)\,,\quad

1271:     \tfrac{1}{2} \log\rho_i \in \she[0]{X}(U_i)\,,\quad

1272:     \eta_i\in \sha[(1,1)]{X}(U_i)\,,\\

1273:     \tate c_{ijk}\in \ZZ(1)_X (U_{ijk})\,, \quad

1274:     \log g_{ij}\in \sho{X}(U_{ij})

1275:   \end{gather*}

1276:   represent a degree $2$ cocycle with values in 

1277:   \begin{math}

1278:     \Tot \vC{\cover{U}_X}{\dhh{1}}

1279:   \end{math}

1280:   if and only if the relations \eqref{eq:10}, \eqref{eq:11},

1281:   \eqref{eq:12}, plus those in sect.~\ref{sec:metr-line-bundl},

1282:   defining the canonical connection are satisfied.

1283: \end{lemma}

1284: \begin{proof}

1285:   One need only unravel the cone defining $\dhh{1}$ as follows:

1286:   \begin{equation}

1287:     \label{eq:16}

1288:     \begin{CD}

1289:       \ZZ(1)_X @>>> \sho{X} @>>>  0 @>>> \dotsm \\

1290:       & & @VV{0\oplus\pi_0}V @VVV    \\

1291:       & & F^1\!\sha[1]{X} \oplus \she[0]{X} @>>> F^1\!\sha[2]{X}

1292:       \oplus \she[1]{X} @>>> \dotsm \\

1293:       & & & & @AA{\jmath\oplus 0}A & \\

1294:       & & & & F^1\!\sha[2]{X}\cap \she[2]{X}(1) @>>> \dotsm

1295:     \end{CD}

1296:   \end{equation}

1297:   and carefully chase the diagram.

1298: \end{proof}

1299: On the other hand, the hermitian holomorphic Deligne complex in

1300: the form \eqref{eq:13} corresponds to ``reducing the structure

1301: group'' from $\CC^\unit$ to $\TT$. This can be made explicit for

1302: $l=1$ and a line bundle $L\to X$ by choosing sections $t_i$ of

1303: the smooth bundle corresponding to $L$ such that $\rho(t_i)=1$.

1304: Clearly the resulting smooth transition functions will be

1305: sections of $\sheaf{\TT}_X$ over $U_{ij}$. See

1306: refs.~\cite{bry:quillen} and \cite{brymcl:deg4_II} for more

1307: details.

1308: 

1309: \section{Tame symbol and hermitian structure}

1310: \label{sec:tame-symb-herm}

1311: 

1312: Let $X$ be a complex analytic manifold and $U\subset X$ open. Let

1313: $f$ and $g$ two invertible holomorphic functions on $U$. The 

1314: tame symbol~\cite{del:symbole} $\tame{f}{g}$ associated to $f$ and

1315: $g$ is a $\sho{X}^\unit\vert_U$-torsor equipped with an analytic

1316: connection. 

1317: 

1318: \subsection{Cup product and Deligne torsor}

1319: \label{sec:cup-product}

1320: 

1321: (See \cite{del:symbole,esn-vie:del}.) We consider $f$ and $g$ as

1322: elements of $\delH[1]{U}{\ZZ}{1}$. Then

1323: \begin{math}

1324:   \tame{f}{g} = f\cup g \in \delH[2]{U}{\ZZ}{2}\,.

1325: \end{math}

1326: Consider the cover $\cover{U}_X$ of $X$ so that $U$ is covered by

1327: $\{U\cap U_i\}_{i\in I}$ and choose representatives 

1328: \begin{math}

1329:   (\tate\,m_{ij}, \log_i\! f)

1330: \end{math}

1331: and

1332: \begin{math}

1333:   (\tate\,n_{ij}, \log_i\! g)

1334: \end{math}

1335: for $f$ and $g$, respectively. Then, using \eqref{eq:4}, the cup

1336: product is represented by the cocycle:

1337: \begin{equation}

1338:   \label{eq:17}

1339:   \Bigl( (\tate)^2 m_{ij}n_{jk}\,,\:

1340:   -\tate\,m_{ij}\, \log_j\! g\,,\:

1341:   \log_i\! f\: \frac{d g}{g}\,\Bigr)\,.

1342: \end{equation}

1343: Under the quasi-isomorphism with the complex

1344: \begin{math}

1345:   \bigl(\sho{X}^\unit \to \shomega[1]{X}\bigr)

1346: \end{math}

1347: (which essentially amounts to a division by $\tate$)

1348: the cocycle~\eqref{eq:17} becomes

1349: \begin{equation}

1350:   \label{eq:18}

1351:   \big( g^{-m_{ij}}\,,

1352:   -\frac{1}{\tate}\log_i\! f\: \frac{dg}{g} \bigr)\,.

1353: \end{equation}

1354: In ref.~\cite{del:symbole} the trivializing section on $U\cap

1355: U_i$ corresponding to~\eqref{eq:18} is denoted

1356: \begin{math}

1357:   \lbrace \log_i\! f,g\rbrace\,.

1358: \end{math}

1359: Two trivializations over $U\cap U_i$ and $U\cap U_j$ are related

1360: by 

1361: \begin{math}

1362:   \lbrace \log_j\! f,g\rbrace

1363:   = \lbrace \log_i\! f,g\rbrace\,

1364:   g^{-m_{ij}}\,.

1365: \end{math}

1366: Furthermore, the analytic connection is defined by the rule:

1367: \begin{equation}

1368:   \label{eq:19}

1369:   \nabla \lbrace \log_i\! f,g\rbrace = -

1370:   \lbrace \log_i\! f,g\rbrace \otimes

1371:   \frac{1}{\tate}\log_i\! f\: \frac{dg}{g}\,.

1372: \end{equation}

1373: A general section $s$ of $\tame{f}{g}$ can be written as 

1374: \begin{math}

1375:   s = h_i \, \lbrace \log_i\! f,g\rbrace \,,

1376: \end{math}

1377: for some 

1378: \begin{math}

1379:   h_i \in{ \sho{U}(U_i)}\,,

1380: \end{math}

1381: and therefore

1382: \begin{equation}

1383:   \label{eq:20}

1384:   \nabla s = \lbrace \log_i\! f,g\rbrace \otimes \bigl( dh_i

1385:   -\frac{1}{\tate}\log_i\! f\: \frac{dg}{g} \bigr)\,.

1386: \end{equation}

1387: 

1388: \subsection{Heisenberg group}

1389: \label{sec:heisenberg-group}

1390: 

1391: An equivalent approach to the Deligne symbol is via the complex

1392: three-dimensional Heisenberg group, see

1393: refs.~\cite{bloch:dilog_lie,MR94k:19002,rama:reg_hei}. Let

1394: $H_\CC$ denote the group of complex unipotent $3\times 3$ lower

1395: triangular matrices. Let

1396: \begin{displaymath}

1397:   H_\ZZ = \left\lbrace

1398:     \begin{pmatrix}

1399:       1&&\\

1400:       m_1&1&\\

1401:       m_2&n_1&1

1402:     \end{pmatrix}

1403:     \Big\vert\; m_1,n_1\in \ZZ(1)\,,\; m_2\in\ZZ(2) \right\rbrace

1404:   \subset H_\CC\,.

1405: \end{displaymath}

1406: The quotient $H_\CC / H_\ZZ$ is a $\CC/\ZZ(2)$-bundle over 

1407: \begin{math}

1408:   \CC / \ZZ(1)\times \CC / \ZZ(1)

1409: \end{math}

1410: via the projection map

1411: \begin{displaymath}

1412:   p\colon

1413:   \begin{bmatrix}

1414:     1&&\\

1415:     x&1&\\

1416:     z&y&1

1417:   \end{bmatrix} \mapsto ([x],[y])\,,

1418: \end{displaymath}

1419: where $x,y,z\in \CC$, and the brackets denote the appropriate

1420: equivalence classes. (The $\CC/\ZZ(2)$-action is by

1421: multiplication with a matrix of the form

1422: \begin{math}

1423:   \Bigl( 

1424:   \begin{smallmatrix}

1425:     1&&\\ 0&1&\\z&0&1

1426:   \end{smallmatrix}

1427:   \Bigr)\,.

1428: \end{math})

1429: 

1430: The twisting of $H_\CC/H_\ZZ$ is analogous to that of the Deligne

1431: torsor in sect.~\ref{sec:cup-product}: the right action of

1432: $H_\ZZ$ on $H_\CC$ amounts to:

1433: \begin{equation}

1434:   \label{eq:21}

1435:   x \mapsto x + m_1\,,\quad

1436:   y \mapsto y + n_1\,,\quad

1437:   z \mapsto z + m_1\cdot y + m_2\,.

1438: \end{equation}

1439: Moreover, the complex form

1440: \begin{equation}

1441:   \label{eq:22}

1442:   \omega = \frac{1}{\tate}(dz - x\,dy)

1443: \end{equation}

1444: is invariant under the action of $H_\ZZ$ and defines a

1445: $\CC/\ZZ(2)$-connection form on the total space $H_\CC/H_\ZZ$.

1446: 

1447: The invertible functions $f$ and $g$ on $U$ define a map

1448: $(f,g)\colon U \to \CC^\unit \times \CC^\unit$. Then

1449: the tame symbol $\tame{f}{g}$ is obtained as the pull-back:

1450: \begin{displaymath}

1451:   \tame{f}{g}= (f,g)^* \bigl( H_\CC/H_\ZZ\bigr)\,,

1452: \end{displaymath}

1453: and the section $\lbrace\log_i\!f,g\rbrace$ corresponds to the

1454: class of the matrix

1455: \begin{displaymath}

1456:   \begin{pmatrix}

1457:     1 & &\\

1458:     \log_i\!f & 1 & \\

1459:     0 & \log_i\!g & 1

1460:   \end{pmatrix} \,.

1461: \end{displaymath}

1462: Furthermore, the pull-back of the connection form $\omega$ on

1463: $H_\CC/H_\ZZ$ along the section $\lbrace \log_i\!f,g\rbrace$ is

1464: the same form as the one in~\eqref{eq:17}. More generally, a

1465: section $s$ as given at the end of sect.~\ref{sec:cup-product}

1466: corresponds to the class of the matrix

1467: \begin{displaymath}

1468:   \begin{pmatrix}

1469:     1 & &\\

1470:     \log_i\!f & 1 & \\

1471:     h_i & \log_i\!g & 1

1472:   \end{pmatrix} \,,

1473: \end{displaymath}

1474: Pulling back~\eqref{eq:22} along the section gives~\eqref{eq:20}.

1475: 

1476: \subsection{Hermitian product structure}

1477: \label{sec:hermitian-structure}

1478: 

1479: Consider the ``imaginary part'' map

1480: \begin{equation}

1481:   \label{eq:23}

1482:   \begin{aligned}

1483:     \CC \otimes \CC &\lto \RR(1)\\

1484:     a \otimes b &\longmapsto -\pi_1(a)\,\pi_0(b)

1485:     \coin -\sqrt{-1} \Im (a) \Re (b)\,,

1486:   \end{aligned}

1487: \end{equation}

1488: Similarly, we have:

1489: \begin{equation}

1490:   \label{eq:24}

1491:     \sho{X}\otimes \sho{X} \lto \she[0]{X}(1)\,\quad

1492:     f \otimes g \longmapsto -\pi_1(f)\,\pi_0(g)\,.

1493: \end{equation}

1494: \begin{definition}

1495:   \label{def:1}

1496:   Define the map

1497:   \begin{equation}

1498:     \label{eq:25}

1499:     \begin{split}

1500:       \bigl( \ZZ(1)_X \to \sho{X} \bigr)\otimes

1501:       \bigl( \ZZ(1)_X \to \sho{X} \bigr)

1502:       &\lto

1503:       \bigl( \ZZ(2)_X \to \sho{X} \xrightarrow{-\pi_1}

1504:       \she[0]{X}(1) \bigr)\\

1505:       &\lqi \tate\otimes

1506:       \bigl( \ZZ(1)_X \to \sho{X} \xrightarrow{-\pi_0}

1507:       \she[0]{X} \bigr)

1508:     \end{split}

1509:   \end{equation}

1510:   by using~\eqref{eq:24} in place of the map

1511:   \begin{math}

1512:     \sho{X}\otimes \sho{X} \to \shomega[1]{X}\,,

1513:   \end{math}

1514:   \begin{math}

1515:     f\otimes g \mapsto fdg\,,

1516:   \end{math}

1517:   in \eqref{eq:4}.

1518: \end{definition}

1519: \begin{proposition}

1520:   \label{prop:1}

1521:   The product map~\eqref{eq:25} is well defined, namely it is a

1522:   map of complexes. Furthermore, it is homotopy graded

1523:   commutative.

1524: \end{proposition}

1525: \begin{proof}

1526:   The fact that~\eqref{eq:25} is a map of complexes is a direct

1527:   verification. After ref.~\cite{esn-vie:del}, consider the map

1528:   \begin{equation*}

1529:     h (f\otimes g) = f\,g\,,\quad f,g\in\sho{X}\,,

1530:   \end{equation*}

1531:   and zero otherwise. It provides the required homotopy.

1532: \end{proof}

1533: The target complex of the product map in eq.~\eqref{eq:25} is the

1534: complex encoding hermitian structures appearing in

1535: sect.~\ref{sec:metr-line-bundl}. In other words, up to

1536: quasi-isomorphism, we have a product:

1537: \begin{equation*}

1538:   \deligne{\ZZ}{1} \otimes \deligne{\ZZ}{1}

1539:   \lto \tate\otimes\dhh{1}\,.

1540: \end{equation*}

1541: \begin{remark}

1542:   The map~\eqref{eq:24} provides an explicit homotopy map for the

1543:   homotopy commutative diagram

1544:   \begin{equation*}

1545:     \begin{CD}

1546:       \deligne{\ZZ}{1}\otimes \deligne{\ZZ}{1} @>>>

1547:       \deligne{\ZZ}{2}\\

1548:       @VVV @VVV\\

1549:       \deligne{\RR}{1}\otimes \deligne{\RR}{1} @>>>

1550:       \deligne{\RR}{2}

1551:     \end{CD}

1552:   \end{equation*}

1553:   where the model~\eqref{eq:5} for $\deligne{\RR}{k}$ is used

1554:   (see \cite{esn-vie:del}).

1555: \end{remark}

1556: Now, in view of Prop.~\ref{prop:1}, we have a graded commutative

1557: product at the level of cohomology groups. In particular, let

1558: $f,g$ be two invertible holomorphic functions on $U\subset X$.

1559: \begin{proposition}

1560:   \label{prop:2}

1561:   The Deligne torsor underlying $\tame{f}{g}$ admits a hermitian

1562:   fiber metric.

1563: \end{proposition}

1564: \begin{proof}

1565:   View $f$ and $g$ as elements of $\delH[1]{U}{\ZZ}{1}$. Taking

1566:   the product according to~\eqref{eq:25} yields an element in

1567:   \begin{equation*}

1568:     \dhhH[2]{U}{1}\iso \widehat{\pic (U)}

1569:   \end{equation*}

1570:   that is, a holomorphic line bundle with hermitian fiber metric

1571:   (up to isomorphism).

1572:   

1573:   Taking the image of the tame symbol $\tame{f}{g}$ under the map

1574:   \begin{math}

1575:     \delH{U}{\ZZ}{2} \to \delH{U}{\ZZ}{1}=\pic (U)

1576:   \end{math}

1577:   induced by

1578:   \begin{math}

1579:     \deligne{\ZZ}{2} \to \deligne{\ZZ}{1}

1580:   \end{math}

1581:   forgets the analytic connection and retains just the line

1582:   bundle. Similarly, the map

1583:   \begin{math}

1584:     \dhhH[2]{U}{1} \to \delH{U}{\ZZ}{1}=\pic (U)

1585:   \end{math}

1586:   induced by

1587:   \begin{math}

1588:     \dhh{1} \to \deligne{\ZZ}{1}

1589:   \end{math}

1590:   forgets the hermitian structure. Clearly both map to the same

1591:   underlying line bundle.

1592: \end{proof}

1593: Using a \cech\ cover we can represent $f$ and $g$ as in

1594: sect.~\ref{sec:cup-product}. Then the cocycle corresponding to

1595: their product in

1596: \begin{math}

1597:   \dhhH[2]{U}{1}

1598: \end{math}

1599: is:

1600: \begin{equation}

1601:   \label{eq:26}

1602:   \Bigl( \tate\, m_{ij}\,n_{jk}\,,\:

1603:   -m_{ij} \log_j\! g\,,

1604:   -\frac{1}{\tate}\,\pi_1(\log_i\! f) \log\abs{g}\,\Bigr)\,.

1605: \end{equation}

1606: This allows us to identify the representative of the hermitian

1607: metric, or rather its logarithm, as

1608: \begin{equation}

1609:   \label{eq:27}

1610:   \onehalf \log\rho_i =

1611:   -\frac{1}{\tate}\,\pi_1(\log_i\! f) \log\abs{g}\,.

1612: \end{equation}

1613: It follows that if $s$ is the local section at the end of sect.\

1614: \ref{sec:cup-product} then

1615: \begin{equation}

1616:   \label{eq:67}

1617:   \log \rho (s) = \frac{1}{\tate}

1618:   \bigl(\pi_1(h_i)-\pi_1(\log_i\!f)\,\log \abs{g}\bigr)\,.

1619: \end{equation}

1620: 

1621: 

1622: \subsubsection{Remarks on the Heisenberg bundle}

1623: \label{sec:remarks-heis-group}

1624: 

1625: The hermitian metric can be constructed from the more global

1626: point of view afforded by the use of the Heisenberg group

1627: recalled in sect.~\ref{sec:heisenberg-group}. The hermitian

1628: metric on the bundle

1629: \begin{math}

1630:   H_\CC /H_\ZZ \to \CC^\unit \times \CC^\unit

1631: \end{math}

1632: is given by the map $\rho : H_\CC/H_\ZZ\to \RR_+$ defined by:

1633: \begin{equation}

1634:   \label{eq:28}

1635:   \rho\colon

1636:   \begin{bmatrix}

1637:     1&&\\

1638:     x&1&\\

1639:     z&y&1

1640:   \end{bmatrix} 

1641:   \longmapsto

1642:   \exp \frac{1}{\tate}

1643:   \bigl(\pi_1(z)-\pi_1(x)\,\pi_0(y)\bigr)

1644: \end{equation}

1645: Indeed, using the explicit

1646: action~\eqref{eq:21}, one checks~\eqref{eq:28} is invariant and

1647: provides the required quadratic form. In particular, the

1648: quantity

1649: \begin{equation*}

1650:   -\frac{1}{\tate}\,\pi_1(x)\,\pi_0(y)

1651: \end{equation*}

1652: is immediately shown to behave as the logarithm of the local

1653: representative of a hermitian metric. Thus the hermitian

1654: holomorphic line bundle represented by the cocycle~\eqref{eq:26}

1655: is the pull-back of $(H_\CC/H_\ZZ,\rho)$ via the map $(f,g)\colon

1656: U \to \CC^\unit \times \CC^\unit$.

1657: 

1658: 

1659: \subsubsection{Relations with Mixed Hodge Structures}

1660: \label{sec:relations-with-mixed}

1661: 

1662: Both structures, namely the standard cup product

1663: \begin{math}

1664:   \deligne{\ZZ}{1} \otimes \deligne{\ZZ}{1}\to \deligne{\ZZ}{2}

1665: \end{math}

1666: given by~\eqref{eq:4}, and the modified one

1667: \begin{math}

1668:   \deligne{\ZZ}{1} \otimes \deligne{\ZZ}{1}\to

1669:   \tate\otimes \dhh{1}

1670: \end{math}

1671: of Definition~\ref{def:1}, can be obtained by taking projections

1672: of a common object in two different ways.

1673: 

1674: Let $s$ be a local section of the pull-back

1675: \begin{equation*}

1676:   \tame{f}{g}= (f,g)^* \bigl( H_\CC/H_\ZZ\bigr)

1677: \end{equation*}

1678: as at the end of sect.\ \ref{sec:cup-product}.  (The local

1679: expression in terms of matrices is given at the end of sect.\

1680: \ref{sec:heisenberg-group}.)  Equivalently, $s$ can be considered

1681: as a (local) lift of the map $(f,g): X \to \CC^\unit\times

1682: \CC^\unit$ to $H_\CC/H_\ZZ$.

1683: 

1684: Let $\hodge{M}^{(2)}_X$ be the resulting variation of Mixed Hodge

1685: Structures on $X$ obtained by pulling back the universal MHS

1686: $\hodge{M}^{(2)}$ on $H_\CC/H_\ZZ$ via $s$.

1687: \begin{lemma}[See \cite{MR99i:19004}]

1688:   The period

1689:   \begin{math}

1690:     P(\hodge{M}^{(2)}_X) \in \sho{X}\otimes_\QQ \sho{X}

1691:   \end{math}

1692:   of $\hodge{M}^{(2)}_X$ is given by:

1693:   \begin{equation*}

1694:     \begin{split}

1695:       P(\hM^{(2)}_X) &= \frac{h}{(\tate)^2}\otimes 1

1696:       -1\otimes \frac{h}{(\tate)^2}\\

1697:       &+1\otimes \frac{\log f\,\log g}{(\tate)^2}

1698:       -\frac{\log g}{\tate} \otimes \frac{\log f}{\tate}

1699:     \end{split}

1700:   \end{equation*}

1701: \end{lemma}

1702: \begin{proof}

1703:   The expression is computed in the appendix for the universal case.

1704: \end{proof}

1705: Notice that the period actually belongs to the kernel of the

1706: multiplication map $a\otimes b\to ab$.

1707: 

1708: Let us now use the map

1709: \begin{math}

1710:   \sho{X}\otimes_\QQ \sho{X} \to \sho{X}\otimes_\CC \sho{X}\,.

1711: \end{math}

1712: Let $\curly{I}_X$ be the kernel of the multiplication map (over

1713: \CC). Then $\shomega[1]{X/\CC}\iso

1714: \curly{I}_X/\curly{I}_X^2$. The calculations for the following

1715: proposition are done in the universal case in the appendix.

1716: \begin{proposition}

1717:   The expressions~\eqref{eq:20} and~\eqref{eq:67} respectively

1718:   correspond to the images of $P(\hM^{(2)}_X)$ under the projections

1719:   \begin{math}

1720:     \curly{I}_X\subset \sho{X}\otimes_\CC \sho{X} \to

1721:     \shomega[1]{X/\CC}\,,

1722:   \end{math}

1723:   sending $a\otimes b - ab\otimes 1$ to $a\,db$, and

1724:   \begin{math}

1725:     \curly{I}_X\subset \sho{X}\otimes_\CC \sho{X} \to \she[0]{X}

1726:   \end{math}

1727:   given by~\eqref{eq:24}.

1728: \end{proposition}

1729: 

1730: 

1731: 

1732: \subsection{Comparisons}

1733: \label{sec:comparisons}

1734: 

1735: In the previous sections we have shown that the Deligne torsor

1736: $\tame{f}{g}$ associated to two invertible functions $f$ and $g$

1737: naturally acquires two structures: the analytic connection

1738: $\nabla$ described in section~\ref{sec:cup-product} via the

1739: standard cup product in Deligne cohomology, and the hermitian

1740: structure described in section~\ref{sec:hermitian-structure} via

1741: the modified cup product~\eqref{eq:25}. We wish to briefly

1742: compare the two structures.

1743: 

1744: First, observe that using the canonical connection (cf.\

1745: section~\ref{sec:canonical-connection}) a pair $(L,\rho)$ can

1746: also be thought of as a triple $(L,\rho, \nabla^\rho)$, where

1747: $\nabla^\rho$ is the canonical connection determined by

1748: $\rho$. Equivalently, we can just consider the pair

1749: $(L,\nabla^\rho)$. Also, let us stress that the canonical

1750: connection is only a \emph{smooth} connection and is in general

1751: far from being analytic (or algebraic).

1752: 

1753: Thus our question can be reformulated as follows: for a given

1754: line bundle $L$ equipped with an analytic connection $\nabla$ and

1755: a hermitian fiber metric $\rho$, how do the pairs $(L,\nabla)$

1756: and $(L,\nabla^\rho)$ compare?

1757: 

1758: The answer is the following well-known

1759: \begin{lemma}

1760:   \label{lem:1}

1761:   Consider both $\nabla$ and $\nabla^h$ as \emph{smooth}

1762:   connections. Then:

1763:   \begin{enumerate}

1764:   \item $\nabla - \nabla^h$ determines a global section of

1765:     $\sha[1,0]{X}$, and

1766:   \item this global section is zero, that is, $\nabla=\nabla^h$,

1767:     if and only if $L$ is unitary flat, namely it defines an

1768:     element of $H^1 (X, \RR/\ZZ)$.

1769:   \end{enumerate}

1770: \end{lemma}

1771: \begin{proof}

1772:   It is a well-known fact that the difference of two connections

1773:   is a global one-form. Working in a local setting, let $s\in

1774:   L\rvert_U$ be a local section, and let $\norm{s}$ be its length

1775:   with respect to the metric. Then $\nabla s = \omega\otimes s$,

1776:   for $\omega \in \shomega[1]{X}(U)$, whereas $\nabla^\rho s =

1777:   \del\log \norm{s} \otimes s$, and $\del\log \norm{s}$ gives a

1778:   local $(1,0)$-form representative of $\nabla^\rho$, cf.\

1779:   section~\ref{sec:canonical-connection}. Clearly, the difference

1780:   $\omega - \del\log \norm{s}$ gives a global section of

1781:   $\sha[1,0]{X}$.

1782: 

1783:   As for the second point, one would have $\delb\del\log

1784:   \norm{s}=0$, but this represents $c_1({L})$, hence the

1785:   conclusion.

1786: \end{proof}

1787: In the situation when the two connections agree, that is, the

1788: connection is simultaneously analytic and it is the canonical

1789: connection associated to a hermitian structure, we say they are

1790: \emph{compatible.} The line bundle supporting it is necessarily

1791: flat.

1792: 

1793: Interestingly enough, the previous lemma can be recast into

1794: entirely cohomological terms. This is advantageous in dealing

1795: with the special case $L=\tame{f}{g}$ of special interest to us,

1796: as well as to address the very same question in the case of

1797: gerbes later on in this paper.

1798: 

1799: In the previous lemma we have compared $\nabla$ and $\nabla^\rho$

1800: by mapping their respective local representatives in

1801: $\sha[1,0]{X}$. It will be more convenient to use the sheaf of

1802: imaginary $1$-forms instead, namely consider $\pi_1 :

1803: \shomega[1]{X}\to \she[1]{X}(1)$ and $d : \she[0]{X}(1)\to

1804: \she[1]{X}(1)$. Consider the complex

1805: \begin{equation*}

1806:   \Lambda (2)^\bullet \eqdef

1807:   \bigl( \ZZ(2) \overset{\imath}{\to} \sho{X}

1808:   \xrightarrow{-\pi_1\circ d} \she[1]{X}(1) \bigr)\,,

1809: \end{equation*}

1810: and the obvious maps of complexes

1811: \begin{equation*}

1812:   \alpha : \deligne{\ZZ}{2} \lto

1813:   \Lambda (2)^\bullet\quad

1814:   \text{and}\quad

1815:   \beta :  \tate\otimes\dhh{1} \lto \Lambda (2)^\bullet\,.

1816: \end{equation*}

1817: As usual, the cone:

1818: \begin{equation*}

1819:   \Gamma (2)^\bullet \eqdef

1820:   \cone \bigl( \alpha -\beta\bigr)  [-1]\,, 

1821: \end{equation*}

1822: characterizes the elements in $\deligne{\ZZ}{2}$ and

1823: $\tate\otimes\dhh{1}$ which agree in $\Lambda (2)^\bullet$. A

1824: tedious but straightforward direct verification yields:

1825: \begin{lemma}

1826:   \label{lem:3}

1827:   We have the quasi-isomorphism:

1828:   \begin{equation}

1829:     \label{eq:66}

1830:     \Gamma (2)^\bullet \lqi

1831:     \bigl( 

1832:     \ZZ(2) \overset{\imath}{\to} \sho{X}

1833:     \xrightarrow{(d,-\pi_1)}

1834:     \shomega[1]{X}\oplus\she[0]{X}(1)

1835:     \xrightarrow{\pi_1+d} \she[1]{X}(1)\bigr)

1836:   \end{equation}

1837: \end{lemma}

1838: Dropping the last term in~\eqref{eq:66}, we obtain the truncation

1839: \begin{equation*}

1840:   \Tilde{\Gamma}(2)^\bullet \eqdef

1841:   \bigl( 

1842:   \ZZ(2) \overset{\imath}{\to} \sho{X}

1843:   \xrightarrow{(d,-\pi_1)}

1844:   \shomega[1]{X}\oplus\she[0]{X}(1)\bigr)\,,

1845: \end{equation*}

1846: which clearly characterizes the elements in $\deligne{\ZZ}{2}$

1847: and $\tate\otimes\dhh{1}$ which agree in

1848: $\tate\otimes\deligne{\ZZ}{1}$. (In other words,

1849: $\Tilde{\Gamma}(2)^\bullet$ can be obtained by replacing $\Lambda

1850: (2)^\bullet$ by $\deligne{\ZZ}{1}$ in the previous paragraphs.)

1851: In particular, let us denote by $\pic (X,\nabla,h)$ the second

1852: hypercohomology group $\HHH^2(X,\Tilde{\Gamma}(2)^\bullet)$,

1853: namely the subgroup of $\delH[2]{X}{\ZZ}{2}\times \widehat{\pic

1854:   (X)}$ of classes of pairs $(L,\nabla)$ and $(L,\rho)$ mapping

1855: to the same element of $\pic (X)\iso \delH[2]{X}{\ZZ}{1}$. Then

1856: lemma~\ref{lem:1} has the following reformulation:

1857: \begin{lemma}

1858:   \label{lem:4}

1859:   There is an exact sequence:

1860:   \begin{equation}

1861:     \label{eq:64}

1862:     0\lto H^1(X,\RR/\ZZ) \lto 

1863:     \pic (X,\nabla,h) \lto E^1(X)(1)\,,

1864:   \end{equation}

1865:   where $E^1(X)(1)$ are the global sections of

1866:   $\she[1]{X}(1)$. Thus compatible connections are necessarily

1867:   flat.

1868: \end{lemma}

1869: \begin{proof}

1870:    The complex $\Tilde{\Gamma}(2)^\bullet$  is a quotient of

1871:    $\Gamma (2)^\bullet$, namely we have the exact sequence:

1872:    \begin{equation*}

1873:      0\lto \she[1]{X}(1) [-3] \lto \Gamma(2)^\bullet \lto

1874:      \Tilde{\Gamma}(2)^\bullet \lto 0\,,

1875:    \end{equation*}

1876:    and from the resulting long exact cohomology sequence:

1877:    \begin{equation*}

1878:      0\to \HHH^2(X,\Gamma(2)^\bullet) \to

1879:      \HHH^2 (X,\Tilde{\Gamma}(2)^\bullet) \to E^1(X)(1) \to

1880:      \dotsm 

1881:    \end{equation*}

1882:    It was noted above that

1883:    \begin{math}

1884:      \HHH^2 (X,\Tilde{\Gamma}(2)^\bullet)\iso

1885:      \pic (X,\nabla,h)\,,

1886:    \end{math}

1887:    whereas for $\Gamma (2)^\bullet$ we have

1888:    \begin{equation*}

1889:      \HHH^2 (X,{\Gamma}(2)^\bullet)\iso

1890:      H^1(X,\RR (2)/ \ZZ(2))\,.

1891:    \end{equation*}

1892:    The latter isomorphism follows either from a direct

1893:    computation, or noticing that $\Gamma (2)^\bullet$ is a

1894:    quotient of $\dhh{2}$ (see eq.\ \eqref{eq:15}) and

1895:    \begin{equation*}

1896:      \HHH^2(X,\Gamma(2)^\bullet) \iso \dhhH[2]{X}{2}

1897:    \end{equation*}

1898:    and then using lemma~\ref{lem:2}.

1899: \end{proof}

1900: 

1901: \subsubsection{Comparing $\protect \tame{f}{g}$ and $\protect \tamehh{f}{g}$}

1902: \label{sec:comp-tamefg}

1903: 

1904: Suppose now $L$ is the Deligne torsor determined by two

1905: invertible functions $f$ and $g$. Clearly, the symbols

1906: $\tame{f}{g}$ and $\tamehh{f}{g}$ taken together determine an

1907: element of $\pic (X,\nabla, h)$, since the underlying torsor in

1908: $\pic (X)\iso \delH[2]{X}{\ZZ}{1}$ is the same. This element can

1909: be represented by the cocycle

1910: \begin{equation*}

1911:   \Bigl(

1912:   (\tate)^2 m_{ij}n_{jk}\,,\:

1913:   -\tate\,m_{ij} \log_j\! g\,,\:

1914:   \log_i\! f\, \frac{d g}{g}\oplus -\pi_1(\log_i\! f) \log\abs{g}

1915:   \Bigr)

1916: \end{equation*}

1917: with values in $\Tilde{\Gamma}(2)^\bullet$.

1918: 

1919: Following Goncharov (\cite{MR1978709}) let us define for

1920: any two invertibles $f$ and $g$ the $1$-form

1921: \begin{equation}

1922:   \label{eq:65}

1923:   r_2(f,g) \eqdef \pi_1(d \log f) \log\abs{g}

1924:   -\log\abs{f} \pi_1(d\log g)\,.

1925: \end{equation}

1926: This is clearly globally defined where $f$ and $g$ are

1927: invertible.

1928: 

1929: We finally obtain the following comparison. 

1930: \begin{proposition}

1931:   \label{prop:5}

1932:   The analytic connection in $\tame{f}{g}$ and the canonical one

1933:   associated to the hermitian structure in $\tamehh{f}{g}$ are

1934:   compatible if and only if $r_2(f,g)=0$ in $E^1(X)(1)$.

1935: \end{proposition}

1936: \begin{proof}

1937:   Let $\omega_i = \log_i\!f \: dg/g$ and $\sigma_i =

1938:   -\pi_1(\log_i\!  f) \log\abs{g}$. The connecting homomorphism

1939:   from $\Tilde{\Gamma} (2)^\bullet$ to $\she[1]{X}(1)$, that is

1940:   the last map to the right in the sequence~\eqref{eq:64},

1941:   amounts to computing $\pi_1(\omega_i) + d\sigma_i$. A

1942:   straightforward calculation yields

1943:   \begin{equation*}

1944:     \pi_1(\omega_i) + d\sigma_i = -r_2(f,g)\,.

1945:   \end{equation*}

1946: \end{proof}

1947: 

1948: 

1949: 

1950: 

1951: \section{Hermitian holomorphic gerbes and $2$-gerbes}

1952: \label{sec:herm-holorm-gerb}

1953: 

1954: 

1955: \subsection{Higher tame symbols}

1956: \label{sec:higher-tame-symbols}

1957: Brylinski and McLaughlin considered higher degree versions of the

1958: tame symbol construction, \cite{brymcl:deg4_I,brymcl:deg4_II},

1959: namely cup products of higher degree Deligne cohomology classes:

1960: $\tame{f}{L}$ for $f$ a holomorphic invertible function and $L$ a

1961: holomorphic line bundle, and $\tame{L}{L'}$ for a pair of

1962: holomorphic line bundles. The geometric interpretation of the

1963: symbols so obtained, also put forward in

1964: refs.~\cite{brymcl:deg4_I,brymcl:deg4_II}, is that $\tame{f}{L}$

1965: is a gerbe on $X$ with band ($\coin$ lien) $\sho{X}^\unit$ and a

1966: holomorphic connective structure. A similar statement holds for

1967: the $2$-gerbe $\tame{L}{L'}$.

1968: 

1969: 

1970: \subsubsection{Cup products}

1971: \label{sec:higher-cup-products}

1972: 

1973: From the point of view of cohomology classes, one computes the

1974: relevant cup products.  Using~\eqref{eq:4}, we find that

1975: \begin{math}

1976:   \tame{f}{L}\in \delH[3]{X}{\ZZ}{2}

1977: \end{math}

1978: is represented by the cocycle

1979: \begin{equation}

1980:   \label{eq:39}

1981:   \big( g_{jk}^{-m_{ij}}\,,

1982:   -\frac{1}{\tate}\log_i\! f\: d\log g_{ij} \bigr)\,,

1983: \end{equation}

1984: having made the standard choices for $\log_i f$ and the

1985: transition functions $g_{ij}$ of $L$ with respect to the choice

1986: of a cover $\cover{U}_X$. Similarly, if $g'_{ij}$ are the

1987: transition functions of $L'$, and $\tate c_{ijk}$ represents

1988: $c_1(L)$ with respect to the cover $\cover{U}_X$, then

1989: \begin{math}

1990:   \tame{L}{L'}\in \delH[4]{X}{\ZZ}{2}

1991: \end{math}

1992: is represented by the cocycle

1993: \begin{equation}

1994:   \label{eq:40}

1995:   \big( {g'_{kl}}^{-c_{ijk}}\,,

1996:   -\frac{1}{\tate}\log g_{ij} \: d\log g'_{jk} \bigr)\,.

1997: \end{equation}

1998: 

1999: \subsubsection{Hermitian variant}

2000: \label{sec:high-herm-prod}

2001: 

2002: If we use the product

2003: \begin{displaymath}

2004:   \deligne{\ZZ}{1} \otimes \deligne{\ZZ}{1}

2005:   \lto \dhh{1}

2006: \end{displaymath}

2007: introduced in sect.~\ref{sec:hermitian-structure}, for $f$, $L$

2008: and $L'$ as above we have 

2009: \begin{displaymath}

2010:   \begin{aligned}

2011:     \delH[1]{X}{\ZZ}{1}&\otimes \delH[2]{X}{\ZZ}{1}&

2012:     \lto&    \dhhH[3]{X}{1}\\

2013:     f&\otimes [L]& \longmapsto& \tamehh{f}{L}

2014:   \end{aligned}

2015: \end{displaymath}

2016: Using the same \cech\ data as before, the symbol $\tamehh{f}{L}$

2017: is represented by the cocycle

2018: \begin{equation}

2019:   \label{eq:41}

2020:   \big( g_{jk}^{-m_{ij}}\,,

2021:   -\frac{1}{\tate}\pi_1(\log_i\! f)\,\pi_0(\log g_{ij}) \bigr)\,.

2022: \end{equation}

2023: Similarly, with $L$ and $L'$ we have the product

2024: \begin{displaymath}

2025:   \begin{aligned}

2026:     \delH[2]{X}{\ZZ}{1}&\otimes \delH[2]{X}{\ZZ}{1}&

2027:     \lto&    \dhhH[4]{X}{1}\\

2028:     [L]&\otimes [L']& \longmapsto& \tamehh{L}{L'}

2029:   \end{aligned}

2030: \end{displaymath}

2031: and the representing cocycle

2032: \begin{equation}

2033:   \label{eq:42}

2034:   \big( {g'_{kl}}^{-c_{ijk}}\,,

2035:   -\frac{1}{\tate}\pi_1(\log g_{ij})\,\pi_0(\log g'_{jk})

2036:   \bigr)\,.

2037: \end{equation}

2038: Similarly to the proof of prop.~\ref{prop:2}, the maps of

2039: complexes 

2040: \begin{math}

2041:   \deligne{\ZZ}{2} \to \deligne{\ZZ}{1}

2042: \end{math}

2043: and 

2044: \begin{math}

2045:   \dhh{1} \to \deligne{\ZZ}{1}

2046: \end{math}

2047: induce corresponding maps on the symbols 

2048: \begin{math}

2049:   \tame{f}{L}

2050: \end{math}

2051: and 

2052: \begin{math}

2053:   \tamehh{f}{L}\,,

2054: \end{math}

2055: moreover their images agree in 

2056: \begin{math}

2057:   \delH[3]{X}{\ZZ}{1}\,.

2058: \end{math}

2059: An identical statement holds for

2060: \begin{math}

2061:   \tame{L}{L'}

2062: \end{math}

2063: and 

2064: \begin{math}

2065:   \tamehh{L}{L'}\,.

2066: \end{math}

2067: 

2068: 

2069: \subsection{Gerbes with Hermitian structure}

2070: \label{sec:hermitian-structures}

2071: 

2072: Let $\gerbe{G}$ be a gerbe on $X$ with band $\sho{X}^\unit$

2073: (\cite{MR49:8992}). After \cite{MR95m:18006,bry:loop}, its class

2074: is an element of

2075: \begin{math}

2076:   \delH[3]{X}{\ZZ}{1}\iso H^2(X,\sho{X}^\unit)\,.

2077: \end{math}

2078: Let

2079: \begin{math}

2080:   \she[0]{X,+}

2081: \end{math}

2082: be the sheaf of real positive smooth functions on $X$.

2083: \begin{definition}

2084:   \label{def:2}

2085:   A \emph{hermitian structure} on $\gerbe{G}$ consists of the

2086:   following data:

2087:   \begin{enumerate}

2088:   \item\label{item:1} For each object $P$ in $\gerbe{G}_U$, is

2089:     assigned a $\she[0]{U,+}$-torsor $\herm{P}$ (a

2090:     $\RR_{+}$-principal bundle). The assignment must be

2091:     compatible with the restriction functors

2092:     \begin{math}

2093:       i^*\colon \gerbe{G}_U\to    \gerbe{G}_V

2094:     \end{math}

2095:     arising from $i\colon V\hookrightarrow U$ in the cover

2096:     $\cover{U}_X$ of $X$.

2097:   \item\label{item:2} For each morphism $f\colon P\to Q$ in

2098:     $\gerbe{G}_U$ a corresponding morphism

2099:     \begin{math}

2100:       f_*\colon \herm{P}\to \herm{Q}

2101:     \end{math}

2102:     of $\she[0]{U,+}$-torsors.\footnote{A $\she[0]{U,+}$-torsor

2103:       will in general be automatically trivializable. However, in

2104:       this context it is convenient to ``forget'' the actual

2105:       trivializing map.} This map must be compatible with

2106:     compositions of morphisms in $\gerbe{G}_U$ and with the

2107:     restriction functors.

2108:     

2109:     For an object $P$ of $\gerbe{G}_U$, an automorphism

2110:     $\varphi\in \aut{P}$ is identified with a section of

2111:     $\sho{X}^\unit$ over $U$. We then require that

2112:     \begin{equation}

2113:       \label{eq:43}

2114:       \begin{aligned}

2115:         \varphi_*\colon  \herm{P} &\overset{\simeq}{\lto} \herm{P}\\

2116:         h \;&\longmapsto h\cdot\abs{\varphi}^2

2117:       \end{aligned}

2118:     \end{equation}

2119:     where the latter is the $\she[0]{U,+}$-action on the torsor

2120:     $\herm{P}$.

2121:   \end{enumerate}

2122: \end{definition}

2123: \begin{theorem}

2124:   \label{thm:1}

2125:   Equivalence classes of $\sho{X}^\unit$-gerbes with hermitian

2126:   structure are classified by the group

2127:   \begin{displaymath}

2128:     \HHH^3 \bigl(X,

2129:     \ZZ(1)_X \to \sho{X} \to \she[0]{X}\bigr)\,.

2130:   \end{displaymath}

2131: \end{theorem}

2132: \begin{proof}

2133:   Let $\gerbe{G}$ be an $\sho{X}^\unit$-gerbe on $X$ with

2134:   hermitian structure as per definition~\ref{def:2}. Choose a

2135:   full decomposition (see \cite{MR95m:18006}) with objects

2136:   $P_i$ of $\gerbe{G}_{U_i}$ and isomorphisms

2137:   \begin{math}

2138:     f_{ij}\colon P_j\vert_{U_{ij}} \to P_i\vert_{U_{ij}}

2139:   \end{math}

2140:   with respect to a cover $\cover{U}_X$ of $X$. By a standard

2141:   procedure (see refs.\cite{MR95m:18006,bry:loop}) these

2142:   data determine a cochain

2143:   \begin{math}

2144:     g_{ijk}\in \aut{P_i}\vert_{U_{ijk}}

2145:     \iso \sho{X}^\unit\vert_{U_{ijk}}

2146:   \end{math}

2147:   satisfying the cocycle condition and determining a class in

2148:   $H^2(X,\sho{X}^\unit)$. Furthermore, choose sections $r_i$ of

2149:   the torsors $\herm{P_i}$ above $U_i$. From

2150:   condition~\ref{item:2} in definition~\ref{def:2} we have that

2151:   there must exist $\rho_{ij} \in \she[0]{X,+}\vert_{U_{ij}}$

2152:   such that:

2153:   \begin{equation}

2154:     \label{eq:44}

2155:     {f_{ij}}_* (r_j) = r_i\cdot \rho_{ij}\,.

2156:   \end{equation}

2157:   On the $3$-skeleton of the cover we have that on one hand

2158:   \begin{equation}

2159:     \label{eq:45}

2160:     {f_{ij}}_*\circ {f_{jk}}_* (r_k) = {f_{ij}}_*(r_j)\cdot \rho_{jk}

2161:     =r_i\cdot \rho_{ij}\,\rho_{jk}\,,

2162:   \end{equation}

2163:   whereas on the other hand, since $f_{ij}\circ f_{jk} =

2164:   g_{ijk}\circ f_{ik}\,,$ we have

2165:   \begin{equation}

2166:     \label{eq:46}

2167:     (f_{ij}\circ f_{jk})_*(r_k)

2168:     = {g_{ijk}}_*\circ {f_{ik}}_*(r_k)

2169:     = {g_{ijk}}_*(r_i\cdot \rho_{ik})

2170:     = r_i\cdot \abs{g_{ijk}}^2\rho_{ik}\,.

2171:   \end{equation}

2172:   Equating the right hand sides of eqs.~\eqref{eq:45}

2173:   and~\eqref{eq:46}, and extracting the appropriate logarithms,

2174:   we see we have obtained a \cech\ cocycle representing a class

2175:   in 

2176:   \begin{equation}

2177:     \label{eq:47}

2178:     \Check\HHH^3 \bigl(\cover{U}_X,

2179:     \ZZ(1)_X \to \sho{X} \to \she[0]{X}\bigr)\,.

2180:   \end{equation}

2181:   

2182:   Conversely, let a class in $\dhhH[3]{X}{1}$ be given, and

2183:   assume we represent it via the choice of $\cover{U}_X$ by a

2184:   degree $2$ \cech\ cocycle with values in the complex

2185:   \begin{displaymath}

2186:     \ZZ(1)_X \to \sho{X} \to \she[0]{X}\,,

2187:   \end{displaymath}

2188:   which we write as

2189:   \begin{displaymath}

2190:     \bigl(\tate c_{ijkl}\,,\:

2191:     \log g_{ijk}\,,\:

2192:     \onehalf\log \rho_{ij}\bigr)\,.

2193:   \end{displaymath}

2194:   This cocycle determines, via the map $\dhh{1} \to

2195:   \deligne{\ZZ}{1}$, a cocycle $\{g_{ijk}\}\in

2196:   \vC[2]{\cover{U}_X}{\sho{X}^\unit}$ which can be used,

2197:   according to refs.~\cite{MR95m:18006,bry:loop}, to glue

2198:   the local stacks $\tors{\sho{U_i}}$ into a global $\gerbe{G}$,

2199:   in fact a gerbe. Given a $\sho{U_i}^\unit$-torsor $P_i$, namely

2200:   an object of $\gerbe{G}_{U_i}\iso \tors{\sho{U_i}}$, define a

2201:   hermitian structure by:

2202:   \begin{displaymath}

2203:     \herm{P_i} = \text{trivial}\;\she[0]{U_i,+}-\text{torsor}

2204:   \end{displaymath}

2205:   Then use $\rho_{ij}$ to glue $\herm{P_i}$ and $\herm{P_j}$ over

2206:   $U_{ij}$, namely \emph{define} an isomorphism via

2207:   eq.~\eqref{eq:44}. Since the isomorphisms $P_k\to P_i$ and

2208:   $P_k\to P_j\to P_i$ differ by the equivalence determined by

2209:   $g_{ijk}$, we see using~\eqref{eq:43} that the condition

2210:   \begin{displaymath}

2211:     \rho_{ij}\,\rho_{jk} = \abs{g_{ijk}}^2\rho_{ik}\,,

2212:   \end{displaymath}

2213:   ensuing from the cocycle condition, ensures the compatibility

2214:   of this definition over $U_{ijk}$.

2215: \end{proof}

2216: \begin{corollary}

2217:   Using the quasi-isomorphism

2218:   \begin{displaymath}

2219:     \dhh{1} \lqi

2220:     \bigl(\ZZ(1)_X \to \sho{X} \to \she[0]{X}\bigr)\,,

2221:   \end{displaymath}

2222:   the class of a gerbe with hermitian structure is in fact in

2223:   $\dhhH[3]{X}{1}\,.$

2224: \end{corollary}

2225: We will see (cf. sect.~\ref{sec:herm-conn-struct}) this group

2226: also automatically classifies a special type of connective

2227: structure on $\gerbe{G}$.

2228: 

2229: \subsection{Hermitian connective structure}

2230: \label{sec:herm-conn-struct}

2231: 

2232: The structure defined in sect.~\ref{sec:hermitian-structures} can

2233: be supplemented by a variant of Brylinski's connective

2234: structure~\cite{bry:loop} by taking into account the first Hodge

2235: filtration as in ref.~\cite{bry:quillen}. Let $\gerbe{G}$ be an

2236: $\sho{X}^\unit$ gerbe over $X$.

2237: \begin{definition}

2238:   \label{def:3}

2239:   A type $(1,0)$ \emph{connective structure} on $\gerbe{G}$ is

2240:   the assignment to each object $P$ of $\gerbe{G}_U$ of a

2241:   $F^1\!\sha[1]{U}$-torsor $\conn{P}$ compatible with restriction

2242:   functors and morphisms of objects. In particular, for

2243:   $\varphi\in \aut{P}$, we require that 

2244:   \begin{equation}

2245:     \label{eq:48}

2246:     \begin{aligned}

2247:       \varphi_*\colon  \conn{P} &\overset{\simeq}{\lto} \conn{P}\\

2248:       \nabla \;&\longmapsto \nabla + d\log \varphi

2249:     \end{aligned}

2250:   \end{equation}

2251:   where $\nabla$ is a section of $\conn{P}$ over

2252:   $U$.\footnote{Note that $d\log\varphi$ is holomorphic, hence of

2253:   type $(1,0)$.}

2254: \end{definition}

2255: \begin{definition}

2256:   \label{def:4}

2257:   Let $\gerbe{G}$ be equipped with a hermitian structure.  A type

2258:   $(1,0)$ connective structure on $\gerbe{G}$ is

2259:   \emph{compatible} with the hermitian structure if for each

2260:   object $P$ of $\gerbe{G}$ there is an isomorphism of torsors

2261:   \begin{align*}

2262:     \herm{P} &\lto \conn{P}\\

2263:     r &\longmapsto \nabla_r

2264:   \end{align*}

2265:   such that for a positive function $\rho$ on $U$

2266:   \begin{displaymath}

2267:     r\cdot\rho\longmapsto \nabla_r +\del\log\rho\,.

2268:   \end{displaymath}

2269:   (In other words, $\nabla_{r\cdot \rho}=\nabla_r

2270:   +\del\log\rho\,.$)

2271: \end{definition}

2272: Connective structures of type $(1,0)$ are classified as follows.

2273: \begin{theorem}

2274:   \label{thm:2}

2275:   Let again $\dhh{1}$ be the complex given by~\eqref{eq:15} for

2276:   $l=1$. Equivalence classes of connective structures on a

2277:   $\sho{X}^\unit$-gerbe $\gerbe{G}$ compatible with a given

2278:   hermitian structure are classified by the group

2279:   \begin{displaymath}

2280:     \HHH^3 \bigl(X,\dhh{1}\bigr)\,.

2281:   \end{displaymath}

2282: \end{theorem}

2283: We have the following analog of the existence and uniqueness of

2284: the canonical connection on an invertible sheaf.

2285: \begin{corollary}

2286:   A connective structure compatible with a hermitian structure on

2287:   a gerbe $\gerbe{G}$ is uniquely determined up to

2288:   equivalence.

2289: \end{corollary}

2290: \begin{proof}

2291:   It is an immediate consequence of the fact that the groups in

2292:   Theorems~\ref{thm:1} and~\ref{thm:2}, being computed from

2293:   quasi-isomorphic complexes, are actually the same (and equal to

2294:   $\dhhH[3]{X}{1}$.)

2295: \end{proof}

2296: \begin{remark}

2297:   \label{rem:3}

2298:   The group $\HHH^3 \bigl(X,\dhh{1}\bigr)\iso \dhhH[3]{X}{1}$ is

2299:   \emph{not} equal to Brylinski's

2300:   \begin{equation*}

2301:     \HHH^3\bigl(X,\ZZ(1)\to\she[0]{X}(1)\to\she[1]{X}(1)\bigr)\,,

2302:   \end{equation*}

2303:   cf.\ ref.\ \cite[Proposition 6.9 (1)]{bry:quillen}. (In fact

2304:   there is an epimorphism

2305:   \begin{math}

2306:     C(1)^\bullet \to

2307:   \bigl( \ZZ(1)\to\she[0]{X}(1)\to\she[1]{X}(1) \bigr)

2308:   \end{math}

2309:   with non-trivial kernel.)  It follows that the notion of

2310:   ``hermitian gerbes with hermitian connective structure'' in

2311:   loc.\ cit.\ is not identical to our notion of

2312:   $\sho{X}^\unit$-gerbe with hermitian structure and compatible

2313:   type $(1,0)$ connective structure.

2314: \end{remark}

2315: \begin{proof}[Proof of Theorem~\protect\ref{thm:2}]

2316:   Choose a cover $\cover{U}_X$ as usual and let

2317:   $(P_i,f_{ij},r_i)$ be a decomposition of $\gerbe{G}$ and its

2318:   hermitian structure as in the proof of Theorem~\ref{thm:1}.

2319:   

2320:   If $\gerbe{G}$ has a compatible type $(1,0)$ connective

2321:   structure, we have a map $\herm{G_{U_i}} \ni r_i\mapsto\nabla_i

2322:   \in \herm{G_{U_i}}$. For every isomorphism $f_{ij}$ the

2323:   compatibility condition from Definition~\ref{def:4} determines

2324:   a form

2325:   \begin{displaymath}

2326:     \xi_{ij}=\del\log\rho_{ij} \in F^1\!\sha[1]{X}(U_{ij})

2327:   \end{displaymath}

2328:   satisfying the condition

2329:   \begin{equation}

2330:     \label{eq:49}

2331:     \xi_{jk} -\xi_{ik} +\xi_{ij} = d\log g_{ijk}\,.

2332:   \end{equation}

2333:   The imaginary $2$-form $\eta_{ij} \eqdef \delb \xi_{ij} =

2334:   \delb\del \log\rho_{ij}$ then is a cocycle with values in

2335:   $F^1\!\sha[2]{X}\cap \she[2]{X}(1)$.

2336:   

2337:   Altogether, $g_{ijk}$, $\onehalf\log\rho_{ij}$, $\xi_{ij}$ and

2338:   $\eta_{ij}$ determine a cocycle of total degree $3$ in the

2339:   \cech\ resolution $\vC{\cover{U}_X}{\dhh{1}}$.

2340:   

2341:   Conversely, given a degree $3$ cocycle with values in

2342:   $\dhh{1}$, a gerbe $\gerbe{G}$ with hermitian structure can be

2343:   obtained by gluing trivial $\sho{U_i}^\unit$-torsors and

2344:   $\she[0]{U_i,+}$ torsors as in Theorem~\ref{thm:1}.

2345:   Furthermore, define a map by assigning the trivial

2346:   $F^1\!\sha[1]{U_i}$-torsor to the trivial

2347:   $\she[0]{U_i,+}$-torsor by 

2348:   \begin{displaymath}

2349:     r \longmapsto \nabla_r\coin \del\log r\,.

2350:   \end{displaymath}

2351:   Clearly, this defines a type $(1,0)$ connective structure

2352:   compatible with the hermitian structure on $\gerbe{G}$.

2353: \end{proof}

2354: \begin{remark}

2355:   \label{rem:1}

2356:   Note the proof of Theorem~\ref{thm:2} that $d\eta_{ij} = 0$,

2357:   hence we obtain a class

2358:   \begin{displaymath}

2359:     [\eta_{ij}] \in \HHH^3\bigl(X, F^1\!\sha{X}\cap

2360:     \sigma^{2}\she{X}(1) \bigr)

2361:   \end{displaymath}

2362:   which can be associated to $\gerbe{G}$ via the obvious map

2363:   \begin{displaymath}

2364:     \dhh{1} \lto F^1\!\sha{X}\cap \sigma^{2}\she{X}(1)\,.

2365:   \end{displaymath}

2366:   This class plays the same role for $\gerbe{G}$ as the (global)

2367:   imaginary form $c_1(\rho) = \delb\del \log \rho_i$ for a

2368:   metrized line bundle $(L,\rho)$.

2369: \end{remark}

2370: \begin{remark}[\emph{Hermitian curving}]

2371:   \label{rem:2}

2372:   An equivalent degree $3$

2373:   cocycle can be obtained by introducing the cochain $K_i\in

2374:   \sha[1,1]{X}\cap \she[2]{X}(1) (U_i)$ of imaginary $2$-forms

2375:   such that

2376:   \begin{displaymath}

2377:     \delb\del \log\rho_{ij} = K_j -K_i\,,

2378:   \end{displaymath}

2379:   and the imaginary $3$-form $\Omega_i\coin \Omega\vert_{U_i}$

2380:   such that

2381:   \begin{displaymath}

2382:     dK_i = \Omega\vert_{U_i}\,,

2383:   \end{displaymath}

2384:   where $\Omega\in F^1\!A^3(X)\cap E^3(X)(1)$ (global

2385:   sections). We can regard $K_i$ as the hermitian \emph{curving}

2386:   and $\Omega$ as the hermitian \emph{$3$-curvature,}

2387:   respectively, of the type $(1,0)$ hermitian connection.

2388: \end{remark}

2389: 

2390: \subsection{The symbol $\tamehh{f}{L}$}

2391: \label{sec:tame-symbol-tamehhfl}

2392: 

2393: Given an invertible function $f$ and a line bundle $L$ we have

2394: seen there is a product $\tamehh{f}{L}\in \dhhH[3]{X}{1}$. We

2395: briefly give a geometric construction of the corresponding

2396: hermitian-holomorphic gerbe.

2397: 

2398: We need to recall from \cite{brymcl:deg4_II} the construction of

2399: the gerbe $\gerbe{C}$ underlying $\tame{f}{L}$. $\gerbe{C}$ is

2400: the stackification of the following pre-stack $\gerbe{C}^0$.  For

2401: $U\hookrightarrow X$ objects of the category $\gerbe{C}^0_U$ are

2402: non vanishing sections of $L\vert_U$. If $s\in L\vert_U$, and non

2403: vanishing, it is denoted $\tame{f}{s}$ as an object of

2404: $\gerbe{C}^0_U$. Given another non vanishing section $s'$ of $L$

2405: over $U$, there is $g\in \sho{U}^\unit$ such that $s'= s g$.

2406: Morphisms from $\tame{f}{s'}$ to $\tame{f}{s}$ are given by

2407: sections of the Deligne torsor $\tame{f}{g}$ over $U$. For a

2408: third non vanishing section $s''$, with $s'' = s' g' = s g g'$,

2409: composition of morphisms in the category $\gerbe{C}^0_U$

2410: corresponds to the $K$-theoretic property of the Deligne torsor:

2411: \begin{displaymath}

2412:   \tame{f}{gg'} \iso \tame{f}{g} \otimes \tame{f}{g'}\,.

2413: \end{displaymath}

2414: Given a trivialization of $L$ by a collection $\lbrace

2415: s_i\rbrace$ relative to a cover $\cover{U}_X = \lbrace

2416: U_i\rbrace_{i\in I}$, with transition functions $g_{ij}\in

2417: \sho{X}^\unit (U_{ij})$, the objects 

2418: \begin{math}

2419:   \tame{f}{s_i}

2420: \end{math}

2421: and the morphisms

2422: \begin{displaymath}

2423:   \phi_{ij} = \lbrace \log_i f,g_{ij} \rbrace \colon

2424:   \tame{f}{s_j} \to \tame{f}{s_i}

2425: \end{displaymath}

2426: provide a decomposition of $\gerbe{C}$ in the sense of

2427: \cite{MR95m:18006}. It follows that the automorphisms

2428: \begin{equation}

2429:   \label{eq:50}

2430:   h_{ijk} = \phi_{ij}\otimes \phi_{jk} \otimes \phi_{ik}^{-1} =

2431:   g_{jk}^{-m_{ij}} \in \aut{\tame{f}{s_i}\vert_{U_{ijk}}}\iso

2432:   \sho{X}^\unit (U_{ijk})

2433: \end{equation}

2434: represent the cohomology class of $\gerbe{C}$ in

2435: $\delH[3]{X}{\ZZ}{1}\iso H^2(X,\sho{X}^\unit)$.

2436: 

2437: Now define a \emph{hermitian structure} on $\gerbe{C}$ as

2438: follows. To an object $\tame{f}{s}$ of $\gerbe{C}_U$ we assign

2439: \begin{equation}

2440:   \label{eq:51}

2441:   \tame{f}{s} \rightsquigarrow 

2442:   \herm{\tame{f}{s}} = \text{trivial $\she[0]{U,+}$-torsor.}

2443: \end{equation}

2444: Then, given a morphism 

2445: \begin{math}

2446:   \tame{f}{g}\ni \phi \colon \tame{f}{s'} \to \tame{f}{s}

2447: \end{math}

2448: in $\gerbe{C}_U$, with $s' = sg$ as above, we use the hermitian

2449: structure on the Deligne torsor underlying $\tame{f}{g}$ defined

2450: in sect.~\ref{sec:hermitian-structure}, Proposition~\ref{prop:2}.

2451: Namely

2452: \begin{equation}

2453:   \label{eq:52}

2454:   \begin{aligned}

2455:     \phi_*\colon \herm{\tame{f}{s'}} &\lto \herm{\tame{f}{s}} \\

2456:     h \; &\longmapsto h \cdot \norm{\phi}^2

2457:   \end{aligned}

2458: \end{equation}

2459: where $h$ is a local section of $\herm{\tame{f}{s'}}$, to be

2460: identified with one of $\she[0]{U,+}$ and $\norm{\phi}$ is the

2461: length of the non-vanishing section $\phi$. We have the following

2462: analog of Proposition~\ref{prop:2}:

2463: \begin{proposition}

2464:   \label{prop:4}

2465:   The class of the gerbe $\gerbe{C}$ underlying the symbol

2466:   $\tame{f}{L}$ with hermitian structure defined by

2467:   eqs.~\eqref{eq:51} and~\eqref{eq:52} is given by the product

2468:   \begin{math}

2469:     \tamehh{f}{L}

2470:   \end{math}

2471:   in the group

2472:   \begin{math}

2473:     \HHH^3\bigl(X,\ZZ(1)_X \to \sho{X} \to \she[0]{X}\bigr) \iso

2474:     \dhhH[3]{X}{1}\,.

2475:   \end{math}

2476: \end{proposition}

2477: \begin{proof}

2478:   We need to find the class of the $\gerbe{C}$ as in the proof of

2479:   Thm.~\ref{thm:1} and show it coincides with $\tamehh{f}{L}$ as

2480:   computed in eq.~\eqref{eq:41}. To this end, let us use the

2481:   decomposition of $\gerbe{C}$ given by the objects

2482:   $\tame{f}{s_i}$ and morphisms

2483:   \begin{math}

2484:     \phi_{ij} = \lbrace \log_i f,g_{ij} \rbrace \colon

2485:     \tame{f}{s_j} \to \tame{f}{s_i}

2486:   \end{math}

2487:   for non vanishing sections $s_i\in L\vert_{U_i}$, as before.

2488:   The class of $\gerbe{C}$ (without extra structures) is

2489:   represented by the cochain $g^{-m_{ij}}_{jk}$ already appearing

2490:   in eq.~\eqref{eq:50}.

2491:   

2492:   Furthermore, in the hermitian Deligne torsor $\tame{f}{g_{ij}}$

2493:   over $U_{ij}$ the logarithm of the length of the section

2494:   \begin{math}

2495:     \phi_{ij} = \lbrace \log_i f,g_{ij} \rbrace

2496:   \end{math}

2497:   is given by

2498:   \begin{displaymath}

2499:     \sigma_{ij} \coin

2500:     \onehalf \log \norm{\phi_{ij}}^2 \coin

2501:     \onehalf \log\rho_{ij} =

2502:     -\frac{1}{\tate}\,\pi_1(\log_i\! f) \log\abs{g_{ij}}\,,

2503:   \end{displaymath}

2504:   cf.~eq.~\eqref{eq:27}. Thus we have found the total cocycle

2505:   representing $\tamehh{f}{L}$ as in eq.~\eqref{eq:41}. Indeed,

2506:   by computing the \cech\ coboundary we find

2507:   \begin{displaymath}

2508:     \sigma_{ij} -\sigma_{ik} +\sigma_{jk}

2509:     = -m_{ij} \log \abs{g_{jk}}\,,

2510:   \end{displaymath}

2511:   as desired.

2512: \end{proof}

2513: 

2514: 

2515: \subsection{Hermitian 2-Gerbes}

2516: \label{sec:herm-2-gerbes}

2517: 

2518: Let us briefly extend the considerations outlined in the previous

2519: sections to $2$-gerbes over $X$ bound by $\sho{X}^\unit$.  (An

2520: extended exposition of the local geometry of $2$-gerbes is to be

2521: found in ref.~\cite{MR95m:18006}. See also \cite{brymcl:deg4_I}

2522: for the abelian case.)

2523: 

2524: Recall that a $2$-gerbe $\twogerbe{G}$ over $X$ bound by a sheaf

2525: of \emph{abelian groups} $\sheaf{H}$ is a fibered $2$-category

2526: over $X$ which satisfies the $2$-descent condition for objects,

2527: and such that for any two objects $P$ and $Q$ in the fiber

2528: $2$-category $\twogerbe{G}_U$ over $U\subset X$ the fibered

2529: category $\sheafhom (P,Q)$ is a stack. If fact, this fibered

2530: category turns out to be an $\sheaf{H}$-gerbe equivalent to the

2531: neutral one $\tors{\sheaf{H}}$. The properties of interest to us

2532: are the following: $\twogerbe{G}$ is \emph{locally non-empty,}

2533: namely there is a cover $\cover{U}_X$ of $X$ such that for

2534: $U\subset X$ in the cover, the object set of $\twogerbe{G}_U$ is

2535: non-empty; $\twogerbe{G}$ is \emph{locally connected,} namely any

2536: two objects can be connected by a weakly invertible $1$-arrow

2537: (that is, invertible up to a $2$-arrow); any two $1$-arrows can

2538: be (locally) joined by a $2$-arrow; finally, for every $1$-arrow

2539: its automorphism group is isomorphic in a specified way to

2540: $\sheaf{H}$.

2541: 

2542: Once the appropriate notion of isomorphism for $2$-gerbes is

2543: introduced, isomorphism classes of $2$-gerbes bound by

2544: $\sheaf{H}$ are classified by the sheaf cohomology group

2545: \begin{math}

2546:   H^3(X,\sheaf{H})\,,

2547: \end{math}

2548: see, e.g. refs.~\cite{MR95m:18006,brymcl:deg4_I}.

2549: 

2550: In what follows, we shall set $\sheaf{H}=\sho{X}^\unit$. Hence we

2551: can rephrase the previous statement by saying that isomorphism

2552: classes of $2$-gerbes bound by $\sho{X}^\unit$ are classified by

2553: the group

2554: \begin{displaymath}

2555:   H^3(X,\sho{X}^\unit) \iso \delH[4]{X}{\ZZ}{1}\,.

2556: \end{displaymath}

2557: 

2558: We shall need the local calculation leading to the

2559: classification, so we recall it here. Given a $2$-gerbe

2560: $\twogerbe{G}$, let us choose a decomposition by selecting a

2561: cover $\cover{U}_X$ of $X$ and a collection of objects $P_i$ in

2562: $\twogerbe{G}_{U_i}$. There is a $1$-arrow

2563: \begin{displaymath}

2564:   f_{ij}\colon P_j\to P_i

2565: \end{displaymath}

2566: between their restrictions to $\twogerbe{G}_{U_{ij}}$.

2567: Furthermore, from the axioms there is a $2$-arrow

2568: \begin{displaymath}

2569:   \alpha_{ijk} \colon f_{ij}\circ f_{jk} \Longrightarrow f_{ik}\,.

2570: \end{displaymath}

2571: Further restricting over a $4$-fold intersection

2572: $U_{ijkl}$, we have two $1$-arrows

2573: \begin{math}

2574:   f_{ij}\circ f_{jk}\circ f_{kl}\colon P_l\to P_i

2575: \end{math}

2576: and

2577: \begin{math}

2578:   f_{il}\colon P_l\to P_i

2579: \end{math}

2580: and between them \emph{two} $2$-arrows, namely

2581: \begin{math}

2582:   \alpha_{ijl} \circ (\Id_{f_{ij}} * \alpha_{jkl})

2583: \end{math}

2584: and

2585: \begin{math}

2586:   \alpha_{ikl} \circ (\alpha_{ijk} * \Id_{f_{kl}})\,.

2587: \end{math}

2588: Since $2$-arrows are strictly invertible, it follows again from

2589: the axioms that there exists a section $h_{ijkl}$ of

2590: $\sho{X}^\unit$ over $U_{ijkl}$ such that

2591: \begin{equation}

2592:   \label{eq:57}

2593:   \alpha_{ijl} \circ (\Id_{f_{ij}} * \alpha_{jkl})

2594:   = h_{ijkl}\circ

2595:   \alpha_{ikl} \circ (\alpha_{ijk} * \Id_{f_{kl}})\,.

2596: \end{equation}

2597: This section is a $3$-cocycle and the assignment $\twogerbe{G}

2598: \mapsto [h]$ gives the classification isomorphism.

2599: 

2600: In analogy with what was previously done for gerbes, we are going

2601: to define a notion of hermitian structure and of type $(1,0)$

2602: \emph{connectivity} for $2$-gerbes on $X$ bound by

2603: $\sho{X}^\unit$. Brylinski and McLaughlin defined a \emph{concept

2604:   of connectivity} on a $2$-gerbe $\twogerbe{G}$ over $X$ to be

2605: the datum of a compatible class of connective structures on the

2606: gerbes

2607: \begin{math}

2608:   \sheafhom_U (P,Q)

2609: \end{math}

2610: for two objects $P$, $Q$ in the fiber $\twogerbe{G}_U$. It is

2611: possible to introduce several variants of this notion, as done in

2612: refs.~\cite{brymcl:deg4_I,brymcl:deg4_II}. Thus a type $(1,0)$

2613: connectivity will just be the requirement that these connective

2614: structures take their values in 

2615: \begin{math}

2616:   F^1\!\sha[1]{X}-\text{torsors.}

2617: \end{math}

2618: 

2619: Let us model the concept of hermitian structure on a $2$-gerbe

2620: after the one for gerbes given above in definition~\ref{def:2}. 

2621: \begin{definition}

2622:   \label{def:5}

2623:   A \emph{hermitian structure} on a $\sho{X}^\unit$-$ 2$-gerbe

2624:   $\twogerbe{G}$ over $X$ consists of the following data.

2625:   \begin{enumerate}

2626:   \item To each object $P$ in the fiber $2$-category

2627:     $\twogerbe{G}_U$ over $U\subset X$ we assign a

2628:     $\she[0]{U,+}$-gerbe $\herm{P}$ over $U$. (As before,

2629:     $\she[0]{U,+}$ is the sheaf of real positive functions on

2630:     $U$.) 

2631:   \item This assignment must be compatible with the inverse image

2632:     $2$-functors

2633:     \begin{math}

2634:       i^*\colon \twogerbe{G}_U \to \twogerbe{G}_V\,,

2635:     \end{math}

2636:     natural transformations 

2637:     \begin{math}

2638:       \varphi_{i,j}\colon j^*i^* \Rightarrow (ij)^*

2639:     \end{math}

2640:     and modifications 

2641:     \begin{math}

2642:       \alpha_{i,j,k} \colon

2643:       \varphi_{ij,k} \circ (h^* * \varphi_{i,j})

2644:       \Rrightarrow

2645:       \varphi_{i,jk} \circ (\varphi_{j,k} * i^*)

2646:     \end{math}

2647:     arising from the inclusions

2648:     \begin{math}

2649:       i\colon V\hookrightarrow U,

2650:     \end{math}

2651:     \begin{math}

2652:       j\colon W\hookrightarrow V,

2653:     \end{math}

2654:     and

2655:     \begin{math}

2656:       k\colon Z\hookrightarrow W,

2657:     \end{math}

2658:     in the cover $\cover{U}_X$.

2659:   \item For each $1$-arrow $f\colon P\to Q$ in $\twogerbe{G}_U$ a

2660:     corresponding equivalence 

2661:     \begin{math}

2662:       f_*\colon \herm{P}\to \herm{Q}

2663:     \end{math}

2664:     of $\she[0]{U,+}$-gerbes. For each $2$-arrow

2665:     \begin{math}

2666:       \alpha \colon f \Rightarrow f'

2667:     \end{math}

2668:     a corresponding natural transformation

2669:     \begin{math}

2670:       \alpha_*\colon f_*\Rightarrow f'_*

2671:     \end{math}

2672:     between equivalences. We ask that this correspondence be

2673:     compatible with compositions of $1$- and $2$-arrows. Namely,

2674:     for $1$-arrows $f,f'\colon P \to Q$ and $g,g'\colon Q\to R$

2675:     and for $2$-arrows

2676:     \begin{math}

2677:       \alpha\colon f\Rightarrow f'

2678:     \end{math}

2679:     and

2680:     \begin{math}

2681:       \beta\colon g\Rightarrow g'

2682:     \end{math}

2683:     in $\twogerbe{G}_U$, which we compose as

2684:     \begin{math}

2685:       \beta *\alpha \colon g\circ f \Rightarrow g'\circ f',

2686:     \end{math}

2687:     we find a diagram of natural transformations

2688:     \begin{equation}

2689:       \label{eq:59}

2690:       \xymatrix@!C{%

2691:         g_*\circ f_* \ar@{=>}[d]_{\beta_* *\alpha_*}

2692:         \ar@{=>}[r]^{\varepsilon(f,g)}

2693:         & (g\circ f)_* \ar@{=>}[d]^{(\beta *\alpha)_*} \\

2694:         g'_*\circ f'_* \ar@{=>}[r]_-{\varepsilon(f',g')}

2695:         & (g'\circ f')_*

2696:       }

2697:     \end{equation}

2698:     of equivalences between the $\she[0]{U,+}$-gerbes $\herm{P}$

2699:     and $\herm{R}$ on $U\subset X.$

2700:   \item From the axioms, the group of automorphisms of a

2701:     $1$-arrow $f\colon P\to Q$ in $\twogerbe{G}_U$ is identified

2702:     with $\sho{U}^\unit$. It follows that such an automorphism

2703:     $\alpha$ (that is, a $2$-arrow from $f$ to itself) can be

2704:     identified with a section $a\in \sho{U}^\unit$. We then

2705:     require that the induced natural isomorphism

2706:     \begin{displaymath}

2707:       \alpha_* \colon f_* \Longrightarrow f_*\,, \quad

2708:       \text{where} \;

2709:       f_* \colon \herm{P} \lto \herm{Q}

2710:     \end{displaymath}

2711:     be identified with a section of $\she[0]{U,+}$ via the map

2712:     \begin{equation}

2713:       \label{eq:61}

2714:       a \longmapsto \abs{a}^2

2715:     \end{equation}

2716:     and an appropriate labeling of $\herm{P}$ and $\herm{Q}$ by

2717:     objects $r$ and $s$, respectively. In more detail, given an

2718:     arrow $f_*(r) \to s$ in $\herm{Q}$, the action of $\alpha$

2719:     via $\alpha_*$ will amount to an automorphism of $s$. We

2720:     require that it be $\abs{a}^2$.

2721:   \end{enumerate}

2722: \end{definition}

2723: \begin{remark}

2724:   The abstract nonsense of definition~\ref{def:5} could have more

2725:   succinctly characterized by saying that the correspondence

2726:   $\herm{\cdot}$ realizes a Cartesian $2$-functor between

2727:   $\twogerbe{G}$ and the $2$-gerbe

2728:   $\gerbes{\she[0]{X,+}}$ on $X$, shifting to the

2729:   reader the burden of unraveling the diagrams.

2730: \end{remark}

2731: We have the following analog of theorem~\ref{thm:1}:

2732: \begin{theorem}

2733:   \label{thm:3}

2734:   Isomorphism classes of $\sho{X}^\unit$-$2$-gerbes with

2735:   hermitian structure in the sense of definition~\ref{def:5} are

2736:   classified by the group

2737:   \begin{displaymath}

2738:     \HHH^4 \bigl(X,

2739:     \ZZ(1)_X \to \sho{X} \to \she[0]{X}\bigr)\iso \dhhH[4]{X}{1}\,.

2740:   \end{displaymath}

2741: \end{theorem}

2742: \begin{proof}

2743:   Let $\twogerbe{G}$ be a $\sho{X}^\unit$-$2$-gerbe on $X$ with

2744:   hermitian structure as per definition~\ref{def:5}. Forgetting

2745:   the hermitian structure, $\twogerbe{G}$ will determine a class

2746:   in the group

2747:   \begin{math}

2748:     \delH[4]{X}{\ZZ}{1} \iso H^3(X,\sho{X}^\unit),

2749:   \end{math}

2750:   and we have briefly recalled before --- cf. eq.~\eqref{eq:57}

2751:   --- how to obtain a $3$-cocycle representing the class

2752:   of~$\twogerbe{G}$.

2753:   

2754:   To obtain the rest of the cocycle with values in the complex

2755:   \begin{math}

2756:     \ZZ(1)_X \to \sho{X} \to \she[0]{X}

2757:   \end{math}

2758:   let us make the same choice for a decomposition of

2759:   $\twogerbe{G}$ with respect to the cover $\cover{U}_X$: a

2760:   collection of objects $P_i$ in $\twogerbe{G}_{U_i}$, $1$-arrows

2761:   $f_{ij} \colon P_j\to P_i$ between their restrictions and

2762:   $2$-arrows

2763:   \begin{math}

2764:     \alpha_{ijk}\colon f_{ij}\circ f_{jk} \Rightarrow f_{ik}\,.

2765:   \end{math}

2766:     

2767:   We shall also need a decomposition of the

2768:   $\she[0]{U_i,+}$-gerbes $\herm{P_i}$: to this end let us choose

2769:   objects $r_i$ over $U_i$ and arrows

2770:   \begin{math}

2771:     \xi_{ij}\colon (f_{ij})_*(r_j)\to r_i

2772:   \end{math}

2773:   between their restriction to $U_{ij}$.

2774:   

2775:   Let us consider a triple of objects $P_i, P_j, P_k$ over

2776:   $U_{ijk}$. (we are implicitly restricting to the fiber

2777:   $2$-category $\twogerbe{G}_{U_{ijk}}$.) We obtain the following

2778:   diagram in $\herm{P_i}\rvert_{U_{ijk}}$:

2779:   \begin{equation}

2780:     \label{eq:58}

2781:     \xymatrix@!C{%

2782:       (f_{ij})_* (f_{jk})_* (r_k) \ar[d]

2783:       \ar[r]^-{(f_{ij})_* (\xi_{jk})}

2784:       & (f_{ij})_*(r_j) \ar[d]^{\xi_{ij}} \\

2785:       (f_{ik})_* (r_k) \ar[r]_{\xi_{ik}}

2786:       & r_i \ar @(dr,ur)_{\rho_{ijk}}

2787:     }

2788:   \end{equation}

2789:   The left vertical arrow in~\eqref{eq:58} results from the

2790:   composition of two-arrows

2791:   \begin{displaymath}

2792:     \xymatrix@!C{%

2793:       (f_{ij})_* \circ (f_{jk})_*

2794:       \ar@{=>}[r]^{\varepsilon_{ijk}}

2795:       & (f_{ij}\circ f_{jk})_*

2796:       \ar@{=>}[r]^{(\alpha_{ijk})_*}

2797:       & (f_{ik})_*}

2798:   \end{displaymath}

2799:   resulting from diagram~\eqref{eq:59} in definition~\ref{def:5}.

2800:   At the level of objects in the gerbe $\herm{P_i}$

2801:   diagram~\eqref{eq:59} is of course not commutative, so we

2802:   obtain a section $\rho_{ijk}\in \aut{r_i}$, which we can

2803:   identify with a section of the sheaf $\she[0]{U,+}$ over

2804:   $U_{ijk}$.

2805:   

2806:   Now consider a four-fold intersection $U_{ijkl}$: we have a

2807:   cube determined by the objects $r_i,\dots, r_l$ whose faces are

2808:   built from copies of \eqref{eq:58}. Since this cube brings in

2809:   the relation~\eqref{eq:57}, using the mapping of the

2810:   $\sho{X}^\unit$ action spelled out in the last point in

2811:   definition~\ref{def:5}, we get the relation

2812:   \begin{equation}

2813:     \label{eq:60}

2814:     \rho^{\phantom{-1}}_{jkl}\,

2815:     \rho^{-1}_{ikl}\,

2816:     \rho^{\phantom{-1}}_{ijl}\,

2817:     \rho^{-1}_{ijk}

2818:     = \abs{h_{ijkl}}^2

2819:   \end{equation}

2820:   which, after taking the appropriate logarithms, defines a

2821:   \cech\ cocycle representing a class in

2822:   \begin{displaymath}

2823:     \Check\HHH ^4\bigl(\cover{U}_X, \ZZ(1)_X \to \sho{X} \to

2824:     \she[0]{X}\bigr)\,.

2825:   \end{displaymath}

2826:   Details (and diagram chasing) are straightforward and left to

2827:   the reader.

2828: 

2829:   Conversely, let us be given a class in 

2830:   \begin{displaymath}

2831:     \HHH^4 \bigl(X,

2832:     \ZZ(1)_X \to \sho{X} \to \she[0]{X}\bigr)

2833:     \iso

2834:     \HHH^3 \bigl(X,

2835:     \sho{X}^\unit \overset{\abs{\cdot}}{\to} \she[0]{X,+}

2836:     \bigr) \,,

2837:   \end{displaymath}

2838:   and let us assume it is represented by the (multiplicative)

2839:   \cech\ cocycle

2840:   \begin{math}

2841:     \bigl(h_{ijkl},\rho_{ijk}\bigr)\,.

2842:   \end{math}

2843:   Let just explain the construction of a corresponding $2$-gerbe

2844:   with hermitian structure (up to equivalence). Again, details

2845:   will be left to the reader.

2846: 

2847:   We first apply the map

2848:   \begin{displaymath}

2849:     \bigl(\ZZ(1)_X \to \sho{X} \to \she[0]{X}\bigr)

2850:     \lto \bigl( \ZZ(1)_X \to \sho{X} \bigr)

2851:   \end{displaymath}

2852:   to the representative \cech\ cocycle to reconstruct a

2853:   $\sho{X}^\unit$-$2$-gerbe $\twogerbe{G}$ according to

2854:   refs.~\cite{MR95m:18006,brymcl:deg4_I,brymcl:deg4_II}. Recall

2855:   that this is accomplished by gluing the local stacks

2856:   \begin{math}

2857:     \gerbes{\sho{U_i}^\unit}

2858:   \end{math}

2859:   using $h_{ijkl}$. Secondly, we define a hermitian structure as

2860:   follows.  Assign to any object $P_i$ over $U_i$ of the

2861:   so-determined $2$-gerbe $\twogerbe{G}$ the trivial

2862:   $\she[0]{U_i,+}$-gerbe $\herm{P_i}=\tors{\she[0]{U_i,+}}$. For

2863:   a triple of such on $U_{ijk}$ we use $\rho_{ijk}\in

2864:   \she[0]{U_i,+}\vert_{U_{ijk}}$ as an automorphism of an object

2865:   $r_i$ in $\herm{P_i}$.

2866: 

2867:   Checking that this structure satisfies the properties in

2868:   definition~\ref{def:5} and it defines a $2$-gerbe with

2869:   hermitian structure whose class is the one we started with is

2870:   modeled after the pattern of refs.~\cite{MR95m:18006}

2871:   and~\cite{bry:loop} and it will be left to the reader.

2872: \end{proof}

2873: 

2874: As mentioned before, a connectivity on a

2875: $\sho{X}^\unit$-$2$-gerbe is in practice the assignment of

2876: compatible connective structures on the local gerbes of

2877: morphisms. We have the following definition (see also

2878: \cite[sect.~7]{bry:quillen}, for the first part):

2879: \begin{definition}

2880:   \label{def:6}

2881:   Let $\twogerbe{G}$ be a $\sho{X}^\unit$-$2$-gerbe on $X$.

2882:   \begin{enumerate}

2883:   \item A type $(1,0)$ \emph{concept of connectivity} on

2884:     $\twogerbe{G}$ is the assignment of a $F^1\!\sha[1]{U}$-gerbe

2885:     $\conn{P}$ to each object $P$ in $\twogerbe{G}_U$. This

2886:     assignment will have to satisfy properties analogous to those

2887:     of definition~\ref{def:5}. Of course, in the last condition,

2888:     the map~\eqref{eq:61} will have to be replaced by

2889:     \begin{math}

2890:       a\mapsto d\log a\,.

2891:     \end{math}

2892:   \item A type $(1,0)$ concept of connectivity is

2893:     \emph{compatible} with a hermitian structure if for each

2894:     object $P$ of $\twogerbe{G}_U$ there is an equivalence of

2895:     gerbes

2896:     \begin{displaymath}

2897:       \herm{P} \lto \conn{P}

2898:     \end{displaymath}

2899:     satisfying the obvious compatibility conditions with the

2900:     operations of $\twogerbe{G}_U$ and the restrictions.

2901:   \end{enumerate}

2902: \end{definition}

2903: The proof of the following theorem can be patterned after an

2904: appropriate generalization of the proof of Theorem~\ref{thm:2},

2905: so we shall omit it.

2906: \begin{theorem}

2907:   \label{thm:4}

2908:   Let $\twogerbe{G}$ be a $\sho{X}^\unit$-$2$-gerbe with

2909:   hermitian structure and let $\dhh{1}$ be the complex given

2910:   by~\eqref{eq:15} for $l=1$. Equivalence classes of type

2911:   $(1,0)$ connectivities on $\twogerbe{G}$ compatible with the

2912:   given hermitian structure are classified by the group

2913:   \begin{displaymath}

2914:     \HHH^4 \bigl(X,\dhh{1}\bigr)\,.

2915:   \end{displaymath}

2916:   Furthermore, the equivalence class is unique.

2917: \end{theorem}

2918: 

2919: 

2920: \subsection{The symbol $\tamehh{L}{L'\,}$}

2921: \label{sec:symbol-tamehhll}

2922: 

2923: We have seen that given two line bundles $L$ and $L'$ over $X$

2924: their cup product $\tamehh{L}{L'}$ defines a class in

2925: $\dhhH[4]{X}{1}$. According to Theorem~\ref{thm:3} it corresponds

2926: to an equivalence class of $2$-gerbes with hermitian structure.

2927: Using the obvious maps of complexes $\dhh{1}\to \deligne{\ZZ}{1}$

2928: and $\deligne{\ZZ}{2}\to \deligne{\ZZ}{1}$, the geometric

2929: $2$-gerbe $\twogerbe{G}$ that underlies $\tamehh{L}{L'}$ is the

2930: same one as for the standard symbol $\tame{L}{L'}$ constructed by

2931: Brylinski and McLaughlin.

2932: 

2933: Recall (see ref.~\cite{brymcl:deg4_II} for more details) that

2934: objects of $\twogerbe{G}$ underlying $\tame{L}{L'}$ over

2935: $U\subset X$ are the non-vanishing sections $s$ of $L\vert_U$,

2936: denoted $\tame{s}{L}$. Given another non vanishing section $s'\in

2937: L\lvert_U$ we have $s'=sg$ for an invertible function $g$ over

2938: $U$. Then the category of morphisms from $\tame{s'}{L}$ to

2939: $\tame{s}{L}$ is the \emph{gerbe} $\tame{g}{L}$ defined in

2940: section~\ref{sec:tame-symbol-tamehhfl}. For a third non vanishing

2941: section $s''$ of $L$ over $U$, with $s''=s'\, g'$, the morphism

2942: composition functor is given by the equivalence

2943: \begin{displaymath}

2944:   \tame{g}{L'}\otimes \tame{g'}{L} \lto \tame{gg'}{L}

2945: \end{displaymath}

2946: where on the left hand side we have the contracted product of two

2947: (abelian) gerbes. To be precise, it turns out that $\twogerbe{G}$

2948: is an appropriate ``$2$-stackification'' of the $2$-pre-stack

2949: defined here.

2950: 

2951: A calculation in ref.~\cite{brymcl:deg4_II} shows that with

2952: respect to the trivializations $\lbrace g_{ij}\rbrace$ and

2953: $\lbrace g'_{ij}\rbrace$ of $L$ and $L'$, respectively, the class

2954: of $\twogerbe{G}$ is represented by the cocycle

2955: \begin{math}

2956:   {g'_{kl}}^{-c_{ijk}}\in \sho{X}^\unit(U_{ijkl})\,,

2957: \end{math}

2958: where the cocycle $c_{ijk}$ represents $c_1(L)$.

2959: 

2960: We can define a hermitian structure on $\twogerbe{G}$ as

2961: follows.  To an object $\tame{s}{L'}$ of $\twogerbe{G}_U$ we

2962: assign 

2963: \begin{equation}

2964:   \label{eq:62}

2965:   \tame{s}{L'} \rightsquigarrow

2966:   \herm{\tame{s}{L'}} = \text{trivial $\she[0]{U,+}$-gerbe.}

2967: \end{equation}

2968: Furthermore, as remarked above we have

2969: \begin{math}

2970:   \sheafhom_U \bigl(\tame{s'}{L'},\tame{s}{L'}\bigr)

2971:   \iso \tame{g}{L'}\,.

2972: \end{math}

2973: Thus we set

2974: \begin{equation}

2975:   \label{eq:63}

2976:   \sheafhom_U \bigl(

2977:   \herm{\tame{s'}{L'}},\herm{\tame{s}{L'}}

2978:   \bigr)

2979:   = \tamehh{g}{L'}\,,

2980: \end{equation}

2981: where on the right hand side we use the hermitian structure on

2982: the gerbe $\tame{g}{L'}$ as defined in

2983: section~\ref{sec:tame-symbol-tamehhfl}. On the left hand side

2984: of~\eqref{eq:63} we have the equivalences of the two

2985: $\she[0]{U,+}$-gerbes.

2986: 

2987: The proof of the following proposition is a straightforward

2988: generalization of the one for proposition~\ref{prop:4}.

2989: \begin{proposition}

2990:   The class of the $\sho{X}^\unit$-$2$-gerbe $\twogerbe{G}$

2991:   underlying the symbol $\tame{L}{L'}$ with hermitian structure

2992:   defined by eqs.~\eqref{eq:62} and~\eqref{eq:63} is given by

2993:   the product $\tamehh{L}{L'}$ in the group

2994:   \begin{math}

2995:     \HHH^4\bigl(X,\ZZ(1)_X \to \sho{X} \to \she[0]{X}\bigr) \iso

2996:     \dhhH[4]{X}{1}\,.

2997:   \end{math}

2998: \end{proposition}

2999: 

3000: 

3001: \subsection{Comparisons and relations with other definitions}

3002: \label{sec:comp-relat-with}

3003: 

3004: Recall from refs.\ \cite{brymcl:deg4_I,brymcl:deg4_II}, that

3005: analytic connective structures on gerbes with band

3006: $\sho{X}^\unit$ are classified by the group

3007: $\delH[3]{X}{\ZZ}{2}$. Similarly, for $2$-gerbes with the same

3008: band, the relevant group is $\delH[4]{X}{\ZZ}{2}$. In the

3009: previous sections we have introduced hermitian structures and

3010: type-$(1,0)$ connective structures on gerbes and $2$-gerbes with

3011: band $\sho{X}^\unit$. We define the concept of compatibility

3012: analogously to the case of line bundles in sect.\

3013: \ref{sec:comparisons} as follows.

3014: 

3015: Let $\gerbe{G}$ be a $\sho{X}^\unit$-gerbe on $X$. Let

3016: $\conn{\cdot}^\mathit{an}$ be a (holomorphic) connective structure on

3017: $\gerbe{G}$ in the sense of refs.\

3018: \cite{brymcl:deg4_I,brymcl:deg4_II}, and let $\conn{\cdot}^h$ be a

3019: connective structure \emph{on the same gerbe} in the sense of

3020: sect.\ \ref{sec:herm-conn-struct}.

3021: 

3022: The relevant group classifying $\gerbe{G}$ equipped with both

3023: types of connections is therefore $\HHH^3(X,

3024: \Tilde{\Gamma}(2)^\bullet)$, where the complex

3025: $\Tilde{\Gamma}(2)^\bullet$ has been introduced in sect.\

3026: \ref{sec:comparisons}.

3027: \begin{definition}

3028:   \label{def:7}

3029:   We say that $\conn{\cdot}^\mathit{an}$ and

3030:   $\conn{\cdot}^\mathit{h}$ are \emph{compatible} if for any

3031:   object $P$ of $\gerbe{G}_U$, $U\subset X$, there is an

3032:   isomorphism of torsors $\conn{P}^\mathit{an}\iso

3033:   \conn{P}^\mathit{h}$ (after lambda-extension of

3034:   $\conn{P}^\mathit{an}$ from $\shomega[1]{U}$ to

3035:   $\sha[1,0]{U}$.)

3036: \end{definition}

3037: Similarly, if $\twogerbe{G}$ is a $\sho{X}^\unit$-$2$-gerbe on

3038: $X$, carrying both types of connective structures, its class is

3039: an element of the group $\HHH^4(X,

3040: \Tilde{\Gamma}(2)^\bullet)$. We can also repeat the above

3041: definition, taking care that now for any object of $\twogerbe{G}$

3042: over $U\subset X$, $\conn{P}^\mathit{an}\iso \conn{P}^\mathit{h}$

3043: must be an equivalence of gerbes.

3044: 

3045: The next lemma immediately follows from the definitions.

3046: \begin{lemma} Let $\Gamma(2)^\bullet$ be the complex defined in

3047:   sect.\ \ref{sec:comparisons}.

3048:   \begin{enumerate}

3049:   \item Classes of $\sho{X}^\unit$-gerbes with compatible

3050:     connective structures in the sense of definition \ref{def:7}

3051:     are classified by the elements of the group $\HHH^3(X, \Gamma

3052:     (2)^\bullet)$.

3053:   \item Similarly, classes of $\sho{X}^\unit$-$2$-gerbes with

3054:     compatible connective structures are classified by $\HHH^4(X,

3055:     \Gamma (2)^\bullet)$.

3056:   \end{enumerate}

3057: \end{lemma}

3058: 

3059: \subsubsection{Compatibility and flatness conditions}

3060: \label{sec:flatness-conditions}

3061: 

3062: While these definitions seem to follow the pattern of line

3063: bundles analyzed in sect.\ \ref{sec:comparisons}, there in an

3064: important difference, namely gerbes (or $2$-gerbes) satisfying

3065: the compatibility condition of definition~\ref{def:7} are

3066: \emph{not necessarily flat!} Moreover, in the present framework

3067: the compatibility condition is less special than it was seen in

3068: the case of line bundles.  This is can be seen by way of the

3069: following cohomological argument.

3070: 

3071: The complex $\Gamma (2)^\bullet$ introduced in sect.\

3072: \ref{sec:comparisons} is easily seen to be a quotient of the

3073: complex $\dhh{2}$:

3074: \begin{equation*}

3075:   \dhh{2} \lto \Gamma (2)^\bullet \lto 0\,.

3076: \end{equation*}

3077: The kernel is complicated, but up to quasi-isomorphism, it can be

3078: reduced (by direct computation) to the one-element complex

3079: $\she[2]{X}(1)\cap \sha[1,1]{X}[-4]$ so that we have the

3080: triangle:

3081: \begin{equation*}

3082:   \she[2]{X}(1)\cap \sha[1,1]{X}[-4] \lto

3083:   \dhh{2} \lto \Gamma (2)^\bullet \overset{+1}{\lto}

3084: \end{equation*}

3085: Focusing our attention to degree $3$ and $4$, we get the  sequence:

3086: \begin{equation*}

3087:   0 \to H^2 (X, \RR(2)/\ZZ(2))\to

3088:   \HHH^3 (X, \Gamma (2)^\bullet)

3089:   \to E^2(X)(1)\cap A^{1,1}(X) \to \dhhH[4]{X}{2} \to

3090:   \HHH^4 (X, \Gamma (2)^\bullet)\to 0\,,

3091: \end{equation*}

3092: where we have used lemma~\ref{lem:2}.  Moreover, the exact

3093: sequence from the proof of lemma~\ref{lem:4} relating

3094: $\Tilde{\Gamma}(2)^\bullet$ to $\Gamma (2)^\bullet$ yields the

3095: following completion of~\eqref{eq:64}:

3096: \begin{gather*}

3097:   0\to H^1(X,\RR(2)/\ZZ(2)) \to 

3098:   \pic (X,\nabla,h) \to E^1(X)(1) \to

3099:   \HHH^3 (X, \Gamma (2)^\bullet) \to

3100:   \HHH^3 (X, \Tilde{\Gamma} (2)^\bullet) \to 0\\

3101:   \intertext{and}

3102:   \HHH^4 (X, \Gamma (2)^\bullet) \xrightarrow{\iso}

3103:   \HHH^4 (X, \Tilde{\Gamma} (2)^\bullet)\,,

3104: \end{gather*}

3105: where we have used that $\she[1]{X}(1)$ is soft. In summary we have:

3106: \begin{proposition}

3107:   \label{prop:6}

3108:   \hfill

3109:   \begin{enumerate}

3110:   \item The class of a $\sho{X}^\unit$-gerbe supporting both

3111:     types of connective structures can be lifted to a class of

3112:     compatible connective structures on a (possibly equivalent)

3113:     gerbe.

3114:   \item A $\sho{X}^\unit$-gerbe with compatible connective

3115:     structures is flat if the (trivial) $(1,1)$-curving is zero

3116:     (cf.\ sect.\ \ref{sec:herm-conn-struct}, remarks~\ref{rem:1}

3117:     and~\ref{rem:2}.)

3118:   \item A $\sho{X}^\unit$-$2$-gerbe supporting both types of

3119:     connective structures is equivalent to a $2$-gerbe with

3120:     compatible connective structures. Its class can be lifted to

3121:     $\dhhH[4]{X}{2}$

3122:   \end{enumerate}

3123: \end{proposition}

3124: 

3125: 

3126: \subsubsection{Comparing $\protect\tame{f}{L}$ and

3127:   $\protect\tame{L}{L'}$ with their hermitian variants}

3128: \label{sec:comp-prot-prot}

3129: 

3130: The higher symbols $\tame{f}{L}$ and $\tamehh{f}{L}$ have the

3131: same underlying gerbe, and similarly $\tame{L}{L'}$ and

3132: $\tamehh{L}{L'}$ determine the same $2$-gerbe. Let us denote

3133: them, respectively, by $\tameg{f}{L}$ and

3134: $\tameg{L}{L'}$. By construction, they determine classes in

3135: $\HHH^3(X,\Tilde{\Gamma}(2)^\bullet)$ and

3136: $\HHH^4(X,\Tilde{\Gamma}(2)^\bullet)$, respectively.

3137: The proposition specializes to this case as follows:

3138: \begin{corollary}

3139:   The connective structures $\conn{\cdot}^{\mathit{an}}$ and

3140:   $\conn{\cdot}^{\mathit{h}}$ on $\tameg{f}{L}$ are compatible

3141:   (up to $\she[1]{U}$-torsor automorphism).

3142: 

3143:   The analytic and hermitian connective structures on the

3144:   $2$-gerbe $\tameg{L}{L'}$ are compatible.

3145: \end{corollary}

3146: \begin{proof}

3147:   The statement follows at once from the calculations preceding

3148:   the proposition.

3149: \end{proof}

3150: \begin{remark}

3151: As an alternative proof of the corollary, note that a calculation

3152: analogous to that of the proof of proposition~\ref{prop:5}

3153: from the cocycle representations~\eqref{eq:39} and~\eqref{eq:41},

3154: yields the $1$-cocycle

3155: \begin{math}

3156:   r_2(f,g_{ij})

3157: \end{math}

3158: with values in $\she[1]{X}(1)$, where $g_{ij}$ are the transition

3159: functions of $L$. This cocycle represents the zero class

3160: (softness of $\she[1]{X}(1)$), therefore

3161: \begin{math}

3162:   r_2(f,g_{ij}) = \eta_j-\eta_i\,,

3163: \end{math}

3164: and this choice is determined up to a global section of

3165: $\she[1]{X}(1)$.

3166: 

3167: Similarly, in the case of $\tameg{L}{L'}$ we get the $2$-cocycle

3168: \begin{math}

3169:   r_2(g_{ij},g'_{jk})

3170: \end{math}

3171: which again represents the zero class.

3172: \end{remark}

3173: 

3174: 

3175: \section{Concluding remarks}

3176: \label{sec:conclusions}

3177: 

3178: In this paper we have put forward a definition for the concept of

3179: hermitian structure, and associated compatible connective

3180: structure for gerbes and $2$-gerbes with band $\sho{X}^\unit$. We

3181: have presented classification results in terms of low degree

3182: hermitian holomorphic Deligne cohomology groups. Notable examples

3183: are provided by higher versions of the classical notion of tame

3184: symbol associated to two invertible functions. Indeed, our second

3185: main result that there exists a modified version of the cup

3186: product in low degree Deligne cohomology taking values in the

3187: first hermitian holomorphic Deligne complex, naturally provides

3188: the symbols $\tame{f}{L}$ and $\tame{L}{L'}$ with hermitian

3189: structures according to our definition.

3190: 

3191: Two questions naturally arise. Since $\tame{f}{L}$ and

3192: $\tame{L}{L'}$ also carry an analytic connective structure, we

3193: may ask to what degree the latter and the hermitian one are

3194: compatible. Remark~\ref{rem:3} prompts a second obvious question

3195: regarding the relation between our classification

3196: theorems~\ref{thm:2} and~\ref{thm:4} and others', notably

3197: Brylinski's (\cite[Proposition 6.9 (1)]{bry:quillen}).

3198: 

3199: We have analyzed the compatibility in cohomological terms, first

3200: for line bundles (in the sense of $\sho{X}^\unit$-torsors) and

3201: then for gerbes and $2$-gerbes with band-$\sho{X}^\unit$, with

3202: somewhat surprising results. Whereas the compatibility may be

3203: regarded as exceptional for a line bundle---and it implies its

3204: flatness---it is not so for gerbes (or $2$-gerbes). Thus flatness

3205: is not a necessary condition. In the specific case of the tame

3206: symbols and their generalizations, we have found that while the

3207: compatibility of $\tame{f}{g}$ and $\tamehh{f}{g}$ (that is,

3208: their respective connections) may in general be obstructed,

3209: $\tame{f}{L}$ and $\tamehh{f}{L}$ can always be made compatible,

3210: and $\tame{L}{L'}$ and $\tamehh{L}{L'}$ are automatically so.

3211: 

3212: As for the relation with other notions of ``hermitian gerbe''

3213: with ``hermitian connective structure'' (or $2$-gerbe) there

3214: appear to be subtle differences in the definitions which we can

3215: trace to what aspect of line bundles with connection we decide to

3216: generalize. Our approach has been to copy the concept of

3217: \emph{metrized analytic (or algebraic) line bundle} familiar from

3218: Arakelov geometry (cf.\ ref.\ \cite{lang:arakelov}). On the other

3219: hand, one could describe a metrized $\sho{X}^\unit$-line bundle

3220: by means of the $\TT$-reduction of its associated smooth line

3221: bundle plus a unitary connection. Whereas these two approaches

3222: are equivalent in the case of line bundles, they seem to diverge

3223: as soon as we move on to gerbes. (And possibly matters worsen in

3224: the case of $2$-gerbes.) This may also serve to explain the lack

3225: of uniqueness found by Hitchin's student D.~Chatterjee in his

3226: thesis. Although that school's approach to gerbes lacks the

3227: categorical input (in fact for them a gerbe is just the ``torsor

3228: cocycle'' in the sense of \cite{MR95m:18006}) the definition of

3229: hermitian gerbe is along Brylinski's lines.

3230: 

3231: Another difference is the following.  Our cohomological

3232: characterization via the group $\dhhH[k]{X}{1}\iso \HHH^k(X,

3233: \dhh{1})$, $k=3,4$, involves forms of degree two, which points to

3234: a natural notion of curving naturally associated with the

3235: structures we have defined (cf.\ remarks~\ref{rem:1}

3236: and~\ref{rem:2}). This is obviously absent in the truncated group

3237: in remark~\ref{rem:3}. The cohomological analysis of

3238: sect.~\ref{sec:comp-relat-with}, where the group $\dhhH[4]{X}{2}$

3239: appears, suggests that curvings can be a very nuanced structure,

3240: however dealing with them in detail falls outside the scope of

3241: the present work.

3242: 

3243: We hope to further elucidate matters in the future in another

3244: publication.

3245: 

3246: 

3247: \appendix

3248: 

3249: \section{Remarks on Hodge-Tate structures}

3250: \label{sec:remarks-hodge-tate}

3251: 

3252: The relation between the ``imaginary part'' map made in

3253: sect.~\ref{sec:hermitian-structure} together with the product

3254: \begin{math}

3255:   \deligne{\ZZ}{1}\otimes \deligne{\ZZ}{1}

3256:   \to \tate\otimes\dhh{1}

3257: \end{math},

3258: and the cup product

3259: \begin{math}

3260:   \deligne{\ZZ}{1}\otimes \deligne{\ZZ}{1}

3261:   \to \deligne{\ZZ}{2}

3262: \end{math}

3263: giving rise to the tame symbol becomes more transparent from the

3264: point of view of Hodge-Tate structures.

3265: 

3266: \subsection{A Mixed Hodge Structure}

3267: \label{sec:mixed-hodge-struct}

3268: 

3269: Let us briefly recall the following well known MHS on $\CC^3$,

3270: see \cite{del:symbole,MR95a:19008}. Consider, as before,

3271: \begin{equation}

3272:   \label{eq:29}

3273:   M^{(2)} = 

3274:   \begin{pmatrix}

3275:     1&& \\ x&1&\\ z& y & 1

3276:   \end{pmatrix}

3277: \end{equation}

3278: with complex entries $x,y,z$. Consider also its canonical version

3279: \begin{equation}

3280:   \label{eq:30}

3281:   A^{(2)} = 

3282:   \begin{pmatrix}

3283:     1&& \\ x&\tate &\\ z& \tate\, y & (\tate)^2

3284:   \end{pmatrix}\,.

3285: \end{equation}

3286: The MHS $\hM_{2}$ corresponding to $M^{(2)}$, or more precisely

3287: $A^{(2)}$, comprises the following data. The integer lattice is

3288: the $\ZZ$ span of the columns of $A^{(2)}$, and similarly for

3289: $\QQ$ and $\RR$.  Let $v_0, v_1, v_2$ denote the columns of

3290: $A^{(2)}$ starting from the left. The weight spaces are

3291: \begin{math}

3292:   W_{-2k}\hM^{(2)} = \mathrm{span} \langle v_k,\dotsc,v_2\rangle

3293: \end{math}

3294: (over the appropriate ring), and the Hodge filtration is given by

3295: \begin{math}

3296:   F^{-k}\hM^{(2)}(\CC) = \CC

3297:   \langle e_0,\dotsc,e_k\rangle\,,

3298: \end{math}

3299: where the $e_i$'s are the standard basis vectors in $\CC^2$. The

3300: graded quotients

3301: \begin{math}

3302:   \gr^{W}_{-2k}\hM^{(2)}

3303: \end{math}

3304: are the Tate structures $\ZZ(0)$, $\ZZ(1)$, and $\ZZ(2)$. A

3305: change of the generators $v_i$ preserving the structure clearly

3306: amounts to a change of $A^{(2)}$ by right multiplication by a

3307: lower unipotent matrix over $\ZZ$ (or $\QQ$ or $\RR$). This is

3308: the same as changing $M^{(2)}$ by a matrix in $H_\ZZ$ (or the

3309: appropriate ring thereof) as in sect.~\ref{sec:heisenberg-group}.

3310: \footnote{These data correspond to the case $N=2$ of a MHS on

3311:   $\CC^N$ defined for any integer $N$, cf.  \cite{MR95a:19008}}

3312: 

3313: The real structure underlying $\hM^{(2)}$ is linked to the

3314: hermitian structure on the bundle $H_\CC/H_\ZZ$ as presented in

3315: sect.~\ref{sec:remarks-heis-group}. In \cite{MR95a:19008} the

3316: image of $A^{(2)}$ in $\GL_2(\CC)/\GL_2(\RR)$ is obtained by

3317: computing the matrix

3318: \begin{displaymath}

3319:   B\eqdef A \Bar{A}^{-1}

3320:   \left(

3321:   \begin{smallmatrix}

3322:     1 && \\ & -1 & \\ && 1

3323:   \end{smallmatrix}

3324:   \right)\,,

3325: \end{displaymath}

3326: (we have dropped the superscript $(2)$ for ease of notation).

3327: The logarithm is:

3328: \begin{displaymath}

3329:   \onehalf\log B = 

3330:   \begin{pmatrix}

3331:     1 &&\\ \pi_0(x) & 1 & \\

3332:     \pi_1(z) -\pi_1(x)\pi_0(y)&\pi_0(y) &1

3333:   \end{pmatrix}\,.

3334: \end{displaymath}

3335: We immediately recognize the expression of the hermitian form as

3336: given in sect.~\ref{sec:remarks-heis-group}.

3337: 

3338: 

3339: \subsection{The big period }

3340: \label{sec:big-period}

3341: In ref. \cite{MR99i:19004} Goncharov defines a tensor

3342: \begin{equation*}

3343:   P(\hM) \in \CC\otimes_\QQ\CC

3344: \end{equation*}

3345: associated to a MHS (technically, a framed one) $\hM$.  For the

3346: MHS defined by the period matrix~\eqref{eq:29} it is computed as

3347: follows. Let $f_0, f_1, f_2$ be the dual basis to $v_0,v_1, v_2$.

3348: Then, according to ref. \cite{MR99i:19004},

3349: \begin{displaymath}

3350:   P(\hM^{(2)}) = \sum_{k} \langle f_2, M^{(2)} v_k \rangle

3351:   \otimes_\QQ

3352:   \langle f_k, {M^{(2)}}^{-1}v_0\rangle \,.

3353: \end{displaymath}

3354: Performing the calculation we find:

3355: \begin{equation}

3356:   \label{eq:31}

3357:   \begin{split}

3358:     P(\hM^{(2)}) &= \frac{z}{(\tate)^2}\otimes 1

3359:     -1\otimes \frac{z}{(\tate)^2}\\

3360:     &+1\otimes \frac{xy}{(\tate)^2}

3361:     -\frac{y}{\tate} \otimes \frac{x}{\tate}

3362:   \end{split}

3363: \end{equation}

3364: Clearly, $P(\hM^{(2)})$ is invariant under the

3365: action~\eqref{eq:21} (over $\QQ$). Moreover, $P(\hM^{(2)})$

3366: belongs to the kernel $\curly{I}$ of the multiplication map

3367: \begin{math}

3368:   \CC\otimes_\QQ\CC \to \CC\,.

3369: \end{math}

3370: As a consequence, we have:

3371: \begin{proposition}

3372:   \label{prop:3}

3373:   The ``connection form'' \eqref{eq:22} and the (logarithm of

3374:   the) hermitian fiber metric on the Heisenberg bundle correspond

3375:   to the images of $P(\hM^{(2)})$ under the two projections

3376:   \begin{displaymath}

3377:     \curly{I} \lto \curly{I}/\curly{I}^2 =

3378:     \Omega^1_{\CC/\QQ}

3379:   \end{displaymath}

3380:   and

3381:   \begin{displaymath}

3382:     \curly{I}\subset  \CC\otimes_\QQ \CC

3383:     \lto \RR(1)\,,

3384:   \end{displaymath}

3385:   respectively.

3386: \end{proposition}

3387: \begin{proof}

3388:   The images under the two projections are, respectively, equal

3389:   to

3390:   \begin{displaymath}

3391:     -d \Bigl(\frac{z}{(\tate)^2}\Bigr)

3392:     + \frac{x}{\tate}\, d \Bigl(\frac{y}{\tate}\Bigr)

3393:   \end{displaymath}

3394:   and

3395:   \begin{displaymath}

3396:     \frac{1}{(\tate)^2} \bigl(\pi_1(z)

3397:     -\pi_1(x)\,\pi_0(y)\bigr)\,. 

3398:   \end{displaymath}

3399: %%   We may then use $\QQ \to \CC \to \sho{X}$ and the first

3400: %%   standard sequence for K\"ahler

3401: %%   differentials to pull back to $X$.

3402: \end{proof}

3403: 

3404: \subsection{The extension class}

3405: \label{sec:extension-class}

3406: The big period can be obtained as a symmetrization of an

3407: extension class of MHS. Indeed, the weight $-2$ subspace

3408: $W_{-2}\hM^{(2)}\iso \hM^{(1)} \otimes \tate \coin \hM^{(1)} (1)$

3409: is itself a MHS (twisted by $\tate$) defined by

3410: \begin{equation}

3411:   \label{eq:32}

3412:   A^{(1)} = 

3413:   \begin{pmatrix}

3414:     1 & \\ y & \tate

3415:   \end{pmatrix}\,.

3416: \end{equation}

3417: (The data are as for $\hM^{(2)}$, replacing $2$ by $1$.) We thus

3418: have an extension of MHS:

3419: \begin{equation}

3420:   \label{eq:33}

3421:   0 \lto \hM^{(1)}(1) \lto \hM^{(2)}

3422:   \lto \ZZ(0) \lto 0\,.

3423: \end{equation}

3424: Following the procedure explained in ref.~\cite{MR1148383}, it is

3425: seen that the class of the extension~\eqref{eq:33} belongs to

3426: \begin{displaymath}

3427:   \hM^{(1)}_\CC(1) /\hM^{(1)}_\QQ(1)\,,

3428: \end{displaymath}

3429: and it is given by the vector

3430: \begin{equation}

3431:   \label{eq:34}

3432:   e = -\frac{x}{\tate}\, v_1

3433:   - \frac{z -xy}{(\tate)^2} \, v_2

3434: \end{equation}

3435: taken modulo $\hM^{(1)}_\QQ$. This computation can be refined by

3436: noticing (\cite{MR1148383}) that $\hM^{(1)}$ is itself an

3437: extension,

3438: \begin{displaymath}

3439:   0 \lto \ZZ(1) \lto \hM^{(1)}

3440:   \lto \ZZ(0) \lto 0

3441: \end{displaymath}

3442: mapping (over \QQ) to the ``universal extension'' $\hH^{(1)}$:

3443: \begin{equation}

3444:   \label{eq:35}

3445:   0 \lto \QQ(1) \lto \CC

3446:   \lto \CC^\unit\otimes\QQ \lto 0

3447: \end{equation}

3448: obtained by tensoring the standard exponential sequence by

3449: \QQ. Over the complex numbers, we have

3450: \begin{displaymath}

3451:   0 \lto \CC \lto \CC\otimes_\QQ \CC

3452:   \lto \CC^\unit\otimes_\ZZ\CC \iso 

3453:   \CC/\QQ(1)\otimes_\QQ\CC\lto 0\,,

3454: \end{displaymath}

3455: Here we have $\hH^{(1)}_\QQ = \CC$ and 

3456: \begin{math}

3457:   \hH^{(1)}_\CC = \CC\otimes_\QQ\CC\,.

3458: \end{math}

3459: According to the same principle the class of the

3460: extension~\eqref{eq:35} lives in 

3461: \begin{equation}

3462:   \label{eq:36}

3463:   \hH^{(1)}_\CC /\hH^{(1)}_\QQ \iso

3464:   \CC\otimes_\QQ\CC / \CC

3465:   \iso \CC\otimes_\ZZ\CC^\unit\,.

3466: \end{equation}

3467: The image of \eqref{eq:34} in 

3468: \begin{math}

3469:   \CC\otimes_\QQ \CC

3470: \end{math}

3471: is given by

3472: \begin{equation}

3473:   \label{eq:37}

3474:   \Tilde e = 

3475:   - y\otimes x - \tate\otimes \frac{z-xy}{\tate}\,.

3476: \end{equation}

3477: Taking \eqref{eq:37} modulo $\hH^{(1)}_\QQ\iso \CC$ we finally

3478: have

3479: \begin{equation}

3480:   \label{eq:38}

3481:   (\Id\otimes\exp) (\Tilde e) =

3482:   y\otimes e^{-x} + \tate\otimes e^{-(z-xy)/\tate}\,.

3483: \end{equation}

3484: This is the (image of) the class of the extension~\eqref{eq:33}

3485: as computed in ref.~\cite{MR1148383}. It is easily seen that the

3486: element \eqref{eq:38} is invariant under the

3487: transformations~\eqref{eq:21}.

3488: \begin{lemma}

3489:   There is a unique well defined lift of the class \eqref{eq:38}

3490:   to

3491:   \begin{math}

3492:     F^0\hH^{(1)}_\CC = \ker (m\colon \CC\otimes_\QQ\CC \to

3493:     \CC)\,. 

3494:   \end{math}

3495:   This can be obtained by adding to~\eqref{eq:37} a (necessarily

3496:   unique, see ref.~\cite{MR1148383}) element from

3497:   $\hH^{(1)}_\QQ\iso \CC$ to~\eqref{eq:37}. The lift is 

3498:   \begin{displaymath}

3499:     \tate\otimes \tate \cdot P(\hM^{(2)})\,.

3500:   \end{displaymath}

3501: \end{lemma}

3502: \begin{proof}

3503:   We can identify $\hH^{(1)}_\QQ\iso \CC$ inside $\hH^{(1)}_\CC$

3504:   via $a \mapsto a\otimes\tate$. Thus add any such element to

3505:   $\Tilde e$ and consider the image under the multiplication map:

3506:   \begin{displaymath}

3507:     m( \Tilde e + a\otimes \tate) = -z +\tate a\,.

3508:   \end{displaymath}

3509:   It is equal to zero iff $a = z/\tate$, hence

3510:   \begin{align*}

3511:     \Tilde{\Tilde e} &= \Tilde e + \frac{z}{\tate}\otimes \tate \\

3512:     &= - y\otimes x + \tate\otimes \frac{xy}{\tate}

3513:     +\frac{z}{\tate}\otimes \tate

3514:     -\tate \otimes\frac{z}{\tate}

3515:   \end{align*}

3516:   is the required element.

3517: \end{proof}

3518: 

3519: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3520: \bibliography{general} \bibliographystyle{hamsplain}

3521: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3522: 

3523: \end{document}

3524: 

3525: