arXiv subjects

Andrei Teleman

Publications and source records attributed to Andrei Teleman.

At least 37 records · Page 2Linked to original sources

arXiv2014

A variation formula for the determinant line bundle. Compact subspaces of moduli spaces of stable bundles over class VII surfaces

This article deals with two topics: the first, which has a general character, is a variation formula for the the determinant line bundle in non-Kählerian geometry. This formula, which is a consequence of the non-Kählerian version of the Grothendieck-Riemann Roch theorem proved recently by Bismut, gives the variation of the determinant line bundle corresponding to a perturbation of a Fourier-Mukai kernel ${\cal E}$ on a product $B\times X$ by a unitary flat line bundle on the fiber $X$. When this fiber is a complex surface and ${\cal E}$ is a holomorphic 2-bundle, the result can be interpreted as a Donaldson invariant. The second topic concerns a geometric application of our variation formula, namely we will study compact complex subspaces of the moduli spaces of stable bundles considered in our program for proving existence of curves on minimal class VII surfaces. Such a moduli space comes with a distinguished point $a=[{\cal A}]$ corresponding to the canonical extension ${\cal A}$ of $X$. The compact subspaces $Y\subset {\cal M}^\st$ containing this distinguished point play an important role in our program. We will prove a non-existence result: there exists no compact complex subspace of positive dimension $Y\subset {\cal M}^\st$ containing $a$ with an open neighborhood $a\in Y_a\subset Y$ such that $Y_a\setminus\{a\}$ consists only of non-filtrable bundles. In other words, within any compact complex subspace of positive dimension $Y\subset {\cal M}^\st$ containing $a$, the point $a$ can be approached by filtrable bundles. Specializing to the case $b_2=2$ we obtain a new way to complete the proof of a theorem in a previous article: any minimal class VII surface with $b_2=2$ has a cycle of curves. Applications to class VII surfaces with higher $b_2$ will be be discussed in a forthcoming article.

math.CV↗

arXiv2013

Kähler classes on universal moduli spaces and volumina of Quot spaces

We study the natural Kähler metrics on moduli spaces of stable oriented pairs in a very general framework, and we prove a universal formula expressing the Kähler class of such a moduli space in terms of characteristic classes of the universal bundle. We use these results to compute explicitly the volumina of certain Quot spaces.

math.DG↗

arXiv2013

Invariant connections and invariant holomorphic bundles on homogeneous manifolds

Let $X$ be a differentiable manifold endowed with a transitive action $α:A\times X\longrightarrow X$ of a Lie group $A$. Let $K$ be a Lie group. Under suitable technical assumptions, we give explicit classification theorems, in terms of explicit finite dimensional quotients, of three classes of objects: {enumerate} equivalence classes of $α$-invariant $K$-connections on $X$, $α$-invariant gauge classes of $K$-connections on $X$, and $α$-invariant isomorphism classes of pairs $(Q,P)$ consisting of a holomorphic $K^\C$-bundle $Q\longrightarrow X$ and a $K$-reduction $P$ of $Q$ (when $X$ has an $α$-invariant complex structure). {enumerate}

math.DG↗

arXiv2013

Moduli spaces of PU(2)-monopoles

The goal of this article was the S^1-equivariant transversality-problem and the compactification-problem for the moduli spaces of (perturbed) PU(2)-monopoles. A substantially improved version entitled "Moduli spaces of PU(2)-monopoles (revised version)" which gives simpler, clearer proofs of the transversality results, has been published on arxiv in June 99 and appeared in Asian J. Math, see Moduli spaces of PU(2)-Monopoles, Asian J. Math. Vol. 4, No. 2 (2000), 391-436.

dg-ga↗

arXiv2013

Abelian Yang-Mills theory on Real tori and Theta divisors of Klein surfaces

The purpose of this paper is to compute determinant index bundles of certain families of Real Dirac type operators on Klein surfaces as elements in the corresponding Grothendieck group of Real line bundles in the sense of Atiyah. On a Klein surface these determinant index bundles have a natural holomorphic description as theta line bundles. In particular we compute the first Stiefel-Whitney classes of the corresponding fixed point bundles on the real part of the Picard torus. The computation of these classes is important, because they control to a large extent the orientability of certain moduli spaces in Real gauge theory and Real algebraic geometry.

