3.7.1 Moduli integral formula for the Solomon functional [04C2]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
3.7.1 Moduli integral formula for the Solomon functional
Assuming automatic transversality, we can rewrite the Solomon functional (20) as a moduli space integral in terms of the notations introduced in section 3.5. Let be a holomorphic polygon, with first order deformation vector fields , so we can define a holomorphic function via (33). In clockwise order on , we encounter the degree one intersections on , an intersection , the degree one self intersections on , and an intersection . As before, we fix the additive constant by .
In the following calculation, we will use the complex orientation on , and the counterclockwise orientation on . The Solomon functional contains a term Now can be expressed as an integral of the following -form over the -dimensional moduli spaces of holomorphic curves:
Notice that since is a holomorphic curve and is an -form, adjusting by a vector field tangent to does not change this integrand, and all must hit instead of the 1-form . After integration by part,
The Solomon functional contains another two terms and . Now can be expressed as an integral of the following -form over the moduli spaces :
The abused notation means the part of mapping to instead of . Similarly is the moduli space integral of the -form
The extra minus sign comes from the fact that sweeps out the cycle instead of .
Combining all the three contributions, the Solomon functional is the moduli space integral with integrand
The last two terms involve total derivatives, so can be integrated along boundary segments between the corner points, to yield
| (38) |
where stands for the difference of the potentials at a Lagrangian intersection point, such that moves from to in the clockwise direction. In the more general framework of Floer theory with Novikov coefficients, have the interpretation as the Novikov exponents of these intersection points. The bounding cochain elements have , while may have negative Novikov exponents.
Proposition 3.35.
(Moduli space integral formula) The Solomon functional is the integral of the following complex valued volume form over the -dimensional moduli spaces of holomorphic curves:
| (39) |
Remark 3.16.
The normalization is convenient, but changing by a constant along does not affect , due to the energy identity
Remark 3.17.
We have focused the discussion on the holomorphic curves with boundary on both and , which are the only curves relevant for the bordism current in the almost calibrated case. In general we need also curves involving corners at or , and the formula (39) takes into account all these contributions.