Search

The notion of twisted sectors play a crucial role in orbifold Gromov-Witten theory. We introduce the notion of dihedral twisted sectors in order to construct Lagrangian Floer theory on symplectic orbifolds and discuss related issues., Comment: In honour of Professor Jean-Pierre Bourguignon on the occasion of his 75th birthday

For any compact connected Lie group $G$, we study the Hamiltonian sum of two compact Hamiltonian group $G$-manifolds $(X^+,\omega^+,\mu^+)$ and $(X^-,\omega^-,\mu^-)$ with a common codimension 2 Hamiltonian submanifold $Z$ of the opposite equivariant Euler classes of the normal bundles. We establish that the symplectic reduction of the Hamiltonian sum agrees with the symplectic sum of the reduced symplectic manifolds. We also compare the equivariant first Chern class of the Hamiltonian sum with the equivariant first Chern classes of $X^\pm$., Comment: 25 pages

We give a complete solution, for discrete countable groups, to the problem of defining and computing a geometric pairing between the left hand side of the Baum-Connes assembly map, given in terms of geometric cycles associated to proper actions on manifolds, and cyclic periodic cohomology of the group algebra. Indeed, for any such group $\Gamma$ (without any further assumptions on it) we construct an explicit morphism from the Left-Hand side of the Baum-Connes assembly map to the periodic cyclic homology of the group algebra. This morphism, called here the Chern-Baum-Connes assembly map, allows to give a proper and explicit formulation for a Chern-Connes pairing with the periodic cyclic cohomology of the group algebra. Several theorems are needed to formulate the Chern-Baum-Connes assembly map. In particular we establish a delocalised Riemann-Roch theorem, the wrong way functoriality for periodic delocalised cohomology for $\Gamma$-proper actions, the construction of a Chern morphism between the Left-Hand side of Baum-Connes and a delocalised cohomology group associated to $\Gamma$ which is an isomorphism once tensoring with $\mathbb{C}$, and the construction of an explicit cohomological assembly map between the delocalised cohomology group associated to $\Gamma$ and the homology group $H_*(\Gamma,F\Gamma)$. We then give an index theoretical formula for the above mentioned pairing (for any $\Gamma$) in terms of pairings of invariant forms, associated to geometric cycles and given in terms of delocalized Chern and Todd classes, and currents naturally associated to group cocycles using Burghelea's computation. As part of our results we prove that left-Hand side group used in this paper is isomorphic to the usual analytic model for the left-hand side of the assembly map., Comment: This article replaces a previous version whose title was the same plus part I. Originally we planned to work out a second part but we finally extended and completed the first part in a single paper. We thank the colleague that encouraged us to complete part I into a single piece and gave us invaluable references that were key to the present work

Consider a proper, isometric action by a unimodular locally compact group $G$ on a Riemannian manifold $M$ with boundary, such that $M/G$ is compact. Then an equivariant Dirac-type operator $D$ on $M$ under a suitable boundary condition has an equivariant index $\operatorname{index}_G(D)$ in the $K$-theory of the reduced group $C^*$-algebra $C^*_rG$ of $G$. This is a common generalisation of the Baum-Connes analytic assembly map and the (equivariant) Atiyah-Patodi-Singer index. In part I of this series, a numerical index $\operatorname{index}_g(D)$ was defined for an element $g \in G$, in terms of a parametrix of $D$ and a trace associated to $g$. An Atiyah-Patodi-Singer type index formula was obtained for this index. In this paper, we show that, under certain conditions, $\tau_g(\operatorname{index}_G(D)) = \operatorname{index}_g(D)$, for a trace $\tau_g$ defined by the orbital integral over the conjugacy class of $g$. This implies that the index theorem from part I yields information about the $K$-theoretic index $\operatorname{index}_G(D)$. It also shows that $\operatorname{index}_g(D)$ is a homotopy-invariant quantity., Comment: 44 pages. The first version of the preprint 1904.11146 was split into two parts, this is the second part

