1: 

2: 

3: 

4: \documentclass[reqno]{amsart}

5: 

6: 

7: 

8: %\usepackage[notref,notcite]{showkeys}

9: %\usepackage{hyperref}

10: 

11: \usepackage{amscd}

12: 

13: \theoremstyle{plain}

14:   \newtheorem{theorem}{Theorem}

15:   \newtheorem{corollary}{Corollary}

16:   \newtheorem{lemma}{Lemma}

17:   \newtheorem{proposition}{Proposition}

18:   \newtheorem*{conjecture*}{Conjecture}

19: 

20: \theoremstyle{definition}

21:   \newtheorem{definition}{Definition}

22:   \newtheorem{notation}{Notation}

23:   \newtheorem*{convention*}{Convention}

24:   

25: \theoremstyle{remark}

26:   \newtheorem{remark}{Remark}

27:   \newtheorem{claim}{Claim}

28: 

29: \newcommand{\scalar}{\langle\cdot,\cdot\rangle}

30: \newcommand{\sscalar}{\langle\!\langle\cdot,\cdot\rangle\!\rangle}

31: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

32: %      Alternative for the scalar products 

33: %

34: %\newcommand{\scalar}{<\cdot,\cdot>}

35: %\newcommand{\sscalar}{\ll\cdot,\cdot\gg}

36: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

37: \newcommand{\sm}{\text{\rm sm}}

38: \newcommand{\la}{\text{\rm la}}

39: \newcommand{\an}{\text{\rm an}}

40: \newcommand{\sing}{\text{\rm sing}}

41: \newcommand\R{\mathbb R}

42: \DeclareMathOperator{\ind}{ind}

43: \DeclareMathOperator{\GL}{GL}

44: \DeclareMathOperator{\ev}{ev}

45: \DeclareMathOperator{\Ev}{Ev}

46: \DeclareMathOperator{\length}{length}

47: \DeclareMathOperator{\dist}{dist}

48: \DeclareMathOperator{\Det}{Det}

49: \DeclareMathOperator{\Lef}{Lef}

50: \DeclareMathOperator{\sign}{sign}

51: \DeclareMathOperator{\Id}{Id}

52: \DeclareMathOperator{\pr}{pr}

53: \DeclareMathOperator{\IND}{IND}

54: \DeclareMathOperator{\Vol}{Vol}

55: \DeclareMathOperator{\Maps}{Maps}

56: \DeclareMathOperator{\Spect}{Spect}

57: \DeclareMathOperator{\dvol}{dvol}

58: \DeclareMathOperator{\Int}{Int}

59: \DeclareMathOperator{\grad}{grad}

60: \DeclareMathOperator{\Cr}{Cr}

61: \DeclareMathOperator{\tr}{tr}

62: \DeclareMathOperator{\diver}{div}

63: \DeclareMathOperator{\Gr}{Gr}

64: \DeclareMathOperator{\id}{id}

65: \DeclareMathOperator{\End}{End}

66: \DeclareMathOperator{\cs}{cs}

67: 

68: \def\cal{\mathcal}

69: \def\index{\ind}

70: 

