Arxiv:2008.04625V3 [Math.CV] 26 Feb 2021 Ldn Rvoswr Rm[Ush.Tespace the [Bu-Sch]

Home , GIT quotient

arXiv:2008.04625v3 [math.CV] 26 Feb 2021 ldn rvoswr rm[uSh.Tespace The [Bu-Sch]. from work previous ( Kählercluding manifolds compact on bundles vector (poly)stable r oDfrainTer n osrc a construct and Theory Deformation to ory htdet hoe ,(lofo B-c] ti osbet s to possible is it [Bu-Sch]) from (also i 7, It Theorem [Bu-Sch]. to in shown due c was that which the com 5), in is (Theorem holds property bundles that vector this space However, parameter family. the respective on the action an provides mations n igr[AHS, N Singer same and the with bundles identified. are where cert filtration bundles, include Seshadri points semistable whose of space a classes to refers however, ometry, fplsal ooopi etrbnls uhasaei so is space a a as such iso to bundles, to vector correspond holomorphic points polystable its of As structure. analytic complex etrbnl a,oecno xetta h cino h au the of action the that expect cannot group one say, bundle vector holomorph stable of complem the space as space moduli subspace. classifying the coarse in contained is The bundles space. Hausdorff ¨ he aiod,HrieEnti oncin,moduli connections, Hermite-Einstein Kähler manifolds, a of notion h i fti ril st pl ehd fGoercInvar Geometric of methods apply to is article this of aim The e od n phrases. and words Key h neligtplgclsaei,b h ehd fAtiya of methods the by is, space topological underlying The ie eiuieslbtntuiesldfraino ho a of deformation universal not but semi-universal a Given 00MteaisSbetCasfiain 21,1L4 32L 14L24, 32G13, Classification. Subject Mathematics 2020 NAAYI PLCTO FGEOMETRIC OF APPLICATION ANALYTIC AN G oremdl space moduli coarse l ntecasfigGTsaetgte ihacniuu h continuous a with together holomorphi space a GIT to metric. lin classifying rise determinant gives the certain It on a metric. dle of Quillen form ve a Chern stable with the Hod of equipped be space of to moduli known is is the Kähler manifold dles on underlying form Weil-Petersson the the then If for symplectic of spaces. s restrictions ambient open are an which as spaces, for Weil-Petersson bundles parameter generalized stable invariant of models vector space local For holomorphic moduli coarse (poly)stable the of are taining space that classifying GIT-quotients a analytic construct for to applied is ory Abstract. ftegvnojc ntelna space linear the on object given the of oremdl pc fsmsal etrbundles vector semistable of space moduli coarse IHLSBCDH N ER SCHUMACHER GEORG AND BUCHDAHL NICHOLAS ie opc ¨he aiod emti nain The- Invariant Kähler Geometric compact manifold, a Given § ] n oado,Kohie D-,Sc.421 a 4.2.1] Sect. [Do-K, Kronheimer Donaldson, and 6], nltcGTqoins oytbevco ude ncomp on bundles vector polystable GIT-quotients, Analytic NAIN THEORY INVARIANT lhuhi aifissihl ekraim.The axioms. weaker slightly satisfies it although , 1. Introduction 1 lsiyn space classifying spaces. V M fifiieia defor- infinitesimal of GIT 0 32Q15 10, seito the on exist ms so smooth on ms ude con- bundles oa models local opimclasses morphism hoe ) con- 8), Theorem n fa analytic an of ent are natural a carries eie referred metimes iebun- line c s fpolystable of ase trbun- ctor nagbacge- algebraic in i equivalence ain ubspace. bundle e ermitian etype, ge emphasized s ail with patible tomorphism ekabout peak arasimhan- ,Hitchin, h, M lomorphic atThe- iant cvector ic GIT for act 2 NICHOLASBUCHDAHLANDGEORGSCHUMACHER

“(poly)stable points” referring to (poly)stable fibers or (poly)stable points with respect to group actions so that methods of deformation theory match the GIT approach. The analogous problem for moduli of cscK manifolds was solved by Dervan- Naumann [D-N]. The role of our Theorem 7 was played by the result of Székely-hidi [Sz]. The action of the reductive group G on the vector space V of infinitesimal deformations of a polystable bundle yields a GIT-quotient V//G. On the other hand the parameter space S for a semi-universal deformation of a polystable bundle has been realized as a closed analytic subspace of a neighborhood U V of the origin together with a restricted action of G. There ⊂ exists a G-saturated open subset U U and a closed, G-invariant, analytic ⊃ subspace S U such that S = S U (cf. Theorem 1). ⊂ ∩ In fact the algebraic approache to construct a GIT-quotient of S cannot be applied.e However,e the analyticitye of the image of S in V//G follows from Kuhlmann’s generalization of the Remmert proper mappinge theorem (Theorem 6). The image S//anG is called analytic GIT-quotient.e It is a closed analytic subset of the open set U//anG V//G. In case the analytic structuree on S is weakly⊂ normal, it follows immediately that the structure sheaf on the quotiente consists of invariant holomorphic functions, or more generally the weak normalization of S//anG carries the G-invariant holomorphic functions on the weak normalization of S so that a globalization is constructed in the weakly normal category.e For the general case (cf. the approach by Dervan-Naumann [D-N])e one observes that Heinzner’s complexification theorem ([He]) implies that S is Stein if U has this property, and Roberts’ theorem on G-sheaves [Ro] yields that holomorphic functions on the analytic GIT-quotient are exactlye the G-invariant functions on the pull-back to U. In order to glue local analytic GIT-quotients together (Theorem 8) there exists Snow’s theorem [Sn], who also proves the existence of a categorical quotiente of a Stein space by a reductive group. In our situation a simple direct application of Luna’s slice theorem for the action on V is possible (Theorem 4) by restricting an algebraic slice to the given analytic subspace. The result is the classifying space GIT of isomorphism classes of polystable holomorphic vector bundles. MFiber integral formulas were used in [F-S] to define a generalized Weil-Pe- tersson form on the moduli space of compact Kähler manifolds with constant scalar curvature, and to construct a determinant line bundle together with a Quillen metric, whose curvature is, up to a numerical constant, equal to the Weil-Petersson form. For moduli of stable vector bundles such a construction ultimately goes back to Donaldson [Do]. For details see e.g. [Bi-Sch]. Using secondary Bott-Chern classes and the Donaldson invariant one can find Kähler potentials in the case of holomorphic vector bundles, whereas in the case of cscK manifolds the Mabuchi functional plays a similar role [D-N]. There are various ways to extend determinant line bundles. The general method is to extend the Weil-Petersson form as a positive current from the complement of an analytic set into its closure, provided the given families extend as singular families of compact manifolds or as coherent sheaves AN ANALYTIC APPLICATION OF GEOMETRIC INVARIANT THEORY 3 respectively. This was done in [Sch] by means of C0-estimates for Monge- Ampère equations and in [Bi-Sch] using Donaldson invariants respectively. Once such extensions exist, the determinant line bundles together with the Quillen metrics can be extended as singular, hermitian (holomorphic) line bundles after blowing up the boundary if necessary [Sch]. Such results apply to certain compactifications of the moduli spaces. Less qualitative and more specific solutions are desirable. Dervan and Naumann succeeded in extending the determinant line bundle for analytic GIT spaces of cscK-manifolds in [D-N] arriving at line bundles on these classifying spaces. For a semi-universal deformation of a polystable vector bundle we use the fiber integral for the Weil-Petersson form ωWP (cf.[Bi-Sch]) which together with Theorem 5 and 7 implies that it is the restriction of a symplectic form on a smooth ambient space. If X is a Hodge manifold, more can be said. Techniques involving the Riemann-Roch-Hirzebruch formula by Bismut, Gillet, and Souléprovide a determinant line bundle together with a Quillen metric on a local parameter space such that the Chern form is equal to the Weil-Petersson form on the stable locus. Also at polystable points the result yields the L2-inner product of harmonic Kodaira-Spencer tensors. The construction is compatible with descending to local analytic GIT-quotients and the gluing of local models, and it provides the classifying space with a Weil-Petersson form that possesses a continuous ∂∂-potential. Then the general methods of Dervan and Naumann [D-N] are applicable. Acknowledgement. G.Sch. thanks Indranil Biswas for several discussions.