Consider a proper, isometric action by a unimodular locally compact group $G$ on a Riemannian manifold $M$ with boundary, such that $M/G$ is compact. For an equivariant, elliptic operator $D$ on $M$, and an element $g \in G$, we define a numerical index $\operatorname{index}_g(D)$, in terms of a parametrix for $D$ and a trace associated to $g$. We prove an equivariant Atiyah-Patodi-Singer index theorem for this index. We first state general analytic conditions under which this theorem holds, and then show that these conditions are satisfied if $g=e$ is the identity element; if $G$ is a finitely generated, discrete group, and the conjugacy class of $g$ has polynomial growth; and if $G$ is a connected, linear, real semisimple Lie group, and $g$ is a semisimple element. In the classical case, where $M$ is compact and $G$ is trivial, our arguments reduce to a relatively short and simple proof of the original Atiyah-Patodi-Singer index theorem. In part II of this series, we prove that, under certain conditions, $\operatorname{index}_g(D)$ can be recovered from a $K$-theoretic index of $D$ via a trace defined by the orbital integral over the conjugacy class of $g$., Comment: 56 pages, version accepted by journal

Assume $(X, \omega)$ is a compact symplectic manifold with a Hamiltonian compact Lie group action and the zero in the Lie algebra is a regular value of the moment map $\mu$. We prove that a finite energy symplectic vortex exponentially converges to (un)twisted sectors of the symplectic reduction at cylinder ends whose metrics grow up at least cylindrically fast, without assuming the group action on the level set $\mu^{-1}(0)$ is free. It generalizes the corresponding results by Ziltener [23, 24] under the free action assumption. The result of this paper is the first step in setting up the quotient morphism moduli space induced by the authors in [6]. Necessary preparations in understanding the structure of such moduli spaces are also introduced here. The quotient morphism constructed in [6] is a part of the project on the quantum Kirwan morphism by the authors (see [3, 4, 5])., Comment: v2: 29 pages. References added. Typos fixed. Overall presentation improved

In this paper, we explore the theme of orbifold stratified spaces and establish a general criterion for them to be smooth orbifolds. This criterion utilizes the notion of linear stratification on the gluing bundles for the orbifold stratified spaces. We introduce a concept of good gluing structure to ensure a smooth structure on the stratified space. As an application, we provide an orbifold structure on the coarse moduli space $\bar{M}_{g, n}$ of stable genus $g$ curves with $n$-marked points. Using the gluing theory for $\bar{M}_{g, n} $ associated to horocycle structures, there is a natural orbifold gluing atlas on $\bar{M}_{g, n} $. We show this gluing atlas can be refined to provide a good orbifold gluing structure and hence a smooth orbifold structure on $\bar{M}_{g,n}$. This general gluing principle will be very useful in the study of the gluing theory for the compactified moduli spaces of stable pseudo-holomorphic curves in a symplectic manifold., Comment: 37 pages

Let $(X,\omega)$ be a compact symplectic manifold with a Hamiltonian action of a compact Lie group $G$ and $\mu: X\to \mathfrak g$ be its moment map. In this paper, we study the $L^2$-moduli spaces of symplectic vortices on Riemann surfaces with cylindrical ends. We studied a circle-valued action functional whose gradient flow equation corresponds to the symplectic vortex equations on a cylinder $S^1\times \mathbb R$. Assume that $0$ is a regular value of the moment map $\mu$, we show that the functional is of Bott-Morse type and its critical points of the functional form twisted sectors of the symplectic reduction (the symplecitc orbifold $[\mu^{-1}(0)/G]$). We show that any gradient flow lines approaches its limit point exponentially fast. Fredholm theory and compactness property are then established for the $L^2$-Moduli spaces of symplectic vortices on Riemann surfaces with cylindrical ends., Comment: a few typo are corrected, 41 pages

We construct the geometric Baum-Connes assembly map for twisted Lie groupoids, that means for Lie groupoids together with a given groupoid equivariant $PU(H)-$principle bundle. The construction is based on the use of geometric deformation groupoids, these objects allow in particular to give a geometric construction of the associated pushforward maps and to establish the functoriality. The main results in this paper are to define the geometric twisted K-homology groups and to construct the assembly map. Even in the untwisted case the fact that the geometric twisted K-homology groups and the geometric assembly map are well defined for Lie groupoids is new, as it was only sketched by Connes in his book for general Lie groupoids without any restrictive hypothesis, in particular for non Hausdorff Lie groupoids. We also prove the Morita invariance of the assembly map, giving thus a precise meaning to the geometric assembly map for twisted differentiable stacks. We discuss the relation of the assembly map with the associated assembly map of the $S^1$-central extension. The relation with the analytic assembly map is treated, as well as some cases in which we have an isomorphism. One important tool is the twisted Thom isomorphism in the groupoid equivariant case which we establish in the appendix., Comment: References added and several typos corrected. More details on the equivariant twisted Thom isomorphism are included. We thank the colleague that pointed us out some imprecisions about the Thom isomorphism on the previous version