math.AG↗

arXiv2012

Intrinsic signs and lower bounds in real algebraic geometry

A classical result due to Segre states that on a real cubic surface in ${\mathbb P}^3_\R$ there exists two kinds of real lines: elliptic and hyperbolic lines. These two kinds of real lines are defined in an intrinsic way, i.e., their definition does not depend on any choices of orientation data. Segre's classification of smooth real cubic surfaces also shows that any such surface contains at least 3 real lines. Starting from these remarks and inspired by the classical problem mentioned above, our article has the following goals: - We explain a general principle which leads to lower bounds in real algebraic geometry, - We explain the reason for the appearance of intrinsic signs in the classical problem treated by Segre, showing that the same phenomenon occurs in a large class of enumerative problems in real algebraic geometry. - We illustrate these principles in the enumerative problem for real lines in real hypersurfaces of degree $2m-3$ in ${\mathbb P}^m_\R$.

math.AG↗

arXiv2011

Symmetric theta divisors of Klein surfaces

This is a slightly expanded version of the talk given by Ch.O. at the conference "Instantons in complex geometry", at the Steklov Institute in Moscow. The purpose of this talk was to explain the algebraic results of our paper "Abelian Yang-Mills theory on Real tori and Theta divisors of Klein surfaces". In this paper we compute determinant index bundles of certain families of Real Dirac type operators on Klein surfaces as elements in the corresponding Grothendieck group of Real line bundles in the sense of Atiyah. On a Klein surface these determinant index bundles have a natural holomorphic description as theta line bundles. In particular we compute the first Stiefel-Whitney classes of the corresponding fixed point bundles on the real part of the Picard torus. The computation of these classes is important, because they control to a large extent the orientability of certain moduli spaces in Real gauge theory and Real algebraic geometry.

math.AG↗

arXiv2011

Real determinant line bundles

This article is an expanded version of the talk given by Ch. O. at the Second Latin Congress on "Symmetries in Geometry and Physics" in Curitiba, Brazil in December 2010. In this version we explain the topological and gauge-theoretical aspects of our paper "Abelian Yang-Mills theory on Real tori and Theta divisors of Klein surfaces".

math.AG↗

arXiv2011

Infinite bubbling in non-Kählerian geometry

In a holomorphic family $(X_b)_{b\in B}$ of non-Kählerian compact manifolds, the holomorphic curves representing a fixed 2-homology class do not form a proper family in general. The deep source of this fundamental difficulty in non-Kähler geometry is the {\it explosion of the area} phenomenon: the area of a curve $C_b\subset X_b$ in a fixed 2-homology class can diverge as $b\to b_0$. This phenomenon occurs frequently in the deformation theory of class VII surfaces. For instance it is well known that any minimal GSS surface $X_0$ is a degeneration of a 1-parameter family of simply blown up primary Hopf surfaces $(X_z)_{z\in D\setminus\{0\}}$, so one obtains non-proper families of exceptional divisors $E_z\subset X_z$ whose area diverge as $z\to 0$. Our main goal is to study in detail this non-properness phenomenon in the case of class VII surfaces. We will prove that, under certain technical assumptions, a lift $\widetilde E_z$ of $E_z$ in the universal cover $\widetilde X_z$ does converge to an effective divisor $\widetilde E_0$ in $\widetilde X_0$, but this limit divisor is not compact. We prove that this limit divisor is always bounded towards the pseudo-convex end of $\widetilde X_0$ and that, when $X_0$ is a a minimal surface with global spherical shell, it is given by an infinite series of {\it compact} rational curves, whose coefficients can be computed explicitly. This phenomenon - degeneration of a family of compact curves to an infinite union of compact curves - should be called {\it infinite bubbling}. We believe that such a decomposition result holds for any family of class VII surfaces whose generic fiber is a blown up primary Hopf surface. This statement would have important consequences for the classification of class VII surfaces.

math.CV↗

arXiv2009

Instantons and curves on class VII surfaces