2. Analytic GIT-quotient For the convenience of the reader we recall notions and facts from geometric invariant theory as far as these will be used here. The primary references include the work of Mumford-Fogarty-Kirwan, Ness, Hoskins, Kirwan [MFK, Nes, Ho, Kir], and Thomas [Th] – for projective and affine GIT- quotients and moduli of vector bundles over Riemann surfaces see New- stead’s book and article [New, New1]. Let the reductive Lie group G act linearly on a finite dimensional complex vector space V . A point v V 0 is called unstable for the group action if 0 V is contained in the∈ closure\{ } of the orbit of v, otherwise it is called semistable∈ . A semistable point is called polystable if its G-orbit is closed, and stable if it is polystable with a finite isotropy group. (The point 0 V is not part of this classification – in the present situation it is meaningful∈ to define it as polystable). The existing GIT-quotient V//G of the affine space V is an affine space equipped with the algebra C[V ]G of G-invariant regular functions. Further- more there exists a morphism p : V V//G. → 2.1. Restricted actions of reductive groups on complex spaces. Ac- tions of reductive groups on analytic space germs have been investigated (cf. G. Müller’s article [Mü]), however, a global approach is necessary. Applica- tions of the Kempf-Ness Theorem [KN] will be needed first: Assume that the group G is the complexification of a maximal compact subgroup K, and let ρ : G GL(V ) be a representation. By assumption → 4 NICHOLASBUCHDAHLANDGEORGSCHUMACHER the vector space V carries a hermitian inner product with norm m and corresponding moment map µ for the action of K on V . In this context the point 0 V is considered to be in V ps (with µ(0) = 0). ∈ Theorem (Kempf-Ness [KN]). (i) The polystable locus V ps is equal to G µ−1(0). (ii) Every G-orbit in V ps contains only one· K-orbit of µ−1(0). (iii) In particular the GIT-quotient V//G can be identified with the set theoretic quotient V ps/G, (iv) and the space µ−1(0)/K equipped with the quotient topology is home- omorphic to the GIT-quotient V//G. We note the following consequence: Remark 1. Let U V be an open ball around 0 V with respect to the norm m. Assume that⊂ K is the group of unitary automorphisms∈ of V . Then the image of U under p : V V//G is an open neighborhood of p(0) V//G. → ∈ Proof. The set U is K-invariant and µ−1(0) U is open in µ−1(0). ∩ For moduli theoretic applications the following situation is of interest. The existence of a complex structure on the quotient requires the existence of an action of the complex Lie group G on a certain space, where initially only an action of the group germ of G on the germ of S at 0 exists. The situation resembles the action of C∗ on C – the restriction to the unit disk ∆ C does not yield an action. Lacking an established notion we will speak of⊂ a “restricted action” – also, if an action of G on some total space still has to be constructed. For the intended application, a linear action of G on the vector space V is already given – the restriction to an open neighborhood U of the origin in V is a restricted action, and finally there is a restricted action to a closed analytic subset 0 S U to be defined. ∈ ⊂ Definition 1 (Restricted group action). Let a reductive group G act linearly on a complex vector space V . Let 0 S U be a closed analytic subset of an open subset U V . ∈ ⊂ A restricted action⊂ of G on the pair (S, U) is defined by the property that for all s S and g G with g s U the point g s is contained in S. The induced∈ equivalence∈ relation· ∈ on S is given by· s′ s′′ if and only if there exists g G such that s′′ = g s′. ∼ ∈ · A restricted group action on a pair (S, U) can be globalized in the following sense. The globalization is related to the complexification in the sense of Heinzner [He]. We will give the short proof. Theorem 1. There exists a closed G-invariant analytic subset S := g g∈G · S of the G-invariant open set U := g∈G g U V such that S US= S. · ⊂ e∩ In general U ( V , and S neede notS be affine. In fact, by Remarke 1 the set W = p(U) is an open neighborhood of p(0). e e Notation. Given a restricted group action on a pair (S, U) the tilde notation such as S U will be consistently used for the globalized spaces. ⊂ e e AN ANALYTIC APPLICATION OF GEOMETRIC INVARIANT THEORY 5

Proof of Theorem 1. Let g G be given so that U g U = . The set S g S is locally analytic in∈ U g U. It is an analytic∩ subset· 6 of∅ U g U if∪ it is· closed. Let S be the closure∪ · in U g U. Take x S S.∪ Then· x g S. Near this point, on a certain neighborhood∪ · U(x∈) of\x the set ∈ · g S is given by certain holomorphic equations f1 = . . . = fm = 0. Consider (g·−1 U(x)) U and the pulled back equations. Since S is invariant in the restricted· sense,∩ these equations must vanish at x so that x g S. The argument is symmetric in U and g U, and the same argument∈ holds· for sets g U and g U. · 1 · 2 · Finally, the analyticity of g S U follows, if this set is closed in U. Let ∪g · ⊂ s g S U, say s = lim g s g U. Then g−1 s = lim g−1g s ∈ ∪g · ⊂ j · j ∈ j0 · j0 · j j0 j · j ∈ e e U S so that s gj0 S S. ∩ e ∈ ⊂ In the algebraic setting ane immediate argument shows that the ideal sheaf of functions that vanish on the image p(S) in the open subset W = p(U) V//G is coherent as a certain ideal of G-invariant functions on preimages⊂ of open subsets. In the analytic settinge a different approach is needed,e namely first prove the analyticity of p(S) by Kuhlmann’s generalization of Remmert’s proper mapping theorem (cf. also the book by Whitney) [Ku, W, R]. e Definition 2. Let f : X Y be a continuous mapping of locally compact, Hausdorff topological spaces→ with countable topology. The map f is called semi-proper, if for any point of Y there exists an open neighborhood W and a compact set L X such that ⊂ f(L) W = f(X) W. ∩ ∩ Obviously restrictions of semi-proper maps to closed subsets need not be semi-proper in general. Theorem (Semi-proper mapping theorem, [Ku, W, R]). Let f : X Y be a semi-proper holomorphic map of reduced complex spaces. Then f(X→) Y is an analytic subset. ⊂ The following situation is given, / / S ❃ U V ❃❃ ❃ e ❃❃ p|U p e ❃❃ e W / V//G where p is rational (with restriction to a classically open subset U). As in Theorem 1 the set U is a convex neighborhood of 0 of the form e U = U = x; m(x) < c c { } for some c> 0, and U, W = p(U)= p(U) in the above sense.

Theorem 2. The canonical holomorphic maps p U : U W and the re- e e | → striction p S : S W are semi-proper. In particular p(S) W V//G is a closed analytic| → subset of W . e e ⊂ ⊂ e e e 6 NICHOLASBUCHDAHLANDGEORGSCHUMACHER