We study a class of localized indices for the Dirac type operators on a complete Riemannian orbifold, where a discrete group acts properly, co-compactly and isometrically. These localized indices, generalizing the $L^2$-index of Atiyah, are obtained by taking certain traces of the higher index for the Dirac type operators along conjugacy classes of the discrete group. Applying the local index technique, we also obtain an $L^2$-version of the Lefschetz fixed point formula for orbifolds. These cohomological formulae for the localized indices give rise to a class of refined topological invariants for the quotient orbifold., Comment: 56 pages, submitted version

This is the first part of a trilogy where we apply the theory of virtual manifold/orbifolds developed by the first named author and Tian to study the Gromov-Witten moduli spaces. In this paper, we resolve the main analytic issue arising from the lack of differentiability of $PSL(2, \C)$-action on spaces of $W^{1, p}$-maps from the Riemann sphere to a symplectic manifold $(X, \omega, J)$ with a non-zero homology class $A$. In particular, we establish the slice and tubular neighbourhood theorems for $PSL(2, \C)$-action along smooth maps, and construct a $PSL(2, \C)$-obstruction bundle along $PSL(2, \C)$-orbit of a pseudo-holomorphic map representing a point in the moduli space $\cM_{0, 0}(X, A)$. In Sections 2 and 3 of this paper, we explain an integration theory on virtual orbifolds using proper \'etale groupoids and establish the virtual neighborhood technique for a general orbifold Fredholm system. When the moduli space $\cM_{0, 0}(X, A)$ of pseudo-holomorphic spheres in $(X, \omega, J)$ is compact, applying the virtual neighborhood technique developed in Section 3, we obtain a virtual system for the moduli space $\cM_{0, 0}(X, A)$ of pseudo-holomorphic spheres in $(X, \omega, J)$ and show that the genus zero Gromov-Witten invariant is well-defined.

In this paper, we define a stringy product on $K^*_{orb}(\XX) \otimes \C $, the orbifold K-theory of any almost complex presentable orbifold $\XX$. We establish that under this stringy product, the de-locaized Chern character ch_{deloc} : K^*_{orb}(\XX) \otimes \C \longrightarrow H^*_{CR}(\XX), after a canonical modification, is a ring isomorphism. Here $ H^*_{CR}(\XX)$ is the Chen-Ruan cohomology of $\XX$. The proof relies on an intrinsic description of the obstruction bundles in the construction of Chen-Ruan product. As an application, we investigate this stringy product on the equivariant K-theory $K^*_G(G)$ of a finite group $G$ with the conjugation action. It turns out that the stringy product is different from the Pontryajin product (the latter is also called the fusion product in string theory)., Comment: 34 pages. Final version to appear in Trans. of AMS. Improve the expositions and Change of the title thanks the referees

For a Lie groupoid G with a twisting (a PU(H)-principal bundle over G), we use the (geometric) deformation quantization techniques supplied by Connes tangent groupoids to define an analytic index morphism in twisted K-theory. In the case the twisting is trivial we recover the analytic index morphism of the groupoid. For a smooth foliated manifold with twistings on the holonomy groupoid we prove the twisted analog of Connes-Skandalis longitudinal index theorem. When the foliation is given by fibers of a fibration, our index coincides with the one recently introduced by Mathai-Melrose-Singer. We construct the pushforward map in twisted K-theory associated to any smooth (generalized) map $f:W\longrightarrow M/F$ and a twisting $\sigma$ on the holonomy groupoid $M/F$, next we use the longitudinal index theorem to prove the functoriality of this construction. We generalize in this way the wrong way functoriality results of Connes-Skandalis when the twisting is trivial and of Carey-Wang for manifolds., Comment: 42 pages

In this paper, we establish the Riemann-Roch theorem in twisted K-theory extending our earlier results. As an application, we prove a twisted index formula and show that D-brane charges in Type I and Type II string theory are classified by twisted KO-theory and twisted K-theory respectively in the presence of B-fields as proposed by Witten., Comment: 37 pages

