Math. Ann. 304, 63-92 (1996) U ~) Springer-Verlq 1996 The asymptotic expansion of a CR invariant and Grauert tubes Su-Jen Kan Department of Mathematics, University of Michigan, Ann Arbor, MI 48109, USA (e-mail :kan@math. lsa.umich.edu ) Received: 9 July 1994 Mathematics Subject Classification (199]): 32F07, 32F40 1 Introduction CR manifolds, the abstract models of real hypersurfaces in complex manifolds, are 2n + 1 dimensional manifolds M with a codimension one subbundle H of the tangent bundle, which carries a complex structure. The "CR" refers to Cauchy-Riemann because for M C C n+l, the subbundle H consists of induced Cauchy-Riemann operators. There is a wealth of geometry and analysis as- sociated with these structures, especially when the CR manifolds are strictly pseudoconvex. For example, two strictly pseudoconvex domains are biholomor- phically equivalent if and only if their boundaries are CR equivalent. A fundamental problem in CR geometry is to find computable invariants associated with the CR structures. The global CR invariant we will consider in this paper is the Chem-Simons type invariant/~ discovered by Bums and Epstein [B-E 1]. It is a real-valued global CR invariant of a compact 3- dimensional strictly pseudo-convex CR manifold whose holomorphic tangent bundle is trivial. (Cheng and Lee independently found this invariant, and extend the definition of B-E invariant to a relative invariant on an arbitrary compact 3-dimensional CR manifold, cf. [C-L].) We will evaluate this g asymptotically on the boundary of small Grauert tubes. Before posing the question in a more precise form we will first say a few workds about Grauert tubes. Let X be a real analytic manifold. Then every coordinate patch U C R n can be thickened to obtain an open set r c C n. Since the coordinate changes of X are real analytic maps, by taking power series expansions and by shrinking CU to get convergence, they can be extended holomorphically to such enlarged domains and thus they can be used as holomorphic transition Address after July 16, 1994: Institute of Mathematics, Academia Sinica, Taipei 11529, Taiwan, ROC. e-mail: kan~ath.sinica.edu.tw