We develop a general strategy, based on gauge theoretical methods, to prove existence of curves on class VII surfaces. We prove that, for $b_2=2$, every minimal class VII surface has a cycle of rational curves hence, by a result of Nakamura, is a global deformation of a one parameter family of blown up primary Hopf surfaces. The case $b_2=1$ has been solved in a previous article. The fundamental object intervening in our strategy is the moduli space ${\mathcal M}^{\pst}(0,{\mathcal K})$ of polystable bundles ${\mathcal E}$ with $c_2({\mathcal E})=0$, $\det({\mathcal E})={\mathcal K}$. For large $b_2$ the geometry of this moduli space becomes very complicated. The case $b_2=2$ treated here in detail requires new ideas and difficult techniques of both complex geometric and gauge theoretical nature.

math.DG↗

arXiv2008

Cohomotopy invariants and the universal cohomotopy invariant jump formula

Starting from ideas of Furuta, we develop a general formalism for the construction of cohomotopy invariants associated with a certain class of $S^1$-equivariant non-linear maps between Hilbert bundles. Applied to the Seiberg-Witten map, this formalism yields a new class of cohomotopy Seiberg-Witten invariants which have clear functorial properties with respect to diffeomorphisms of 4-manifolds. Our invariants and the Bauer-Furuta classes are directly comparable for 4-manifolds with $b_1=0$; they are equivalent when $b_1=0$ and $b_+>1$, but are finer in the case $b_1=0$, $b_+=1$ (they detect the wall-crossing phenomena). We study fundamental properties of the new invariants in a very general framework. In particular we prove a universal cohomotopy invariant jump formula and a multiplicative property. The formalism applies to other gauge theoretical problems, e.g. to the theory of gauge theoretical (Hamiltonian) Gromov-Witten invariants.

math.GT↗

arXiv2008

Gauge theoretical methods in the classification of non-Kaehlerian surfaces

The classification of class VII surfaces is a very difficult classical problem in complex geometry. It is considered by experts to be the most important gap in the Enriques-Kodaira classification table for complex surfaces. The standard conjecture concerning this problem states that any minimal class VII surface with $b_2>0$ has $b_2$ curves. By the results of Kato, Nakamura and Dloussky/Oeljeklaus/Toma, this conjecture (if true) would solve this classification problem completely. We explain a new approach (based on techniques from Donaldson theory) to prove existence of curves on class VII surfaces, and we present recent results obtained using this approach.

math.CV↗

arXiv2007

The pseudo-effective cone of a non-Kählerian surface and applications

We describe the positive cone and the pseudo-effective cone of a non-Kählerian surface. We use these results for two types of applications: - Describe the set $σ(X)$ of possible total Ricci scalars associated with Gauduchon metrics of fixed volume 1 on a fixed non-Kähhlerian surface, and decide whether the assignment $X\mapstoσ(X)$ is a deformation invariant. - Study the stability of the canonical extension $$0\to {\cal K}_X\to {\cal A}\to{\cal O}_X\to 0$$ of a class VII surface $X$ with positive $b_2$. This extension plays an important role in our strategy to prove the GSS conjecture using gauge theoretical methods.

math.CV↗

arXiv2007

Families of holomorphic bundles

The first goal of the article is to solve several fundamental problems in the theory of holomorphic bundles over non-algebraic manifolds: For instance we prove that stability and semi-stability are Zariski open properties in families when the Gauduchon degree map is a topological invariant, or when the parameter manifold is compact. Second we show that, for a generically stable family of bundles over a Kähler manifold, the Petersson-Weil form extends as a closed positive current on the whole parameter space of the family. This extension theorem uses classical tools from Yang-Mills theory developed by Donaldson (e.g. the Donaldson functional and the heat equation for Hermitian metrics on a holomorphic bundle). We apply these results to study families of bundles over a Kählerian manifold $Y$ parameterized by a non-Kählerian surface $X$, proving that such families must satisfy very restrictive conditions. These results play an important role in our program to prove existence of curves on class VII surfaces.

math.DG↗

arXiv2007

Donaldson theory on non-Kählerian surfaces and class $VII$ surfaces with $b_2=1$

We prove that any class $VII$ surface with $b_2=1$ has curves. This implies the "Global Spherical Shell conjecture" in the case $b_2=1$: Any minimal class $VII$ surface with $b_2=1$ admits a global spherical shell, hence it is isomorphic to one of the surfaces in the known list. The main idea of the proof is to show that a certain moduli space of PU(2)-instantons on a surface $X$ with no curves (if such a surface existed) would contain a closed Riemann surface $Y$ whose general points correspond to non-filtrable holomorphic bundles on $X$. Then we pass from a family of bundles on $X$ parameterized by $Y$ to a family of bundles on $Y$ parameterized by $X$, and we use the algebraicity of $Y$ to obtain a contradiction. The proof uses essentially techniques from Donaldson theory: compactness theorems for moduli spaces of PU(2)-instantons and the Kobayashi-Hitchin correspondence on surfaces.