We study twisted $Spin^c$-manifolds over a paracompact Hausdorff space $X$ with a twisting $\alpha: X \to K(\ZZ, 3)$. We introduce the topological index and the analytical index on the bordism group of $\alpha$-twisted $Spin^c$-manifolds over $(X, \alpha)$, taking values in topological twisted K-homology and analytical twisted K-homology respectively. The main result of this paper is to establish the equality between the topological index and the analytical index. We also define a notion of geometric twisted K-homology, whose cycles are geometric cycles of $(X, \a)$ analogous to Baum-Douglas's geometric cycles. As an application of our twisted index theorem, we discuss the twisted longitudinal index theorem for a foliated manifold $(X, F)$ with a twisting $\alpha: X \to K(\ZZ, 3)$, which generalizes the Connes-Skandalis index theorem for foliations and the Atiyah-Singer families index theorem to twisted cases., Comment: Final version, 51 pages. To appear in Journal of Noncommutative Geometry

In this paper, we develop differential twisted K-theory and define a twisted Chern character on twisted K-theory which depends on a choice of connection and curving on the twisting gerbe. We also establish the general Riemann-Roch theorem in twisted K-theory and find some applications in the study of twisted K-theory of compact simple Lie groups., Comment: 32 page. Thoroughly revised to improve the exposition

We establish the Thom isomorphism in twisted K-theory for any real vector bundle and develop the push-forward map in twisted K-theory for any differentiable proper map $f: X\to Y$ (not necessarily K-oriented). The push-forward map generalizes the push-forward map in ordinary K-theory for any $K$-oriented differentiable proper map and the Atiyah-Singer index theorem of Dirac operators on Clifford modules. For $D$-branes satisfying Freed-Witten's anomaly cancellation condition in a manifold with a non-trivial $B$-field, we associate a canonical element in the twisted K-group to get the so-called D-brane charges., Comment: Add Remark 4.2 to clarify some confusions in the current literature about the role of automorphisms of twists and their action on twisted K-theroy

We explain how multiplicative bundle gerbes over a compact, connected and simple Lie group $G$ lead to a certain fusion category of equivariant bundle gerbe modules given by pre-quantizable Hamiltonian $LG$-manifolds arising from Alekseev-Malkin-Meinrenken's quasi-Hamiltonian $G$-spaces. The motivation comes from string theory namely, by generalising the notion of $D$-branes in $G$ to allow subsets of $G$ that are the image of a $G$-valued moment map we can define a `fusion of $D$-branes' and a map to the Verlinde ring of the loop group of $G$ which preserves the product structure. The idea is suggested by the theorem of Freed-Hopkins-Teleman. The case where $G$ is not simply connected is studied carefully in terms of equivariant bundle gerbe modules for multiplicative bundle gerbes., Comment: 43 pages, xy-pic diagrams; Proof of Prop. 6.17 clarified and references added

We develop the theory of Chern-Simons bundle 2-gerbes and multiplicative bundle gerbes associated to any principal $G$-bundle with connection and a class in $H^4(BG, \ZZ)$ for a compact semi-simple Lie group $G$. The Chern-Simons bundle 2-gerbe realises differential geometrically the Cheeger-Simons invariant. We apply these notions to refine the Dijkgraaf-Witten correspondence between three dimensional Chern-Simons functionals and Wess-Zumino-Witten models associated to the group $G$. We do this by introducing a lifting to the level of bundle gerbes of the natural map from $H^4(BG, \ZZ)$ to $H^3(G, \ZZ)$. The notion of a multiplicative bundle gerbe accounts geometrically for the subtleties in this correspondence for non-simply connected Lie groups. The implications for Wess-Zumino-Witten models are also discussed., Comment: 35 pages, xy-pic diagrams, published version

The goal of this paper is to apply the universal gerbe of \cite{CMi1} and \cite{CMi2} to give an alternative, simple and more unified view of the relationship between index theory and gerbes. We discuss determinant bundle gerbes \cite{CMMi1} and the index gerbe of \cite{L} for the case of families of Dirac operators on odd dimensional closed manifolds. The method also works for a family of Dirac operators on odd dimensional manifolds with boundary, for a pair of Melrose-Piazza's $Cl(1)$-spectral sections for a family of Dirac operators on even dimensional closed manifolds with vanishing index in $K$-theory and, in a simple case, for manifolds with corners. The common feature of these bundle gerbes is that there exists a canonical bundle gerbe connection whose curving is given by the degree 2 part of the even eta-form (up to a locally defined exact form) arising from the local family index theorem., Comment: 26 pages, no figures; to appear in Journ. of Geom. and Phys