Proof. The Kempf-Ness Theorem will be applied. Let w W . Let V ps denote the polystable locus as above. There exists u V ps∈ with minimal norm within its orbit such that p(u) = w. It follows from∈ the construction of U and the convexity of U that u U. Choose 0

Let W V//G be a Stein open subset, and U = p−1(W ) V . Let S U be a closed,⊂ G-invariant, analytic subset. The coherence of⊂ the ideal she⊂ af of G-invariant functions vanishing on S can bee shown directly. e e Remark 3. Let p(S) = S// G W = U// G V//G be an analytic an ⊂ e an ⊂ GIT-quotient. Then for the (coherent) vanishing ideals e W Ip(S) ⊂ OV//G| and e U thee followinge holds: e IS ⊂ OV | ′ −1 ′ G e (W )= e(p (W )) , e Ip(S) IS where W ′ W is an open Stein set, and where e(p−1(W ′))G denotes G- ⊂ IS invariant holomorphic functions that vanish on S.

Proof. Let ϕ e (W ′). By (2.1) the function ϕ p is G-invariant and ∈ Ip(S) e ◦ vanishes on p−1(W ′ p(S)). Conversely, let a G∩-invariant holomorphic function on p−1(W ′) be given that vanishes on p−1(p(Se) W ′). By 2.1 it is of the form ϕ p, hence it ∩ ◦ descends to ϕ with ϕ W ′ p(S) = 0. | e∩ In this sense by Proposition 3, given a G-invariant analytic set S U e ⊂ with analytic image p(S) W the short exact sequence ⊂ e e 0 e V//G W e 0 →Ie p(S) → O | → OS//anG → implies the exactness of −1 ′ G −1 ′ G ′ (2.2) 0 e(p (W )) (p (W )) e (W ) 0. →IS → OV → OS//anG → ′ Since W V//anG is an open Stein subset, (2.2) implies the existence of a natural injective⊂ map ′ −1 ′ G . (( ι : e (W ) ֒ e(p (W (2.3) OS//anG → OS Theorem 3. The embedding (2.3) is an isomorphism. If we restrict the claim to the “normal category” i.e. to weakly normal spaces (or to the weak normalization of a space S), then the claim of the theorem follows in an elementary way: A reduced complex space is called weakly normal if continuous holomorphic functions one the regular locus of an open subset extend holomorphically to the given open subset. The condition is equivalent to saying that any continuous, weakly holomorphic function (i.e. holomorphic outside a nowhere dense analytic subset) is holomorphic. We use the notation S S for the weak normalization (cf. the book by L. Kaup → and B. Kaup [K-K, §72]). If S is weakly normal, then so is S. The analytic GIT-quotient S//banG exists and by [K-K, §72.4] again is weakly normal. Since G-invariant holomorphic functions on S descend to continuouse functions that are holomorphice on the locus where p is of maximal (diﬀerential rank), the structure sheaf of the weak normalizatione of S//anG satisﬁes ′ −1 ′ G e\ (W )= be(p (W )) OS//anG OS e for Stein open subspaces W ′ W . Now the general case of Theorem⊂ 3 will be proven. 8 NICHOLASBUCHDAHLANDGEORGSCHUMACHER

Proposition 1. Let W ′ V//G be a K-invariant Stein open set, e.g. let W ′ = p(U), where U V ⊂is an open ball around 0 V . Then p−1(W ′) V is a Stein open subset.⊂ ∈ ⊂ The proof is an immediate consequence of Heinzner’s complexification theorem – it follows that the set p−1(W ′) is equal to the complexification W ′C in the sense of [He]. In [Ro] Roberts studied coherent sheaves on a space V with G-actions. These give rise to sheaves pG on V//G definedF by ∗ F (pG )(W ′) := (p−1(W ′)G for Stein open subsets W ′ ∗ F F (cf. also the article by Heinzner and Loose [H-L]). Roberts constructs an averaging operator for coherent e -modules . OU F −1 ′ ′ G L : e (p (W )) e (W ) FU −→ FS//anG by means of integration over the compact group K that is a projection onto G G-invariant sections. By [Ro, Theorem 3.1] the coherence of p e follows, ∗OS and (2.1),(2.2) imply the proof of Theorem 3.

3. Slice theorem for analytic GIT-quotients Snow showed an analytic slice theorem for the action of a reductive group on a Stein space together with the existence of a categorical quotient in [Sn]. Here the situation is simpler than in the general case. The action of a reductive group G on an affine space V is already given, and restricted to a closed subset of an open (Stein) subspace. We need the direct application to spaces of the form S U V . A slice for the action on an affine space⊂ is given⊂ by Luna’s theorem [Lu] (see also the exposition by Drézet [D]). e e

3.1. Algebraic case. Let the reductive group G act on an affine space (or vector space) V . If the G-orbit of a point s V is closed, then by ∈ Matsushima’s theorem the stabilizer subgroup Gs is reductive again. Let Y be a Gs-invariant affine subspace containing s, and G Y V be the canonical G-equivariant map, where the left action of G×on→ itself defines an action on G Y . The left action of Gs on G together with the × −1 action of Gs on Y is given by γ (g, w) = (gγ , γw) for γ Gs, g G, and w Y . It defines a GIT-quotient· (G Y )//G for which∈ the notation∈ ∈ × s G Gs Y is common usage. Now G Gs Y//G Y//Gs. Altogether there is a commutative× diagram × ≃

ψ / G Y//G = G s Y V V × s ×G 0 ⊂

ψ / Y//G (G s Y )//G V //G V//G s ≃ ×G 0 ⊂ where ψ and ψ are induced by the action of G. The spaces V0 and V0//G are the images of ψ and ψ respectively in the sense below. AN ANALYTIC APPLICATION OF GEOMETRIC INVARIANT THEORY 9

Theorem (Luna, [Lu][D, Thm. 5.3, 5.4]). Let G be a reductive group acting on an affine variety V with closed orbit G s. Then there exists a slice Y · through s, i.e. a Gs-invariant affine subvariety such that the map ψ is étale onto an open, G-invariant subvariety V V , and such that ψ is étale onto 0 ⊂ V0//G. If V is smooth at s so is Y . ′ Let V G Gs Y be a closed G-invariant subvariety. Then there exists ⊂ × ′ ′ ′ a closed G -invariant subvariety Y of Y such that V = G s Y . s ×G Note that the dimension of the isotropy subgroups of G is not assumed to be constant.

3.2. Application to analytic GIT-quotients. For any analytic application the property étale will be replaced by locally biholomorphic, and the (analytic) structure sheaves of analytic GIT-quotients such as p : S S//anG of reduced complex spaces consist of holomorphic G-invariant functions→ on pull-backs under the projection p. e e Let S ֒ U ֒ V be given as in Section 2.2 where V is a smooth affine → → space. In particular, referring to Definition 3, let s S be a point with a closede G-orbit,e and let Y be a slice through s for the∈ action of G on V according to the slice theorem. Without loss of generalitye let S V . ⊂ 0 In the process the space U is replaced by a smaller saturated open subspace that contains s and that is of the form p−1(W ). Accordinglye the algebraic slice Y will be replacede by Y = U Y . The analytic quotients ∩ (G Y ))// G , Y // G , and Y // G exist, and the structure sheaves con- × an s an s an sist of Gs- and G-invariant functions accordinge e to Section 2.2. Altogether theree exist analytice quotients ande locally biholomorphic, surjective maps ψ and ψ