math.DG↗

arXiv2007

Harmonic sections in sphere bundles, normal neighborhoods of reduction loci, and instanton moduli spaces on definite 4-manifolds

We prove an existence theorem for gauge invariant $L^2$-normal neighborhoods of the reduction loci in the space ${\cal A}_a(E)$ of oriented connections on a fixed Hermitian 2-bundle $E$. We use this to obtain results on the topology of the moduli space ${\cal B}_a(E)$ of (non-necessarily irreducible) oriented connections, and to study the Donaldson $μ$-classes globally around the reduction loci. In this part of the article we use essentially the concept of harmonic section in a sphere bundle with respect to an Euclidean connection. Second, we concentrate on moduli spaces of instantons on definite 4-manifolds with arbitrary first Betti number. We prove strong generic regularity results which imply (for bundles with "odd" first Chern class) the existence of a connected, dense open set of "good" metrics for which all the reductions in the Uhlenbeck compactification of the moduli space are simultaneously regular. These results can be used to define new Donaldson type invariants for definite 4-manifolds. The idea behind this construction is to notice that, for a good metric $g$, the geometry of the instanton moduli spaces around the reduction loci is always the same, independently of the choice of $g$. The connectedness of the space of good metrics is important, in order to prove that no wall-crossing phenomena (jumps of invariants) occur. Moreover, we notice that, for low instanton numbers, the corresponding moduli spaces are a priori compact and contain no reductions at all so, in these cases, the existence of well-defined Donaldson type invariants is obvious. The natural question is to decide whether these new Donaldson type invariants yield essentially new differential topological information on the base manifold have, or have a purely topological nature.

math.GT↗

arXiv2005

The universal Kobayashi-Hitchin correspondence on Hermitian manifolds

We prove a very general Kobayashi-Hitchin correspondence on arbitrary compact Hermitian manifolds. This correspondence refers to moduli spaces of "universal holomorphic oriented pairs". Most of the classical moduli problems in complex geometry (e. g. holomorphic bundles with reductive structure groups, holomorphic pairs, holomorphic Higgs pairs, Witten triples, arbitrary quiver moduli problems) are special cases of this universal classification problem. Our Kobayashi-Hitchin correspondence relates the complex geometric concept "polystable oriented holomorphic pair" to the existence of a reduction solving a generalized Hermitian-Einstein equation. The proof is based on the Uhlenbeck-Yau continuity method. We also investigate metric properties of the moduli spaces in this general non-Kaehlerian framework. We discuss in more detail moduli spaces of oriented connections, Douady Quot spaces and moduli spaces of non-abelian monopoles.

math.DG↗

arXiv2004

Harder-Narasimhan filtrations and optimal destabilizing vectors in complex geometry

We give a generalisation of the theory of optimal destabilizing 1-parameter subgroups to non-algebraic complex geometry. Consider a holomorphic action $G\times F\to F$ of a complex reductive Lie group $G$ on a finite dimensional (possibly non-compact) Kähler manifold $F$. Using a Hilbert type criterion for the (semi)stability of symplectic actions, we associate to any non semistable point $f\in F$ a unique optimal destabilizing vector in $\g$ and then a naturally defined point $f_0$ which is semistable for the action of a certain reductive subgroup of $G$ on a submanifold of $F$. We get a natural stratification of $F$ which is the analogue of the Shatz stratification for holomorphic vector bundles. In the last chapter we show that our results can be generalized to the gauge theoretical framework: first we show that the system of semistable quotients associated with the classical Harder-Narasimhan filtration of a non-semistable bundle $\EE$ can be recovered as the limit object in the direction given by the optimal destabilizing vector of $\EE$. Second, we extend this principle to holomorphic pairs: we give the analogue of the Harder-Narasimhan theorem for this moduli problem and we discuss the relation between the Harder-Narasimhan filtration of a non-semistable holomorphic pair and its optimal destabilizing vector.

math.CV↗