For a rational homology 3-sphere $Y$ with a $\spinc$ structure $\s$, we show that simple algebraic manipulations of our construction of equivariant Seiberg-Witten Floer homology lead to a collection of variants which are topological invariants. We establish exact sequences relating them, we show that they satisfy a duality under orientation reversal, and we explain their relation to ou previous construction of equivariant Seiberg-Witten Floer (co)homologies. We conjecture the equivalence of these versions of equivariant Seiberg-Witten Floer homology with the Heegaard Floer invariants introduced by Ozsv\'ath and Szab\'o., Comment: LaTeX 18 pages

This paper gives a detailed construction of Seiberg-Witten-Floer homology for a closed oriented 3-manifold with a non-torsion $\spinc$ structure. Gluing formulae for certain 4-dimensional manifolds splitting along an embedded 3-manifold are obtained., Comment: 63 pages, LaTex

We establish the exact triangle in Seiberg-Witten-Floer theory relating the monopoloe homologies of any two closed 3-manifolds which are obtained from each other by $\pm 1$-surgery. We also show that the sum of the modified version of the Seiberg-Witten invariants for any closed rational homology 3-sphere $Y$ over all $Spin^c$ structures equals to $\frac 12 |H_1(Y, \Z)| \lambda (Y)$ where $\lambda (Y)$ is the Casson-Walker invariant., Comment: 35 pages, 3 figures

This is the third part of the work on the exact triangles. We construct chain homomorphisms and show exactness of the resulting sequence., Comment: 69 pages, 4 figures

Some aspects of the construction of SW Floer homology for manifolds with non-trivial rational homology are analyzed. In particular, the case of manifolds that are obtained as zero-surgery on a knot in a homology sphere, and for torsion spinc structures. We discuss relative invariants in the case of torsion spinc structures., Comment: 34 pages

This is the second part of the proof of the exact traiangles in Seiberg-Witten Floer theory. We analyse the splitting and gluing of flow lines of the Chern-Simons-Dirac functional when the underlying three-manifold splits along a torus. (two corrections added), Comment: 71 pages, 3 figures

We establish a surgery formula for 3-dimensional Seiberg-Witten monopoles under (+1) Dehn surgery on a knot in a homology 3-sphere. (substantial revision), Comment: 55 pages LaTeX, 1 eps figure

We determine the Seiberg-Witten-Floer homology groups of the three-manifold which is the product of a surface of genus $g \geq 1$ times the circle, together with its ring structure, for spin-c structures which are non-trivial on the three-manifold. We give applications to computing Seiberg-Witten invariants of four-manifolds which are connected sums along surfaces and also we reprove the higher type adjunction inequalities previously obtained by Oszv\'ath and Szab\'o., Comment: 26 pages, no figures, Latex2e, to appear in Math. Nach

This paper circulated previously in a draft version. Now, upon general request, it is about time to distribute the more detailed (and much longer) version. The main technical issues revolve around the fine structure of the compactification of the moduli spaces of flow lines and the obstruction bundle technique, with related gluing theorems, needed in the proof of the topological invariance of the equivariant version of the Floer homology., Comment: 162 pages, LaTex, 1 figure, diagrams (xypic)

We give the definition of the Seiberg-Witten-Floer homology group for a homology 3-sphere. Its Euler characteristic number is a Casson-type invariant. For a four-manifold with boundary a homology sphere, a relative Seiberg-Witten invariant is defined taking values in the Seiberg-Witten-Floer homology group, these relative Seiberg-Witten invariants are applied to certain homology spheres bounding Stein surfaces., Comment: LaTex; 30 pages, fix some LaTex problems, cut one subsection, update the relation with equivariant Seiberg-Witten-Floer homology and one application to Stein surface with boundary

A systematic description of the Wess-Zumino-Witten model is presented. The symplectic method plays the major role in this paper and also gives the relationship between the WZW model and the Chern-Simons model. The quantum theory is obtained to give the projective representation of the Loop group. The Gauss constraints for the connection whose curvature is only focused on several fixed points are solved. The Kohno connection and the Knizhnik-Zamolodchikov equation are derived. The holonomy representation and $\check R$-matrix representation of braid group are discussed., Comment: 24 pages, Latex, no figures