ψ (G Y )//G V × s −→ 0 ∪ ∪ (G Y ))// G U × an s −→ (3.1) p p ↓ ↓ Y //e G U//e G an s → an

∩ψ ∩ eY//G eV //G. s −→ 0 With the above notation the following theorem holds. Theorem 4 (Application to analytic GIT-quotients). Let the reductive group G act on a smooth (or weakly normal) aﬃne space V , and as above let S U V be a G-invariant analytic subset with 0 S. Then for points ⊂ ⊂ ∈ 0 = s S the following holds: Let the orbit G s V be closed. Then 6 ∈ · ⊂ (i) There exists the slice S Y for the action of Gs on S, namely a e ∩ locally biholomorphic map from (G (S Y ))//anGs to S. (ii) The action of G deﬁnese ane analytic× GIT-quotient∩ e e e e (G (S Y )// G )// G (S Y )// G , × ∩ an s an ≃ ∩ an s and a locally biholomorphice e map to S//eanGe

e 10 NICHOLASBUCHDAHLANDGEORGSCHUMACHER

ψ G (S Y )//anGs S × ∩ p −→ p ↓ ψ ↓ (S eY )e// G S//e G. ∩ an s −→ an Proof. Consider the multiplicatione e map G Ye Y . If g y S, then × −1 → · ∈ obviously y S so that y S Y , hence ψ (S) = G (Y S)//anGs. This proves (i).∈ The same argument∈ ∩ and (3.1)e yielde (ii).× Observe∩ thate the analytic GIT-quotiente are imagese undere a projectione map equippede e with the sheaves of Gs-invariant functions.

4. Deformations of holomorphic vector bundles We will fix some notation now. Let X be a compact complex manifold, which will be equipped later with a Kähler form ωX . A holomorphic family ( s)s∈S of holomorphic vector bundles on X parameterized by a (reduced) complexE space S is given by a holomorphic vector bundle over X S such that = X s . Deformations ξ of a fixed holomorphicE vector× bundle Es E| × { } E are defined over complex spaces (S,s0) with a distinguished point s0 S (or a “pointed” complex space). Such an object consists of a holomorphic∈ ∼ family over S together with an isomorphism χ : E s0 . Accordingly an isomorphismE of two deformations of a bundle E over−→ the E same space is an isomorphism of holomorphic families that is compatible with the given identifications of central fibers with E. Consequently, a change of χ usually generates a non-isomorphic deformation (unless χ can be extended to the whole family). During most arguments that involve deformations a parameter space has to be replaced by a neighborhood of the distinguished point. In this sense space germs are being used as parameter spaces for deformations. Let β : (R, r ) (S,s ) be a holomorphic map of spaces with distin- 0 → 0 guished points, and ξ a deformation of E over (S,s0). The base change map ∗ assigns to ξ a deformation β ξ over (R, r0), which is given by the pull-back β∗ of the corresponding family together with the induced isomorphism of E ∗ E and the fiber β X r0 = s0 . Infinitesimal deformationsE| × { }of aE bundle E are by definition deformations over the “double point” D = (0, C[t]/(t2)) (C, 0), and tangent vectors v T S correspond exactly to holomorphic⊂ maps v : D S sending the ∈ s0 → underlying point to s0 S. The space of isomorphism classes of infinitesimal deformations of ∈E can be identified with the complex vector space H1(X,End(E)). In this set-up, given a deformation ξ, the Kodaira-Spencer map ρ : T S H1(X,End(E)) s0 → sends a tangent vector v to the pull-back v∗ξ, which is the “restriction of the given deformation to the direction given by the tangent vector v”. A deformation ξ is called complete, if any other deformation is of the form β∗ξ, where β is a base change map – it is called semi-universal, if in addition the derivative Tr0 β at the distinguished point is uniquely determined. More precisely, let E be a polystable holomorphic vector bundle on (X,ωX ), and ξ a semi-universal deformation of E over a complex analytic AN ANALYTIC APPLICATION OF GEOMETRIC INVARIANT THEORY 11 space (S,s0). In order to have a halfway simple notion deformations are restricted to the category of reduced spaces first, and (S,s0) will always denote a reduced complex space. Concerning the Kodaira-Spencer map the restriction to reduced complex analytic spaces yields values in a linear subspace of V = H1(X,End(E)).

5. Application to deformations of polystable vector bundles

Let again (X,ωX ) be a compact Kähler manifold. For a polystable vector bundle the base of a semi-universal deformation ξ in general contains positive dimensional local analytic subsets, namely parts of G-orbits of semistable (but not polystable points). Also, in general, stable points give rise to local analytic sets, where the fibers are isomorphic. This fact can be illustrated as follows. If the tangent cohomology Hq(X,End(E)) vanishes for q 2 ≥ then for E = 0 polystable and s stable for some s near s0 we have 0 < 0 0E 1 E 1 h (X, s0 ) h (X, s)= h (X, s0 ) h (X, s). Now ξ induces a complete deformationE − of (“opennessE ofE versality”),− butE the dimension of the smooth Es space S is too large for universality at s = s0 so that the deformation ξ restricted to a positive dimensional local analytic6 set has to be trivial. This situation needs to be handled by an (analytic) GIT approach. Theorem 5 ([Bu-Sch][Theorem 1]). For any polystable vector bundle on a compact Kähler manifold there exists a semi-universal deformation with a parameter space (S,s0) such that the action of the group of holomorphic automorphisms Aut(E) on the tangent space of S at s0 extends to an action on the space germ of S at s0 that is compatible with the holomorphic family of vector bundles. The space H2(X,End(E)) which contains the obstructions to extending the bundle E to a family over a whole neighborhood of 0 in H1(X,End(E)) is equipped with a compatible action of G = Aut(E). In [Bu-Sch] the space S was realized as an analytic subspace of an open neighborhood U of s0 = 0 in the space of infinitesimal deformations H1(X,End(E)) of the form (5.1) S =Ψ−1(0) U where Ψ : U H2(X,End(E)) ⊂ → was constructed in [Bu-Sch] as an Aut(E)-equivariant map in the restricted sense of Definition 1. For a suitable chosen open set U all fibers of points from S correspond to semistable vector bundles. In other words, the action of G = Aut(E) on V gives rise to a restricted action on (S, U) in the sense of Section 2. Theorem 6. Let a polystable vector bundle E on a compact Kähler manifold (X,ωX ) be given. Then a semi-universal deformation of E over a space 0 S U V together with the reduced action of G = Aut(E) on the space∈ V⊂of infinitesimal⊂ deformations gives rise to an analytic GIT-quotient S//anG which is a closed reduced subspace of an open subset U//anG of the GIT-quotient V//G. e e The following correspondence will also be crucial: 12 NICHOLASBUCHDAHLANDGEORGSCHUMACHER