71: \newcommand\itemref[1]{(\ref{#1})}

72: \renewcommand{\theenumi}{\roman{enumi}}

73: \renewcommand{\labelenumi}{(\theenumi)}

74: 

75: \begin{document}

76: 

77: \title[Laplace transform, Dynamics and Spectral geometry]

78:       {Laplace transform, Dynamics and Spectral geometry} 

79: 

80: \author{Dan Burghelea}

81: 

82: \address{Dan Burghelea,

83:          Dept. of Mathematics, 

84:          The Ohio State University, 

85:          231 West Avenue, Columbus, OH 43210, USA.}

86: 

87: \email{burghele@mps.ohio-state.edu}

88: 

89: \author{Stefan Haller}

90: 

91: \address{Stefan Haller,

92:          Department of Mathematics, University of Vienna,

93:          Nordbergstra{\ss}e 15, A-1090, Vienna, Austria.}

94: 

95: \email{stefan.haller@univie.ac.at}

96: 

97: \thanks{Part of this work was done while the second author enjoyed the

98:         warm hospitality of The Ohio State University. The second author is 

99:         supported by the \emph{Fonds zur F\"orderung der 

100:         wis\-sen\-schaft\-lichen Forschung} (Austrian Science Fund), 

101:         project number {\tt P14195-MAT}}

102: 

103: \keywords{Morse--Novikov theory, Dirichlet series}

104: 

105: \subjclass[2000]{57R20, 57R58, 57R70, 57Q10, 58J52}

106: 

107: %\date{\today}

108: 

109: \begin{abstract} 

110:   We consider vector fields $X$ on a closed manifold $M$

111:   with rest points of Morse type. For such vector fields we define 

112:   the property of exponential growth. A cohomology class

113:   $\xi\in H^1(M;\mathbb R)$

114:   which is Lyapunov for $X$ defines counting functions 

115:   for isolated instantons and closed trajectories. If $X$ has  

116:   exponential growth property we show, under a mild hypothesis

117:   generically satisfied, that these counting functions can be recovered from 

118:   the spectral geometry associated to $(M,g,\omega)$ where $g$ is a Riemannian 

119:   metric and $\omega$ is a closed one form representing $\xi,$ cf Theorems 3 and 4

120:   in sectionn 1.6.

121:   This is done with the help of Dirichlet series and their Laplace transform.

122: \end{abstract}

123: 

124: \maketitle

125: 

126: \setcounter{tocdepth}{1}

127: \tableofcontents

128: 

129: \section{Introduction}

130:   \label{S:intro}

131:   \input intro.tex

132: 

133: \section{Topology of the space of trajectories and unstable sets}

134:   \label{S:top}

135:   \input top.tex

136: 

137: \section{Exponential growth property and the invariant $\rho$}

138:   \label{S:rho}

139:   \input rho.tex

140: 

141: \section{Proof of Theorems~\ref{T:2} and \ref{T:3}

142: %and a few additional 

143: %remarks about $\Int^*_{X,\omega,\mathcal O}$

144: }

145:   \label{S:thm23}

146:   \input thm23.tex

147: 

148: \section{The regularization $R(X,\omega,g)$}

149:   \label{S:reg}

150:   \input reg.tex

151: 

152: \section{Proof of Theorem~\ref{T:4}}

153:   \label{S:thm4}

154:   \input thm4.tex

155: 

156: %%%%%%%%%%%%%%%%%%%%%%%%%%%%

157: %\begin{appendix}

158: %

159: %  \section{}

160: %    \label{S:app1}

161: %    \input app1.tex

162: %

163: %  \section{}

164: %    \label{S:app2}

165: %    \input app2.tex

166: %

167: %\end{appendix}

168: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

169: 

170: 

171: 

172: 

173: \begin{thebibliography}{99}

174: 

175: 

176: \bibitem{BZ92}

177:   J.M.~Bismut and W.~Zhang,

178:   \emph{An extension of a theorem by Cheeger and M\"uller}.

179:   Ast\'erisque \textbf{205}, 

180:   Soci\'et\'e Math\'ematique de France, 1992.

181: 

182: 

183: \bibitem{BF97}

184:   M.~Braverman and M.~Farber, 

185:   \emph{Novikov type inequalities for differential forms with non-isolated zeros}.

186:   Math. Proc. Cambridge Philos. Soc. \textbf{122}(1997), 357--375. 

187: 

188: 

189: \bibitem{B99}

190:   D.~Burghelea, 

191:   \emph{Removing Metric Anomalies from Ray--Singer Torsion},

192:   Lett. Math. Phys. 

193:   \textbf{47}(1999), 149--158.

194: 

195: 

196: \bibitem{BFK01}

197:   D.~Burghelea, L.~Friedlander and T.~Kappeler,  

198:   \emph{Relative Torsion},

199:   Commun. Contemp. Math. 

200:   \textbf{3}(2001), 15--85.

201: 

202: 

203: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%

204: %\bibitem{BFK03}

205: %  D.~Burghelea, L.~Friedlander and T.~Kappeler, 

206: %  \emph{Elementary Morse Theory}.

207: %  Lecture Notes in preparation.

208: %%%%%%%%%%%%%%%%%%%%%%%%%%%%

209: 

210: 

211: \bibitem{BFKM96}

212:   D.~Burghelea, L.~Friedlander, T.~Kappeler and P.~McDonald, 

213:   \emph{Analytic and Reidemeister torsion for representations in finite type 

214:         Hilbert modules},

215:   Geom. Funct. Anal. \textbf{6}(1996), 751--859.

216: 

217: 

218: \bibitem{BH01}

219:   D.~Burghelea and S.~Haller,

220:   \emph{On the topology and analysis of closed one form.~I 

221:         (Novikov theory revisited)},

222:   Monogr. Enseign. Math. 

223:   \textbf{38}(2001), 133--175.

224: 

225: 

226: \bibitem{BH03}

227:   D.~Burghelea and S.~Haller,

228:   \emph{A Riemannian invariant, Euler structures and some

229:         topological applications},  

230:   preprint OSU(2003). See also {\tt arXiv.math.DG/0310154}. 

231: 

232: 

233: %%%%%%%%%%%%%%%%%%%%%%%%%%%%

234: %\bibitem{BH04}

235: %  D.~Burghelea and S.~Haller, 

236: %  \emph{On the topology and analysis of closed one form

237: %        (the case of manifolds with boundary)},

238: %   manuscript, 2003.

239: %%%%%%%%%%%%%%%%%%%%%%%%%%

240: 

241: 

242: \bibitem{Ha82}

243:   P.~Hartman, 

244:   \emph{Ordinary Differential Equations}.

245:   Corrected reprint of the second (1982) edition [Birkh\"auser, Boston, MA].

246:   Classics in Applied Mathematics \textbf{38},

247:   Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2002.

248: 

249: 

250: \bibitem{H02}

251:   M.~Hutchings, 

252:   \emph{Reidemeister torsion in generalized Morse Theory},

253:   Forum Math. 

254:   \textbf{14}(2002), 209--244.

255: 

256: 

257: \bibitem{HL99}

258:   M.~Hutchings, Y.J.~Lee, 

259:   \emph{Circle--valued Morse Theory, Reidemeister torsion and 

260:         Seiberg--Witten invariants of $3$ manifolds},

261:   Topology

262:   \textbf{38}(1999), 861--888.

263: 

264: 

265: \bibitem{M98}

266:   J.~Marcsik, 

267:   \emph{Analytic torsion and closed one forms}.

268:   Thesis OSU

269:   \textbf{8}(1998).

270: 

271: 

272: \bibitem{MQ86}

273:   V.~Mathai and D.~Quillen,  

274:   \emph{Superconnections, Thom Classes, and Equivariant differential forms},

275:   Topology \textbf{25}(1986), 85--110.

276: 

277: 

278: \bibitem{Mi68}

279:   J.~Milnor,

280:   \emph{Whitehead torsion},

281:   Bull. Amer. Math. Soc. \textbf{72}(1966), 358--426.    

282: 

283: 

284: \bibitem{N93}

285:   S.P.~Novikov,

286:   \emph{Quasiperiodic structures in topology}, 

287:   in Topological methods in modern mathematics,

288:   Proceedings of the symposium in honor of John Milnor's sixtieth

289:   birthday held at the State University of New York, Stony Brook,

290:   New York, 1991,

291:   eds L. R. Goldberg and A. V. Phillips,

292:   Publish or Perish, Houston, TX, 1993, 223--233.

293: 

294: 

295: \bibitem{N02}

296:   S.P.~Novikov,  

297:   \emph{On the exotic De-Rham cohomology. Perturbation theory as a 

298:         spectral sequence},

299:   preprint {\tt arXiv.math-ph/0201019}.

300: 

301: 

302: \bibitem{P02}

303:   A.~Pajitnov,

304:   \emph{Counting closed orbits of gradients of circle-valued maps},

305:   preprint {\tt arXiv.math.DG/0104273}. 

306: 

307: 

308: \bibitem{P66}

309:   M.M.~Peixoto, 

310:   \emph{On an Approximation Theorem of Kupka and Smale},

311:    J. Differential Equations \textbf{3}(1967), 214--227.   

312: 

313: 

314: \bibitem{Se79}

315:   J.P.~Serre, 

316:   \emph{A course in arithmetic}.

317:   Translated from the French.

318:   Graduate Texts in Mathematics \textbf{7},

319:   Springer Verlag, New York--Heidelberg, 1973.

320: 

321: 

322: \bibitem{W46}

323:   D.V.~Widder, 

324:   \emph{The Laplace Transform}.

325:   Princeton Mathematical series \textbf{6},

326:   Princeton University Press, Princeton, N.J., 1941.

327: 

328: 

329: \bibitem{Wi82}

330:   E.~Witten, 

331:   \emph{Supersymmetry and Morse theory},

332:   J. Differential Geom.

333:   \textbf{17}(1982), 661--692.

334: 

335: 

336: \end{thebibliography}

337: 

338: \end{document}

339: