1: %%%%%%%%%%%%%%%%%%%%%%%%%% author.tex %%%%%%%%%%%%%%%%%%%%%%%%%

2: %

3: % sample root file for your contribution to a "contributed book"

4: %

5: % "contributed book"

6: %

7: % Use this file as a template for your own input.

8: %

9: %%%%%%%%%%%%%%%%%%%%%%%% Springer-Verlag %%%%%%%%%%%%%%%%%%%%%%%%%%

10: 

11: 

12: % RECOMMENDED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

13: \documentclass{svmult}

14: 

15: % choose options for [] as required from the list

16: % in the Reference Guide, Sect. 2.2

17: 

18: \usepackage{makeidx}         % allows index generation

19: \usepackage{graphicx}        % standard LaTeX graphics tool

20:                              % when including figure files

21: \usepackage{multicol}        % used for the two-column index

22: \usepackage[bottom]{footmisc}% places footnotes at page bottom

23: % etc.

24: % see the list of further useful packages

25: % in the Reference Guide, Sects. 2.3, 3.1-3.3

26: 

27: \makeindex             % used for the subject index

28:                        % please use the style sprmidx.sty with

29:                        % your makeindex program

30: 

31: 

32: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

33: 

34: \begin{document}

35: 

36: \newcommand{\rdike}{\overleftarrow{\partial}} 

37: \newcommand{\ldike}{\overrightarrow{\partial}} 

38: %\def\bF{\mbox{\boldmath $F$}}

39: %\def\bG{\mbox{\boldmath $G$}}

40: 

41: \def\ba{\mbox{\boldmath $A$}}

42: \def\bb{\mbox{\boldmath $B$}}

43: \def\bPhiike{\mbox{\boldmath $\Phi$}}

44: %\def\bh{\mbox{\boldmath $h$}}

45: \def\bphiike{\mbox{\boldmath $\phi$}}

46: %\def\bPsi{\mbox{\boldmath $\Psi$}}

47: \def\bDeltaike{\mbox{\boldmath $\Delta$}}

48: \def\bdeltaike{\mbox{\boldmath $\delta$}}

49: %\def\bchi{\mbox{\boldmath $\chi$}}

50: %\newcommand{\dbvike}{{\Delta_{\hbox{BV}}}}

51: \newcommand{\dbvike}{{\Delta_{BV}}}