Theorem 7 ([Bu-Sch, Thm. 3]). A class s S =Ψ−1(0) H1(X,End(E)) is (poly)stable with respect to the action of∈Aut(E) if and⊂ only if the corresponding bundle is (poly)stable with respect to the given Kähler metric. Es For the property of semi-stability such an analogy does not exist: Let V ss denote the semi-stable locus. In general there may be points s S V ss that correspond to semi-stable bundles (cf. [Bu-Sch, §9]). A change∈ of\ the affine space can turn non-semistable points into semistable ones. In Section 7 we will need the definition of Ψ. We will give a few details from the construction in [Bu-Sch]. Let a polystable bundle (E, ∂0) be given, equipped with a Hermite-Einstein metric. According to [Bu-Sch, Prop. 2.6] any End(E)-valued, harmonic (0, 1)-form α from U is assigned to in a unique way a form ′′ ∗ a = α + ∂0β with estimates, where β is a certain End(E)-valued (0,2)-form such that ′′ ′′ ′′ ∂0a + a a ∗ ∧ is ∂0-closed. Let Π be the harmonic projection on the space of (0,2)-forms. Then Ψ(α) = Π(a′′ a′′). ∧ The map Ψ is holomorphic, and the integrability condition for a′′ is satisfied, if and only if Ψ(α) = 0, and the set S = Ψ−1(0) U H1(X,End(E)) is the parameter space of a semi-universal deformation.⊂ ⊂ Remark 4. The family of semi-connections a′′ over U together with the flat semi-connection in horizontal direction is a semi-connection on E U over X U. Over X S this semi-connection is integrable. × × × 5.1. Change of affine space. In principle the special role of the origin in V with respect to the group action is not intended. In this affine setting points that are unstable have the same status as points that are semistable but not polystable. One can use the following auxiliary affine space. Set V = C V . 0 × Lemma 1. A given action of G on V is extended to V0 by the identity on C, i.e. g (ζ, v) := (ζ, g v). Then the following holds (again after dividing by the ineffectivity· kernel).· Let (ζ, v) V . ∈ 0 (i) G(ζ,v) = Gv (ii) G (ζ, v)= ζ G v (iii) Let· ζ = 0, v{=}× 0, then· (ζ, v) is G-(poly)stable, if and only v has this property.6 Let6 ζ = 0, then (ζ, 0) is G-polystable, and all (ζ, v) are G-semistable points.6 Observe that C[V ]= C[ζ] C[V ], and accordingly C[V ]G = C[ζ] C[V ]G 0 ⊗ 0 ⊗ so that V0//G = C (V//G). Nevertheless in the× sequel the original spaces will be used. 5.2. Analytic GIT-quotient for parameter spaces of holomorphic vector bundles. Given a semi-universal deformation of a polystable vector bundle, the parameter space S can be chosen so that the triple ( S ֒ U ֒ V) → → AN ANALYTIC APPLICATION OF GEOMETRIC INVARIANT THEORY 13 satisfies the assumptions of Theorem 6. Eventually all points of S//anG correspond to holomorphic vector bundles or equivalence classes of holomorphic vector bundles as in the case of algebraic GIT-spaces. e Proposition 2. Let X Q be a holomorphic family of vector bundles E → × over a compact Kähler manifold (X,ωX ) parameterized by an irreducible, reduced space Q. Then there exists an analytic subset A Q such that all bundles for s Q A possess a universal deformation. ⊂ Es ∈ \ Proof. Let be the sheaf of trace-free holomorphic endomorphisms of . F E Then the above locus A is contained in the support of pr∗ , where pr : X S S denotes the canonical projection. F × → Remark 5. The set of polystable points that are not stable in the analytic GIT-quotient S//anG is a closed analytic subspace. Proof. Given a deformation of a polystable bundle over a space (S, 0) the set A S frome Proposition 2 is G-invariant in the restricted sense and gives ⊂ rise to a GIT-subspace A//anG S//anG, whose points represent polystable, non-stable vector bundles. ⊂ The following fact wille be needed.e Let Ψ and S be given as in (5.1). Proposition 3 ([Bu-Sch][Corollary 4.6]). Let p > 2dim(X). Then the (pointwise) quotient S/G can be identified with / , where denotes the p F G F space of L1 integrable connections near the given Hermite-Einstein connection d0 on E, and denotes the corresponding complexified gauge group: parameters with isomorphicG fibers are actually contained in the same G- orbit. Let S = Ψ−1(0) U be the base of a semi-universal deformation of a polystable bundle. Two⊂ points s′,s′′ of S will be identified, s′ s′′, if the ∼ fibers ′ and ′′ are isomorphic. By Proposition 3 this is exactly the case if Es Es s′ = g s′′ for some g G. Conversely, if s′,s′′ S then there exist g′, g′′ G such that· g′ s′, g′′ ∈s′′ S. If these points of∈ S are equivalent, s′ = g∈ s′′ · · ∈ · holds for some g G so that the topological spacese S/G and S/ can be identified. ∈ ∼ After applying the methods from Section 2 to the reducede action of G to this standard situation the following holds. Lemma 2. Let ξ be a semi-universal deformation of a polystable bundle over (S, 0), and η : (S, 0) (S, 0) a holomorphic map (of germs) such that η∗ξ ξ. Then η is an→ isomorphism, whose derivative at the origin is the identity.≃ The map η defines a map S S , where S ,S S are 1 → 2 1 2 ⊂ neighborhoods of the origin that extends to a map S1 S2 and descends to an isomorphism of analytic GIT-quotients → S // G ∼ S // G. e e 1 an −→ 2 an Proof. The property of ξ being a semi-universal deformation implies that e e η is an isomorphism with T0η = idT0S. Represent η by an isomorphism denoted by the same letter η : S1 S2 of suitable neighborhoods of the origin. Note that the construction→ of the analytic GIT-quotient contains 14 NICHOLASBUCHDAHLANDGEORGSCHUMACHER the fact that the maps S S // G etc. are still surjective when restricted j → j an to Sj Sj. Due to the construction of η and Proposition 3 the map η is constant⊂ on closures of eG-orbits,e in particular it is G-invariant. The claim now followse by Theorem 3.

Let again a semi-universal deformation ξ of a polystable bundle over (S, 0) be given, and the induced action of G on (S ֒ U ֒ V ). Let s S → → 0 ∈ correspond to a polystable bundle s0 . Let R U V denote the baseE of a semi-universal deformation ζ of ⊂ R ⊂ R s0 with restricted group action of H = Aut( s0 ) on (R ֒ UR ֒ VR) for EV = H1(X,End( )). E → → R Es0 Now there exist base change maps of space germs α : (S,s0) (R, 0) and β : (R, 0) (S,s ) such that α∗ζ = ξ and β∗ξ = ζ, because→ of → 0 s0 s0 completeness and semi-universality of ξs0 and ζ respectively. By Lemma 2 the map α β induces an isomorphism of neighborhoods of the distinguished point which◦ descends to an isomorphism (near the distinguished point) of R//anH. Lemma 3. e The map β descends to a holomorphic map β : R// H S// G. an → an Proof. It is already known that β gives rise to a holomorphic map β : R e e → S//anG. Points with isomorphic fibers are mapped to points with isomorphic fibers so that the topological space R/H is mapped homeomorphicallye onto ane open subset of the topological space S/G, and points corresponding to polystable bundles i.e. polystable points with respect to the group action of H go to polystable points with respect to G. In particular the holomorphic map β is constant on G-orbits. Any holomorphic function on S//anG is pulled back under β to an H-invariant function on R. The claim follows againe from Theorem 3. e e In order to descend the map α : (S,s0) (R, 0) to GIT-quotients, first a slice Q S through s for the action of G →on S is chosen (and α is restricted ⊂ 0 to Q) so that G Q// G S// G is an open neighborhood of the image × an s0 ⊂ an of s0. e Lemma 4. The map α : (S,s ) (R, 0) descends to a holomorphic map 0 → α S// G Q// G R// H an ⊃ an s0 −→ an where Q// G S// G is an open neighborhood of the image of s . an s0 ⊂ ane e e 0 Proof. eOnce the analytice slice is chosen, the proof is the same as the proof of Lemma 3.

