We demonstrate an obstruction to finding certain splittings of four-manifolds along sufficiently twisted circle bundles over Riemann surfaces, arising from Seiberg-Witten theory. These obstructions are used to show a non-splitting result for algebraic surfaces of general type.
We establish a criterion for the flatness of a principal circle bundle in terms of the intrinsically harmonic form problem. It states that the flatness is equivalent to the intrinsic harmonicity of a certain natural associated form.
In this paper, we prove that principal circle bundles over the complex projective space equipped with the standard Sasakian structures are volume rigid among all $K$-contact manifolds satisfying positivity conditions of tensors involing the Tanaka-Webster curvature.
For a compact 3-manifold $M$ which is a circle bundle over a compact Riemann surface $Σ$ with even Euler number $e(M)$, and with a Riemannian metric compatible with the bundle projection, there exists a compact minimal surface $S$ in $M$. $S$ is embedded and is a section of the restriction of the bundle to the complement of a finite number of points in $Σ$.
If a closed 3-manifold M supports a closed, nonsingular, irrational 1-form which linearly deforms into contact forms, then M supports a K-contact form. On the 3-torus, a closed nonsingular 1-form deforms linearly into contact forms if and only if it is a fibration 1-form. on any other 2-torus bundle over the circle, every closed, nonsingular 1-form deforms linearly into contact forms.
We investigate geometric properties of indecomposable but non-irreducible Lorentzian manifolds, which are total spaces of circle bundles. We investigate under which conditions these manifolds are complete and give examples which fulfill the obtained conditions. In particular we investigate the Einstein equation for these spaces yielding examples for complete compact Ricci flat Lorentzian manifolds and manifolds with timelike Killing vector fields. Finally we study their holonomy and obtain in particular complete examples for Lorentzian manifolds with holonomy of so called type 4.
We compute eta invariants of various Dirac type operators on circle bundles over Riemann surfaces via two approaches: an adiabatic approach based on the results of Bismut-Cheeger-Dai and a direct elementary one. These results, coupled with some delicate spectral flow computations are then used to determine the virtual dimensions of Seiberg-Witten finite energy moduli spaces on any 4-manifold bounding unions of circle bundles. This belated paper should be regarded as the analytical backbone of dg-ga/9711006. There, we indicated only what changes are needed to extend the methods of the present p…
We give short proofs of the following two facts: Iterated principal circle bundles are precisely the nilmanifolds. Every iterated circle bundle is almost flat, and hence diffeomorphic to an infranilmanifold.
We describe a necessary and sufficient condition for a principal circle bundle over an even-dimensional manifold to carry an invariant contact structure. As a corollary it is shown that all circle bundles over a given base manifold carry an invariant contact structure, only provided the trivial bundle does. In particular, all circle bundles over 4-manifolds admit invariant contact structures. We also discuss the Bourgeois construction of contact structures on odd-dimensional tori in this context, and we relate our results to recent work of Massot, Niederkrueger and Wendl on weak symplectic fil…
We prove that a compact 4-manifold which supports a circle-invariant fat SO(3)-bundle is diffeomorphic to either S^4 or CP^2-bar. The proof involves studying the resulting Hamiltonian circle action on an associated symplectic 6-manifold. Applying our result to the twistor bundle of Riemannian 4-manifolds shows that S^4 and CP^2-bar are the only 4-manifolds admitting circle-invariant metrics solving a certain curvature inequality. This can be seen as an analogue of Hsiang-Kliener's theorem that only S^4 and CP^2 admit circle-invariant metrics of positive sectional curvature.
The analysis of holomorphic sections of high powers $L^N$ of holomorphic ample line bundles $L\to M$ over compact Kähler manifolds has been widely applied in complex geometry and mathematical physics. The Tian-Yau-Zelditch's asymptotic expansion of the Szegö kernel of a circle bundle plays an important role in Kähler-Einstein geometry. We generalize the expansion for compact Kähler orbifolds with only finite isolated singularities and analyze the behavior of the expansion near the singularities.
We extend topological T-duality to the case of general circle bundles. In this setting we prove existence and uniqueness of T-duals. We then show that T-dual spaces have isomorphic twisted cohomology, twisted $K$-theory and Courant algebroids. A novel feature is that we must consider two kinds of twists in de Rham cohomology and $K$-theory, namely by degree 3 integral classes and a less familiar kind of twist using real line bundles. We give some examples of T-dual non-oriented circle bundles and calculate their twisted $K$-theory.
The caloron correspondence can be understood as an equivalence of categories between $G$-bundles over circle bundles and $LG \rtimes_ρS^1$-bundles where $LG$ is the group of smooth loops in $G$. We use it, and lifting bundle gerbes, to derive an explicit differential form based formula for the (real) string class of an $LG \rtimes_ρS^1$-bundle.
We call two Engel structures isotopic if they are homotopic through Engel structures by a homotopy that fixes the characteristic line field. In the present paper we define an isotopy invariant of Engel structures on oriented circle bundles over closed oriented three-manifolds and apply it to give an isotopy classification of Engel structures on circle bundles with characteristic line field tangent to the fibers.
We give topological obstructions to the existence of a closed exact Lagrangian submanifold in the cotangent bundle of a closed manifold M which is the total space of a fibration over the circle. For instance we show that the fundamental group of such a Lagrangian submanifold cannot be the free product of two non-trivial groups and that in any finite presentation of this group the difference between the number of generators and the number of relations is less than two.
Consider a bundle of circles passing through 0 in 4-dimensional space. It is said to be rectifiable if there is a germ of diffeomorphism at 0 that takes all circles from our bundle to straight lines. We will give a classification of all rectifiable bundles of circles containing sufficiently many circles in general position. This result is surprisingly different from those in dimensions 2 and 3(Khovanskii and Izadi) due to a connection with the quaternionic algebra.
We generalize the circle bundle examples of ancient solutions of the Ricci flow discovered by Bakas, Kong, and Ni to a class of principal torus bundles over an arbitrary finite product of Fano Kähler-Einstein manifolds studied by Wang and Ziller in the context of Einstein geometry. As a result, continuous families of $κ$-collapsed and $κ$-noncollapsed ancient solutions of type I are obtained on circle bundles for all odd dimensions $\geq 7$. In dimension $7$ such examples moreover exist on pairs of homeomorphic but not diffeomorphic manifolds. Continuous families of $κ$-collapsed ancient solut…
In this paper, we give concrete descriptions of leafwise cohomology groups and show the regularized determinant expression of the dynamical zeta function for fiber bundles over $S^{1}$. As applications, we show a functional equation and some formulas for special values of the dynamical zeta function.
In a recent preprint Yael Karshon showed that there exist non-conjugate tori in a group of symplectomorphisms of a Hirzebruch surface. She counted them in terms of the cohomology class of the symplectic structure. We show that a similar phenomenon exists in the contactomorphism groups of pre-quantum circle bundles over Hirzebruch surfaces. Note that the contact structures in question are fillable. This may be contrasted with an earlier paper where we showed that there are infinitely many non-conjugate tori in the contactomorphism groups of certain overtwisted lens spaces (Contact cuts, Israel …
Obstruction flatness of a strongly pseudoconvex hypersurface $Σ$ in a complex manifold refers to the property that any (local) Kähler-Einstein metric on the pseudoconvex side of $Σ$, complete up to $Σ$, has a potential $-\log u$ such that $u$ is $C^\infty$-smooth up to $Σ$. In general, $u$ has only a finite degree of smoothness up to $Σ$. In this paper, we study obstruction flatness of hypersurfaces $Σ$ that arise as unit circle bundles $S(L)$ of negative Hermitian line bundles $(L, h)$ over Kähler manifolds $(M, g).$ We prove that if $(M,g)$ has constant Ricci eigenvalues, then $S(L)$ is obst…
We consider Chern-Simons theory on 3-manifold $M$ that is the total space of a circle bundle over a 2d base $Σ$. We show that this theory is equivalent to a new 2d TQFT on the base, which we call Caloron BF theory, that can be obtained by an appropriate type of push-forward. This is a gauge theory on a bundle with structure group given by the full affine level $k$ central extension of the loop group $LG$. The space of fields of this 2d theory is naturally symplectic, and this provides a new formulation of a result of Beasley-Witten about the equivariant localization of the Chern-Simons path in…
We study the hyperholomorphic line bundle on a hyperkaehler manifold with circle action introduced by A Haydys, and in particular show how it transforms under a hyperkaehler quotient. Applications include ALE spaces and coadjoint orbits.
We compute the spectrum of the Dirac operator on 3-dimensional Heisenberg manifolds. The behavior under collapse to the 2-torus is studied. Depending on the spin structure either all eigenvalues tend to $\pm\infty$ or there are eigenvalues converging to those of the torus. This is shown to be true in general for collapsing circle bundles with totally geodesic fibers. Using the Hopf fibration we use this fact to compute the Dirac eigenvalues on complex projective space including the multiplicities. Finally, we show that there are 1-parameter families of Riemannian nilmanifolds such that the Lap…
We present several principal bundles of embeddings of compact manifolds (with or without boundary) whose base manifolds are nonlinear Grassmannians. We study their infinite dimensional differential manifold structure in the Fréchet category. This study is motivated by the occurrence of such objects in the geometric Lagrangian formulation of free boundary continuum mechanics and in the study of the associated infinite dimensional dual pairs structures.
We consider a closed orientable Riemannian 3-manifold $(M,g)$ and a vector field $X$ with unit norm whose integral curves are geodesics of $g$. Any such vector field determines naturally a 2-plane bundle contained in the kernel of the contact form of the geodesic flow of $g$. We study when this 2-plane bundle remains invariant under two natural almost complex structures. We also provide a geometric condition that ensures that $X$ is the Reeb vector field of the 1-form $λ$ obtained by contracting $g$ with $X$. We apply these results to the case of great circle flows on the 3-sphere with two obj…
This article uses Cartan-Kähler theory to construct local conservation laws from covariantly closed vector valued differential forms, objects that can be given, for example, by harmonic maps between two Riemannian manifolds. We apply the article's main result to construct conservation laws for covariant divergence free energy-momentum tensors. We also generalize the local isometric embedding of surfaces in the analytic case by applying the main result to vector bundles of rank two over any surface.
This text is the extended version of a talk given at the conference Geometry, Topology, QFT and Cosmology hold from May 28 to May 30, 2008 at the Observatoire de Paris. Using exterior differential systems, I provide a positive answer to the generalized isometric embedding problem of vector bundles, and show how conservation laws for a class of PDE can be constructed, for instance, for covariant divergence-free energy-momentum tensors.
In this paper we compute the Ricci flow formulas for invariant metrics on prinicpal $G$-bundles compatible with the connection. Our primary focus is on torus bundles which we use to study a notion of Bakry-Émery Ricci flow as well as Ricci flow on circle bundles over Kähler-Einstein manifolds. The latter application gives us solutions to Ricci flows on Heisenberg groups and implicit solutions to Ricci flows on Berger 3-spheres and several other 3-dimensional manifolds.
It is shown that analytic conformal submersions of $S^3$ are given by intersections of (not necessary closed) complex surfaces with a quadratic real hyper-surface in $\mathbb{C}P^3.$ A new description of the space of circles in the 3-sphere in terms of a natural bilinear form on the tangent sphere bundle of $S^3$ is given. As an application it is shown that every conformal fibration of $S^3$ by circles is the Hopf fibration up to conformal transformations.
We study special circle bundles over two elementary moduli spaces of meromorphic quadratic differentials with real periods denoted by $\mathcal Q_0^{\mathbb R}(-7)$ and $\mathcal Q^{\mathbb R}_0([-3]^2)$. The space $\mathcal Q_0^{\mathbb R}(-7)$ is the moduli space of meromorphic quadratic differentials on the Riemann sphere with one pole of order 7 with real periods; it appears naturally in the study of a neighbourhood of the Witten's cycle $W_1$ in the combinatorial model based on Jenkins-Strebel quadratic differentials of $\mathcal M_{g,n}$. The space $\mathcal Q^{\mathbb R}_0([-3]^2)$ is t…
An ansatz of Calabi allows construction of Kahler metrics in an Hermitian disk bundle over a Kahler manifold. We attempt to give a definitive treatment of this ansatz, with the following results: We give curvature conditions on the disk bundle that guarantee existence of families of complete Kahler metrics of constant scalar curvature, including some Einstein-Kahler metrics. These curvature conditions are somewhat weaker than those used by prior authors, and are shown to give rise to large families of metrics that seem to be new. Further, these curvature hypotheses are necessary, in the sense …
On Euclidean spaces, the Gaussian kernel is one of the most widely used kernels in applications. It has also been used on non-Euclidean spaces, where it is known that there may be (and often are) scale parameters for which it is not positive definite. Hope remains that this kernel is positive definite for many choices of parameter. However, we show that the Gaussian kernel is not positive definite on the circle for any choice of parameter. This implies that on metric spaces in which the circle can be isometrically embedded, such as spheres, projective spaces and Grassmannians, the Gaussian ker…
In general terms, Gelfand duality refers to a correspondence between a geometric, topological, or analytical category, and an algebraic category. For example, in smooth differential geometry, Gelfand duality refers to the topological embedding of a smooth manifold in the topological dual of its algebra of smooth functions. This is generalised here in two directions. First, the topological embeddings for manifolds are generalised to the cases of real analytic and Stein manifolds, using a unified cohomological argument. Second, this type of duality is extended to vector bundles, affine bundles, …
Let $X$ be a compact strongly pseudoconvex CR manifold with a transversal CR $S^1$-action. In this paper, we establish the asymptotic expansion of Szegő kernels of positive Fourier components and by using the asymptotics, we show that $X$ can be equivariant CR embedded into some $\mathbb C^N$ equipped with a simple $S^1$-action. An equivariant embedding of quasi-regular Sasakian manifold is also derived.
Starting from an even definite lattice, we construct a principal circle bundle covered by a certain three-step nilpotent Lie group G. On the base space, which is again a nilmanifold, we then study the Dirac operator twisted by the associated complex line bundles. Noting that the whole situation fibers over the circle, we are able to determine the reduced eta-invariant of these Dirac operators in the adiabatic limit. As an application, we consider the total space of the circle bundle, equipped with a parallelism induced by G, as an element in the stable homotopy groups of the sphere and use the…
In this paper it is shown that a CR embedding from one strictly pseudoconvex hypersurface into another (of strictly larger dimension) sends chains on the source to chains on the target if and only if the embedding has a lift to a conformal isometry of the associated Fefferman bundles with vanishing pseudo-Riemannian second fundamental form. When the target is a sphere these conditions simplify nicely.
Given a Poisson (or more generally Dirac) manifold $P$, there are two approaches to its geometric quantization: one involves a circle bundle $Q$ over $P$ endowed with a Jacobi (or Jacobi-Dirac) structure; the other one involves a circle bundle with a (pre-) contact groupoid structure over the (pre-) symplectic groupoid of $P$. We study the relation between these two prequantization spaces. We show that the circle bundle over the (pre-) symplectic groupoid of $P$ is obtained from the groupoid of $Q$ via an $S^1$ reduction that preserves both the groupoid and the geometric structure.
We compute the Szego kernel of the unit circle bundle of a negative line bundle dual to a regular quantum line bundle over a compact Kaehler manifold. As a corollary we provide an infinite family of smoothly bounded strictly pseudoconvex domains on complex manifolds (disk bundles over homogeneous Hodge manifolds) for which the log-terms in the Fefferman expansion of the Szego kernel vanish and which are not locally CR-equivalent to the sphere. We also give a proof of the fact that, for homogeneous Hodge manifolds, the existence of a locally spherical CR-structure on the unit circle bundle alon…
An embedding of the group $\Diff(S^{1})$ of orientation preserving diffeomorphims of the unit circle $S^1$ into an infinite-dimensional symplectic group, $\Sp(\infty)$, is studied. The authors prove that this embedding is not surjective. A Brownian motion is constructed on $\Sp(\infty)$. This study is motivated by recent work of H. Airault, S. Fang and P. Malliavin.
In this paper, the moduli space of singular unitary Hermitian--Einstein monopoles on the product of a circle and a Riemann surface is shown to correspond to a moduli space of stable pairs on the Riemann surface. These pairs consist of a holomorphic vector bundle on the surface and a meromorphic automorphism of the bundle. The singularities of this automorphism correspond to the singularities of the singular monopole. We then consider the complex geometry of the moduli space; in particular, we compute dimensions, both from the complex geometric and the gauge theoretic point of view.
In this paper, we compute contact homology of some quasi-regular contact structures, which admit Hamiltonian actions of Reeb type of Lie groups. We will discuss the toric contact case, (where the torus is of Reeb type), and the case of homogeneous contact manifolds. In both of these cases the quotients by the Reeb action are Kähler and admit perfect Morse-Bott functions via the moment map. It turns out that the contact homology depends only on the homology of the symplectic base and the bundle data of the contact manifolds as a circle bundle over the base. Moreover we can identify the relevant…
This paper is devoted to the study of the embeddings of a complex submanifold $S$ inside a larger complex manifold $M$; in particular, we are interested in comparing the embedding of $S$ in $M$ with the embedding of $S$ as the zero section in the total space of the normal bundle $N_S$ of $S$ in $M$. We explicitely describe some cohomological classes allowing to measure the difference between the two embeddings, in the spirit of the work by Grauert, Griffiths, and Camacho-Movasati-Sad; we are also able to explain the geometrical meaning of the separate vanishing of these classes. Our results ho…
Recently, B.Chow and R.S.Hamilton introduced the cross curvature flow on 3-manifolds. In this paper, we analyze two interesting examples for this new flow. One is on a square torus bundle over a circle, and the other is on a $S^{2}$ bundle over a circle. We show that the global flow exist in both cases. But on the former the flow diverges at time infinity, and on the latter the flow converges at time infinity.
The main results of this paper describes a formula for the Seiberg-Witten invariant of a 4-manifold which admits a nontrivial free S^1-action. We use this theorem to produce a nonsymplectic 4-manifold with a free circle action whose orbit space fibers over S^1. We also describe a 3-manifold which is not the orbit space of any symplectic 4-manifold with a free circle action. A corollary of the main theorem is a formula for the 3-dimensional Seiberg-Witten invariants of the total space of a circle bundle over a surface.
We investigate modular embeddings for semi-arithmetic Fuchsian groups. First we prove some purely algebro-geometric or even topological criteria for a regular map from a smooth complex curve to a quaternionic Shimura variety to be covered by a modular embedding. Then we set up an adelic formalism for modular embeddings and apply our criteria to study the effect of abstract field automorphisms of $\mathbb{C}$ on modular embeddings. Finally we derive that the absolute Galois group of $\mathbb{Q}$ operates on the dessins d'enfants defined by principal congruence subgroups of (arithmetic or non-ar…
We consider Riemannian 4-manifolds $(X,g_X)$ with a Spin^c-structure and a suitable circle bundle $Y$ over $X$ such that the Spin^c-structure on $X$ lifts to a spin structure on $Y$. With respect to these structures a spinor $ϕ$ on $X$ lifts to an untwisted spinor $ψ$ on $Y$ and a U(1)-gauge field $A$ for the Spin^c-structure can be absorbed into a Kaluza-Klein metric $g_Y^A$ on $Y$. We show that irreducible solutions $(A,ϕ)$ to the Seiberg-Witten equations on $(X,g_X)$ for the given Spin^c-structure are equivalent to irreducible solutions $ψ$ of a Dirac equation with cubic non-linearity on th…