52: \newcommand{\sbvike}[2]{{({{#1},{#2}})}}

53: \def\brsike{\delta}

54: \newcommand{\OmBVike}{{\Omega_{BV}}}

55: \newcommand{\bOmBVike}{\boldmath{\Omega_{BV}}}

56: %\newcommand\gh{{\rm gh}}

57: 

58: 

59: \newcommand{\calEike}{{\cal E}}

60: \newcommand{\calMike}{{\cal M}}

61: \newcommand{\calXike}{{\cal X}}

62: \newcommand{\calVike}{{\cal V}}

63: \newcommand{\bracketike}[2]{\langle #1\,,#2\rangle}

64: 

65: 

66: 

67: 

68: 

69: % Always give a unique label

70: % and use \ref{<label>} for cross-references

71: % and \cite{<label>} for bibliographic references

72: % use \sectionmark{}

73: % to alter or adjust the section heading in the running head

74: 

75: 

76: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

77: 

78: \title*{Deformation of Batalin-Vilkovisky Structures}

79: % Use \titlerunning{Short Title} for an abbreviated version of

80: % your contribution title if the original one is too long

81: \author{Noriaki IKEDA}

82: % Use \authorrunning{Short Title} for an abbreviated version of

83: % your contribution title if the original one is too long

84: \institute{Department of Mathematical Sciences, 

85: Ritsumeikan University \\

86: Kusatsu, Shiga 525-8577, Japan 

87: \texttt{nikeda@se.ritsumei.ac.jp}

88: %\and Name and Address of your Institute \texttt{name@email.address}

89: }

90: %

91: % Use the package "url.sty" to avoid

92: % problems with special characters

93: % used in your e-mail or web address

94: %

95: \maketitle

96: 

97: 

98: 

99: A Batalin-Vilkovisky formalism is most general framework to construct 

100: consistent quantum field theories.

101: Its mathematical structure is called {\it a Batalin-Vilkovisky structure}.

102: First we explain rather mathematical setting of a Batalin-Vilkovisky formalism.

103: Next, we consider deformation theory of a Batalin-Vilkovisky structure.

104: Especially, we consider deformation of topological sigma models 

105: in any dimension,

106: which is closely related to deformation theories in mathematics, 

107: including deformation from commutative geometry to noncommutative geometry.

108: We obtain a series of new nontrivial topological sigma models 

109: and we find these models have the Batalin-Vilkovisky structures based on

110: a series of new algebroids.

111: 

112: 

113: %discuss mathematical and physical aspects.

114: 

115: \section{Introduction}

116: \label{sec:1}

117: Topological field theory is a powerful method to analyze geometry 

118: by means of a quantum field theory.\cite{BBRTike}

119: A Batalin-Vilkovisky formalism \cite{BVike}

120: is a most general systematic method to 

121: treat a consistent quantum field theory.

122: So it is natural to treat topological field theory by means of 

123: a Batalin-Vilkovisky formalism.

124: 

125: Deformation theory is one of main topics in mathematics.

126: On the other hand, 

127: deformation theory of a quantum field theory is proposed by

128: \cite{BBHike}\cite{BHike} in the physical context. 

129: Purposes of this deformation theory are

130: to find a new gauge theory, or to prove 

131: a no-go theorem to construct a new gauge theory.

132: Now we apply deformation theory to topological field theories,

133: especially to topological sigma models. 

134: %This is first introduced in \cite{Izike} and analyzed in 

135: %\cite{I1ike, I2ike}. 

136: %There are many articles in this direction 

137: %

138: Our purpose is to construct many geometries by topological field theories,

139: classify geometries as topological field theories, 

140: and unify many deformation theories as a topological field theories.

141: Moreover we can analyze many deformation theories 

142: in mathematics as quantum field theories.

143: 

144: In this article, we consider a {\it topological sigma model}.

145: Let $X$ and $M$ be two manifolds.

146: We denote $\phi$ a (smooth) map from $X$ to $M$.

147: %$\phi:X \rightarrow M$.

148: %

149: A {\it sigma model} is a quantum field theory constructed from a map

150: $\phi$ (and other auxiliary fields).

151: We analyze structures on $M$ by the structures induced from $X$.

152: A {\it topological sigma model} is a sigma model

153: independent of metrics of $X$ and $M$ \cite{W1ike}.

154: 

155: The AKSZ formulation \cite{AKSZike} of the Batalin-Vilkovisky formalism 

156: is a general framework to construct a topological sigma model

157: by the Batalin-Vilkovisky method.

158: This formulation is appropriate to analyze geometry 

159: by means of a topological sigma model.

160: In this article, first we generalize the AKSZ formulation to 

161: a general $n$ dimensional base manifold $X$ and 

162: a target manifold with general gradings $p$.

163: 

164: %We can construct Batalin-Vilkovisky structures. 

165: Next we discuss deformation of a Batalin-Vilkovisky structure 

166: with general gradings.

167: We can construct various geometrical structures on $M$ if 

168: we consider general $n$ and general grading $p$.

169: This formulation provides a clear method to 

170: unify and to classify many geometries as

171: Batalin-Vilkovisky structures, and 

172: to analyze them as quantum field theories.

173: This construction includes many new topological sigma models

174: as special cases, for examples,

175: the topological sigma model

176: with a K\"ahler structure ($A$ model), 

177: with a complex structure ($B$ model) \cite{W2ike}\cite{AKSZike},

178: with a symplectic structure \cite{W1ike},

179: with a Poisson structure (the Poisson sigma model) \cite{IIike}\cite{SSike},

180: with a Courant algebroid structure \cite{R1ike}\cite{I4ike}\cite{HPike},

181: with a twisted Poisson structure \cite{KSike}\cite{I5ike},

182: with a Dirac structure \cite{KSSike},

183: with a generalized complex structure \cite{Zucike}\cite{I5ike}\cite{Pesike},

184: and so on.

185: 

186: 

187: %Batalin and Marnelius \cite{BM1ike}\cite{BM2ike}

188: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

189: 

190: \section{AKSZ formulation of Batalin-Vilkovisky formalism 

191: on Graded Bundles}

192: \label{sec:2}

193: \noindent

194: We explain general setting of the AKSZ formulation \cite{AKSZike} 

195: of the Batalin-Vilkovisky formalism for a general graded bundle

196: in the rather mathematical context.

197: 

198: Let $M$ be a smooth manifold in $d$ dimensions.

199: We consider a {\it supermanifold} $\Pi T^* M$.

200: Mathematically, $\Pi T^* M$, whose bosonic part is $M$, is defined as 

201: a cotangent bundle with reversed parity of the fiber.

202: That is, a base manifold $M$ has a Grassman even coordinate and 

203: the fiber of $\Pi T^* M$ has a Grassman odd coordinate.

204: We can introduce a grading.

205: The coordinate on the bass manifold has grade zero and 

206: the coordinate on the fiber has grade one.

207: This grading is called the {\it total degrees}.

208: Similarly, we can define $\Pi T M$ for a tangent bundle $T M$.

209: 

210: We can consider more general assignments for the degree of the fibers of 

211: $T^* M$ or $T M$.

212: For a nonnegative integer $p$, we define $T^* [p] M$, which is called 

213: a graded cotangent bundle.

214: $T^* [p] M$ is a cotangent bundle the degree of whose fiber is $p$.

215: %The bundle $T^* [p] M$ is a cotangent bundle shifted by $p$.

216: If $p$ is odd, the fiber is Grassman odd, and if $p$ is even, 

217: the fiber is Grassman even. 

218: The coordinate on the bass manifold has the total degree zero and 

219: the coordinate on the fiber has the total degree $p$.

220: We define a graded tangent bundle $T [p] M$ in the same way.

221: %$T [p] M$ is a tangent bundle which degree of the fiber is shifted by $p$.

222: %

223: For a general vector bundle $E$, a graded vector bundle $E[p]$ is defined 

224: in a similar way.

225: $E[p]$ is a vector bundle which degree of the fiber is shifted by $p$.

226: \footnote{Note that only the fiber is shifted and 

227: the base space is not shifted.}

228: 

229: We consider a Poisson manifold $N$ with a Poisson bracket $\{*,*\}$.

230: If we can construct a graded manifold $\tilde{N}$ from $N$,

231:  then the Poisson structure $\{*,*\}$ shifts to

232: a graded Poisson structure by grading of $\tilde{N}$.

233: %$\tilde{N}$ is called a {\it supermanifold}.

234: The graded Poisson bracket is called an {\it antibracket} 

235: and denoted by $\sbvike{*}{*}$.

236: $\sbvike{*}{*}$ is graded symmetric and satisfies the graded Leibniz

237: rule and the graded Jacobi identity with respect to grading of the manifold. 

238: %That is, (\ref{bvbracket}) defines the graded Poisson bracket on superfields.

239: %

240: The antibracket $\sbvike{*}{*}$ with 

241:  the total degree $- n + 1$ satisfies the following identities:

242: \begin{eqnarray}

243: && \sbvike{F}{G} = -(-1)^{(|F| + 1 - n)(|G| + 1 - n)} \sbvike{G}{F},

244: \nonumber \\

245: && \sbvike{F}{G  H} = \sbvike{F}{G} H

246: + (-1)^{(|F| + 1 - n)|G|} G \sbvike{F}{H},

247: \nonumber \\

248: && \sbvike{F  G}{H} = F \sbvike{G}{H}

249: + (-1)^{|G|(|H| + 1 - n)} \sbvike{F}{H} G,

250: \nonumber \\

251: && (-1)^{(|F| + 1 - n)(|H| + 1 - n)} \sbvike{F}{\sbvike{G}{H}}

252: + {\rm cyclic \ permutations} = 0,

253: \label{BVidentity}

254: \end{eqnarray}

255: where $F, G$ and $H$ are functions on $\tilde{N}$ and

256: $|F|, |G|$ and $|H|$ are the total degrees of functions respectively.

257: The graded Poisson structure is also called the {\it P-structure}.

258: 

259: 

260: 

261: Typical examples of a Poisson manifold $N$ are a cotangent bundle $T^* M$ 

262: and a vector bundle $E \oplus E^*$.

263: %Mainly we consider these two bundles in this paper.

264: Two bundles have important roles in this paper.

265: %

266: An other example is a vector bundle $E$ with a Poisson structure on 

267: the fiber.

268: We consider these three bundles.

269: 

270: First we consider a cotangent bundle $T^* M$.

271: Since $T^* M$ has a natural symplectic structure,

272: we can define a Poisson bracket induced from the natural 

273: symplectic structure.

274: If we take a local coordinate $\phi^i$ on M and a local coordinate 

275: $B_i$ of the fiber, we can define a Poisson bracket as follows:

276: \footnote{We take Einstein's summation notation.} %with respect to $i$.

277: %

278: \begin{eqnarray}

279: \{ F, G \} \equiv 

280: F \frac{\rdike}{\partial \phi^i} 

281: \frac{\ldike }{\partial B_i}  G

282: - 

283: F \frac{\rdike }{\partial B_i} 

284: \frac{\ldike }{\partial \phi^i} G.

285: \label{ab0ike}

286: \end{eqnarray}

287: %

288: where $F$ and $G$ are a function on $T^* M$, and

289: ${\rdike}/{\partial \varphi}$ and ${\ldike}/{\partial

290: \varphi}$ are the right and left differentiations

291: with respect to $\varphi$, respectively.

292: %

293: %$\{ \phi^i, \xi_j \} = \delta^i_j$,

294: %$\{ \xi_j, \phi^i \} = - \delta^i_j$, and otherwise zero.

295: Next we shift the degree of fiber by $p$, 

296: and we consider the space $T^* [p]M$.

297: The Poisson structure changes to a graded Poisson structure.

298: The corresponding graded Poisson bracket is called the {\it antibracket}, 

299: $\sbvike{*}{*}$.

300: %and denoted by $\sbvike{F}{G}$.

301: %on a cotangent bundle $T^* [p] M$,

302: %

303: Let $\bphiike^i$ be a local coordinate of $M$

304:  and $\bb_{n-1,i}$ a basis of the fiber of $T^* [p] M$.

305: \footnote{We use bold notations for local coordinates of 

306: graded (super)vector bundles, while

307: we use nonbold notations for local coordinates of usual vector bundles.}

308: An {\it antibracket} $\sbvike{*}{*}$ 

309: on a cotangent bundle $T^* [p] M$ is represented as:

310: %, of which degree is $-n+1$:

311: %Since $T^* [n-1] M$ is a supermanifold, the antibracket has different 

312: %symmetricity and sign factors with a usual Poisson bracket on $T^*M$.

313: %

314: \begin{eqnarray}

315: \sbvike{F}{G} \equiv 

316: F \frac{\rdike}{\partial \bphiike^i} 

317: \frac{\ldike }{\partial \bb_{p,i}}  G

318: - 

319: F \frac{\rdike }{\partial \bb_{p,i}} 

320: \frac{\ldike }{\partial \bphiike^i} G.

321: \label{Poisson2ike}

322: \end{eqnarray}

323: The total degree of the $\sbvike{*}{*}$ is $-p$.

324: %We take a Darboux coordinate $\bphiike^i, \bb_{n-1,i}$ for simplicity.

325: %We can take more general coordinates.

326: 

327: 

328: Next, we consider a vector bundle $E \oplus E^*$. 

329: There is a natural Poisson structure on the fiber of $E \oplus E^*$ induced 

330: from natural paring among $E$ and $E^*$.

331: If we take a local coordinate $A^a$ on the fiber of $E$ and 

332: $B_a$ on the fiber of $E^*$,

333: %

334: we define 

335: \begin{eqnarray}

336: \{ F, G \} \equiv 

337: F \frac{\rdike}{\partial A^a} 

338: \frac{\ldike }{\partial B_a}  G

339: - 

340: F \frac{\rdike }{\partial B_a} 

341: \frac{\ldike }{\partial A^a} G.

342: \label{abpike}

343: \end{eqnarray}

344: %

345: where $F$ and $G$ are a function on $E \oplus E^*$.

346: We shift the degrees of fibers of $E$ and $E^*$

347: to $E [p] \oplus E^*[q]$, where

348: $p$ and $q$ are positive integers.

349: %shift the degree of fiber by $p$ and $q$,

350: The Poisson structure changes to a graded Poisson structure

351: $\sbvike{*}{*}$.

352: %

353: Let $\ba_p{}^{a}$ be a basis of the fiber of 

354: $E[p]$ and 

355: $\bb_{q,a}$ a basis of the fiber of 

356: $E^*[q]$.

357: An antibracket is represented as

358: %

359: \begin{eqnarray}

360: \sbvike{F}{G} \equiv 

361: %\sum_{p=0}^{\lfloor \frac{n-1}{2} \rfloor} 

362: F  \frac{\rdike}{\partial \ba_p{}^{a}} 

363: \frac{\ldike }{\partial \bb_{q,a}}  G

364: - (-1)^{p q}

365: F \frac{\rdike }{\partial \bb_{q,a}} 

366: \frac{\ldike }{\partial \ba_p{}^{a}}  G.

367: \label{Poisson4ike}

368: \end{eqnarray}

369: The total degree of the $\sbvike{*}{*}$ is $-p-q$.

370: 

371: 

372: 

373: Next, we consider a vector bundle $E$ with a Poisson structure on the fiber.

374: If we shift the degree of the fiber of $E$ to $E [p]$,

375: the Poisson structure changes to a graded Poisson structure

376: $\sbvike{*}{*}$.

377: %

378: Let $\ba_p{}^{a}$ be a basis of the fiber of 

379: $E[p]$,

380: An antibracket is represented as

381: %

382: \begin{eqnarray}

383: \sbvike{F}{G} \equiv 

384: %\sum_{p=0}^{\lfloor \frac{n-1}{2} \rfloor} 

385: F  \frac{\rdike}{\partial \ba_p{}^{a}} k^{ab} 

386: \frac{\ldike }{\partial \ba_p{}^{b}}  G,

387: \label{Poisson6ike}

388: \end{eqnarray}

389: where $F$ and $G$ are a function on $E[p]$ and 

390: $k^{ab}$ is a nondegenerate constant bivector 

391: induced from a (graded) Poisson structure.

392: The total degree of the antibracket $\sbvike{*}{*}$ is $-2p$.

393: 

394: 

395: 

396: %Since $T^* [n-1] M$ is a supermanifold, the antibracket has different 

397: %symmetricity and sign factors with a usual Poisson bracket on $T^*M$.

398: %This graded Poisson structure is called the {\it P structure}.

399: 

400: Next we define a {\it Q-structure}.

401: A {\it Q-structure} is 

402: a function $S$ on a supermanifold $\tilde{N}$

403: %$(\Pi T X \otimes \Pi T^* X)$

404: which satisfies the classical master equation 

405: $\sbvike{S}{S} = 0$.

406: $S$ is called a {\it Batalin-Vilkovisky action}, or simply 

407: an {\it action}.

408: We require that $S$ satisfy the compatibility condition

409: \begin{eqnarray}

410: S \sbvike{F}{G} = \sbvike{S F}{G} + (-1)^{|F| +1} \sbvike{F}{SG},

411: \end{eqnarray}

412: where $F$ and $G$ are arbitrary functions and 

413: $|F|$ is the total degree of $F$.

414: %

415: %

416: $\sbvike{S}{F} = \brsike F$ generates an infinitesimal 

417: transformation(a Hamiltonian flow).

418: We call this a {\it BRST transformation}, which

419: coincides with the gauge transformation of the theory.

420: %Usually, we require that restriction to the ghost number zero sector of

421: %$S$ coincides with an original action as physical requirement.

422: 

423: We define a (classical) {\it Batalin-Vilkovisky structure} as follows:

424: \begin{definition}

425: If a structure on a {\it supermanifold} 

426: has {\it P-structure} and {\it Q-structure}, 

427: it is called a {\it Batalin-Vilkovisky structure}.

428: \end{definition}

429: 

430: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

431: 

432: \section{Batalin-Vilkovisky Structures of Abelian Topological Sigma Models}

433: %\noindent

434: \subsection{BF case}

435: \noindent

436: In this section, 

437: we consider Batalin-Vilkovisky structures of topological sigma models.

438: 

439: Let $X$ be a base manifold in $n$ dimensions, with or without boundary, 

440: and $M$ be a target manifold in $d$ dimensions.

441: We denote $\phi$ a smooth map from $X$ to $M$.

442: %$\phi:X \rightarrow M$.

443: %

444: %A {\it sigma model} is a quantum field theory constructed from a map

445: %$\phi$ (and other auxilliary fields).

446: %A {\it topological sigma model} is a sigma model 

447: %independent of metrics of $X$ and $M$.

448: 

449: We consider a {\it supermanifold} $\Pi T X$, whose bosonic part is $X$.

450: $\Pi T X$ is defined as 

451: a tangent bundle with reversed parity of the fiber.

452: %That is, a base manifold $X$ has a Grassman even coordinate and 

453: %a fiber has a Grassman odd coordinate.

454: We extend a smooth function $\phi$ to a function $\bphiike:\Pi T X \rightarrow 

455: M$.

456: $\bphiike$ is an element of $\Pi T^* X \otimes M$.

457: The {\it total degree} defined in the previous section is grading 

458: with respect to $M$.

459: We introduce a nonnegative integer grading on $\Pi T^* X$.

460: A coordinate on a bass manifold is zero and a coordinate on the fiber is one.

461: This grading is called the {\it form degrees}.

462: We denote ${\rm deg} F$ the form degree of a function $F$.

463: ${\rm gh} F = |F| - {\rm \deg} F$ is called the {\it ghost number}.

464: 

465: First we consider a {\it P-structure} on $T^* [p] M$.

466: It is natural to take $p=n-1$ to construct

467: a Batalin-Vilkovisky structure in a topological sigma model.

468: In other words, 

469: the dimensions of $X$ labels the total degree 

470: of a Batalin-Vilkovisky structure on the supermanifold $T^* [p] M$.

471: We consider $T^* [n-1] M$ for an $n$-dimensional base manifold $X$.

472: Let $\bphiike^i$ be a local coordinate expression of $\Pi T^* X \otimes M$, 

473: where $i, j, k, \cdots$ are indices of local coordinate on $M$.

474: Let $\bb_{n-1,i}$ be a basis 

475: of sections of $\Pi T^* X \otimes \bphiike^*(T^* [n-1] M)$.

476: %\footnote{We use bold notations for local coordinates of 

477: %graded (super)vector bundles, while

478: %we use nonbold notations for local coordinates of usual vector bundles.}

479: According to the discussion in the previous section, 

480: we can define an {\it antibracket} $\sbvike{*}{*}$ 

481: on a cotangent bundle $T^* [n-1] M$ as

482: %from (\ref{Poisson2ike}):

483: %, of which degree is $-n+1$:

484: %Since $T^* [n-1] M$ is a supermanifold, the antibracket has different 

485: %symmetricity and sign factors with a usual Poisson bracket on $T^*M$.

486: %

487: \begin{eqnarray}

488: \sbvike{F}{G} \equiv 

489: F \frac{\rdike}{\partial \bphiike^i} 

490: \frac{\ldike }{\partial \bb_{n-1,i}}  G

491: - 

492: F \frac{\rdike }{\partial \bb_{n-1,i}} 

493: \frac{\ldike }{\partial \bphiike^i} G,

494: \label{cotangentPike}

495: \end{eqnarray}

496: %

497: where 

498: $F$ and $G$ are functions of $\bphiike^i$ and $\bb_{n-1,i}$.

499: We take a Darboux coordinate $\bphiike^i, \bb_{n-1,i}$, 

500: but it is for simplicity. 

501: We can take more general coordinates.

502: The total degree of the antibracket is $-n+1$.

503: If $F$ and $G$ are functionals of 

504: $\bphiike^i$ and $\bb_{n-1,i}$, 

505: we understand an antibracket is defined as 

506: \begin{eqnarray}

507: \sbvike{F}{G} \equiv 

508: \int_{X} 

509: F \frac{\rdike}{\partial \bphiike^i} 

510: \frac{\ldike }{\partial \bb_{n-1,i}}  G

511: - 

512: F \frac{\rdike }{\partial \bb_{n-1,i}} 

513: \frac{\ldike }{\partial \bphiike^i} G,

514: %\label{cotangentPike}

515: \end{eqnarray}

516: where the integration over $X$ is understood as that on the 

517: $n$-form part of the integrand. 

518: Through this article, 

519: we always understand an antibracket on two functionals in a similar 

520: manner and abbreviate this notation.

521: 

522: Next we consider a {\it P-structure} on $E \oplus E^*$.

523: Natural assignment of the total degrees

524: %to construct a Batain-Vilkovisky structure

525: is nonnegative integers $p$ and $q$ are $p+q = n-1$.

526: That is, 

527: we consider $E[p] \oplus E^*[n-p-1]$, 

528: where $1 \leq p \leq n-2$.

529: We can naturally construct a topological sigma model in this case.

530: %

531: Let $\lfloor  x \rfloor$ be the floor function

532: which gives the largest integer less than or equal to $x$.

533: If $\lfloor \frac{n}{2}\rfloor \leq p \leq n-2$,

534: we identify 

535: $E[p] \oplus E^*[n-p-1]$ with the dual bundle 

536: $E^*[n-p-1] \oplus (E^*)^*[p]$.

537: Therefore 

538: $1 \leq p \leq \lfloor \frac{n-1}{2}\rfloor$ 

539: provides different structures of grading.

540: 

541: %

542: Let $\ba_p{}^{a_p}$ be a basis of sections of 

543: $\Pi T^* X \otimes \bphiike^*(E[p])$ and 

544: $\bb_{n-p-1,a_p}$ a basis of the fiber of 

545: $\Pi T^* X \otimes \bphiike^*(E^*[n-p-1])$.

546: From (\ref{Poisson4ike}), we can define an antibracket 

547: as

548: %

549: \begin{eqnarray}

550: \sbvike{F}{G} \equiv 

551: %\sum_{p=0}^{\lfloor \frac{n-1}{2} \rfloor} 

552: F  \frac{\rdike}{\partial \ba_p{}^{a_p}} 

553: \frac{\ldike }{\partial \bb_{n-p-1,a_p}}  G

554: - (-1)^{n p}

555: F \frac{\rdike }{\partial \bb_{n-p-1,a_p}} 

556: \frac{\ldike }{\partial \ba_p{}^{a_p}}  G.

557: \label{EEPike}

558: \end{eqnarray}

559: 

560: 

561: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

562: 

563: %\section{}

564: %\label{sec:4}

565: %\noindent

566: We want to consider various grading assignments for $E \oplus E^*$.

567: Because each assignment 

568: induces different Batalin-Vilkovisky structures.

569: In order to consider all independent assignments, 

570: we define the following bundle.

571: Let $E_p$ be $\lfloor \frac{n-1}{2}\rfloor$ 

572: series of vector bundles, 

573: where $1 \leq p \leq \lfloor \frac{n-1}{2}\rfloor$.

574: We consider $E_p[p] \oplus E_p^*[n-p-1]$ and consider a direct sum 

575: %

576: \begin{eqnarray}

577: \sum_{p=1}^{\lfloor \frac{n-1}{2} \rfloor}

578: E_p[p] \oplus E_p^*[n-p-1]

579: \label{totbundleike}

580: \end{eqnarray}

581: %

582: And we define a {\it P-structure}

583: on the graded vector bundle

584: %\hfil\break

585: \begin{eqnarray}

586: \left(\sum_{p=1}^{\lfloor \frac{n-1}{2} \rfloor}

587: E_p[p] \oplus E_p^*[n-p-1] \right) \oplus T^*[n-1] M.

588: \label{totspaceike}

589: \end{eqnarray}

590: %

591: A local (Darboux) coordinate expression of 

592: the antibracket $\sbvike{\cdot}{\cdot}$ is a sum of 

593: (\ref{cotangentPike}) and (\ref{EEPike}):

594: %

595: \begin{eqnarray}

596: \sbvike{F}{G} \equiv 

597: \sum_{p=0}^{\lfloor \frac{n-1}{2} \rfloor} 

598: F \frac{\rdike}{\partial \ba_p{}^{a_p}} 

599: \frac{\ldike }{\partial \bb_{n-p-1 \ a_p}} G

600: - (-1)^{n p}

601: F \frac{\rdike }{\partial \bb_{n-p-1 \ a_p}} 

602: \frac{\ldike }{\partial \ba_p{}^{a_p}} G.

603: \label{bfantibracketike}

604: \end{eqnarray}

605: %

606: where 

607: $p=0$ component is the antibracket (\ref{cotangentPike}) on 

608: the graded cotangent bundle $T^* [n-1] M$

609: and $\ba_0{}^{a_0} = \bphiike^i$.

610: Note that all terms of the antibracket have 

611: the total degree $-n+1$.

612: %

613: We can confirms that 

614: the antibracket (\ref{bfantibracketike}) satisfies the identity

615: (\ref{BVidentity}).

616: 

617: 

618: 

619: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

620: 

621: %\section{}

622: %\label{sec:5}

623: %\noindent

624: We construct a {\it Q-structure} on the bundle (\ref{totspaceike}).

625: A simplest and natural action for a topological sigma model is 

626: \begin{eqnarray}

627: S_0 = && \sum_{p=0}^{\lfloor \frac{n-1}{2} \rfloor} 

628: (-1)^{n-p} \int_{X} \bb_{n-p-1\ a_p} d \ba_p{}^{a_p},

629: \label{s0ike}

630: \end{eqnarray}

631: %

632: where $d$ is a exterior differential on $X$.

633: The total degree of $d$ is $1$ because 

634: the form degree is $1$ and we assign the ghost number $0$. 

635: The integration over $X$ is understood as that over the 

636: $n$-form part (the form degree $n$ part) of the integrand. 

637: This action is 

638: analogy of a fundamental form $\theta = p_i d q^i$ for a

639: symplectic form $\omega$, which has $\omega = - d \theta$,

640: therefore this action is directly 

641: derived from the {\it P-structure} on the graded bundle.

642: The total degree of $S_0$ is $n$.

643: %

644: It is called an {\it abelian BF theory in $n$ dimensions}.

645: 

646: $S_0$ defines a {\it Q-structure}, since 

647: we can easily confirm that $S_0$ 

648: satisfies the classical master equation:

649: %

650: \begin{eqnarray}

651: (S_0, S_0) = 0,

652: \end{eqnarray}

653: 

654: 'Abelian' means that the theory has a $U(1)$ gauge symmetry.

655: The BRST transformation (the gauge symmetry) is defined as

656: \begin{eqnarray}

657: \brsike_0 \bPhiike \equiv (S_0, \bPhiike) = d \bPhiike,

658: \label{brstphiike}

659: \end{eqnarray}

660: where $\bPhiike$ is an arbitrary section of a total bundle

661: %\begin{eqnarray}

662: $

663: \left(\sum_{p=1}^{\lfloor \frac{n-1}{2} \rfloor}

664: E_p[p] \oplus E_p^*[n-p-1] \right) \oplus T^*[n-1] M

665: $.

666: %\end{eqnarray}

667: $\brsike_0^2 = 0$ is satisfied from $(S_0, S_0) = 0$, 

668: which is consistent to $d^2 = 0$.

669: 

670: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

671: \subsection{Chern-Simons with BF case}

672: \noindent

673: For a vector bundle $E$ with a Poisson structure on the fiber,

674: we can construct an another topological sigma model

675: if $n$ is odd. 

676: %where $1 \leq q \leq n-2$.

677: %

678: %

679: We consider a graded vector bundle $E[q]$ for $E$, 

680: which degree of the fiber is shifted by $q$.

681: Let $\ba_q{}^{a_q}$ be a basis of sections of 

682: $\Pi T^* X \otimes \bphiike^*(E[q])$.

683: From the equation (\ref{Poisson6ike}), 

684: we can define an antibracket as 

685: %

686: \begin{eqnarray}

687: \sbvike{F}{G} \equiv 

688: %\sum_{p=0}^{\lfloor \frac{n-1}{2} \rfloor} 

689: F  \frac{\rdike}{\partial \ba_q{}^{a}} k^{ab} 

690: \frac{\ldike }{\partial \ba_q{}^{b}}  G,

691: \label{EPike}

692: \end{eqnarray}

693: 

694: If we take a nonnegative integer $q = \frac{n-1}{2}$,

695: then the total degrees of 

696: (\ref{cotangentPike}), (\ref{EEPike}) and (\ref{EPike})

697: are all $-n+1$.

698: Thus we can consider a combined {\it P-structure}.

699: 

700: We consider a direct sum of $E[q] = E\left[\frac{n-1}{2}\right]$

701: with $E_p[p] \oplus E_p^*[n-p-1]$

702: %

703: \begin{eqnarray}

704: \left(\sum_{p=1}^{\frac{n-3}{2}}

705: E_p[p] \oplus E_p^*[n-p-1] \right) \oplus E\left[\frac{n-1}{2}\right],

706: \label{totbcsike}

707: \end{eqnarray}

708: where we have absorbed 

709: $E_p[p] \oplus E_p^*[n-p-1]$

710: to $E\left[\frac{n-1}{2}\right]$ for $p = \frac{n-1}{2}$.

711: %	

712: We can define a natural {\it P-structure}

713: on the graded vector bundle

714: \hfil\break

715: %\begin{eqnarray}

716: $

717: \left(\sum_{p=1}^{\frac{n-3}{2}}

718: E_p[p] \oplus E_p^*[n-p-1] \right) \oplus E\left[\frac{n-1}{2}\right]

719: \oplus T^*[n-1] M

720: $.

721: %\end{eqnarray}

722: %

723: A local (Darboux) coordinate expression of 

724: the antibracket $\sbvike{\cdot}{\cdot}$ is a sum of 

725: (\ref{cotangentPike}), (\ref{EEPike}) and 

726: (\ref{EPike}):

727: %

728: \begin{eqnarray}

729: \sbvike{F}{G} \equiv &&

730: \sum_{p=0}^{\frac{n-3}{2}} 

731: F \frac{\rdike}{\partial \ba_p{}^{a_p}} 

732: \frac{\ldike }{\partial \bb_{n-p-1 \ a_p}} G

733: - (-1)^{n p}

734: F \frac{\rdike }{\partial \bb_{n-p-1 \ a_p}} 

735: \frac{\ldike }{\partial \ba_p{}^{a_p}} G

736: \nonumber \\

737: &&

738: + F  \frac{\rdike}{\partial \ba_q{}^{a}} k^{ab} 

739: \frac{\ldike }{\partial \ba_q{}^{b}}  G,

740: \label{csantiike}

741: \end{eqnarray}

742: where 

743: $p=0$ component is the antibracket on 

744: the graded cotangent bundle $T^* [n-1] M$

745: and $\ba_0{}^{a_0} = \bphiike^i$.

746: %The total degree of the equation (\ref{csantiike}) is $-n+1$.

747: $q = \frac{n -1}{2}$ is needed for 

748: all the terms to have the total degree $-n+1$.

749: 

750: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

751: 

752: A simplest and natural action $S_0$ is 

753: %

754: \begin{eqnarray}

755: S_0 = && \sum_{p=0}^{\frac{n-3}{2}} 

756: (-1)^{n-p} \int_{X} \bb_{n-p-1\ a_p} d \ba_p{}^{a_p}

757: + \int_{X} \frac{k^{ab}}{2} 

758: \ba_{\frac{n-1}{2}\ a} d \ba_{\frac{n-1}{2}\ b},

759: \label{s0csike}

760: \end{eqnarray}

761: %

762: %where $d$ is a exterior differential on $X$, which total degree is 

763: %$1$ because the form degree is $1$ and we assign ghost number $0$.

764: %The total degree of $S_0$ is $n$.

765: %The integration over $X$ is understood as that over the 

766: %$n$-form part of the integrand. 

767: %

768: The second term 

769: %$\ba_{\frac{n-1}{2}\ a_p} d \ba_{\frac{n-1}{2}}{}^{a_p}$ 

770: is 

771: called an {\it abelian Chern-Simons theory} in $n$ dimensions.

772: %

773: $S_0$ defines a {\it Q-structure}, since 

774: we can easily confirm that 

775: $S_0$ satisfies the classical master equation:

776: \begin{eqnarray}

777: (S_0, S_0) = 0,

778: \end{eqnarray}

779: %

780: This action also has a $U(1)$ gauge symmetry. 

781: The BRST transformation is

782: \begin{eqnarray}

783: \brsike_0 \bPhiike = (S_0, \bPhiike) = d \bPhiike,

784: \label{brstcdphiike}

785: \end{eqnarray}

786: where $\bPhiike$ is an arbitrary section of the total bundle.

787: 

788: 

789: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

790: 

791: \section{Deformation}

792: %\label{sec:6}

793: \noindent

794: In this section, we consider deformation of Batalin-Vilkovisky structures.

795: Deformation means deformation of the {\it Q-structure} 

796: for a fixed {\it P-structure}.

797: We consider local deformation from the settled point (\ref{s0ike})

798: or (\ref{s0csike}) of the moduli space.

799: 

800: First we consider the BF case of the bundle

801: $

802: \left(\sum_{p=0}^{\lfloor \frac{n-1}{2} \rfloor}

803: E_p[p] \oplus E_p^*[n-p-1] \right) \oplus T^*[n-1] M

804: $.

805: %

806: The beginning {\it Q-structure} is the equation (\ref{s0ike}). 

807: We deform this Batalin-Vilkovisky action $S_0$ to 

808: \begin{eqnarray}

809: S = S_0 + g S_1,

810: \label{lapSike}

811: \end{eqnarray}

812: under 

813: the condition that $S$ also satisfies the classical master equation:

814: %

815: \begin{eqnarray}

816: \sbvike{S}{S} = 0,

817: \label{smasterike}

818: \end{eqnarray}

819: %

820: where $g$ is a deformation parameter and $S_1$ represents

821: all the deformation terms, which are functional on $X$ and 

822: functions on 

823: $

824: \left(\sum_{p=0}^{\lfloor \frac{n-1}{2} \rfloor}

825: E_p[p] \oplus E_p^*[n-p-1] \right) \oplus T^*[n-1] M

826: $.

827: %

828: We require that $S$ is the total degree $n$. It is equivalent 

829: that the ghost number is zero ${\rm gh} S = |S| - {\rm deg} S = 0$.

830: This condition is physically necessary, 

831: though we can relax this condition mathematically.

832: If two deformations $S$ and $S^{\prime}$ satisfy 

833: $S^{\prime} = S + \sbvike{S_0}{T} = S + \brsike_0{T}$ 

834: for some functional $T$, 

835: two Batalin-Vilkovisky structures are equivalent.

836: %

837: Therefore the problem is to look for the total degree 

838: $n$ cohomology class 

839: \hfil\break

840: $H^n \left(\Pi T^* X \otimes

841: \left(\sum_{p=0}^{\lfloor \frac{n-1}{2} \rfloor}

842: E_p[p] \oplus E_p^*[n-p-1] \right) \oplus T^*[n-1] M \right)$.

843: 

844: %

845: Substituting $S = S_0 + g S_1$ to (\ref{smasterike}), 

846: we obtain $g$ expansion 

847: \begin{eqnarray}

848: \sbvike{S_0}{S_0} + 2 g \sbvike{S_0}{S_1}

849: + g^2 \sbvike{S_1}{S_1} = 0,

850: \label{expabike}

851: \end{eqnarray}

852: 

853: Zero-th order of the equation (\ref{expabike}), 

854: $\sbvike{S_0}{S_0} = 0$, is already satisfied. 

855: 

856: First order %of the equation  (\ref{expabike})

857: is $\sbvike{S_0}{S_1} = 0$.

858: %We solve this equation. 

859: Because of the equation (\ref{brstphiike}),

860: $S_1$ is the integration of 

861: an arbitrary function $F$ of all fundamental superfields $\bPhiike$

862: which are $\ba_{p}{}^{a_{p}}$ or $\bb_{q b_{q}}$,

863: and their derivatives $d \bPhiike$:

864: \begin{eqnarray}

865: S_1 = && \int_{X} F(\bPhiike, d \bPhiike).

866: \end{eqnarray}

867: For simplicity, we assume that there is no boundary contribution to $S$,

868: that is, integration of total derivative terms on $X$ is always zero.

869: This corresponds to assume that there is no obstruction of deformation.

870: %

871: Then we can prove the following theorem:

872: \begin{theorem}

873: Assume there is no boundary contribution on $X$, i.e.

874: $\int_{X} d G(\bPhiike) = 0$ for any function $G$.

875: If a monomial of $F(\bPhiike, d \bPhiike)$ includes at least one $d \bPhiike$, 

876: $\int_{X} F(\bPhiike, d \bPhiike)$ is $\brsike_0$-exact.

877: \end{theorem}

878: \begin{proof}

879: We can assume that

880: $\int_{X} F(\bPhiike, d \bPhiike) 

881: = \sum_{p=0}^{n-1} \int_{X} F_{n-p-1} d G_{p}$,

882: where 

883: $F_{n-p-1}$ are functions with the form degree 

884: $n-p-1$ and $G_{p}$ are functions with the form degree 

885: $p$.

886: From (\ref{brstphiike}), 

887: %or (\ref{brstcdphiike}), 

888: we obtain

889: \begin{eqnarray}

890: && \delta_0 F_{0} = 0, 

891: \nonumber \\

892: && \delta_0 F_{n-p-1} = d F_{n-p-2} \quad \mbox{for $-1 \leq p \leq n-2$},

893: \nonumber \\

894: && d F_{n} = 0, 

895: \nonumber \\

896: && \delta_0 G_{0} = 0, 

897: \nonumber \\

898: && \delta_0 G_{p} = d G_{p-1} \quad \mbox{for $1 \leq p \leq n$},

899: \nonumber \\

900: && d G_{n} = 0, 

901: \label{expbrstike}

902: \end{eqnarray}

903: For even $p$, adjoining two terms are combined as

904: \begin{eqnarray}

905: && F_{n-p-1} d G_{p} + F_{n-p-2} d G_{p+1}

906: \nonumber \\

907: && =

908: (-1)^{n-p-1} \delta_0( F_{n-p-1} G_{p+1} )

909: - (-1)^{n-p-1} d( F_{n-p-2} G_{p+1} )

910: \label{2termsike}

911: \end{eqnarray}

912: using the relations (\ref{expbrstike}). 

913: Thus integration of these two terms is $\delta_0$-exact.

914: 

915: If $n$ is even, 

916: $S_1 = \sum_{p=0}^{n-1} \int_{X} F_{n-p-1} d G_{p}$ has even numbers of terms,

917: therefore 

918: we combine each two term like (\ref{2termsike}) and

919: we can confirm that $S_1$ is $\delta_0$-exact.

920: 

921: If $n$ is odd, the last term 

922: $F_{0} d G_{n-1}$ remains.

923: However this term is $\delta_0$-exact because

924: $F_{0} d G_{n-1} = \delta_0 (F_{0} G_{n})$.

925: Therefore $S_1$ is $\delta_0$-exact.

926: \smartqed\qed 

927: \end{proof}

928: %

929: Therefore since the nontrivial $S_1$ cohomological class

930: does not include $d$, we can take 

931: $S_1 = \int_{X} F(\bPhiike)$.

932: %

933: Concretely we can express

934: %

935: \begin{eqnarray}

936: %S_0 = && \sum_{p=0}^{\lfloor \frac{n-1}{2} \rfloor} (-1)^{n-p} \int_{X}

937: %\bb_{n-p-1\ a_p} d \ba_p{}^{a_p}, \nonumber \\

938: S_1 = && \sum_{p(1), \cdots, p(k), q(1), \cdots, q(l)} \int_{X} 

939: F_{p(1) \cdots p(k), q(1) \cdots q(l) \ a_{p(1)} \cdots a_{p(k)}}

940: {}^{b_{q(1)} \cdots b_{q(l)}}(\ba_0{}^{a_0})

941: \nonumber \\

942: && \times \ba_{p_1}{}^{a_{p(1)}} \cdots \ba_{p_k}{}^{a_{p(k)}}

943: \bb_{q_1 b_{q(1)}} \cdots \bb_{q_l b_{q(l)}},

944: \label{s1ike}

945: \end{eqnarray}

946: %

947: where $F_{p(1) \cdots p(k), q(1) \cdots q(l) \ a_{p(1)} \cdots a_{p(k)}}

948: {}^{b_{q(1)} \cdots b_{q(l)}}(\ba_0{}^{a_0})$ 

949: is a function of $\ba_0{}^{a_0}$

950: and $p(r) \neq 0, q(s) \neq 0$ for $r = 1, \cdots, k, s = 1, \cdots, l$.

951: From the ${\rm deg} S = n$ condition, we obtain

952: $\sum_{\alpha=0}^k

953:  |\ba_{p_\alpha}{}^{a_{p(\alpha)}}| +

954: \sum_{\beta=0}^l |\bb_{q_\beta b_{q(\beta)}}| = n$.

955: 

956: 

957: 

958: Second order of the equation (\ref{expabike})

959: \begin{eqnarray}

960: \sbvike{S_1}{S_1} = 0,

961: \label{s1s1ike}

962: \end{eqnarray}

963: imposes conditions on functions

964: $F_{p(1) \cdots p(k), q(1) \cdots q(l) \ a_{p(1)} \cdots a_{p(k)}}

965: {}^{b_{q(1)} \cdots b_{q(l)}}(\ba_0{}^{a_0})$.

966: These conditions determine the mathematical structure 

967: of a Batalin-Vilkovisky structure.

968: 

969: We call a resulting field theory $S=S_0+g S_1$ a {\it nonlinear gauge theory}

970: in $n$ dimensions.

971: 

972: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

973: Next we consider the Chern-Simons with BF case 

974: %

975: \hfil\break

976: $

977: \left(\sum_{p=1}^{\frac{n-3}{2}}

978: E_p[p] \oplus E_p^*[n-p-1] \right) \oplus E\left[\frac{n-1}{2}\right].

979: %\label{totbcsike}

980: $

981: %

982: We make a similar discussion with the BF case.

983: %\hfil\break

984: %$

985: %\left(

986: %\sum_{p=0}^{\lfloor \frac{n-1}{2} \rfloor}

987: %E_p[p] \oplus E_p^*[n-p-1] \right) \oplus T^*[n-1] M

988: %$.

989: %

990: We consider deformation of the Batalin-Vilkovisky action (\ref{s0csike}) to 

991: (\ref{lapSike}), $S = S_0 + g S_1$,

992: under 

993: the condition that $S$ also satisfies the classical master equation

994: (\ref{smasterike}).

995: We obtain $S_1$ by using Theorem 1.

996: $S_1$ has a similar expression with

997: (\ref{s1ike}) but has different field contents.

998: %

999: The second order of the equation (\ref{expabike})

1000: \begin{eqnarray}

1001: \sbvike{S_1}{S_1} = 0,

1002: %\label{s1s1ike}

1003: \end{eqnarray}

1004: imposes conditions on functions

1005: $F_{p(1) \cdots p(k), q(1) \cdots q(l) \ a_{p(1)} \cdots a_{p(k)}}

1006: {}^{b_{q(1)} \cdots b_{q(l)}}(\ba_0{}^{a_0})$.

1007: %These conditions determine the structure of a Batalin-Vilkovisky structure.

1008: %

1009: %We call a resulting field theory a {\it nonlinear gauge theory}

1010: %in $n$ dimensions.

1011: 

1012: 

1013: 

1014: 

1015: 

1016: 

1017: 

1018: 

1019: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1020: 

1021: \section{Deformation in lower dimensions}

1022: %\label{sec:7}

1023: \noindent

1024: In this section, we concretely 

1025: analyze the algebraic and geometric structure of 

1026: deformation of a topological sigma model in lower dimensional $X$.

1027: 

1028: We can easily find that we cannot obtain nontrivial deformation in case of 

1029: the total degree $n=1$, thus we cannot obtain a nontrivial structure.

1030: %

1031: \subsection{$n=2$}

1032: %\label{sec:2}

1033: \noindent

1034: We analyze the algebraic structure of the total degree $n=2$ 

1035: topological sigma model.

1036: %We call a {\it nonlinear gauge theory in two dimensions}

1037: %because a base space $X$ is in two dimensions.

1038: %\begin{eqnarray}

1039: In two dimensions, the total graded bundle (\ref{totspaceike}) is

1040: $

1041: T^*[1] M = \Pi T^* M 

1042: $.

1043: %\end{eqnarray}

1044: 

1045: (\ref{lapSike}) 

1046: under (\ref{s1ike}) is 

1047: %

1048: \begin{eqnarray}

1049: && S = S_0 +g S_1,  \nonumber \\

1050: && S_0 = \int_{X}

1051: \bb_{1 i} d \bphiike^i, 

1052: %\nonumber \\ && 

1053: \qquad

1054: S_1 = \int_{\Sigma} \frac{1}{2} f^{ij}(\bphiike)

1055: \bb_{1 i} \bb_{1 j},

1056: \label{2dactionike}

1057: \end{eqnarray}

1058: where $i, j, \cdots$ are indices of 

1059: a local coordinate expressions on

1060: $

1061: T^*[1] M

1062: $.

1063: and 

1064: we rewrite the notations as 

1065: $\bphiike^i = \ba_0{}^i$ and 

1066: $\frac{1}{2}f^{ij}(\bphiike) = F_{,11}{}^{ij}(\ba_0{})$.

1067: This topological sigma model 

1068: is known as {\it the Poisson sigma model} \cite{IIike}\cite{SSike}.

1069: %

1070: If we substitute this $S_1$ to the condition (\ref{s1s1ike}),

1071: we obtain the geometric structure of the action.

1072: %that $S$ satisfies the classical master equation

1073: We obtain the following identity on $f^{ij}$: 

1074: \begin{eqnarray}

1075: f^{kl} \frac{\ldike}{\partial \bphiike^l} f^{ij}

1076: + f^{il} \frac{\ldike}{\partial \bphiike^l} f^{jk}

1077: + f^{jl} \frac{\ldike}{\partial \bphiike^l} f^{ki}= 0.

1078: \label{2dJacobiike}

1079: \end{eqnarray}

1080: If we restrict the identity on $X$ (i.e. a ghost number zero sector), 

1081: (\ref{2dJacobiike}) reduces to

1082: \begin{eqnarray}

1083: f^{kl}(\phi) \frac{\partial f^{ij}(\phi)}{\partial \phi^l}

1084: + f^{il}(\phi) \frac{\partial f^{jk}(\phi)}{\partial \phi^l}

1085: + f^{jl}(\phi) \frac{\partial f^{ki}(\phi)}{\partial \phi^l}= 0.

1086: \label{2dJacobi2ike}

1087: \end{eqnarray}

1088: %

1089: %We have deformed the abelian BF theory $S_0$ to $S$

1090: %by the analysis of the BRST cohomology.

1091: %That deformation corresponds to the usual product $FG$ to the star product 

1092: %$F * G$ \cite{CF}.

1093: Under the identity (\ref{2dJacobiike}), 

1094: $- f^{ij}$ defines a Poisson

1095: structure as

1096: \begin{eqnarray}

1097: \{F(\phi),G(\phi) \} \equiv - f^{ij}(\phi)

1098: \frac{\partial F}{\partial \phi^i}\frac{\partial G}{\partial \phi^j},

1099: \label{pbracketike}

1100: \end{eqnarray}

1101: on the space $M$.

1102: %

1103: Conversely, if we consider the Poisson structure $- f^{ij}$ on $M$, which

1104: satisfies the identity (\ref{2dJacobiike}), we can define the action 

1105: (\ref{2dactionike}) consistently.

1106: %

1107: This Poisson bracket (\ref{pbracketike}) is directly constructed 

1108: if we restrict the derived bracket \cite{Kosike} 

1109: of a Batalin-Vilkovisky structure:

1110: \begin{eqnarray}

1111: \{F(\bphiike),G(\bphiike) \} = - 

1112: F \frac{\rdike}{\partial \bphiike^i}f^{ij}(\bphiike)\frac{\ldike}{\partial \bphiike^j} G

1113: = \sbvike{\sbvike{S}{F}}{G},

1114: \end{eqnarray}

1115: to $M$ and $X$, i.e. to the ghost number zero sector.

1116: 

1117: %We can find that 

1118: %a total degree $2$ nonlinear gauge theory and the Poisson structure on $M$

1119: %correspond to one to one.

1120: %

1121: 

1122: The Batalin-Vilkovisky structure of this theory has a structure of 

1123: the {\it Lie algebroid} \

1124: $T^* [1] \calMike$ \cite{LOike}\cite{Oike},

1125: where $\calMike$ is a space of a (smooth) map from $\Pi T X$

1126: to a target space $M$.

1127: 

1128: A {\it Lie algebroid} is a generalization of a bundle 

1129: of a Lie algebra over a base manifold $\calMike$.

1130: %

1131: A Lie algebroid over a manifold is a vector bundle 

1132: $\calEike \rightarrow \calMike$ with a Lie algebra structure on the 

1133: space of the sections $\Gamma(\calEike)$ defined by the 

1134: Lie bracket $[e_1, e_2], \quad e_1, e_2 \in \Gamma(\calEike)$

1135: and a bundle map (the anchor)

1136: $\rho: \calEike \rightarrow T\calMike$ satisfying the following properties:

1137: \begin{eqnarray}

1138: && 1, \quad \rm{For \ any} \quad e_1, e_2 \in \Gamma(\calEike), \quad

1139: [\rho(e_1), \rho(e_2)] = \rho([e_1, e_2]),

1140: \nonumber \\

1141: && 2, \quad \rm{For \ any} \quad e_1, e_2 \in \Gamma(\calEike), 

1142: \ F \in C^{\infty}(\calMike), 

1143: \nonumber \\ 

1144: && \qquad [e_1, F e_2] = F [e_1, e_2] + (\rho(e_1) F) e_2,

1145:   \label{liealgdef}

1146: \end{eqnarray}

1147: 

1148: We can derive the bracket of a Lie algebroid from the antibracket

1149: and the Batalin-Vilkovisky structure of the $n=2$ theory.

1150: In our case, 

1151: %$\calMike$ is a space of smooth maps $\bphiike^i$ from the

1152: %supermanifold  

1153: %$\tilde{X}$ whose degree zero part is a two-dimensional manifold $X$

1154: %to a target space $M$. 

1155: a vector bundle $\calEike$ is a cotangent bundle $T^*[1]\calMike$.

1156: %, where the grading of fiber direction is shifted by one.

1157: %

1158: The Lie bracket of the two sections $e_1$ and $e_2$ is defined as 

1159: a derived bracket of the antibracket by

1160: %

1161: \begin{eqnarray}

1162: [e_1, e_2] \equiv \sbvike{\sbvike{S}{e_1}}{e_2},

1163: \end{eqnarray}

1164: %

1165: and the anchor is defined by

1166: %

1167: \begin{eqnarray}

1168: \rho(e) F(\bphiike) \equiv \sbvike{e}{\sbvike{S}{F(\bphiike)}}.

1169: \end{eqnarray}

1170: %

1171: Then we can confirm $[e_1, e_2] = - [e_2, e_1]$,  

1172: from $\sbvike{e_1}{e_2}=0$ and the graded Jacobi identity of the antibracket.

1173: Similarly, a Lie algebroid conditions 1 and 2 on the bracket 

1174: $[\cdot, \cdot]$ and the anchor map $\rho$ 

1175: are obtained from the classical master equation $\sbvike{S}{S}=0$.

1176: %

1177: From this derived bracket,

1178: we directly obtain 

1179: the following ``noncommutative'' relation on the coordinates:

1180: \begin{eqnarray}

1181: [\bphiike^i, \bphiike^j] = - f^{ij}(\bphiike).

1182: \end{eqnarray}

1183: The anchor is a differentiation on functions of $\bphiike$ as

1184: \begin{eqnarray}

1185: \rho(\bphiike^i) F(\bphiike) = - f^{ij}(\bphiike) 

1186: \frac{\ldike}{\partial \bphiike^j} F(\bphiike).

1187: \end{eqnarray}

1188: 

1189: 

1190: 

1191: 

1192: 

1193: 

1194: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1195: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1196: \subsection{$n=3$}

1197: %\noindent

1198: \subsubsection{BF case}

1199: \noindent

1200: We analyze a nonlinear gauge theory in three dimensions.

1201: In this case, the theory defines the topological open 2-brane as a

1202: sigma model \cite{I2ike}\cite{Pike}.

1203: 

1204: We consider a supermanifold $\Pi T X$ whose ghost number zero part is 

1205: a three-dimensional manifold $X$.

1206: %In this simga model, 

1207: A base space $\calMike$ is the space of a (smooth) map $\bphiike$ 

1208: from $\Pi T X$ to a target space $M$.

1209: %We consider the same setting in section 2.

1210: %The parity of the fiber of $\calEike$ is reversed and the grading is

1211: %shifted by one.

1212: In $n=3$, the total bundle (\ref{totbundleike}) is 

1213: a vector bundle $E[1] \oplus E^*[1]$.

1214: From (\ref{totspaceike}), we consider 

1215: $(E[1] \oplus E^*[1]) \oplus T^*[2]M$.

1216: %The fiber is $\calVike[1] \oplus \calVike^*[1]$,

1217: %where $\calE$ is vector bundle

1218: %and $[p]$ represents the gradingshifted by $p$.

1219: We obtain an antibracket $\sbvike{\cdot}{\cdot}$ 

1220: on the space of sections of 

1221: $\Pi T^* X \otimes \bphiike^*(E[1] \oplus E^*[1] \oplus T^*[2]M)$

1222: if we set $n=3$ in (\ref{bfantibracketike}).

1223: 

1224: 

1225: In order to write down the Batalin-Vilkovisky action $S$, 

1226: we take a local basis on 

1227: $\Pi T^* X \otimes \bphiike^*(E[1] \oplus E^*[1])$

1228: as $\ba_{1}{}^a, \bb_{1\ a}$, 

1229: which are Darboux coordinates

1230: such that $\sbvike{\ba_1{}^a}{\ba_1{}^b} = 

1231: \sbvike{\bb_{1a}}{\bb_{1b}} = 0$ and

1232: $\sbvike{\ba_1{}^a}{\bb_{1b}} = \delta^{a}{}_b$.

1233: %In other words, $\ba_{1}{}^a$ and $\bb_{1\ a}$ are BV field-antifield

1234: %pairs. 

1235: Moreover we introduce $\bb_{2 i}$

1236: a section of $\Pi T^* X \oplus \bphiike^*(T^*[2]M)$.

1237: 

1238: The total action (\ref{lapSike}) 

1239: under (\ref{s1ike}) is 

1240: %

1241: \begin{eqnarray}

1242: && S = S_0 +g S_1,  \nonumber \\

1243: && S_0 = \int_{X}

1244: [- \bb_{2 i} d \bphiike{}^i + \bb_{1 a} d \ba_1{}^a], 

1245: \nonumber \\

1246: && S_1 = \int_{X} 

1247: [f_1{}_a{}^i(\bphiike) \ba_1{}^a \bb_{2 i} 

1248: + f_2^{ib}(\bphiike) \bb_{2 i} \bb_{1 b}

1249: + \frac{1}{3!} f_{3abc}(\bphiike) \ba_1{}^a \ba_1{}^b \ba_1{}^c

1250: \nonumber \\

1251: && 

1252: + \frac{1}{2} f_{4ab}{}^c(\bphiike) \ba_1{}^a \ba_1{}^b \bb_{1 c}

1253: + \frac{1}{2} f_{5a}{}^{bc}(\bphiike) \ba_1{}^a \bb_{1 b} \bb_{1 c}

1254: \nonumber \\

1255: && 

1256: + \frac{1}{3!} f_6{}^{abc}(\bphiike) \bb_{1 a} \bb_{1 b} \bb_{1 c}],

1257: \label{3daction}

1258: \end{eqnarray}

1259: %where indices $a, b, c$ represent the indices on the fiber $E_x$, and $i, j,

1260: %k$, represent the indices on $T^*M$.

1261: where we set

1262: $f_1{}_a{}^i = F_{1,2 a}{}^i$,

1263: $f_2^{ib} = F_{,21}{}^{ib}$,

1264: $\frac{1}{3!}f_{3abc} = F_{111, abc}$,

1265: $\frac{1}{2}f_{4ab}{}^c = F_{11,1 ab}{}^c$,

1266: $\frac{1}{2}f_{5a}{}^{bc} = F_{1,11 a}{}^{bc}$,

1267: $\frac{1}{3!}f_6{}^{abc} = F_{,111 }{}^{abc}$,

1268: for clarity. 

1269: %

1270: The condition of the classical

1271: master equation (\ref{s1s1ike}) imposes the following identities on six

1272: $f_i$'s, $i=1, \cdots, 6$\cite{I2ike}:

1273: \begin{eqnarray}

1274: && 

1275: f_{1}{}_e{}^i f_{2}{}^{je} + f_{2}{}^{ie} f_{1}{}_e{}^j =

1276: 0,

1277: %\label{jac1} \\

1278: \nonumber \\

1279: && 

1280: - \left( \frac{\ldike}{\partial \bphiike^j} f_{1}{}_c{}^i 

1281: \right) f_{1}{}_b{}^j 

1282: + \left( \frac{\ldike}{\partial \bphiike^j} f_{1}{}_b{}^i

1283: \right) f_1{}_c {}^j

1284: + f_1{}_e{}^i f_{4bc}{}^e + f_{2}{}^{ie} f_{3ebc} = 0, 

1285: %\label{jac2} \\

1286: \nonumber \\

1287: &&

1288:  f_1{}_b{}^j \left( \frac{\ldike}{\partial \bphiike^j} f_{2}{}^{ic} \right)

1289: - f_{2}{}^{jc} \left( \frac{\ldike}{\partial \bphiike^j}  f_1{}_b{}^i \right)

1290: + f_1{}_e{}^i f_{5b}{}^{ec} - f_{2}{}^{ie} f_{4eb}{}^c = 0, 

1291: %\label{jac3} \\

1292: \nonumber \\

1293: &&

1294: - f_{2}{}^{jb} \left( \frac{\ldike}{\partial \bphiike^j} f_{2}{}^{ic} \right)

1295: + f_{2}{}^{jc} \left( \frac{\ldike}{\partial \bphiike^j} f_{2}{}^{ib} \right)

1296: + f_1{}_e{}^i f_{6}^{ebc} + f_{2}{}^{ie} f_{5e}{}^{bc} = 0, 

1297: %\label{jac4} \\

1298: \nonumber \\

1299: &&

1300: - f_1{}_{[a}{}^j \left( \frac{\ldike}{\partial \bphiike^j} f_{4bc]}{}^d \right)

1301: + f_{2}{}^{jd} \left( \frac{\ldike}{\partial \bphiike^j} f_{3abc} \right)

1302: + f_{4e[a}{}^d f_{4bc]}{}^{e} + f_{3e[ab} f_{5c]}{}^{de} =

1303: 0,

1304: %\label{jac5} \\

1305: \nonumber \\

1306: &&

1307: - f_1{}_{[a}{}^j \left( \frac{\ldike}{\partial \bphiike^j} f_{5b]}{}^{cd} \right)

1308: - f_{2}{}^{j[c} \left( \frac{\ldike}{\partial \bphiike^j} f_{4ab}{}^{d]} \right)

1309: \nonumber \\

1310: && 

1311: + f_{3eab} f_6{}^{ecd} 

1312: + f_{4e[a}{}^{[d} f_{5b]}{}^{c]e} 

1313: + f_{4ab}{}^e f_{5e}{}^{cd} = 0, 

1314: %\label{jac6} \\

1315: \nonumber \\

1316: &&

1317: - f_1{}_a{}^j \left( \frac{\ldike}{\partial \bphiike^j} f_{6}{}^{bcd} \right)

1318: + f_{2}{}^{j[b} \left( \frac{\ldike}{\partial \bphiike^j} f_{5a}{}^{cd]} \right)

1319: + f_{4ea}{}^{[b} f_6{}^{cd]e} + f_{5e}{}^{[bc} f_{5a}{}^{d]e} = 0, 

1320: %\label{jac7} \\

1321: \nonumber \\

1322: &&

1323: - f_{2}{}^{j[a} \left( \frac{\ldike}{\partial \bphiike^j} f_{6}{}^{bcd]} \right)

1324: + f_6{}^{e[ab} f_{5e}{}^{cd]} = 0, 

1325: %\label{jac8} \\

1326: \nonumber \\

1327: &&

1328: - f_1{}_{[a}{}^j \left( \frac{\ldike}{\partial \bphiike^j} f_{3bcd]} \right)

1329: + f_{4[ab}{}^{e} f_{3cd]e} = 0,

1330: %\label{jac9}

1331: \label{3dJacobiike}

1332: \end{eqnarray}

1333: where $[\cdots]$ on the indices represents the antisymmetrization of

1334: them, e.g., $\Phi_{[ab]} = \Phi_{ab} - \Phi_{ba}$.

1335: 

1336: If we restrict fields to $X$, 

1337: %we obtain the ordinary action

1338: %without antifields as follows:

1339: %%

1340: %\begin{eqnarray}

1341: %&& S = S_0 +g S_1,  \nonumber \\

1342: %&& S_0 = \int_{X} \left[ - B_{2\ i} d \phi^i 

1343: %+ B_{1\ a} d A_1{}^a \right], \nonumber \\ 

1344: %&& S_1 = \int_{X} 

1345: %[f_1{}_a{}^i(\phi) A_1{}^a B_{2\ i} 

1346: %+ f_2{}^{ib}(\phi) B_{2 i} B_{1 b}

1347: %+ \frac{1}{3!} f_{3abc}(\phi) A_1{}^a A_1{}^b A_1{}^c

1348: %\nonumber \\

1349: %&& 

1350: %+ \frac{1}{2} f_{4ab}{}^c(\phi) A_1{}^a A_1{}^b B_{1 c}

1351: %+ \frac{1}{2} f_{5a}{}^{bc}(\phi) A_1{}^a B_{1 b} B_{1 c}

1352: %+ \frac{1}{3!} f_6{}^{abc}(\phi) B_{1 a} B_{1 b} B_{1 c}].

1353: %\label{3dbf}

1354: %\end{eqnarray}

1355: (\ref{3dJacobiike}) reduces to the following identities:

1356: \begin{eqnarray}

1357: && 

1358: f_{1}{}_e{}^i f_{2}{}^{je} + f_{2}{}^{ie} f_{1}{}_e{}^j = 0, 

1359: %\label{2jac1} \\

1360: \nonumber \\

1361: && 

1362: - \frac{\partial f_{1}{}_c{}^i}{\partial \phi^j} f_{1}{}_b{}^j

1363: + \frac{\partial f_{1}{}_b{}^i}{\partial \phi^j} f_1{}_c {}^j

1364: + f_1{}_e{}^i f_{4bc}{}^e + f_{2}{}^{ie} f_{3ebc} = 0, 

1365: %\label{2jac2} \\

1366: \nonumber \\

1367: &&

1368:  f_1{}_b{}^j \frac{\partial f_{2}{}^{ic}}{\partial \phi^j} 

1369: - f_{2}{}^{jc} \frac{\partial f_1{}_b{}^i}{\partial \phi^j} 

1370: + f_1{}_e{}^i  f_{5b}{}^{ec} - f_{2}{}^{ie} f_{4eb}{}^c = 0, 

1371: %\label{2jac3} \\

1372: \nonumber \\

1373: &&

1374: - f_{2}{}^{jb} \frac{\partial f_{2}{}^{ic}}{\partial \phi^j} 

1375: + f_{2}{}^{jc} \frac{\partial f_{2}{}^{ib}}{\partial \phi^j} 

1376: + f_1{}_e{}^i f_{6}^{ebc} + f_{2}{}^{ie} f_{5e}{}^{bc} = 0, 

1377: %\label{2jac4} \\

1378: \nonumber \\

1379: &&

1380: - f_1{}_{[a}{}^j \frac{\partial f_{4bc]}{}^d}{\partial \phi^j} 

1381: + f_{2}{}^{jd} \frac{\partial f_{3abc}}{\partial \phi^j} 

1382: + f_{4e[a}{}^d f_{4bc]}{}^{e} + f_{3e[ab} f_{5c]}{}^{de} = 0, 

1383: %\label{2jac5} \\

1384: \nonumber \\

1385: &&

1386: - f_1{}_{[a}{}^j \frac{\partial f_{5b]}{}^{cd}}{\partial \phi^j} 

1387: - f_{2}{}^{j[c} \frac{\partial f_{4ab}{}^{d]}}{\partial \phi^j} 

1388: + f_{3eab} f_6{}^{ecd} 

1389: + f_{4e[a}{}^{[d} f_{5b]}{}^{c]e} + f_{4ab}{}^e f_{5e}{}^{cd} = 0, 

1390: %\label{2jac6} \\

1391: \nonumber \\

1392: &&

1393: - f_1{}_a{}^j \frac{\partial f_{6}{}^{bcd}}{\partial \phi^j} 

1394: + f_{2}{}^{j[b} \frac{\partial f_{5a}{}^{cd]}}{\partial \phi^j} 

1395: + f_{4ea}{}^{[b} f_6{}^{cd]e} + f_{5e}{}^{[bc} f_{5a}{}^{d]e} = 0, 

1396: %\label{2jac7} \\

1397: \nonumber \\

1398: &&

1399: - f_{2}{}^{j[a} \frac{\partial f_{6}{}^{bcd]}}{\partial \phi^j} 

1400: + f_6{}^{e[ab} f_{5e}{}^{cd]} = 0, 

1401: %\label{2jac8} \\

1402: \nonumber \\

1403: &&

1404: - f_1{}_{[a}{}^j \frac{\partial f_{3bcd]}}{\partial \phi^j} 

1405: + f_{4[ab}{}^{e} f_{3cd]e} = 0.

1406: %\label{2jac9}

1407: \label{3dJacobi2ike}

1408: \end{eqnarray}

1409: 

1410: %Let us analyze the identities (\ref{stride}) on the structure

1411: %functions $f_1$ and $f_2$, which is equivalent to (\ref{identity3}).

1412: %The gauge algebra under this theory is the Courant algebroid.

1413: %\label{3dJacobi}

1414: 

1415: 

1416: The algebraic structure (\ref{3dJacobiike}) (or (\ref{3dJacobi2ike}))

1417: is {\it a Courant algebroid}.

1418: %

1419: {\it A Courant algebroid} is introduced by Courant 

1420: in order to analyze the Dirac structure as a generalization of a

1421: Lie algebra of vector fields

1422: on a vector bundle \cite{Cike}\cite{LWXike}.

1423: %\footnote{ and reference therein.}.

1424: The Batalin-Vilkovisky structure on a Courant algebroid 

1425: is first analyzed in \cite{R1ike}.

1426: 

1427: {\it A Courant algebroid} is a vector bundle $\calEike \rightarrow \calMike$

1428: and has a nondegenerate symmetric bilinear form

1429: $\bracketike{\cdot}{\cdot}$ 

1430: on the bundle, a bilinear operation $\circ$ on $\Gamma(\calEike)$ (the

1431: space of sections on $\calEike$), and a bundle map (called the anchor) 

1432: $\rho: \calEike \rightarrow T\calMike$ satisfying the following properties:

1433: %\cite{R1ike}

1434: %

1435: \begin{eqnarray}

1436: && 1, \quad e_1 \circ (e_2 \circ e_3) = (e_1 \circ e_2) \circ e_3 

1437: + e_2 \circ (e_1 \circ e_3), \nonumber \\

1438: && 2, \quad \rho(e_1 \circ e_2) = [\rho(e_1), \rho(e_2)], \nonumber \\

1439: && 3, \quad e_1 \circ F e_2 = F (e_1 \circ e_2)

1440: + (\rho(e_1)F)e_2, \nonumber \\

1441: && 4, \quad e_1 \circ e_2 = \frac{1}{2} {\cal D} \bracketike{e_1}{e_2},

1442: \nonumber \\ 

1443: && 5, \quad \rho(e_1) \bracketike{e_2}{e_3}

1444: = \bracketike{e_1 \circ e_2}{e_3} + \bracketike{e_2}{e_1 \circ e_3},

1445:    \label{courantdefike}

1446: \end{eqnarray}

1447: where 

1448: $e_1, e_2$ and $e_3$ are sections of $\calEike$, and $F$ is a function on 

1449: $\calMike$;

1450: ${\cal D}$ is a map from functions on $\calMike$ to $\Gamma(\calEike)$ and is

1451: defined by

1452: $\bracketike{{\cal D}F}{e} = \rho(e) F$.

1453: %

1454: %Then (\ref{courantdefike}) is written as

1455: %\begin{eqnarray}

1456: %&& 1, \quad e^a \circ (e^b \circ e^c) = (e^a \circ e^b) \circ e^c 

1457: %+ e^b \circ (e^a \circ e^c), \nonumber \\

1458: %&& 2, \quad \rho(e^a \circ e^b) = [\rho(e^a), \rho(e^b)], \nonumber \\

1459: %&& 3, \quad e^a \circ F e^b = F (e^a \circ e^b)

1460: %+ (\rho(e^a)F)e^b, \nonumber \\

1461: %&& 4, \quad e^a \circ e^b = \frac{1}{2} {\cal D} \bracketike{e^a}{e^b},

1462: %\nonumber \\ 

1463: %&& 5, \quad \rho(e^a) \bracketike{e^b}{e^c}

1464: %= \bracketike{e^a \circ e^b}{e^c} + \bracketike{e^b}{e^a \circ e^c}.

1465: %  \label{courantbaseike}

1466: %\end{eqnarray}

1467: %%where 

1468: %%$e_1, e_2$ is sections of $E$, $F$ is a function on $M$.

1469: 

1470: 

1471: In our nonlinear gauge theory, 

1472: $\calMike$ is the space of a map $\bphiike$ from $\Pi T X$ to $M$

1473: and $\calEike$ is the space of sections of 

1474: $\Pi T^* X \oplus \bphiike^*(E[1] \oplus E^*[1])$.

1475: Let $e^a$ be a local basis of sections of $\calEike$.

1476: We take $e^a = \ba_{1}{}^a$ or $\bb_{1\ a}$, 

1477: which are a $E[1]$ component or a $E^*[1]$ component respectively.

1478: We define a graded symmetric bilinear form 

1479: $\bracketike{\cdot}{\cdot}$, a bilinear operation $\circ$, a

1480: bundle map $\rho$ and ${\cal D}$ from the antibracket as follows:

1481: %

1482: \begin{eqnarray}

1483: && e^a \circ e^b \equiv \sbvike{\sbvike{S}{e^a}}{e^b}, \nonumber \\

1484: && \bracketike{e^a}{e^b} \equiv \sbvike{e^a}{e^b}, \nonumber \\

1485: && \rho(e^a) F(\bphiike) \equiv \sbvike{e^a}{\sbvike{S}{F(\bphiike)}}, \nonumber \\

1486: && {\cal D}(*) \equiv \sbvike{S}{*}.

1487:   \label{corresbase2ike}

1488: \end{eqnarray}

1489: %

1490: Then we can confirm that the classical master equation 

1491: $\sbvike{S}{S} =0$, which derive 

1492: the identity (\ref{3dJacobiike}) on structure functions $f$'s, 

1493: is equivalent to the conditions $1$ to $5$ of 

1494: the equation (\ref{courantdefike}).

1495: %a Courant algebroid.

1496: \cite{R1ike}\cite{I4ike}

1497: %Conversely, first we define the graded odd Poisson structure

1498: %$\bracketike{\cdot}{\cdot}$

1499: %on the bundle $\calEike \oplus T^*[2]\calMike$,

1500: We calculate the operations %$\bracket{\cdot}{\cdot}$, 

1501: $\circ$ and $\rho$ on the basis as follows:

1502: \begin{eqnarray}

1503: && \ba_1{}^a \circ \ba_1{}^b = - f_{5c}{}^{ab}(\bphiike) \ba_1{}^c

1504: - f_{6}{}^{abc}(\bphiike) \bb_{1c}, \nonumber \\

1505: && \ba_1{}^a \circ \bb_{1b} = - f_{4bc}{}^{a}(\bphiike) \ba_1{}^c

1506: + f_{5b}{}^{ac}(\bphiike) \bb_{1c}, \nonumber \\

1507: && \bb_{1a} \circ \bb_{1b} = - f_{3abc}(\bphiike) \ba_1{}^c

1508: - f_{4ab}{}^{c}(\bphiike) \bb_{1c}, \nonumber \\

1509: && \rho(\ba_1{}^a) \bphiike^i = - f_{2}{}^{ia}(\bphiike),

1510: \nonumber \\

1511: && \rho(\bb_{1a}) \bphiike^i = - f_{1a}{}^i(\bphiike).

1512:   \label{bfcourant}

1513: \end{eqnarray}

1514: %

1515: %Then the conditions $1$ to $5$ of the Courant algebroid are equivalent

1516: %to the identities (\ref{3dJacobi}) on six $f$'s.

1517: %

1518: %The action $S$ is the BRST charge of the Courant algebroid.

1519: %Since the master equation (\ref{master}) is equivalent to

1520: %(\ref{3dJacobi}), the relations $1$ to $5$ is equivalent to 

1521: %the master equation of the action $S$.

1522: %

1523: This topological sigma model defines a Courant algebroid structure on 

1524: the space $E[1] \oplus E^*[1]$.

1525: We call this model as {\it the Courant sigma model}.

1526: %We find that the topological open 2-brane has the Courant algebroid

1527: %structure.

1528: 

1529: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1530: \subsubsection{Chern-Simons with BF case}

1531: \noindent

1532: Since we can consider Chern-Simons with BF case if $n$ is odd,

1533: In three dimension, we can construct another model.

1534: Let $E$ be a vector bundle with a Poisson structure on the fiber.

1535: %

1536: If we take $n=3$ in the equation (\ref{totbcsike}), 

1537: we obtain $E\left[1\right]$.

1538: %

1539: A {\it P-structure} is defined 

1540: on the graded vector bundle

1541: $

1542: E[1] \oplus T^*[2] M

1543: $

1544: by setting $n=3$ in the equation (\ref{csantiike}).

1545: %

1546: The abelian action is the $n=3$ case in the action (\ref{s0csike}):

1547: \begin{eqnarray}

1548: S_0 = && \int_{X} 

1549: - \bb_{2 i} d \bphiike{}^{i}

1550: + \frac{k^{ab}}{2} \ba_{1 a} d \ba_{1 b},

1551: \label{cs03ike}

1552: \end{eqnarray}

1553: and deformation is obtained as follows:

1554: \begin{eqnarray}

1555: S = && S_0 + g S_1, \nonumber \\ 

1556: S_1 = && \int_{X} \left(

1557: f_{1a}{}^i (\bphiike) \ba^a \bb_i 

1558: +  \frac{1}{6} f_{2abc} (\bphiike) \ba^a \ba^b \ba^c

1559: \right),

1560: \label{cs1ike}

1561: \end{eqnarray}

1562: where we rewrite two structure functions $f_{1a}{}^i = g F_{11, a}{}^i$

1563: and $\frac{1}{6} f_{2abc} = g F_{30, abc}$ for clarity.

1564: If we substitute (\ref{cs1ike}) to the condition (\ref{s1s1ike}),

1565: we obtain the identities on the structure functions 

1566: $f_{1a}{}^i$ and $f_{2abc}$ as

1567: \begin{eqnarray}

1568: && k^{ab} f_{1a}{}^i f_{1b}{}^j = 0, \nonumber \\ 

1569: && \left( \frac{\ldike}{\partial \bphiike^j} f_{1b}{}^i \right) 

1570: f_{1c}{}^j

1571: - \left( \frac{\ldike}{\partial \bphiike^j} f_{1c}{}^i \right) 

1572: f_{1b}{}^j

1573: + k^{ef} f_{1e}{}^i f_{2fbc} = 0, \nonumber \\

1574: && \left( f_{1d}{}^j \frac{\ldike }{\partial \bphiike^j} f_{2abc}

1575: - f_{1c}{}^j \frac{\ldike}{\partial \bphiike^j}

1576: f_{2dab}

1577: + f_{1b}{}^j \frac{\ldike }{\partial \bphiike^j} f_{2cda}

1578: - f_{1a}{}^j \frac{\ldike }{\partial \bphiike^j} f_{2bcd}

1579: \right) \nonumber \\

1580: && 

1581: + k^{ef} (f_{2eab} f_{2cdf} 

1582: + f_{2eac} f_{2dbf} 

1583: + f_{2ead} f_{2bcf})

1584: = 0.

1585: \label{csideike}

1586: \end{eqnarray}

1587: 

1588: The identities (\ref{csideike}) define a Courant algebroid.

1589: In the definition of the Courant algebroid,

1590: $\calMike$ is the space of a map $\bphiike$ from $\Pi T X$ to $M$

1591: and $\calEike$ is the space of sections of 

1592: $\Pi T^* X \oplus \bphiike^*(E[1])$.

1593: We define a graded symmetric bilinear form 

1594: $\bracketike{\cdot}{\cdot}$, a bilinear operation $\circ$, 

1595: a bundle map $\rho$ and ${\cal D}$ by the antibracket with

1596: the same as the equation (\ref{corresbase2ike}),

1597: %

1598: %\begin{eqnarray}

1599: %&& e^a \circ e^b \equiv \sbvike{\sbvike{S}{e^a}}{e^b}, \nonumber \\

1600: %&& \bracketike{e^a}{e^b} \equiv \sbvike{e^a}{e^b}, \nonumber \\

1601: %&& \rho(e^a) F(\bphiike) \equiv \sbvike{e^a}{\sbvike{S}{F(\bphiike)}}, \nonumber \\

1602: %&& {\cal D}(*) \equiv \sbvike{S}{*}.

1603: %  \label{corresbase2ike}

1604: %\end{eqnarray}

1605: %

1606: Then we can confirm that the classical master equation 

1607: $\sbvike{S}{S} =0$, which derive 

1608: the identity (\ref{csideike}) on structure functions $f$'s, 

1609: is equivalent to the conditions $1$ to $5$ of a Courant algebroid 

1610: (\ref{courantdefike}).

1611: \cite{I3ike}

1612: %Conversely, first we define the graded odd Poisson structure

1613: %$\bracketike{\cdot}{\cdot}$

1614: %on the bundle $\calEike \oplus T^*[2]\calMike$,

1615: We take the basis of the section of the fiber $e^a = \ba_{1}{}^a$.

1616: We calculate the operations %$\bracket{\cdot}{\cdot}$, 

1617: $\circ$ and $\rho$ on the basis as follows:

1618: \begin{eqnarray}

1619: && \ba^a \circ \ba^b = - k^{ac} k^{bd} f_{2cde} (\bphiike) \ba^e, 

1620: \nonumber \\

1621: &&\bracketike{\ba^a}{\ba^b} = k^{ab},

1622: \nonumber \\

1623: && \rho(\ba^a) \bphiike^i = - f_{1c}{}^i (\bphiike) k^{ac}.

1624:   \label{cscourant}

1625: \end{eqnarray}

1626: All deformations of a topological sigma model on the space $E[1]$ have

1627: a Courant algebroid structure.

1628: 

1629: %Therefore we call this model as {\it the Courant sigma model}.

1630: %We find that the topological open 2-brane has the Courant algebroid

1631: %structure.

1632: 

1633: 

1634: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1635: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1636: \subsection{General $n$}

1637: \noindent

1638: In $n$ dimensions,

1639: the equation (\ref{s1s1ike}), $\sbvike{S_1}{S_1} = 0$, impose 

1640: an algebroid structure on the space (\ref{totbundleike}), 

1641: $\sum_{p=1}^{\lfloor \frac{n-1}{2} \rfloor}

1642: E_p[p] \oplus E_p^*[n-p-1]$.

1643: The algebroid structure is derived from 

1644: the Batalin-Vilkovisky structure $\sbvike{S_1}{S_1} = 0$

1645: of nonlinear gauge theories.

1646: Now we obtain an infinite series of algebroids labeled by $n$.

1647: We call this algebroid an {\it $n$-algebroid}.

1648: 

1649: In the previous section, we have found that 

1650: the $n=2$ case defines a Lie algebroid on $T^*M$ and

1651: the $n=3$ case defines a Courant algebroid on $E \oplus E^*$.

1652: For $n \geq 4$ cases, we can easily calculate algebraic relations but

1653: characterization of algebroid structures is still unknown.

1654: %

1655: Higher order generalization has also been discussed in \cite{Sevike}.

1656: 

1657: 

1658: In the Chern-Simons case,

1659: the equation (\ref{s1s1ike}), $\sbvike{S_1}{S_1} = 0$ impose 

1660: an algebroid structure on the space (\ref{totbcsike}), 

1661: $

1662: \left(\sum_{p=1}^{\frac{n-3}{2}}

1663: E_p[p] \oplus E_p^*[n-p-1] \right) \oplus E\left[\frac{n-1}{2}\right]

1664: $.

1665: In the previous section, we have found that 

1666: the $n=3$ case defines a Courant algebroid on $E$.

1667: 

1668: 

1669: 

1670: 

1671: 

1672: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1673: \section{Quantum Version of Deformation}

1674: \noindent

1675: In the previous sections, we have considered a classical BV 

1676: structure.

1677: In this section, we discuss quantum version of deformation of 

1678: a Batalin-Vilkovisky structure.

1679: In this section, we discuss the BF case. 

1680: We can make a similar discussion in the Chern-Simons with BF case.

1681: 

1682: 

1683: In order to quantize a gauge theory, we must fix the gauge.

1684: Gauge fixing is carried out by adding a gauge fixing term $S_{GF}$

1685: to the classical action $S$.\cite{GPSike}

1686: The gauge fixed quantum action is $S_q = S + S_{GF}$.

1687: 

1688: We need the {\it BV Laplacian}.

1689: The BV Laplacian is defined as follows:

1690: %

1691: \begin{eqnarray}

1692: \bDeltaike  F \equiv 

1693: \sum_{p=0}^{\lfloor \frac{n-1}{2} \rfloor}

1694: \frac{\ldike}{\partial \ba_p{}^{a_p}} 

1695: \frac{\ldike }{\partial \bb_{n-p-1,a_p}} F

1696: \label{bvlaplacianike}

1697: \end{eqnarray}

1698: %where $\frac{}{\delta \Phi_a}$ and 

1699: %$\frac{\delta}{\delta \Phi^{*a}}$ are differentiations with respect to 

1700: %coefficient functions of the forms.

1701: %

1702: The BV Laplacian satisfies the following identity:

1703: \begin{eqnarray}

1704: \bDeltaike(F \cdot G) = 

1705: (\bDeltaike F) G + (-1)^{(n+1)|F|} \sbvike{F}{G} 

1706: + (-1)^{|F|} F \bDeltaike G,

1707: \end{eqnarray}

1708: %where $dv$ is the volume form on $\Sigma$.

1709: 

1710: 

1711: In order for the generating functional to be gauge invariant

1712: in the quantum sense, 

1713: the following quantum master equation is required: 

1714: \begin{eqnarray}

1715: \sbvike{S_q}{S_q} - 2 i \hbar \bDeltaike S_q = 0,

1716: \label{qmastike}

1717: \end{eqnarray}

1718: for the quantum action $S_q$.

1719: In our $n$-algebroid topological sigma model, 

1720: two terms are independently satisfied, i.e.

1721: $\bDeltaike S_q = 0$ and $\sbvike{S_q}{S_q} = 0$.

1722: 

1723: ${\cal O}$ is called an observable 

1724: if an operator ${\cal O}$ satisfies the following equation:

1725: \begin{eqnarray}

1726: \sbvike{S_q}{{\cal O}} - i \hbar \bDeltaike {\cal O}  = 0.

1727: \label{obsbrsike}

1728: \end{eqnarray}

1729: %We define that

1730: %$\bOmBVike = \bdeltaike - i \hbar \bDeltaike$,

1731: %then (\ref{obsbrsike}) is written as 

1732: %$\bOmBVike {\cal O} = 0$.

1733: 

1734: 

1735: %\subsection{Observables and Quantum BV structures}

1736: %\noindent

1737: Generally, there are two kinds of observables.

1738: One is the integration of a local function $F$ 

1739: on the boundary $\partial X$.

1740: Let ${X_r} \subset \partial X$ be a $r$-cycle 

1741: on the boundary $\partial X$.

1742: If $F$ has the form degree $r$, the integration of 

1743: $F$ on the $r$ cycle ${X_r}$:

1744: %

1745: \begin{eqnarray}

1746: {\cal O} = \int_{X_r} F(\bPhiike)

1747: \label{Wilobsike}

1748: \end{eqnarray}

1749: %

1750: is nontrivial and satisfies

1751: (\ref{obsbrsike}).

1752: %of $\partial X$ and $0 \leq r \leq |{\cal O}|$.

1753: 

1754: Another observable is constructed from $\ba_0{}^a$.

1755: %\begin{eqnarray}

1756: We consider a function $F$ of $\ba_0{}^a$ 

1757: and restrict $F$ on the boundary,

1758: $

1759: {\cal O}_{F} \equiv F

1760: % \ a_1 \cdots a_k}{}^{b_1 \cdots b_l}

1761: (\ba_0{}^a)|_{\partial X}.

1762: $

1763: %\end{eqnarray}

1764: We can confirm that 

1765: the form degree zero part ${\cal O}_{F}^{(0)}$ of ${\cal O}_{F}$ is an local

1766: observable with ghost number zero on the boundary.

1767: 

1768: The generating functional is defined by the path integral as 

1769: \begin{eqnarray}

1770: Z[{\cal O}_k] =

1771: \int \prod_{p=0}^{[\frac{n-1}{2}]} 

1772: {\cal D}{\ba_p{}} {\cal D}{\bb_{n-p-1}} \ 

1773: e^{\frac{i}{\hbar}( S_q + \sum_r J_r {\cal O}_r)},

1774: \end{eqnarray}

1775: where 

1776: ${\cal D}{\ba_p{}} {\cal D}{\bb_{n-p-1}}$ is a path integral measure and

1777: $J_k$ are source fields and ${\cal O}_k$ are observables and

1778: %In our models, 

1779: $\hbar = g$.%

1780: 

1781: We consider $n=2$ case.

1782: Let $X$ be a two-dimensional disc.

1783: Note that classical deformation derives a Poisson structure on $T^*M$ 

1784: in $n=2$ case.

1785: On the other hand, quantum deformation derives

1786: the deformation quantization on a Poisson manifold $M$. \cite{Kike}

1787: The correlation function of two local observables 

1788: ${\cal O}_f^{(0)}$ and ${\cal O}_g^{(0)}$ derives 

1789: the Kontsevich's star product formula \cite{CFike}

1790: on a Poisson manifold:

1791: \begin{eqnarray}

1792: f * g(x) = \int_{\phi(\infty)=x} 

1793: {\cal D}{\bphiike} {\cal D}{\bb_{1}} \ 

1794: {\cal O}^{(0)}_f(\bphiike(1)) {\cal O}^{(0)}_g(\bphiike(0))

1795: e^{\frac{i}{\hbar} S_q},

1796: \end{eqnarray}

1797: where $\bphiike=\ba_0{}$ and $0, 1, \infty$ are 

1798: three distinct points at the boundary $\partial X$.

1799: 

1800: If we calculate the same correlation function 

1801: for $S_0$, we obtain the usual product of functions $f$ and $g$:

1802: \begin{eqnarray}

1803: f(x) g(x) = \int_{\phi(\infty)=x} 

1804: {\cal D}{\bphiike} {\cal D}{\bb_{1}} \ 

1805: {\cal O}^{(0)}_f(\bphiike(1)) {\cal O}^{(0)}_g(\bphiike(0))

1806: e^{\frac{i}{\hbar} S_{0q}},

1807: \end{eqnarray}

1808: where $S_{0q} = S_0 + S_{GF}$.

1809: Therefore quantum deformation in $n=2$ is equivalent to

1810: the star deformation on $C^{\infty}(M)$.

1811: 

1812: %

1813: We can generalize this discussion to higher orders.

1814: Deformation $S_0 \rightarrow S$ derives

1815: a generalization of the star deformation to higher

1816: dimensions as follows:

1817: \begin{eqnarray}

1818: m_k[{\cal O}_1, {\cal O}_2, \cdots, {\cal O}_k]

1819: = \int \prod_{p=0}^{[\frac{n-1}{2}]} 

1820: {\cal D}{\ba_p{}} {\cal D}{\bb_{n-p-1}} \ 

1821: {\cal O}_1 {\cal O}_2 \cdots {\cal O}_k

1822: e^{\frac{i}{\hbar}S_q},

1823: \label{genstarike}

1824: \end{eqnarray}

1825: under the appropriate regularization and the boundary conditions,

1826: where $S$ is the deformation (\ref{lapSike}) of the abelian 

1827: topological sigma model

1828: and ${\cal O}_r$'s are two kinds of observables at the boundary. 

1829: %\cite{CF}. 

1830: %is deformation of the BF theory in $n$-dimension.

1831: %In two dimension, it is the path integral representation of the

1832: %Kontsevich formulae for the star product \cite{Ko}\cite{CF}.

1833: %

1834: %

1835: %

1836: The correlation functions satisfy the Ward-Takahashi identity 

1837: %(which is not anomalous) 

1838: derived from the gauge symmetry:

1839: \begin{eqnarray}

1840: \int \prod_{p=0}^{[\frac{n-1}{2}]} 

1841: {\cal D}{\ba_p{}} {\cal D}{\bb_{n-p-1}} \ 

1842: \bDeltaike \left({\cal O} e^{\frac{i}{\hbar}S_q} \right) = 0,

1843: \end{eqnarray}

1844: %where ${\cal O}$ is an observable, 

1845: which leads a quantum geometric structure on the space of 

1846: correlation functions.

1847: %The WT identity leads 

1848: %$L_{\infty}$ structure on the correlation functions.

1849: %Therefore the product (\ref{genstar}) has the $L_{\infty}$ structure.

1850: %In two dimension, $L_\infty$-algebra structure on the star

1851: %deformation is certainly 

1852: %derived from the $L_\infty$-algebra structure of the BRST algebra

1853: %\cite{CFike}.

1854: %We can generalize the structure to higher dimension as 

1855: %the WT identity on correlation functions of the higher dimensional BF

1856: %theory.

1857: 

1858: 

1859: 

1860: 

1861: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1862: \section{Summary and Outlook}

1863: \noindent

1864: We have discussed deformation of Batalin-Vilkovisky structures

1865: of topological sigma models in $n$ dimensions.

1866: We have constructed general theory of 

1867: most general deformation in general $n$ dimensions.

1868: We have analyzed structures in the case of $n=2$ and $3$ in detail.

1869: In $n=2$ deformation of a BV structure produces a Lie algebroid structure,

1870: and in $n=3$, deformation produces a Courant algebroid structure.

1871: For $n \geq 4$, 

1872: characterization of $n$-algebroids obtained by deformation of topological 

1873: sigma models is still unknown and an open problem.

1874: 

1875: We have also discussed quantum version of deformation.

1876: %of a Batalin-Vilkovisky structure.

1877: For $n=2$ case, the deformation on the disc $X$ 

1878: is equivalent to the deformation quantization 

1879: on a Poisson manifold $M$.

1880: 

1881: In $n=2$, there are two special important cases of deformations.

1882: They are $A$-model and $B$-model. \cite{W2ike}

1883: There are many investigations to analyze quantum moduli.

1884: For reviews, \cite{BCOVike}, \cite{HKKPTVVZike} 

1885: and references therein.

1886: 

1887: $n = 3$ quantum deformation is analyzed in \cite{HMike}.

1888: For general $n \geq 4$, quantum structures are unknown.

1889: If we analyze higher $n$ cases,

1890: we will obtain interesting mathematical and physical structures.

1891: 

1892: In this article, 

1893: we assume the $p$ and $n-p-1$ are nonnegative integers

1894: in $E [p] \oplus E^*[n-p-1]$, where

1895: we identify the $p=0$ bundle with 

1896: a cotangent bundle $T^*[n-1]M$.

1897: %

1898: We will be able to 

1899: generalize our discussions to negative integers $p$ and $n-p-1$.

1900: A special case has been analyzed in \cite{BM2ike}\cite{II2ike}.

1901: %Structures for general $n$ are not stil analyzed.

1902: 

1903: We need make analysis of all moduli, i.e. we should consider 

1904: Kodaira-Spencer theory of Batalin-Vilkovisky structures.

1905: 

1906: 

1907: 

1908: %

1909: %

1910: % BibTeX users please use

1911: % \bibliographystyle{}

1912: % \bibliography{}

1913: %

1914: % Non-BibTeX users please follow the syntax

1915: % the syntax of "referenc.tex" for your own citations

1916: %\input{referenc}

1917: %%%%%%%%%%%%%%%%%%%%%%%% referenc.tex %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1918: % sample references

1919: %

1920: %

1921: % Use this file as a template for your own input.

1922: %

1923: %%%%%%%%%%%%%%%%%%%%%%%% Springer-Verlag %%%%%%%%%%%%%%%%%%%%%%%%%%

1924: 

1925: %

1926: % BibTeX users please use

1927: % \bibliographystyle{}

1928: % \bibliography{}

1929: %

1930: % Non-BibTeX users please use

1931: \begin{thebibliography}{[KLR73]}

1932: %

1933: % and use \bibitem to create references.

1934: %

1935: % Use the following syntax and markup for your references

1936: %

1937: % Journal

1938: 

1939: %\cite{Alexandrov:1997kv}

1940: \bibitem[AKSZ]{AKSZike}

1941: M.~Alexandrov, M.~Kontsevich, A.~Schwartz and O.~Zaboronsky:

1942: The Geometry of the master equation and topological quantum field theory,

1943: Int.\ J.\ Mod.\ Phys.,\ A \textbf{12}, 1405(1997), hep-th/9502010

1944: %%CITATION = HEP-TH 9502010;%%

1945: \bibitem[BBH]{BBHike}

1946: G.~Barnich, F.~Brandt and M.~Henneaux:

1947: Local BRST Cohomology In The Antifield Formalism. 1. General

1948: Theorems, Commun.\ Math.\ Phys.\  \textbf{174}, 57 (1995), hep-th/9405109;

1949: For a review, 

1950: M.~Henneaux: hep-th/9712226.

1951: %\cite{Birmingham:1991ty}

1952: \bibitem[BBRT]{BBRTike}

1953: D.~Birmingham, M.~Blau, M.~Rakowski and G.~Thompson:

1954: Topological field theory.

1955: Phys.\ Rept., \textbf{209}, 129 (1991)

1956: %%CITATION = PRPLC,209,129;%%

1957: %\cite{Bershadsky:1993cx}

1958: \bibitem[BCOV]{BCOVike}

1959: M.~Bershadsky, S.~Cecotti, H.~Ooguri and C.~Vafa:

1960: Kodaira-Spencer theory of gravity and exact results for quantum string 

1961: amplitudes,

1962: Commun.\ Math.\ Phys.\  \textbf{165}, 311 (1994), hep-th/9309140

1963: %\cite{Barnich:2005ru}

1964: \bibitem[BG]{BGike}

1965: G.~Barnich and M.~Grigoriev,

1966: BRST extension of the non-linear unfolded formalism, hep-th/0504119

1967: \bibitem[BH]{BHike}

1968: G.~Barnich and M.~Henneaux:

1969: Consistent Couplings Between Fields With A Gauge Freedom And

1970: Deformations Of The Master Equation,

1971: Phys.\ Lett.\ B \textbf{311}, 123 (1993), hep-th/9304057

1972: %\cite{Batalin:1998sz}

1973: %\bibitem[BM]{BM}

1974: %  I.~Batalin and R.~Marnelius:

1975: %  Dualities between Poisson brackets and antibrackets,

1976: %  Int.\ J.\ Mod.\ Phys.\ A \textbf{14}, 5049 (1999), hep-th/9809210

1977: %  %%CITATION = HEP-TH 9809210;%%

1978: %\cite{Batalin:2001fh}

1979: %\bibitem[BM1]{BM1ike}

1980: %I.~Batalin and R.~Marnelius:

1981: %Generalized Poisson sigma models,

1982: %Phys.\ Lett.\ B \textbf{512}, 225 (2001), hep-th/0105190

1983: %\cite{Batalin:2001fc}

1984: \bibitem[BM]{BM2ike}

1985: I.~Batalin and R.~Marnelius:

1986: Superfield algorithms for topological field theories, hep-th/0110140

1987: %%CITATION = HEP-TH 0110140;%%

1988: %\bibitem[BMS]{BMSike}

1989: %C.~Bizdadea, M.~T.~Miauta and S.~O.~Saliu:

1990: %Hamiltonian BRST interactions in Abelian theories,

1991: %Eur.\ Phys.\ J.\ C \textbf{19}, 191 (2001), hep-th/0102116,

1992: %C.~Bizdadea, E.~M.~Cioroianu, I.~Negru and S.~O.~Saliu:

1993: %Cohomological derivation of the couplings between an abelian gauge field

1994: %and matter fields,

1995: %Annalen Phys.\  \textbf{10}, 415 (2001),

1996: %C.~Bizdadea, M.~T.~Miauta and S.~O.~Saliu,

1997: %On the Lagrangian derivation of the interactions between a Chern-Simons

1998: %term and a complex scalar field,

1999: %Acta Phys.\ Polon.\ B {\bf 32}, 1225 (2001).

2000: \bibitem[BV]{BVike}

2001: I.~A.~Batalin and G.~A.~Vilkovisky:

2002: Gauge Algebra And Quantization,

2003: Phys.\ Lett.\ B \textbf{102}, 27 (1981); 

2004: %%CITATION = PHLTA,B102,27;%%

2005: Quantization Of Gauge Theories With Linearly Dependent

2006: Generators,

2007: Phys.\ Rev.\ D \textbf{28}, 2567 (1983) ,

2008: [Erratum-ibid.\ D \textbf{30}, 508 (1984) ]

2009: %%CITATION = PHRVA,D28,2567;%%

2010: \bibitem[C]{Cike}

2011: T.~Courant, Dirac manifolds:

2012: Trans.\ A.\ M.\ S.\ \textbf{319}, 631 (1990)

2013: \bibitem[CF]{CFike}

2014: A.~S.~Cattaneo and G.~Felder:

2015: A path integral approach to the Kontsevich quantization formula,

2016: Commun.\ Math.\ Phys.\  \textbf{212}, 591 (2000), math.qa/9902090

2017: %\cite{Gomis:1994he}

2018: \bibitem[GD]{GDike}

2019: M.~A.~Grigoriev and P.~H.~Damgaard,

2020: Superfield BRST charge and the master action,

2021: Phys.\ Lett.\ B \textbf{474}, 323 (2000), hep-th/9911092

2022: \bibitem[GPS]{GPSike}

2023: For a review, J.~Gomis, J.~Paris and S.~Samuel,

2024: Antibracket, antifields and gauge theory quantization,

2025: Phys.\ Rept.\  \textbf{259} (1995) 1, hep-th/9412228

2026: %%CITATION = HEP-TH 9412228;%%

2027: %\cite{Grigoriev:1999qz}

2028: %\cite{Hofman:2001zt}

2029: \bibitem[HM]{HMike}

2030: C.~M.~Hofman and W.~K.~Ma:

2031: Deformations of closed strings and topological open membranes,

2032: JHEP \textbf{0106}, 033 (2001), hep-th/0102201

2033: %\cite{Hofman:2002rv}

2034: \bibitem[HP]{HPike}

2035: C.~Hofman and J.~S.~Park,

2036: Topological open membranes, hep-th/0209148

2037: \bibitem[HT92]{monograph} M. Henneaux, C. Teitelboim:

2038: Quantization of Gauge Systems, Princeton University (1992)

2039: \bibitem[HKKPTVVZ]{HKKPTVVZike}

2040: K.~Hori, S.~Katz, A.~Klemm, R.~Pandharipande, R.~Thomas, C.~Vafa, 

2041: R.~Vakil, and E.~Zaslow:

2042: Mirror symmetry, volume~1 of Clay Mathematics Monographs,

2043: American Mathematical Society, Providence, RI, 2003.

2044: \bibitem[II]{IIike}

2045: N.~Ikeda and K.~-I.~Izawa:

2046: Gauge theory based on quadratic Lie algebras and 2-d gravity with dynamical

2047: torsion,

2048: {Prog.~Theor.~Phys.} \textbf{89}, 1077(1993); 

2049: General form of dilaton gravity and nonlinear gauge theory,

2050: {Prog.~Theor.~Phys.} \textbf{90}, 237 (1993) ; \\

2051: %\bibitem{I}

2052: For a review, N.~Ikeda:

2053: Two-dimensional gravity and nonlinear gauge theory,

2054: {Ann.~Phys.}, \textbf{235}, 435 (1994), hep-th/9312059

2055: %\cite{Ikeda:2000yq}

2056: \bibitem[II2]{II2ike}

2057:   N.~Ikeda and K.~I.~Izawa:

2058: Dimensional reduction of nonlinear gauge theories,

2059:   JHEP \textbf{0409}, 030 (2004), hep-th/0407243

2060:   %%CITATION = HEP-TH 0407243;%%

2061: \bibitem[I1]{I1ike}

2062: N.~Ikeda:

2063: A deformation of three dimensional BF theory.

2064: JHEP \textbf{0011}, 009(2000), hep-th/0010096

2065: %%CITATION = HEP-TH 0010096;%%

2066: %\cite{Ikeda:2001fq}

2067: \bibitem[I2]{I2ike}

2068: N.~Ikeda:

2069: Deformation of BF theories, topological open membrane and a

2070: generalization of the star deformation,

2071: JHEP \textbf{0107}, 037(2001) , hep-th/0105286

2072: %%CITATION = HEP-TH 0105286;%%

2073: %\cite{Ikeda:2002wh}

2074: \bibitem[I3]{I3ike}

2075: N.~Ikeda:

2076: Chern-Simons gauge theory coupled with BF theory,

2077: Int.\ J.\ Mod.\ Phys.\ A \textbf{18}, 2689 (2003),

2078: hep-th/0203043

2079: %%CITATION = HEP-TH 0203043;%%

2080: %\cite{Ikeda:2002qx}

2081: \bibitem[I4]{I4ike}

2082: N.~Ikeda:

2083: Topological field theories and geometry of Batalin-Vilkovisky algebras,

2084: JHEP \textbf{0210}, 076 (2002), hep-th/0209042

2085: %%CITATION = HEP-TH 0209042;%%

2086: %\cite{Ikeda:2004cm}

2087: \bibitem[I5]{I5ike}

2088: N.~Ikeda,

2089: Three dimensional topological field theory induced from generalized complex

2090: structure, hep-th/0412140

2091: %\bibitem[Iz]{Izike}

2092: %K.~I.~Izawa:

2093: %On nonlinear gauge theory from a deformation theory perspective,

2094: %Prog.\ Theor.\ Phys.\  \textbf{103},  225 (2000), hep-th/9910133

2095: \bibitem[Kon]{Kike}

2096: M.~Kontsevich:

2097:  Deformation quantization of Poisson manifolds,

2098: Lett.\ Math.\ Phys.,\  \textbf{66}, 157 (2003), q-alg/9709040

2099: %%CITATION = Q-ALG 9709040;%%

2100: %\cite{Kosmann-Schwarzbach:2003en}

2101: \bibitem[Kos]{Kosike}

2102: Y.~Kosmann-Schwarzbach: Derived brackets,

2103: Lett.\ Math.\ Phys.\  \textbf{69}, 61 (2004), math.dg/0312524

2104: %%CITATION = MATH-DG 0312524;%%

2105: %\cite{Klimcik:2001vg}

2106: \bibitem[KS]{KSike}

2107: C.~Klimcik and T.~Strobl,

2108: WZW-Poisson manifolds,

2109:   J.\ Geom.\ Phys.\  \textbf{43}, 341 (2002), math.sg/0104189

2110: \bibitem[KSS]{KSSike}

2111: A.~Kotov, P.~Schaller and T.~Strobl,

2112: Dirac sigma models,

2113:   Commun.\ Math.\ Phys.\  \textbf{260}, 455 (2005), hep-th/0411112

2114: \bibitem[LO]{LOike}

2115: A.~M.~Levin and M.~A.~Olshanetsky:

2116: Hamiltonian algebroid symmetries in W-gravity and Poisson sigma-model,

2117: hep-th/0010043

2118: %%CITATION = HEP-TH 0010043;

2119: %%\cite{Olshanetsky:2002ur}

2120: \bibitem[LWX]{LWXike}

2121: Z.~J.~Liu, A.~Weinstein and P.~Xu: 

2122: Manin Triples for Lie Bialgebroids, 

2123: J. Differential Geom., \textbf{45}, 547-574, (1997), 

2124: dg-ga/9611001

2125: \bibitem[O]{Oike}

2126: M.~A.~Olshanetsky:

2127: Lie algebroids as gauge symmetries in topological field theories,

2128: hep-th/0201164

2129: %%CITATION = HEP-TH 0201164;%%

2130: %\cite{Park}

2131: \bibitem[Pa]{Pike} 

2132: J.~Park:

2133: Topological open p-branes,

2134: Symplectic geometry and mirror symmetry, 311-384, Seoul (2000)

2135: hep-th/0012141.

2136: %%CITATION = HEP-TH 0012141;%%

2137: \bibitem[Pe]{Pesike}

2138: V.~Pestun,

2139: Topological strings in generalized complex space, hep-th/0603145.

2140: \bibitem[R1]{R1ike}

2141: D.~Roytenberg:

2142: Courant algebroids, derived brackets and even symplectic supermanifolds,

2143: math.qa/0112152;

2144: %\bibitem[R2]{R2ike}

2145: %D.~Roytenberg:

2146: On the structure of graded symplectic supermanifolds and Courant

2147: algebroids, math.sg/0203110

2148: %\cite{Schwarz:1992nx}

2149: \bibitem[Sc]{Sike}

2150: A.~Schwarz:

2151: Geometry of Batalin-Vilkovisky quantization,

2152: Commun.\ Math.\ Phys.\  \textbf{155}, 249 (1993),

2153: hep-th/9205088

2154: \bibitem[SS]{SSike}

2155: P.~Schaller and T.~Strobl:

2156: Poisson structure induced (topological) field theories,

2157: {Mod.~Phys.~Lett.}, \textbf{A9}, 3129 (1994), hep-th/9405110

2158: \bibitem[Se]{Sevike}

2159: P.~Severa, 

2160: Some title containing the words "homotopy" and "symplectic", e.g. this one,

2161: math.SG/0105080

2162: %\cite{Witten:1991zz}

2163: %\bibitem{Witten:1988ze}

2164: %Edward Witten.

2165: %Topological Quantum Field Theory.

2166: %Commun. Math. Phys., \textbf{117},353, (1988)

2167: \bibitem[W1]{W1ike}

2168: E.~Witten.

2169: Topological sigma models.

2170: {Commun. Math. Phys.}, \textbf{118}, 411, (1988)

2171: \bibitem[W2]{W2ike}

2172: E.~Witten,

2173: Mirror manifolds and topological field theory,

2174: hep-th/9112056

2175: \bibitem[Z]{Zucike}

2176: R.~Zucchini,

2177: A sigma model field theoretic realization of Hitchin's generalized  complex

2178: geometry,

2179: JHEP {\bf 0411}, 045 (2004), hep-th/0409181;

2180: Generalized complex geometry, generalized branes and the Hitchin sigma

2181: model,

2182: JHEP {\bf 0503}, 022 (2005), hep-th/0501062;

2183: A topological sigma model of biKaehler geometry,

2184: JHEP {\bf 0601}, 041 (2006), hep-th/0511144

2185: 

2186: 

2187: 

2188: %See also

2189: %P.~Schaller and T.~Strobl, 

2190: %Finite dimensional integrable systems, 181, Dubna, (1994), hep-th/9411163;  

2191: %Y.~Alekseev, P.~Schaller and T.~Strobl,

2192: %{Phys.~Rev.} {\bf D52} (1995) 7146, hep-th/9505012; 

2193: %P.~Schaller and T.~Strobl, 

2194: %Lecture Notes in Physics No. 469, 321, Springer--Verlag, (1996), 

2195: %hep-th/9507020.

2196: 

2197: 

2198: 

2199: %\bibitem{Wit}

2200: %E.~Witten, 

2201: %{\bibit Nucl.~Phys.} {\bf B311}, 46(1988).

2202: %{\bibit Phys.~Rep.} {\bf 209}, 129(1991).

2203: %%\cite{Witten:1986cc}

2204: %\bibitem{Witten:1986cc}

2205: %E.~Witten,

2206: %%``Noncommutative Geometry And String Field Theory,''

2207: %Nucl.\ Phys.\ {\bf B268}, 253 (1986).

2208: %%%CITATION = NUPHA,B268,253;%%

2209: %\bibitem{WCS}

2210: %E.~Witten, 

2211: %%{\it Chern-Simons Gauge Theory as a String Theory,}

2212: %hep-th/9207094.

2213: %%

2214: %%

2215: %%

2216: %%

2217: %%%\cite{Gomis:1995he}

2218: %%\bibitem{Gomis:1995he}

2219: %%J.~Gomis, J.~Paris and S.~Samuel,

2220: %%%``Antibracket, antifields and gauge theory quantization,''

2221: %%Phys.\ Rept.\ {\bf 259}, 1 (1995),

2222: %%hep-th/9412228.

2223: %%%%CITATION = HEP-TH 9412228;%%

2224: %%

2225: %%\cite{Bayen:1978ha}

2226: %\bibitem{Bayen:1978ha}

2227: %F.~Bayen, M.~Flato, C.~Fronsdal, A.~Lichnerowicz and D.~Sternheimer,

2228: %%``Deformation Theory And Quantization. 1. Deformations Of Symplectic

2229: %%Structures,''

2230: %Annals Phys.\ {\bf 111}, 61 (1978).

2231: %%%CITATION = APNYA,111,61;%%

2232: %\bibitem{Ko}

2233: %M.~Kontsevich, q-alg/9709040.

2234: %%\cite{Gomis:1995he}

2235: %\bibitem{Gomis:1995he}

2236: %J.~Gomis, J.~Paris and S.~Samuel,

2237: %%``Antibracket, antifields and gauge theory quantization,''

2238: %Phys.\ Rept.\ {\bf 259}, 1 (1995),

2239: %hep-th/9412228.

2240: %%%CITATION = HEP-TH 9412228;%%

2241: %%%CITATION = HEP-TH 9505027;%%

2242: %%\cite{Cattaneo:1995pk}

2243: %\bibitem{Cattaneo:1995pk}

2244: %A.~S.~Cattaneo, P.~Cotta-Ramusino and M.~Martellini,

2245: %%``Three-dimensional BF theories and the Alexander-Conway invariant of 

2246: %%knots,''

2247: %Nucl.\ Phys.\ B {\bf 436}, 355 (1995),

2248: %hep-th/9407070.

2249: %%%CITATION = HEP-TH 9407070;%%

2250: %%\cite{Cattaneo:1995tw}

2251: %\bibitem{Cattaneo:1995tw}

2252: %A.~S.~Cattaneo, P.~Cotta-Ramusino, J.~Frohlich and M.~Martellini,

2253: %%``Topological BF theories in three-dimensions and four-dimensions,''

2254: %J.\ Math.\ Phys.\  {\bf 36}, 6137 (1995),

2255: %hep-th/9505027.

2256: %%\cite{Witten:1991zz}

2257: %\bibitem{Witten:1991zz}

2258: %E.~Witten,

2259: %%``Mirror manifolds and topological field theory,''

2260: %hep-th/9112056;

2261: %%%CITATION = HEP-TH 9112056;%%

2262: %%\cite{Witten:1992fb}

2263: %%\bibitem{Witten:1992fb}

2264: %%E.~Witten,

2265: %%``Chern-Simons gauge theory as a string theory,''

2266: %hep-th/9207094.

2267: %%%CITATION = HEP-TH 9207094;%%

2268: %%\cite{Edgren:2002xg}

2269: %\bibitem{Edgren:2002xg}

2270: %L.~Edgren and N.~Sandstrom,

2271: %%``First order gauge field theories from a superfield formulation,''

2272: %hep-th/0205273.

2273: %%%CITATION = HEP-TH 0205273;%%

2274: %\bibitem{Cattaneo:2001ys}

2275: %A.~S.~Cattaneo and G.~Felder,

2276: %%``On the AKSZ formulation of the Poisson sigma model,''

2277: %Lett.\ Math.\ Phys.\  {\bf 56}, 163 (2001)

2278: %[arXiv:math.qa/0102108].

2279: %%%CITATION = MATH-QA 0102108;%%

2280: %\end{thebibliography}

2281: %%

2282: \end{thebibliography}

2283: 

2284: 

2285: 

2286: 

2287: 

2288: 

2289: 

2290: 

2291: 

2292: 

2293: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2294: 

2295: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2296: 

2297: \printindex

2298: \end{document}

2299: