# Properness of moduli space

Here is a question about construction of moduli space of Higgs bundles or Hitchin pairs. Let's say we are constructing the moduli space of stable Hitchin pairs or Higgs bundles (doesn't matter at this point), E-->E\otimes K over a smooth curve, a surface, etc with the condition that E is a stable sheaf. Is this construction done somewhere? In particular I am concerned about the properness of this moduli space (the stable E's cut an open subscheme inside their projective Quot scheme). So before even discussing the Higgs stability, we are dealing with an open scheme of E's. Is there a proof somewhere which uses valuative criteria etc, to prove the properness of this particular moduli space?---It would be great if someone else already did this (?). Thank you.

• What if $(E, E\to E\otimes K)$ is stable as a Higgs bundle but $E$ alone is unstable? Mar 4, 2017 at 19:27
• Well that is ok, and such moduli spaces have been constructed before. in normal situation; we first construct the Quot scheme of E's, then there is a scheme that parameterizes the morphisms E-->E\otimes K , then we cut the Higgs-stable locus inside that latter scheme and mod out by Auto's (of the pair). Simpson I believe constructed these moduli spaces of HiItchin pairs, as moduli space of some modules over a dg algebra (he calls them \Lambda modules ? ) but I dont think he required the E's to be stable in the first place, and that is what my main question is about. Mar 4, 2017 at 21:02
• What I meant is that it might (and in fact does, if I remember correctly) happen that a family $(E_t, psi_t:E_t\to E_t\otimes K)$ of (Higgs-)stable Higgs bundles has $E_t$ stable for $t\neq 0$ while $E_0$ is not stable. This seems to imply that the moduli space your question is about is non-proper. Mar 4, 2017 at 21:35

Even if we restrict to Higgs bundles where $E$ is stable as a vector bundle, the moduli space is not proper. If you take $(E,\sigma)$ with $\sigma \neq 0$, then $$\lim_{t \to \infty} (E,t\sigma)$$ does not exist.
One way to think about this failure of this properness is that the moduli space of stable Higgs bundles is isomorphic to a moduli space of stable torsion sheaves on the total space of the cotangent bundle of your base $X$. The moduli space is not proper, since the total space isn't proper, but there's a fairly natural compactification coming from taking torsion sheaves on the projective completion of the total space of the cotangent bundle. We can think of this as allowing the spectral varieties of the Higgs bundles to go to infinity.
• The torus fixed locus is going to correspond to the locus where the map $E \to E \otimes K_X$ is the zero map. I would expect that this doesn't have to be proper in general, but I haven't thought hard about it. Mar 8, 2017 at 19:53