Note that the analytic slices are not shown to be parameter spaces of semi-universal deformations – identiﬁcation takes place only after passing to the analytic GIT-quotient.

Remark 6. By [Bu-Sch, Theorem 4.7] it follows that H = Gs0 . AN ANALYTIC APPLICATION OF GEOMETRIC INVARIANT THEORY 15

Proposition 4. Let ξ be a semi-universal deformation with parameter space (S, 0), let s S be a polystable point, denote by ξ the induced deformation 0 ∈ s0 of the fiber at s0, and let ζ be a semi-universal deformation of ξs0 over a base space (R, 0). Let α : (S,s0) (R, 0) and β : (R, 0) (S,s0) be holomorphic → ∗ → ∗ maps of induced space germs such that α ζ = ξs0 and β ξs0 = ζ. Let Q be a slice for the action of G on S through s0 so that Q//anGs0 can be identified with a neighborhood of the image of s0 in S//anG. Let G and H be the automorphism groups of the central fiber and of the fiber at s0 resp. Then the base change morphisms descend to isomorphisms of analytic GIT-quotients near the points 0 and s0 after replacing the respective spaces by neighborhoods of the distinguished points:

β / α / R//anH ∼ Q//anGs0 ∼ R//anH Proof. The above holomorphic maps were constructed in Lemma 3 and Lemma 4. The underlying topological spaces consist of polystable points so that α and β are homeomorphisms, and on the complements of thin analytic sets these maps are biholomorphic. Moreover, by Lemma 2 the map α β is an isomorphism on the whole space. This is only possible, if both maps◦ are isomorphisms (cf.[G-R, Chap. 8 Sect. 2] on one-sheeted coverings).

∗ Remark 7. If s0 is stable, then H C consists of homotheties acting trivially. E ≃

6. Application to moduli of holomorphic vector bundles The aim is to construct a complex space whose local models are analytic GIT-quotients such that the complement of a closed analytic set is the coarse moduli space of stable holomorphic vector bundles. The local model was constructed in Theorem 6. By general theory, in particular the Kempf-Ness Theorem, and Proposition 2, and by Proposition 3 the points of the space correspond to isomorphism classes of polystable vector bundles. An analytic version of Luna’s slice theorem was shown and Proposition 4 provides the gluing of local analytic GIT models. Namely, when two such models contain a point with (polystable) isomorphic fibers E say, each of the models is locally isomorphic to the GIT-quotient constructed from a semi-universal deformation of E. Finally the Hausdorff property of the resulting space precisely follows from the same argument as the proof of Lemma 4.2.4 in [Do-K] (see also [AHS, §6]). The space GIT contains the coarse moduli space of stable holomorphic vector bundlesM by Remark 7 and Remark 5. Theorem 8. Given a compact Kähler manifold there exists a complex space GIT , whose local models are analytic GIT-quotients of parameter spaces Mof holomorphic vector bundles with a restricted group action. The space contains the coarse moduli space of stable holomor- MGIT M phic vector bundles as an open subspace. The complement GIT is a closed analytic subspace, whose points correspond to isomorphismM classes\M of polystable, non-stable vector bundles. 16 NICHOLASBUCHDAHLANDGEORGSCHUMACHER

Definition 4. Let be the class of polystable (including stable) vector bundles on the given compactK Kähler manifold. A reduced complex space is called a classifying space for , if the following conditions hold. N K (i) The points of correspond to isomorphism classes of polystable, holomorphic vectorN bundles on the Kähler manifold X, (ii) Let be a holomorphic family of holomorphic vector bundles on E X Z, where Z is a reduced complex space, such that the fiber z0 = X× z , of a point z Z is polystable. Then, after replacingEZ by E| ×{ 0} 0 ∈ a neighborhood of z0 if necessary, there exists a unique holomorphic map ϕ : Z such that ϕ(z) corresponds to the isomorphism class of →Nprovided is polystable.∈N Ez Ez (iii) If is a further reduced complex space satisfying (i) and (ii) with N unique holomorphic maps ϕ : Z for families over spaces Z in thee sense of (ii), then there exists→ aN unique holomorphic map χ : such that χ ϕ = ϕe. e N → N ◦ The corresponding condition (ii’) for a coarse moduli space reads e Ncoarse (ii’) Let be a holomorphic familye of polystable holomorphic vector bun- dlesE on X Z, where Z is a reduced complex space. Then there exists × a unique holomorphic map ϕ : Z coarse such that ϕ(z) coarse corresponds to the isomorphism class→N of . ∈N Ez Condition (iii) for a coarse moduli space would refer to a space satisfying (i) and (ii’). A classifying space for certainly satisfies (ii’). However, since in general there exists no deformationK theory for the class , it would have to be shown that there exist sufficiently many holomorphicK families with fibers from so that condition (iii) still holds. K Theorem 9. The space GIT is a classifying space for the class of polystable holomorphic vector bundlesM on a compact Kähler manifold. Proof. The first condition follows from the construction, which identifies local models, if the polystable fibers are isomorphic. Let a holomorphic family ζ in the sense of (ii) be given. After replacing Z ∗ by a neighborhood of z0 the given family is isomorphic to the pull-back ψ ξ of a semi-universal family ξ over a space (S,s0) where ψ : (Z, z0) (S,s0) is the base change map. Let G be the automorphism group of the→ central fiber. The analytic quotient p : S S//anG GIT is a local model, and we set ϕ = p ψ. So far ψ is uniquely→ determined⊂ M by the deformation ζ only on the set of◦ polystable points. If z Z is any point, and s = ψ(z), then ∈ the image in S// G corresponds to a polystable point in the closure G s an · of the orbit of s which is unique up to the action of K. Let ψ and ψ be two choices for the same deformation ζ. Then for any z Z, and s = ψ(z), ∈ s = ψ(z) the bundles and e are isomorphic. By Proposition 3 the pointse Es Es s and s are in the same G-orbit, hence the images in S//anG are the same. Thise e shows existence and uniqueness of ϕ. In ordere to prove (iii) a map χ : GIT has to be constructed. The pointwise definition and uniquenessM of any→ suchN map χ follows because of condition (i) holding for both GIT and .e The holomorphicity of χ is p M N shown as follows: Let (S, 0) S//anG GIT be a local model. Then by −→ ⊂ Me AN ANALYTIC APPLICATION OF GEOMETRIC INVARIANT THEORY 17

(ii) for there exists a holomorphic function ϕ : S so that χ p = ϕ N → N ◦ pointwise. The map can be extended to the respective G-invariant space S. e e p / e e S ❘❘ S//anG GIT ❘❘❘ ⊂ M e ❘❘❘ ❘❘❘ χ ❘❘❘ e e ϕe ❘❘❘ ❘❘❘) N Let Q be an open neighborhood of ϕ(0). Then holomorphic functions on Q, e pulled back to S are G-invariant, hence holomorphic on χ−1(Q) by ⊂ MGIT Theorem 3. This shows that χ is holomorphic.e For families over arbitrary spaces Z in thee sense of condition (ii) the construction is compatible with a base change map ψ : Z S, where S is the base of a semi-universal deformation. This implies the→ claim together with the uniqueness of maps from parameter spaces to and resp. MGIT N The question about the existence of a coarse moduli space of polystable e vector bundles will be treated by the authors in a forthcoming article.

7. Generalized Weil-Petersson metric 7.1. General theory. The coarse moduli space of stable holomorphic vector bundles on a compact Kähler manifold is known to carry a Kähler form ωWP . For notation and properties we refer to [Bi-Sch], and only give some essential facts. As a Hermitian metric it is defined as the L2-inner product of Kodaira-Spencer tensors that are harmonic with respect to Hermite-Einstein metrics on the given bundle and the Kähler form on the fixed manifold. Let (X,ωX ) be a compact Kähler manifold. Then a holomorphic family s s∈S of stable vector bundles parameterized by a reduced complex space {ES is} given by a holomorphic vector bundle on X S, such that = E × Es X s . Set E = s0 for s0 S. Let h be a Hermitian metric such that E|h ×is{ Hermite-Einstein,} E and denote∈ by F the curvature form of h, where |Es n−1 2π(c1( s) ωX )[X] Λ(√ 1F )= λ id s λ = E ∧ . − |Es E · E E rank( ) vol(X) Es · Let again ρ : T S H1(X,End(E)) s0 → be the Kodaira-Spencer map and v Ts0 S a tangent vector. Then the Hermite-Einstein condition implies immediately∈ that the harmonic repre- sentative Av of ρ(v) equals the contraction of the tangent vector with the curvature form F of ( , h) resulting in a ∂-closed (0, 1)-form of class C∞: E (7.1) A = v y √ 1F E 0,1(X,End(E)). v − | ∈A Namely: ∗ ∂ (v y √ 1F E)= v(Λ(√ 1F )) = v(λ id ) = 0, − | − |Es0 E · Es0 where the tangent vector v Ts0 S is lifted to a vector field along X s0 in S-direction. ∈ × { } This equation also holds for polystable structures, so it is meaningful to extend the Weil-Petersson inner product to polystable points. 18 NICHOLASBUCHDAHLANDGEORGSCHUMACHER

The above fact yields that the Weil-Petersson form satisfies a general fiber integral formula, which immediately implies that the result is a positive definite, d-closed, real (1, 1)-form: 1 (7.2) ωWP = tr(F F ) ωn−1 + λ tr(√ 1F ) ωn . S 2 ∧ ∧ X E − ∧ X ZX×S/S ZX×S/S The second term in (7.2) and an unwanted contribution in the first term cancel out. By rescaling the hermitian metric on both of these can assumed to be equal to zero. E

7.2. Application to the classifying space GIT . Let E be a polystable vector bundle with a semi-universal deformationM parameterized by a reduced complex space S U V such that E = in the situation of Sections 5 ⊂ ⊂ Es0 and 6. The local model for the classifying space is equal to S//anG, and its underlying topological space is equal to the quotient (µ−1(0) S)/K. According to Section 5, in particular Remark 4 a semi-connec∩tion on E U over X U exists that is integrable over X S. Denote by F the curvature× form. Then× the righthand side of the ﬁber integral× (7.2) taken over X U/U ∞ × deﬁnes a symplectic form ωU of class C .

Proposition 5. The restriction of the form ωU to S is of type (1, 1). The −1 form ωU (µ (0) U) is K-invariant. Its restriction to the stable locus S′ S | U is the∩ pull-back of the Weil-Petersson form. At polystable ⊂ ⊂ WP points the form ωS defines the inner product of harmonic Kodaira-Spencer tensors. At 0 S it is positive definite. ∈ Proof. At integrable points the curvature F is of type (1, 1) so that ωU is of type (1, 1) on S. At points of µ−1(0) the relevant connection is K-invariant, so is F , which shows that the fiber integral has this property. At points of S µ−1(0) equation (7.1) is also valid so that (7.2) defines the Weil-Petersson inner∩ product. For the restriction of the moduli space to a (smooth) connected MGIT component 0 consisting of objects whose semi-universal deformations are unobstructedM more can be said. Singular symplectic quotients and locally stratified spaces were studied by Sjamaar and Lerman [S-L]. Here the complex structure of the classifying space is of interest. We assume that on 0 the stable points form an everywhere dense subset. M

Theorem 10. The Weil-Petersson form on the stable locus of 0 extends as a positive (1, 1)-current ωWP to that possesses locally aM continuous 0 M0 ∂∂-potential χ.

Proof. The classifying space is locally of the form U//anG with S = U in the above notation. The space U can be chosen in a way that ωU possesses a ∂∂-potential χ of class C∞. A C∞ K-invariant functione on µ−1(0) is given by integration over the group K which descends to a continuous function χ on the quotient µ−1(0)/K. At the open locus of stable points, locally the action of K is of maximal differentiable rank so that χ is of class C∞ on the set of stable points and is a potential for the Weil-Petersson form there. Because of the continuity of local potentials these define a global AN ANALYTIC APPLICATION OF GEOMETRIC INVARIANT THEORY 19 extension as a positive current (with positivity being primarily defined on the normalization).

7.3. The Weil-Petersson form for projective manifolds. The aim is to define an extension of the Weil-Petersson form also if the parameter spaces for polystable bundles are singular. This is possible for projective manifolds X such that ωX = c1( , hL) for a positive holomorphic line bundle . The following general factL about determinant line bundles and Quillen metricsL is applicable (cf. e.g. [Bi-Sch], in particular (4.11) for the definition of the determinant line bundle λ equipped with the Quillen metric hQ on the base S for a family of hermitian holomorphic vector bundles on X S, and (4.13) for the Chern form of (λ, hQ)). The formulas hold for a holomorphic× family ( , h) of hermitian vector bundles of rank r over X S. The determinant lineE bundle λ on S is defined in terms of a certain virtual× holomorphic vector bundle:

2 (7.3) λ = det Rp (End( ) r ) (p∗ p∗ −1)⊗(N−1) ∗ E − OX×S ⊗ L− L The Quillen metric hQ depends upon the fiberwise L2 norms and the zeta function with respect to the fiberwise Dirac operators/Laplacians of the holomorphic bundles that are involved. In particular the Quillen metric is of class C∞. The formula of Bismut, Gillet, and Soulé(cf. [Bi-Sch] for a list of references) implies [Bi-Sch, (4.13)] so that

(1,1) (7.4) c (λ, hQ)= td(X S/S,ω ) ch( , h) , 1 − × X · F ZX×S/S ! where td(X S/S) denotes the relative Todd character form, and where denotes the× virtual bundle on the righthand side of (7.3). For singular spacesF S see [F-S]. The fiber integral formula (7.2) for the Weil-Petersson form together with this formula imply the following fact. Fact. Let a semi-universal deformation of a polystable holomorphic vector bundle be given with parameter space S. Then on the stable locus S′ up to a fixed positive numerical constant the curvature form of the determinant line Q WP bundle (λ, h ) is equal to the pull-back of the Weil-Petersson form ωS′ : Q ′ WP c (λ, h ) S ω ′ . 1 | ≃ S WP In general the fiber integral (7.2) only implies that ωS is the restriction of a symplectic form on the smooth ambient space U to the reduced analytic subspace S. In the case of a Hodge manifold X it possesses a ∂∂-potential of class C∞. Now the arguments of Section 7.1 are applicable to the situation where semi-universal deformations are not necessarily unobstructed. Theorem 11. Let (X,ω ) be a Hodge manifold with ω = c ( , h ), and X X 1 L L denote by GIT0 the moduli space of polystable vector bundles that can be deformedM locally into stable vector bundles. Then the Weil-Petersson form on the stable locus extends to as a positive current with local MGIT0 continuous ∂∂-potentials. 20 NICHOLASBUCHDAHLANDGEORGSCHUMACHER

The abstract methods of Dervan and Naumann [D-N] are applicable now. We indicate their argument very briefly. The coherent sheaf on the GIT- quotient for a local model defined by G-invariant sections of the respective determinant line bundle becomes invertible, when the determinant line bundle is replaced by a finite power given by the number of connected compo- nents of G (cf. [Sj]). Using Kirwan’s stratification of GIT quotients [Kir] they show that the continuous potentials for the Weil-Petersson metric give rise to continuous (singular) hermitian metrics on these line bundles, which is of class C∞ on the stable locus using the stratification of the GIT-quotients. Altogether the results of Dervan and Naumann yield the following.

Application. Derived from determinant line bundles equipped with Quillen metrics there exists a holomorphic line bundle λM0 on 0, equipped with a continuous (singular) hermitian metric, which is of classM C∞ on the stable locus. Its curvature current is positive, and equal to the Weil-Petersson form on the stable locus.

References [AHS] Atiyah, Michael; Hitchin, Nigel J.; Singer, Isadore M.: Self-duality in four- dimensional Riemannian geometry. Proc. R. Soc. London. A 362, 425–461 (1978). [Bi-Sch] Biswas, Indranil; Schumacher, Georg: The Weil-Petersson current for moduli of vector bundles and applications to orbifolds. Ann. Fac. Sci. Toulouse XXV 895–917 (2016). [Bu-Sch] Buchdahl, Nicholas; Schumacher, Georg: Polystability and the Hitchin-Koba- yashi Correspondence, arXiv:2002.03548. [D-N] Dervan, Ruadha´ı; Naumann, Philipp: Moduli of polarised Manifolds via canonical Kähler metrics. arXiv:1810.02576v3. [Do] Donaldson, Simon K.: Infinite Determinants, Stable Bundles and Curvature. Duke Math. J. 54, 231–247 (1987). [Do-K] Donaldson, Simon K.; Kronheimer, Peter, B.: The Geometry of Four-Manifolds. Oxford Mathematical Monographs. Oxford: Clarendon Press. (1990). [D] Drézet, Jean-Marc: Luna’s slice theorem applications. Wi´sniewski, Jaros law A. (ed.), Algebraic group actions quotients. Notes of the 23rd autumn school in algebraic geometry, Wykno, Pol , September 3—10, 2000. Cairo: Hindawi Pub- lishing Corporation. 39–89 (2004). [F1] Fan, Yue: Construction of he Moduli Space f Higgs Bundles Using Analytic Methods. arXiv:2004.07182. [F2] Fan, Yue: The Orbit Type Stratification of the Moduli Space of Higgs Bundles. arXiv:2005.13649. [F-S] Fujiki, Akira; Schumacher, Georg: The moduli space of extremal compact Käh- lermanifolds and generalized Weil-Petersson metrics. Publ. Res. Inst. Math. Sci. 26, 101–183 (1990). [G-R] Grauert, Hans; Remmert, Reinhold: Coherent analytic sheaves. Grundlehren der Mathematischen Wissenschaften, 265. Berlin etc.: Springer-Verlag (1984). [He] Heinzner, Peter: Geometric invariant theory on Stein spaces. Math. Ann. 289, 631-662 (1991). [H-L] Heinzner, Peter; Loose, Frank: Reduction of Complex Hamiltonian G-Spaces. Geom. Funct. Anal. 4, 288–297 (1994). [Ho] Hoskins, Victoria: Stratifications associated to reductive group actions on affine spaces. Quart. J. Math. 65, 1011–1047 (2014). [Kir] Kirwan, Frances C.: Cohomology of quotients in symplectic algebraic geometry. Princeton University Press: Princeton, NJ, 1984. AN ANALYTIC APPLICATION OF GEOMETRIC INVARIANT THEORY 21

[K-K] Kaup, Ludger; Kaup, Burchard: Holomorphic Functions of Several Variables. Walter de Gruyter, Berlin, New York, 1983. [KN] Kempf, George; Ness; Linda: The length of vectors in representation spaces. Algebraic geometry, Proc. Summer Meet., Copenh. 1978, Lect. Notes Math. 732, 233–243 (1979). [Ku] Kuhlmann, Norbert: Uber¨ holomorphe Abbildungen komplexer Räume. Arch. Math. 15, 81–90 (1964). [Lu] Luna, Domingo: Slices étales. Bull. Soc. Math. France, Mémoire 33 (1973), 81–105. [Mü] Müller, Gerd: Reduktive Automorphismengruppen analytischer C-Algebren. J. Reine Angew. Math. 364, 26–34 (1986). [MFK] Mumford, David; Fogarty, John; Kirwan, Frnces C.: Geometric invariant theory (3rd ed.) Springer, Berlin, 1994. [Nee] Neeman, Amnon: Analytic questions in geometric invariant theory. Contemp. Math. 88, 11–23 (1989). [Nee1] Neeman, Amnon: The Topology of Quotient Varieties Ann. Math. 122, 419–459 (1985). [Nes] Ness, Linda: A stratification of the null cone via the moment map. With an appendix by David Mumford. Amer. J. Math. 106, 1281–1329 (1984). [New] Newstead, Peter E.: Introduction to moduli problems and orbit spaces. Lectures on Mathematics and Physics. Mathematics. Tata Institute of Fundamental Re- search 51. [New1] Newstead, Peter E.: Geometric invariant theory. Brambila-Paz, Leticia (ed.) et al., Moduli spaces and vector bundles. London Mathematical Society Lecture Note Series 359, 99–127 (2009). [R] Remmert, Reinhold: Holomorphe und meromorphe Abbildungen komplexer Räume. Math. Ann. 133, 328–370 (1957). [Ro] Roberts, Mark: A Note on Coherent G-Sheaves. Math. Ann. 275, 573–582 (1986). [Sch] Schumacher, Georg: An extension theorem for Hermitian line bundles. Analytic and Algebraic Geometry. 225–237, Hindustan Book Agency, New Delhi, 2017, arXiv:1507.06195. [S-L] Sjamaar, Reyer; Lerman, Eugene: Stratified symplectic spaces and reduction. Ann. Math. 134, 375–422 (1991). [Sj] Sjamaar, Reyer: Holomorphic slices, symplectic reduction and multiplicities of representations. Ann. Math. 141, 87–129 (1995). [Sn] Snow, Dennis: Reductive group actions on Stein spaces. Math. Ann. 259, 79–97 (1982). [Sz] Székelyhidi, Gábor: The Kähler-Ricci flow and K-polystability. Am. J. Math. 132, 1077–1090 (2010). [Th] Thomas, Richard P.: Notes on GIT symplectic reduction for bundles and varieties. In: Surveys in differential geometry Vol. 10, Int. Press Somerville, MA 2006, 221–273. [W] Whitney, Hassler: Complex Analytic Varieties. Addison-Wesley, Reading, Mass. 1972. [Wo] Wolpert, Scott.: On Obtaining a Positive Line Bundle From the Weil-Petersson Class. Amer. J. Math. 107, 1485–1507 (1985).

School of Mathematical Sciences, University of Adelaide, Adelaide, Aus- tralia 5005 Email address: [email protected]

Fachbereich Mathematik und Informatik, Philipps-Universitat¨ Marburg, Lahn- berge, Hans-Meerwein-Straße, D-35032 Marburg, Germany Email address, Corresponding author: [email protected]