s O{ O} O0.05 m O0.5 m
$\leavevmode\hbox{\set@color\ignorespaces\IfBooleanTF{#1}{\varwidth{#4}#5}
{\begin{minipage}{0.0pt}#5\end{minipage}}
}\left\\{\,\leavevmode\hbox{\set@color\ignorespaces\IfBooleanTF{#1}{\varwidth{#6}#7}
{\begin{minipage}{0.0pt}#7\end{minipage}} }\,\right\\}$

# Generators for the cohomology of the moduli space of irregular parabolic
Higgs bundles

Jia Choon Lee and Sukjoo Lee  Peking University, Beijing International Center
for Mathematical Research, Jingchunyuan Courtyard #78, 5 Yiheyuan Road,
Haidian District, Beijing 100871, China<EMAIL_ADDRESS>Department of
Mathematics, University of Edinburgh, EH9 3FD, UK<EMAIL_ADDRESS>
###### Abstract.

We prove that the pure part of the cohomology ring of the moduli space of
irregular ${\underline{\xi}}$-parabolic Higgs bundles is generated by the
Künneth components of the Chern classes of a universal bundle and the Chern
classes of the successive quotients of a universal flag of subbundles. As an
application, in the regular full-flag case, we demonstrate a similar result
for the cohomology ring of the moduli spaces of parabolic and strongly
parabolic Higgs bundles.

###### Contents

  1. 1 Introduction
    1. 1.1 Main results
    2. 1.2 Outline
    3. 1.3 Notations
  2. 2 Moduli spaces
    1. 2.1 Irregular parabolic Higgs bundles
    2. 2.2 Spectral correspondence
  3. 3 Cohomology
    1. 3.1 Cohomology of the holomorphic symplectic surface
    2. 3.2 Generators
    3. 3.3 Purity
  4. A Proof of spectral correspondence

##  1\. Introduction

It is well-known that the cohomology ring of the moduli space of stable
sheaves on a variety $X$ can be generated by the tautological classes i.e. the
Künneth components of the Chern classes of a universal sheaf: Atiyah-Bott
[AB83] when $X$ is a curve, Ellingsrud-Stromme [ES93] when $X=\mathbb{P}^{2}$,
Beauville [Bea95] when $X$ is a rational or ruled surface, Markman [Mar02]
when $X$ is a symplectic surface, Markman [Mar07] when $X$ is a Poisson
surface. For the moduli space of stable Higgs bundles on a curve, similar
results are found in the work of Markman [Mar02][Mar07]. On the other hand,
for the moduli space of stable parabolic bundles on a curve, it is also known
that the tautological classes obtained from a universal bundle alone are not
enough to generate the cohomology ring, one needs to take into account of some
extra classes coming from a universal flag of subbundles (see Biswas-
Raghavendra [BR96]).

In this paper, we consider the cohomology ring of the moduli space of stable
parabolic Higgs bundles on a curve with a regular(=tame) or irregular(=wild)
singularity and a fixed polar part for the Higgs fields. Historically,
parabolic Higgs bundles with regular singularities were considered by Simpson
[Sim90] in order to generalize the non-abelian Hodge correspondence to
punctured curves. The next natural generalization is to consider Higgs bundles
on a curve with irregular singularities. According to the wild non-abelian
Hodge correspondence of Sabbah [Sab99] and Biquard-Boalch [BB04], fixing an
equivalence class of the polar part, the moduli space of stable parabolic
Higgs bundles with irregular singularities is diffeomorphic (by a hyper-Kähler
rotation) to the moduli space of stable parabolic connections with irregular
singularities. Furthermore, the moduli spaces of Higgs bundles or connections
on a curve with irregular singularites provide a wide class of interesting
examples of hyper-Kähler manifolds which are related to classical integrable
systems (see [Boa12]).

One of the motivations for considering the cohomology of the moduli spaces of
parabolic Higgs bundles with irregularity singularities is inspired by the
$P=W$ conjecture due to de Cataldo-Hausel-Migliorini [CHM12]. When there is no
(regular or irregular) singularity on the Higgs field, the conjecture states
that the perverse Leray filtration on the cohomology of the moduli space of
Higgs bundles (Dolbeault side) is identified with the weight filtration of the
cohomology of the corresponding character variety (Betti side) via the non-
abelian Hodge correspondence. There are now several approaches to the $P=W$
conjectures (for $GL_{n}$) due to Maulik-Shen [MS22], Hausel-Mellit-Minets-
Schiffmann [Hau+22], Maulik-Shen-Yin [MSY23]. One can ask the same question
when there are regular or irregular singularities (call it the wild $P=W$
conjecture) since the corresponding Dolbeault and Betti moduli spaces are
related by the wild non-abelian Hodge correspondence. There are some works in
this direction for special cases: Shen-Zhang [SZ21] for five families of
parabolic Higgs bundles with regular singularity on $\mathbb{P}^{1}$, Szabó
[Sza21][Sza23] for low dimensional moduli spaces of rank 2 Higgs bundles on
$\mathbb{P}^{1}$ with (regular or irregular) singularities.

A common and key ingredient for all the different approaches
[SM],[Hau+22],[MSY23] of the $P=W$ conjecture is the above-mentioned theorem
of Markman [Mar02] about the generation result of the cohomology of the moduli
space of Higgs bundles on a curve by tautological classes. The Chern
filtration spanned by the tautological classes plays the role as an
intermediate filtration in establishing the equality between the perverse
Leray and weight filtrations on both sides. Therefore, in order to approach
the wild $P=W$ conjecture, a natural first step will be to understand the
generators of the cohomology ring of the moduli space of parabolic Higgs
bundles with singularities.

However, with the presence of parabolic structures, we need to include the
Chern classes of the successive quotients of a universal flag of subbundles as
in the case of moduli of parabolic bundles [BR96]. These classes are known to
be important from the viewpoint of representation theory e.g. in the global
Springer theory of Yun [Yun11]. Furthermore, even in situations where the
cohomology ring of the moduli space of Higgs bundles without parabolic
structures are mainly concerned, it is often useful to first pass to the
cohomology ring of the moduli of parabolic Higgs bundles with regular
singularities (without fixing polar parts) and utilize these extra classes
e.g. [SM], [Hau+22], [MSY23].

###  1.1. Main results

Let $C$ be a smooth projective curve of genus $g\geq 0$ and $D=np$ supported
at a point $p$ and $n\geq 1.$ Fix the numerical data: $r\geq
1,d\in\mathbb{Z}$, $1>\alpha_{1}>\dots>\alpha_{l}\geq 0$ (each
$\alpha_{i}\in\mathbb{Q})$, $m_{1},\dots,m_{l}\in\mathbb{Z}\geq 0$ such that
$\sum_{i=1}^{l}m_{i}=r$. An irregular parabolic Higgs bundle with a pole of
order $n\geq 1$ at $p$ is a quadruple
$(E,E^{\bullet}_{D},\Phi,{\underline{\alpha}})$ where $E$ is a rank $r$,
degree $d$ vector bundle on $C$, $E^{\bullet}_{D}:0=E^{0}_{D}\subset
E^{1}_{D}\subset\dots\subset E^{l-1}_{D}\subset E^{l}_{D}=E|_{D}$ is a quasi-
parabolic structure with $\chi(E^{i}_{D}/E^{i-1}_{D})=nm_{i}$, $\Phi:E\to
E\otimes K_{C}(D)$ is a Higgs field,
${\underline{\alpha}}=(\alpha_{1},\dots,\alpha_{l})$ is the set of parabolic
weights, such that $\Phi_{D}(E^{i}_{D})\subset E^{i}_{D}\otimes
K_{C}(D)|_{D}$. When the order of the pole is 1 (i.e. $n=1$), we call it a
regular parabolic Higgs bundle.

In order to fix the polar part of the Higgs field, we choose
${\underline{\xi}}=(\xi_{1},\dots,\xi_{l})$ where $\xi_{i}\in
H^{0}(D,K_{C}(D)|_{D}).$ An irregular (resp. regular)
${\underline{\xi}}$-parabolic Higgs bundles is an irregular (resp. regular)
parabolic Higgs bundle $(E,E^{\bullet}_{D},\Phi,{\underline{\alpha}})$
satisfying the following conditions: (1) $E^{i}_{D}/E^{i-1}_{D}$ is free of
rank $m_{i}$ on $D$, (2)
$\textrm{gr}_{i}(\Phi_{D})=\textrm{Id}_{E^{i}_{D}/E^{i-1}_{D}}\otimes\xi_{i}$
for $i=1,\dots,l$.

We first show that there exists a coarse moduli space of stable irregular
${\underline{\xi}}$-parabolic Higgs bundles on $C$. In fact, we show the
existence of a relative coarse moduli space of stable irregular
${\underline{\xi}}$-parabolic Higgs bundles on $C$ when ${\underline{\xi}}$ is
varied over a base
$\mathcal{N}(l,D):=\\{{\underline{\xi}}=(\xi_{1},...,\xi_{l})|\xi_{i}\in
H^{0}(D,K_{C}(D)|_{D}),\sum\textrm{res}(\xi_{i})=0\\}$.

######  Theorem 1.1 (Theorem 2.6).

Fix the numerical data: $r\geq 1,d\in\mathbb{Z}$,
$1>\alpha_{1}>...>\alpha_{l}\geq 0$ where $\alpha_{i}\in\mathbb{Q}$,
$m_{1},...,m_{l}\in\mathbb{Z}_{\geq 0}$. There exists a relative coarse moduli
scheme
$P:\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})\to\mathcal{N}(l,D)$
of stable irregular ${\underline{\xi}}$-parabolic Higgs bundles.

We denote by $\mathcal{H}_{\underline{\xi}}:=P^{-1}({\underline{\xi}})$ the
moduli space of stable irregular ${\underline{\xi}}$-parabolic Higgs bundles
for a fixed ${\underline{\xi}}\in\mathcal{N}(l,D).$ Suppose that
${\underline{\xi}}$ is generic i.e. the leading terms of the $\xi_{i}$ are all
distinct. Suppose $r$ and $d$ are coprime so that there exist a universal
bundle $\mathcal{E}_{\underline{\xi}}$ on $\mathcal{H}_{\underline{\xi}}\times
C$ and a universal flag of subbundles
$\mathcal{E}^{\bullet}_{\mathcal{H}_{\underline{\xi}}\times
D}:0=\mathcal{E}^{0}_{\mathcal{H}_{\underline{\xi}}\times
D}\subset...\subset\mathcal{E}^{l}_{\mathcal{H}_{\underline{\xi}}\times
D}=(\mathcal{E}_{{\underline{\xi}}})|_{\mathcal{H}_{\underline{\xi}}\times
D}$. We denote by $\mathcal{E}^{\bullet}_{\mathcal{H}_{\underline{\xi}}\times
p}:0=\mathcal{E}^{0}_{\mathcal{H}_{\underline{\xi}}\times
p}\subset...\subset\mathcal{E}^{l}_{\mathcal{H}_{\underline{\xi}}\times
p}=(\mathcal{E}_{{\underline{\xi}}})|_{\mathcal{H}_{\underline{\xi}}\times p}$
the restriction of $\mathcal{E}_{\mathcal{H}_{\underline{\xi}}\times
D}^{\bullet}$ to $\mathcal{H}_{\underline{\xi}}\times\\{p\\}$ and
$Q_{\underline{\xi}}^{i}:=\mathcal{E}^{i}_{\mathcal{H}_{\underline{\xi}}\times
p}/\mathcal{E}^{i}_{\mathcal{H}_{\underline{\xi}}\times p}$ the successive
quotients of the flag $\mathcal{E}_{\mathcal{H}_{\underline{\xi}}\times
p}^{\bullet}$. The goal of this paper is to show that the Künneth components
of the Chern classes of $\mathcal{E}_{\underline{\xi}}$ and the Chern classes
of $Q^{i}_{\underline{\xi}}$ generate the pure part of the cohomology
$H^{*}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$.

Our strategy to study the generators of the cohomology ring follows closely
the approach of Markman in the case of moduli space of Higgs bundles on a
curve [Mar02][Mar07]. In our situation, the first and key step is to employ
the spectral correspondence due to Kontsevich-Soibelman [KS14] and Diaconescu-
Donagi-Pantev [DDP18], when ${\underline{\xi}}$ is generic, to realize
$\mathcal{H}_{\underline{\xi}}$ in terms of the moduli space of
$\beta$-twisted $A$-Gieseker stable pure dimension one sheaves on a (non-
compact) holomorphic symplectic surface $S_{\underline{\xi}}$ for a suitable
choice of $\beta,A\in NS(Z_{\underline{\xi}})_{\mathbb{Q}}$ with $A$ ample,
where $Z_{\underline{\xi}}$ is a natural compactification of
$S_{\underline{\xi}}$. The natural compactification $Z_{\underline{\xi}}$ of
$S_{\underline{\xi}}$ also provides a modular compactification of
$\mathcal{H}_{\underline{\xi}}$ by the moduli space
$\mathcal{M}_{\underline{\xi}}$ of $\beta$-twisted $A$-Gieseker stable pure
dimension one sheaves on $Z_{\underline{\xi}}$. Then we apply the argument of
Markman to express the diagonal class of
$\mathcal{M}_{\underline{\xi}}\times\mathcal{H}_{\underline{\xi}}$ in terms of
the Chern classes of a universal sheaf on $\mathcal{M}_{\underline{\xi}}\times
Z_{\underline{\xi}}.$ By applying the Grothendieck-Riemann-Roch Theorem, we in
turn express these classes in terms of the Künneth components of the Chern
classes of $\mathcal{E}_{\underline{\xi}}$ and the Chern classes of
$Q_{\underline{\xi}}^{i}$.

######  Theorem 1.2 (Theorem 3.6).

Let ${\underline{\xi}}$ be generic. The pure cohomology
$H^{*}_{pure}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$ is generated by the
Künneth components of the Chern classes of $\mathcal{E}_{\underline{\xi}}$ and
the Chern classes of $Q_{\underline{\xi}}^{i}$, where $1\leq i\leq l.$

Moreover, since the symplectic surface $S_{\underline{\xi}}$ is constructed by
a sequence of blow-ups on the total space $\textrm{Tot}(K_{C}(D))$ followed by
the removal of a divisor, we can see that the Chern classes of
$Q_{\underline{\xi}}^{i}$ arises naturally from the classes of the exceptional
divisors.

Specializing to the regular $(n=1)$ and full-flag
$({\underline{m}}=(1,\dots,1))$ case, let
$\mathcal{H}:=\bm{\mathcal{H}}(C,p;r,d,\underline{\alpha},(1,\dots,1))$ and
$\mathcal{H}_{\underline{\xi}}=P^{-1}({\underline{\xi}})$ as before. We also
denote by $\mathcal{M}$ (resp. $\mathcal{M}_{0}$) the coarse moduli space of
stable regular parabolic (resp. strongly parabolic) Higgs bundles constructed
by Yokogawa [Yok93]. In this case, every regular parabolic Higgs bundle of the
full-flag type is automatically a regular ${\underline{\xi}}$-parabolic Higgs
bundle for a unique ${\underline{\xi}}$, so we have
$\mathcal{H}\cong\mathcal{M}$ (Proposition 2.8). Then we show that there is an
isomorphism of $\mathbb{Q}$-mixed Hodge structures
$H^{*}(\mathcal{H},\mathbb{Q})\cong
H^{*}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$ for any ${\underline{\xi}}$
and they are of pure type. This follows from the property of semi-projectivity
of $\mathcal{H}$ which will be proved in Section 3.3. We note that this method
has been used to show the similar result for the moduli space of Higgs bundles
[HR15]. As an application of Theorem 1.2, we have the following result.

######  Corollary 1.3 (Corollary 3.12).

The cohomology ring of the coarse moduli space of stable regular parabolic
(resp. strongly parabolic) Higgs bundles of the full-flag type $\mathcal{M}$
(resp. $\mathcal{M}_{0}$) is generated by the Künneth components of the Chern
classes of a universal bundle and the Chern classes of the successive
quotients of a universal flag of subbundles.

A similar result can be found in Oblomkov-Yun [OY17, Theorem 3.1.8] by a
different approach.

All the results can be directly generalized to the case where there are more
than one irreducible component in $D$, namely when
$D=n_{1}p_{1}+\cdots+n_{k}p_{k}$ for $k>1$ and $n_{j}\geq 1$ for
$j=1,\dots,k$. The moduli problem we study is easily generalized by putting
the independent ${\underline{\xi}}_{j}$-parabolic conditions for each $j$. For
the spectral correspondence, one can construct the holomorphic symplectic
surface $S_{{\underline{\xi}}_{1},\dots,{\underline{\xi}}_{k}}$ by
simultaneously blowing-up the locus over each $p_{j}$. Moreover, this gives
rise to a universal flag of subbundles corresponding to each $p_{j}$.
Therefore, in this case, the generators in our generation result will be the
Künneth components of the Chern classes of a universal bundle and the Chern
classes of the successive quotients of a universal flag of subbundles
corresponding to each $p_{j}$, where $j=1,\dots,k$.

###  1.2. Outline

In Section 2, we discuss several moduli problems associated with irregular
parabolic Higgs bundles and prove Theorem 1.1. Additionally, we review the
spectral correspondence whose proof will be in Appendix A. This will serve as
a key argument in the next section. In Section 3, we study the generators of
the pure part of the cohomology ring of the moduli space of stable
${\underline{\xi}}$-irregular parabolic Higgs bundles, applying the method
used in Markman’s works [Mar02, Mar07]. As an application, we focus on the
regular full-flag case and demonstrate the generators of the cohomology ring
of the moduli space of regular (strongly) parabolic Higgs bundles.

###  1.3. Notations

Conventions: For a fixed scheme $X$ and $T\in\textrm{Sch}$ (or Sch/$B$ for any
base scheme $B$), we will denote by $X_{T}:=X\times T$. If
$T=\textrm{Spec}(A)$ is affine, we also write
$X_{A}:=X\times\textrm{Spec}(A)$. For a divisor $D$ in $X$ and a coherent
sheaf $F$ on $X$, we write $F_{D}=F\otimes_{\mathcal{O}_{X}}\mathcal{O}_{D}$.

Notations: Here we summarize the notations for various moduli spaces used in
this paper. Fix $C$ to be a smooth projective curve, $p\in C$, $D=np$ for
$n\geq 1$, $M=K_{C}(D)$, $r$ rank, $d$ degree, $\underline{\alpha}$ parabolic
weights, $\underline{m}=(m_{1},\dots,m_{l})$ where $\sum m_{i}=r$.

  * •

$\mathcal{N}(l,D):=\\{{\underline{\xi}}=(\xi_{1},...,\xi_{l})|\xi_{i}\in
H^{0}(D,M_{D}),\sum\textrm{res}(\xi_{i})=0\\}.$

  * •

$P:\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})\to\mathcal{N}(l,D)$,
the relative coarse moduli space of stable irregular
${\underline{\xi}}$-parabolic Higgs bundles.

  * •

$\mathcal{H}_{\underline{\xi}}:=P^{-1}({\underline{\xi}})$, the coarse moduli
space of stable irregular ${\underline{\xi}}$-parabolic Higgs bundles for
${\underline{\xi}}\in\mathcal{N}(l,D)$.

  * •

$\mathcal{M}(C,D;r,d,\underline{\alpha},\underline{m})$, the coarse moduli
space of stable irregular parabolic Higgs bundles.

  * •

$\mathcal{M}_{0}(C,D;r,d,\underline{\alpha},\underline{m})$, the coarse moduli
space of stable irregular strongly parabolic Higgs bundles.

In the regular ($n=1$) full-flag ($\underline{m}=\underline{1}=(1,\cdots,1)$)
case, we simply write

  * •

$\mathcal{H}={\bf{\mathcal{H}}}(C,p;r,d,\underline{\alpha},\underline{1})$ and
$\mathcal{N}=\mathcal{N}(l,p)$.

  * •

$\mathcal{M}=\mathcal{M}(C,p;r,d,\underline{\alpha},\underline{1})$ and
$\mathcal{M}_{0}=\mathcal{M}_{0}(C,p;r,d,\underline{\alpha},\underline{1})$.

##  2\. Moduli spaces

###  2.1. Irregular parabolic Higgs bundles

Let $C$ be smooth projective curve of genus $g\geq 0$ and $D=np$ supported at
a point $p$ and $n\geq 1$. Let $M=K_{C}(D)$ be a twisted canonical line
bundle.

######  Definition 2.1.

An irregular parabolic Higgs bundle on $C$ with a pole of order $n\geq 1$ at
$p$ consists of the following data:

  1. (1)

A Higgs bundle $(E,\Phi)$ where $\Phi:E\to E\otimes M$

  2. (2)

A quasi-parabolic structure:

$E^{\bullet}_{D}:0=E^{0}_{D}\subset E^{1}_{D}\subset...\subset
E^{l-1}_{D}\subset E^{l}_{D}=E_{D}$

such that $\Phi_{D}(E^{i}_{D})\subset E^{i}_{D}\otimes_{D}M_{D}$.

  3. (3)

A collection of parabolic weights
$\underline{\alpha}=(\alpha_{1},...,\alpha_{l})\in\mathbb{Q}^{l}$:

$1>\alpha_{1}>\alpha_{2}>...>\alpha_{l}\geq 0$

For simplicity, we will only consider the case with a single pole in this
paper, we simply call it an irregular parabolic Higgs bundle and denote it by
$(E,E^{\bullet}_{D},\Phi,{\underline{\alpha}})$. When the order of the pole is
1 (i.e. $n=1$), we call it a regular parabolic Higgs bundle. When
$\Phi_{D}(E^{i}_{D})\subset E^{i-1}_{D}\otimes_{D}M_{D}$ for all $i$ in
condition $(2)$, we call it a strongly (regular or irregular) parabolic Higgs
bundle.

######  Remark 2.2.

The more general definition of parabolic Higgs bundles used in [Yok93] is the
so-called parabolic $\Omega$-pairs on any smooth, projective, geometrically
integral, locally noetherian scheme $X/S$, and $D$ a relative effective
Cartier divisor on $X/S$, where $\Omega$ is any locally free sheaf. Suppose
$S=\textrm{Spec}(\mathbb{C}),X=C,D=np,\Omega=K_{C}(D)$. A parabolic
$\Omega$-parabolic sheaf on $C$ consists of a vector bundle $E$, a filtration
of vector bundles

$F^{\bullet}(E):E(-D)=F^{0}(E)\subset F^{1}(E)\subset...\subset F^{l}(E)=E,$

a collection of parabolic weights
$1>\alpha_{1}>\alpha_{2}>\dots>\alpha_{l}\geq 0$ and a homomorphism $\Phi:E\to
E\otimes\Omega$ such that $\Phi(F^{i}(E))\subset F^{i}(E)$. Given
$E^{\bullet}_{D}$ as in the definition of a parabolic Higgs bundle, we can
recover $F^{\bullet}(E)$ as follows. Set $F^{i}(E):=\textrm{ker}(E\to E_{D}\to
E_{D}/E^{i}_{D})$. As $E^{i-1}_{D}\subset E^{i}_{D}$, the map $E\to
E_{D}/E^{i}_{D}$ factors through $E_{D}/E^{i-1}_{D}$ and so $F^{i-1}(E)\subset
F^{i}(E)$ as required. Conversely, given $F^{\bullet}(E)$, we define
$E^{i}_{D}:=F^{i}(E)/F^{0}(E).$ Therefore, a parabolic $\Omega$-parabolic
sheaf on $C$ is equivalent to a parabolic Higgs bundle on $C$ in our
definition.

In order to consider the coarse moduli space for such objects, we will need to
discuss the stability condition. Recall that in [MY92, Section 1] and [Yok93,
Section 1], the parabolic Euler characteristic and the (reduced) parabolic
Hilbert polynomial of $E_{*}:=(E,E_{D}^{\bullet},\underline{\alpha})$ are
defined as

$\textrm{par-}\chi({E_{*}})=\chi(E)+\sum_{i=1}^{l}\alpha_{i}\chi(E^{i}_{D}/E^{i-1}_{D}),\qquad\textrm{par-}P_{E_{*}}(t)=\frac{\textrm{par-}\chi(E_{*}(t))}{\textrm{rank}(E)}$

where $E^{i}_{D}/E^{i-1}_{D}$ is viewed as a torsion sheaf on $C$ in the
expression and
$E_{*}(t)=(E\otimes\mathcal{O}(t),E^{\bullet}_{D}\otimes\mathcal{O}(t),{\underline{\alpha}}).$
111In the original definition,
$\textrm{par-}\chi({E_{*}}):=\chi(E(-D))+\sum_{i=1}^{l}\alpha_{i}\chi(E^{i}_{D}/E^{i-1}_{D})$,
but the difference will not affect the stability condition in the case of
curves.

######  Definition 2.3.

An irregular parabolic Higgs bundle $(E_{*},\Phi)$ is said to be
$\underline{\alpha}$-(semi)stable if for any nontrivial proper subbundle
$0\subset F\subset E$ preserved by $\Phi$, we have

$\textrm{par-}P_{F_{*}}(t)<\textrm{par-}P_{E_{*}}(t)\quad\textrm{for }t\gg
0\quad(\textrm{resp. }\leq)$

where $F_{*}=(F,F^{\bullet}_{D},\underline{\alpha})$ is defined by the induced
filtration $F^{i}_{D}=F_{D}\cap E^{i}_{D}$, for $i\leq l$, that is preserved
by $\Phi_{D}$.

The work of Yokogawa [Yok93, Theorem 4.6] shows that there exists a coarse
moduli space for $\underline{\alpha}$-stable irregular parabolic Higgs bundles
of rank $r$, degree $d$ such that $\chi(E^{i}_{D}/E^{i-1}_{D})=nm_{i}$. We
will denote this moduli space by
$\mathcal{M}(C,D;r,d,\underline{\alpha},\underline{m})$. Moreover, one can
define the coarse moduli space of $\underline{\alpha}$-stable irregular
strongly parabolic Higgs bundles as a closed subscheme in
$\mathcal{M}(C,D;r,d,\underline{\alpha},\underline{m})$, which we denote by
$\mathcal{M}_{0}(C,D;r,d,\underline{\alpha},\underline{m}).$

In order to fix the polar part $\Phi_{D}$ of the Higgs fields, we choose
sections $\xi_{1},\dots,\xi_{l}\in H^{0}(D,M_{D})$ and denote by
$\underline{\xi}=(\xi_{1},\dots,\xi_{l})$ the collection of such sections.
Following [DDP18], we call a quadruple
$(E,E^{\bullet}_{D},\Phi,\underline{\alpha})$ an irregular
$\underline{\xi}$-parabolic Higgs bundle if (1) the successive quotients
$E^{i}_{D}/E^{i-1}_{D}$ of $E^{\bullet}_{D}$ are free
$\mathcal{O}_{D}$-modules (hence all $E^{i}_{D}$ are also free) and (2) the
induced morphism of $\mathcal{O}_{D}$-modules
$\textrm{gr}_{i}\Phi_{D}:=\Phi_{D,i}:E^{i}_{D}/E^{i-1}_{D}\to
E^{i}_{D}/E^{i-1}_{D}\otimes M_{D}$ satisfies the following condition

(1) $\Phi_{D,i}=\mathrm{Id}_{E^{i}_{D}/E^{i-1}_{D}}\otimes\xi_{i},\quad 1\leq
i\leq l.$

######  Remark 2.4.

The definition of irregular ${\underline{\xi}}$-parabolic Higgs bundle used
here and [DDP18] is a direct analogue of the notion of unramified irregular
singular $\bm{\nu}$-parabolic connection of parabolic depth $n$ introduced in
the work of Inaba-Saito [IS13, Definition 2.1], where
$\bm{\nu}={\underline{\xi}}$ in our case. The following Theorem 2.6 and
Proposition 2.10 are also the analogues of [IS13, Theorem 2.1] and [IS13,
Proposition 2.1], respectively.

######  Remark 2.5.

Note that the condition that the successive quotients of $E^{\bullet}_{D}$ are
free implies that there exists a filtration of vector spaces
$E^{\bullet}_{p}:0=E^{0}_{p}\subset E^{1}_{p}\subset\dots\subset
E^{l-1}_{p}\subset E^{l}_{p}=E_{p}$ such that
$E^{\bullet}_{D}=E^{\bullet}_{p}\otimes\mathcal{O}_{D}$.

More generally, there exists a relative moduli space of irregular
${\underline{\xi}}$-parabolic Higgs bundles on $C$ when ${\underline{\xi}}$
varies. Let
$\mathcal{N}(l,D)=\\{{\underline{\xi}}=(\xi_{1},...,\xi_{l})|\xi_{i}\in
H^{0}(D,M_{D}),\sum\textrm{res}(\xi_{i})=0\\}$ be the parameter space of the
polar parts ${\underline{\xi}}$. Define the moduli functor
$\mathfrak{H}(C,D;r,d,\underline{\alpha},\underline{m}):\textrm{Sch}/\mathcal{N}(l,D)\to\textrm{Sets}$
as follows: for each $T\in\textrm{Sch}/\mathcal{N}(l,D)$ represented by
$({\underline{\xi}})_{T}=((\xi_{1})_{T},...,(\xi_{l})_{T})\in\mathcal{N}(l,D)(T)$,
we have

$\mathfrak{H}(C,D;r,d,\underline{\alpha},\underline{m})(T)=$ vector bundles
$\mathcal{E}$ on $C_{T}$ such that $\mathcal{E}|_{C_{t}}$ is locally free of
rank $r$ and degree $d$ for each geometric point $t\in T$, Higgs fields
$\Psi:\mathcal{E}\to\mathcal{E}\otimes\Omega_{C_{T}/T}^{1}(D_{T})$, quasi-
parabolic structures
$\mathcal{E}_{D_{T}}^{\bullet}:0=\mathcal{E}_{D_{T}}^{0}\subset\mathcal{E}_{D_{T}}^{1}\subset\dots\subset\mathcal{E}^{l}_{D_{T}}=\mathcal{E}_{D_{T}}$
such that
$\Psi_{D_{T}}(\mathcal{E}^{i}_{D_{T}})\subset\mathcal{E}^{i}_{D_{T}}\otimes\Omega^{1}_{C_{T}/T}(D_{T})$
and each $\mathcal{E}^{i}_{D_{T}}/\mathcal{E}^{i-1}_{D_{T}}$ is locally free
of rank $m_{i}$ on $D_{T}$,
$\textrm{gr}_{i}(\Psi_{D_{T}})-\textrm{Id}_{\mathcal{E}^{i}_{D_{T}}/\mathcal{E}^{i-1}_{D_{T}}}\otimes(\xi_{i})_{T}=0$,
and
$(\mathcal{E}|_{C_{t}},\mathcal{E}^{\bullet}_{D_{T}}|_{D_{t}},\Psi|_{C_{t}},\underline{\alpha})$
is $\underline{\alpha}$-stable for each geometric point $t\in
T$.$\bigg{/}\sim$

where two flat families are equivalent
$(\mathcal{E},\mathcal{E}^{\bullet}_{D_{T}},\Psi)\sim(\mathcal{E}^{\prime},\mathcal{E}^{\prime\bullet}_{D_{T}},\Psi^{\prime})$
if there exists a line bundle $L$ on $T$ such that
$(\mathcal{E},\mathcal{E}^{\bullet}_{D_{T}},\Psi)\cong(\mathcal{E}^{\prime}\otimes
p_{2}^{*}L,\mathcal{E}^{\prime\bullet}_{D\times T}\otimes
p_{2}^{*}L,\Psi^{\prime}\otimes p_{2}^{*}L)$ and $p_{2}:C_{T}=C\times T\to T$
is the projection.

######  Theorem 2.6.

Fix the numerical data: $r\geq 1,d\in\mathbb{Z}$,
$1>\alpha_{1}>...>\alpha_{l}\geq 0$ where $\alpha_{i}\in\mathbb{Q}$,
$m_{1},...,m_{l}\in\mathbb{Z}_{\geq 0}$. There exists a relative coarse moduli
scheme
$P:\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})\to\mathcal{N}(l,D)$
of the moduli functor
$\mathfrak{H}(C,D;r,d,\underline{\alpha},\underline{m})$.

###### Proof.

As explained in Remark 2.2, we can view an irregular
${\underline{\xi}}$-parabolic Higgs bundle as a ”parabolic $\Omega$-pair” in
the sense of [Yok93], where $\Omega=K_{C}(D)$ in our case. The extra
conditions imposed here are the freeness of $E^{i}_{D}/E^{i-1}_{D}$ and the
condition (1) on the polar part of the Higgs fields.

By definition, a family of parabolic $\Omega$-pairs consists of a triple
$({\mathcal{E}},F^{\bullet}({\mathcal{E}}),{\Psi})$ where ${\mathcal{E}}$ is a
vector bundle on $C_{T}$,
$F^{\bullet}({\mathcal{E}}):\mathcal{E}(-D_{T})=F^{0}({\mathcal{E}})\subset
F^{1}({\mathcal{E}})\cdots\subset F^{l}({\mathcal{E}})={\mathcal{E}}$ is a
filtration of vector bundles such that ${\mathcal{E}}/F^{i}({\mathcal{E}})$ is
flat over $T$ for $0\leq i\leq l$, and
${\Psi}:{\mathcal{E}}\to{\mathcal{E}}\otimes\Omega_{C_{T}/T}^{1}(D_{T})$ such
that ${\Psi}(F^{i}({\mathcal{E}}))\subset
F^{i}({\mathcal{E}})\otimes\Omega_{C_{T}/T}^{1}(D_{T})$. Since
$\mathcal{E}/F^{i}(\mathcal{E})$ is flat over $T$ for $0\leq i\leq l$, it
follows from the short exact sequence $0\to
F^{i}(\mathcal{E})/F^{i-1}(\mathcal{E})\to\mathcal{E}/F^{i-1}(\mathcal{E})\to\mathcal{E}/F^{i}(\mathcal{E})\to
0$ that the quotient $F^{i}(\mathcal{E})/F^{i-1}(\mathcal{E})$ is flat over
$T$ for $1\leq i\leq l$. Since $F^{i}(\mathcal{E})/F^{i-1}(\mathcal{E})\cong
F^{i}(\mathcal{E})_{D_{T}}/F^{i-1}(\mathcal{E})_{D_{T}}$, the flatness implies
that the subset $\\{t\in
T|F^{i}(\mathcal{E})_{D_{t}}/F^{i-1}(\mathcal{E})_{D_{t}}\textrm{ is locally
free}\\}$ is open in $T$ [New78, Lemma 5.4]. Therefore, the condition of the
freeness of $E^{i}_{D}/E^{i-1}_{D}$ is an open condition. On the other hand,
for each $T\in\textrm{Sch}/\mathcal{N}(l,D)$ represented by
$({\underline{\xi}})_{T}=((\xi_{1})_{T},...,(\xi_{l})_{T})\in\mathcal{N}(l,D)(T)$,
the condition (1) becomes the vanishing of the homomorphisms
$\textrm{gr}_{i}({\Psi}_{C_{T}}|_{D_{T}})-\textrm{Id}_{F^{i}(\mathcal{E})_{D_{T}}/F^{i-1}(\mathcal{E})_{D_{T}}}\otimes(\xi_{i})_{T}.$
Then we can always find a closed $\mathcal{N}(l,D)$-subscheme
$T^{\prime}\subset T$ with the corresponding universal property (see [Yok93,
Corollary 2.3] for example). Therefore, the condition (1) on the polar part is
a closed condition.

In [Yok93, Theorem 4.6], the coarse moduli scheme
$\mathcal{M}(C,D;r,d,\underline{\alpha},\underline{m})$ is constructed as a
GIT quotient of a parameter scheme $R$ with a group action of $PGL(V)$ for
some $k$-vector space $V$. There is a universal family of stable parabolic
$\Omega$-pairs $(\mathcal{G},F^{\bullet}(\mathcal{G}),\bm{\Psi})$ over $C_{R}$
and a surjection
$V\otimes_{k}\mathcal{O}_{C_{R}}\twoheadrightarrow\mathcal{G}$. Consider
$\mathcal{M}(C,D;r,d,\underline{\alpha},\underline{m})\times\mathcal{N}(l,D)$
as a scheme over $\mathcal{N}(l,D)$. As explained above, we can first restrict
to an open subscheme $R^{\prime}$ of $R$ defined by the freeness condition.
Then there is a closed subscheme $R^{\prime\prime}\subset
R^{\prime}\times\mathcal{N}(l,D)$ defined by condition (1). It is clear that
$R^{\prime\prime}$ is $PGL(V)$-invariant as the group only acts on the
surjections $V\otimes\mathcal{O}_{C}\twoheadrightarrow E$ in the parameter
scheme. Hence, the GIT quotient of $R^{\prime\prime}$ by $PGL(V)$ will be a
locally closed subscheme
$\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})$ (over
$\mathcal{N}(l,D)$) of
$\mathcal{M}(C,D;r,d,\underline{\alpha},\underline{m})\times\mathcal{N}(l,D)$
satisfying the property of a coarse moduli scheme for
$\mathfrak{H}(C,D;r,d,\underline{\alpha},\underline{m})$. ∎

######  Remark 2.7.

In particular, the fiber $P^{-1}({\underline{\xi}})$ over a fixed polar part
${\underline{\xi}}\in\mathcal{N}(l,D)$ will be the coarse moduli scheme for
stable irregular ${\underline{\xi}}$-parabolic Higgs bundles.

######  Proposition 2.8 (Regular full flag case).

In the regular full-flag case, equivalently $D=p$ and
$\underline{m}=(1,...,1)$, we have
$\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})\cong\mathcal{M}(C,D;r,d,\underline{\alpha},\underline{m})$.

###### Proof.

In this case, the freeness condition is automatic since $\mathcal{O}_{D}\cong
k$, so every $\mathcal{O}_{D}$-module must be free. A quasi-parabolic
structure is a filtration of vector spaces $0=E^{0}_{p}\subset
E^{1}_{p}\subset\cdots E^{l}_{p}=E|_{p}$ and each $E^{i}_{p}/E^{i-1}_{p}$ is
one dimensional. So for each $1\leq i\leq l$, the induced map
$\Phi_{p,i}=\textrm{gr}_{i}(\Phi_{p}):E^{i}_{p}/E^{i-1}_{p}\to
E^{i}_{p}/E^{i-1}_{p}\otimes M_{p}$ must be a scalar multiplication i.e.
$\Phi_{p,i}=\textrm{Id}\otimes\xi_{i}$ for some unique $\xi_{i}\in
H^{0}(p,M_{p})$. Therefore, a regular parabolic Higgs bundle is a regular
${\underline{\xi}}$-parabolic Higgs bundle for a unique
${\underline{\xi}}\in\mathcal{N}(l,D).$ Then it is clear that
$\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})\cong\mathcal{M}(C,D;r,d,\underline{\alpha},\underline{m})$.
∎

######  Remark 2.9.

In general, there is a morphism
$G:\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})\to\mathcal{M}(C,D;r,d,\underline{\alpha},\underline{m})$
which is given by the composition

$\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})\hookrightarrow\mathcal{M}(C,D;r,d,\underline{\alpha},\underline{m})\times\mathcal{N}(l,D)\to\mathcal{M}(C,D;r,d,\underline{\alpha},\underline{m})$

However, this morphism $G$ is not surjective: when $n>1$, there exists a
filtration $E_{D}^{\bullet}$ whose successive quotients are not necessarily
free. This implies that $G$ is not necessarily surjective. See the discussion
after Corollary 3.12 as well. When $\underline{m}$ does not represent the
full-flag type, there exists a Higgs field $\Phi$ which is not necessarily
diagonal when restricted to $D$.

Next, we study the smoothness of the relative moduli space
$P:\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})\to\mathcal{N}(l,D)$.
Note that when $r=1$, the quasi-parabolic structure on $E_{D}$ is trivial, so
we can write the relative coarse moduli space as
$\bm{\mathcal{H}}(C,D;1,d,\underline{m})\to\mathcal{N}(1,D)$ which consists of
a line bundle $L$, $\Phi\in H^{0}(C,M)$ such that
$\Phi_{D}=\textrm{Id}_{L_{D}}\otimes\xi$ for some $\xi\in H^{0}(D,M_{D})$.
There is a determinant morphism
$\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})\to\bm{\mathcal{H}}(C,D;1,d,\underline{m})$
which sends $(E,E_{D}^{\bullet},\Phi)$ to $(\det(E),\det(\Phi))$ where
$\det(\Phi):=(\Phi\wedge\textrm{Id}\wedge\dots\wedge\textrm{Id})+(\textrm{Id}\wedge\Phi\wedge\dots\wedge\textrm{Id})+\dots+(\textrm{Id}\wedge\textrm{Id}\wedge\dots\wedge\Phi)$.
Define the trace map $\textrm{Tr}:\mathcal{N}(l,D)\to\mathcal{N}(1,D)$ by
$\textrm{Tr}({\underline{\xi}})=\sum_{i=1}^{l}\xi_{i}$. Then it is easy to
check that $P(\det(E),\det(\Phi))=\textrm{Tr}(P(E,E^{\bullet}_{D},\Phi))$. So
the two maps induce
$\det:\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})\to\bm{\mathcal{H}}(C,D;1,d,\underline{m})\times_{\mathcal{N}(1,D)}\mathcal{N}(l,D).$

######  Proposition 2.10.

The morphism
$\det:\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})\to\bm{\mathcal{H}}(C,D;1,d,\underline{m})\times_{\mathcal{N}(1,D)}\mathcal{N}(l,D)$
is smooth.

###### Proof.

The proof here is essentially a modification of [IS13, Proposition 2.1] to the
Higgs bundles case. It suffices to show that the morphism of moduli functors
$\det:\mathfrak{H}(C,D;r,d,\underline{\alpha},\underline{m})\to\bm{\mathcal{H}}(C,D;1,d,\underline{m})\times_{\mathcal{N}(1,D)}\mathcal{N}(l,D)$
is formally smooth. Let $A$ be an Artinian local $k$-algebra with maximal
ideal $\mathfrak{m}_{A}$ and residue field $k=A/\mathfrak{m}_{A}.$ Let $0\to
I\to A^{\prime}\to A\to 0$ be a small extension i.e.
$\mathfrak{m}_{A^{\prime}}I=0.$ We shall show that a lift
$\textrm{Spec}(A^{\prime})\to\mathfrak{H}(C,D;r,d,\underline{\alpha},\underline{m})$
always exists in each of the following diagram

(2)
${\textrm{Spec}(A)}$${\mathfrak{H}(C,D;r,d,\underline{\alpha},\underline{m})}$${\textrm{Spec}(A^{\prime})}$${\bm{\mathcal{H}}(C,D;1,d,\underline{m})\times_{\mathcal{N}(1,D)}\mathcal{N}(l,D)}$$\scriptstyle{q}$$\scriptstyle{\det}$$\scriptstyle{p}$

Let
$((L,\Phi^{L}),{\underline{\xi}})\in\bm{\mathcal{H}}(C,D;1,d,\underline{m})\times_{\mathcal{N}(1,D)}\mathcal{N}(l,D)(A^{\prime})$
corresponding to the morphism $p$ such that
$\Phi^{L}=\textrm{Id}_{L|_{D}}\otimes(\sum^{l}_{i=1}\xi_{i})$. Let
$(\mathcal{E},\mathcal{E}_{D_{A}}^{\bullet},\Phi)\in\mathfrak{H}(C,D;r,d,\underline{\alpha},\underline{m})(A)$
corresponding to $q$ such that
$(\det(\mathcal{E}),\det(\Phi))\cong(L,\Phi^{L})\otimes_{A^{\prime}}A$ and
$P(E,E^{\bullet}_{D_{A}},\Phi)={\underline{\xi}}\otimes_{A^{\prime}}A$. Denote
by
$(\overline{E},\overline{E}_{D}^{\bullet},\overline{\Phi}):=(\mathcal{E},\mathcal{E}_{D_{A}}^{\bullet},\Phi)\otimes
k$.

Choose a Čech cover $\\{U_{\alpha}\\}$ of $C$ which trivializes $\mathcal{E}$
i.e. $\mathcal{E}|_{U_{\alpha}\otimes A}\cong\mathcal{O}^{\oplus
r}_{U_{\alpha}\otimes A}$ over each open subset $U_{\alpha}\otimes A\subset
C_{A}$. The strategy is to first construct a local object over each
$U_{\alpha}\otimes A^{\prime}$ lifting $((L,\Phi^{L}),{\underline{\xi}})$ and
then study the obstruction for the existence of a global object. First, we
take a free $\mathcal{O}_{U_{\alpha}\otimes A^{\prime}}$-module
$\mathcal{E}_{\alpha}$ with isomorphisms
$\varphi_{\alpha}:\det(\mathcal{E}_{\alpha})\xrightarrow{\sim}L|_{U_{\alpha}\otimes
A^{\prime}}$ and
$\phi_{\alpha}:\mathcal{E}_{\alpha}\otimes_{A^{\prime}}A\xrightarrow{\sim}\mathcal{E}|_{U_{a}\otimes
A}$ such that $\varphi_{\alpha}\otimes A=\det(\phi_{\alpha}).$ If $p\in
U_{\alpha}$, we can choose a basis $(e_{j})_{j}$ of $\mathcal{E}_{\alpha}$
(also a basis for $\mathcal{E}_{\alpha}\otimes_{A^{\prime}}A)$ such that
$\mathcal{E}^{\bullet}_{D_{A}}$ corresponds, via $\phi_{\alpha}$, to the
standard filtration associated to the basis. Then the basis of
$\mathcal{E}_{\alpha}$ determines a quasi-parabolic structure
$(\mathcal{E}_{a})^{\bullet}_{D_{A^{\prime}}}$. With respect to $(e_{j})_{j}$,
$\Phi_{\alpha}:=\phi_{\alpha}^{-1}\circ\Phi\circ\phi_{\alpha}$ is a matrix
valued in $\mathcal{O}(U_{\alpha}\otimes A)$ such that

$\Phi_{\alpha}|_{D_{A}}=\begin{pmatrix}(\xi_{1}\otimes_{A^{\prime}}A)\otimes\textrm{Id}_{\mathcal{O}_{D_{A}}^{\oplus
m_{1}}}&\ast&\cdots&\ast\\\
0&(\xi_{2}\otimes_{A^{\prime}}A)\otimes\textrm{Id}_{\mathcal{O}_{D_{A}}^{\oplus
m_{2}}}&\cdots&\vdots\\\ \vdots&\vdots&\ddots&\ast\\\
0&0&\cdots&(\xi_{l}\otimes_{A^{\prime}}A)\otimes\textrm{Id}_{\mathcal{O}_{D_{A}}^{\oplus
m_{l}}}\end{pmatrix}$

Since each entry is an element of $\mathcal{O}(U_{\alpha}\otimes A)$, we can
find a lift $\Phi^{\prime}_{\alpha}$ of the matrix $\Phi_{\alpha}$ which is a
matrix valued in $\mathcal{O}(U_{\alpha}\otimes A^{\prime})$ such that

$\Phi^{\prime}_{\alpha}|_{D_{A^{\prime}}}=\begin{pmatrix}\xi_{1}\otimes\textrm{Id}_{\mathcal{O}_{D_{A^{\prime}}}^{\oplus
m_{1}}}&\ast&\cdots&\ast\\\
0&\xi_{2}\otimes\textrm{Id}_{\mathcal{O}_{D_{A^{\prime}}}^{\oplus
m_{2}}}&\cdots&\vdots\\\ \vdots&\vdots&\ddots&\ast\\\
0&0&\cdots&\xi_{l}\otimes\textrm{Id}_{\mathcal{O}_{D_{A^{\prime}}}^{\oplus
m_{l}}}\end{pmatrix}$

and such that
$\det(\Phi^{\prime}_{\alpha})=(\varphi_{\alpha}\otimes\textrm{Id})^{-1}\circ\Phi^{L}\circ\varphi_{\alpha}$.
Therefore, we get a local irregular ${\underline{\xi}}$-parabolic Higgs bundle
$(\mathcal{E}_{\alpha},(\mathcal{E}_{\alpha})^{\bullet}_{D_{A^{\prime}}},{\Phi_{\alpha}})$
over $U_{\alpha}\otimes A^{\prime}$. If $p\not\in U_{\alpha}$, then we take a
lift $\Phi^{\prime}_{\alpha}$ of $\Phi_{\alpha}$ valued in
$\mathcal{O}(U_{\alpha}\otimes A^{\prime})$ such that
$\det(\Phi^{\prime}_{A})=(\varphi_{\alpha}\otimes\textrm{Id})\circ\Phi^{L}\circ\varphi_{\alpha}^{-1}$
and a quasi-parabolic structure is not needed for this open subset.

Then we shall argue that the obstruction to glue the local objects
$(\mathcal{E}_{\alpha},(\mathcal{E}_{\alpha})^{\bullet}_{D_{A^{\prime}}},\Phi_{\alpha})$
is given by a class in $\mathbb{H}^{2}$ of the following complex:

$\mathcal{D}^{\bullet}_{0}:\quad 0\to
PEnd_{0}(\overline{E}^{\bullet})\xrightarrow{[\overline{\Phi},\cdot]}SPEnd_{0}(\overline{E}^{\bullet})\otimes
K_{C}(D)\to 0$

where

$\displaystyle PEnd_{0}(\overline{E}^{\bullet})$
$\displaystyle=\\{f\in\mathcal{E}nd(\overline{E})|\quad
f|_{D}(\overline{E}^{i}_{D})\subset(\overline{E}^{i}_{D}),\textrm{Tr}(f)=0,\quad\forall
i\\}$ $\displaystyle SPEnd_{0}(\overline{E}^{\bullet})\otimes K_{C}(D)$
$\displaystyle=\\{f\in\mathcal{E}nd(\overline{E})|\quad
f|_{D}(\overline{E}^{i}_{D})\subset(\overline{E}^{i-1}_{D})\otimes
M_{D},\textrm{Tr}(f)=0,\quad\forall i\\}$

Denote by $U_{\alpha\beta}:=U_{\alpha}\cap U_{\beta}$ and
$U_{\alpha\beta\gamma}:=U_{\alpha}\cap U_{\beta}\cap U_{\gamma}$. For each
pair of $\alpha,\beta$, we choose a lift
$\theta_{\beta\alpha}:\mathcal{E}_{\alpha}|_{U_{\alpha\beta}}\xrightarrow{\sim}\mathcal{E}_{\beta}|_{U_{\alpha\beta}}$
of the transition function $\phi_{\beta}^{-1}\circ\phi_{\alpha}$, i.e.
$\theta_{\beta\alpha}\otimes A=\phi_{\beta}^{-1}\circ\phi_{\alpha}$, such that
$\varphi_{\beta}\circ\det(\theta_{\alpha\beta})=\varphi_{\alpha}$. Then we
define

$\displaystyle u_{\alpha\beta\gamma}$
$\displaystyle:=\phi_{\alpha}\circ(\theta_{\gamma\alpha}^{-1}\circ\theta_{\gamma\beta}\circ\theta_{\beta\alpha}-\textrm{Id})\circ\phi^{-1}_{\alpha};$
$\displaystyle v_{\alpha\beta}$
$\displaystyle:=\phi_{\alpha}\circ(\Phi^{\prime}_{\alpha}-\theta_{\alpha\beta}^{-1}\circ\Phi^{\prime}_{\beta}\circ\theta_{\alpha\beta})\circ\phi^{-1}_{\alpha}.$

One can check that
$u_{\alpha\beta\gamma}\in\Gamma(U_{\alpha\beta\gamma},PEnd_{0}(\overline{E}^{\bullet}))\otimes
I$ because $u_{\alpha\beta\gamma}$ is an endomorphism of parabolic bundles
$(\mathcal{E}|_{U_{\alpha\beta\gamma}\otimes
A^{\prime}},\mathcal{E}_{D_{A^{\prime}}}^{\bullet})$ with fixed determinant
whose restriction to $A$ vanishes. Similarly, we have
$v_{\alpha\beta}\in\Gamma(U_{\alpha\beta},SPEnd_{0}(\overline{E}^{\bullet})\otimes
M)\otimes I.$ Hence, we have

$\\{u_{\alpha\beta\gamma}\\}\in
C^{2}(\\{U_{\alpha}\\},PEnd_{0}(\overline{E}^{\bullet}))\otimes
I,\quad\\{v_{\alpha\beta}\\}\in
C^{1}(\\{U_{\alpha}\\},SPEnd_{0}(\overline{E}^{\bullet}))\otimes I.$

It can be checked that $\\{u_{\alpha\beta\gamma}\\}$ and
$\\{v_{\alpha\beta}\\}$ uniquely define an obstruction class
$\omega(\\{u_{\alpha\beta\gamma}\\},\\{v_{\alpha\beta}\\})\in\mathbb{H}^{2}(\mathcal{D}^{\bullet}_{0})$.
Moreover, it is clear from the construction that
$\omega(\\{u_{\alpha\beta\gamma}\\},\\{v_{\alpha\beta}\\})$ vanishes if and
only if the local objects
$\\{(\mathcal{E}_{\alpha},(\mathcal{E}_{\alpha})^{\bullet}_{D_{A^{\prime}}},\Phi_{\alpha})\\}$
can be glued to
$(\widetilde{\mathcal{E}},\widetilde{\mathcal{E}}^{\bullet}_{D_{A^{\prime}}},\widetilde{\Phi})\in\mathfrak{H}(C,D;r,d,\underline{\alpha},\underline{m})(A^{\prime})$
such that
$\det(\widetilde{\mathcal{E}},\widetilde{\mathcal{E}}^{\bullet}_{D_{A^{\prime}}},\widetilde{\Phi})=((L,\Phi^{L}),{\underline{\xi}})$.
Therefore, the lifting of $p$ in the diagram 2 is equivalent to the vanishing
of $\omega(\\{u_{\alpha\beta\gamma}\\},\\{v_{\alpha\beta}\\}).$

By Serre duality,
$\mathbb{H}^{2}(\mathcal{D}_{0}^{\bullet})\cong\mathbb{H}^{0}(\check{\mathcal{D}}_{0}^{\bullet})^{\vee}$
where $\check{\mathcal{D}}^{\bullet}_{0}$ is the Serre dual of
$\mathcal{D}^{\bullet}_{0}$

$\check{\mathcal{D}}^{\bullet}_{0}:SPEnd_{0}(\overline{E}^{\bullet})^{\vee}\otimes\mathcal{O}_{C}(-D)\to
PEnd_{0}(\overline{E}^{\bullet})^{\vee}\otimes K_{C}$

Since $\overline{E}_{D}^{\bullet}$ is assumed to have free successive
quotients, we have the following duality [Yok95, Proposition 3.7]

$SPEnd_{0}(\overline{E}^{\bullet})^{\vee}\cong
PEnd_{0}(\overline{E}^{\bullet})\otimes O_{C}(D)$

which implies that
$\mathcal{D}_{0}^{\bullet}\cong\check{\mathcal{D}}^{\bullet}_{0}$ and hence
$\mathbb{H}^{2}(\mathcal{D}^{\bullet}_{0})\cong\mathbb{H}^{0}(\mathcal{D}^{\bullet}_{0})^{\vee}$.
Since
$\mathbb{H}^{0}(\mathcal{D}^{\bullet}_{0})=\textrm{ker}(H^{0}(PEnd_{0}(\overline{E}^{\bullet}))\to
H^{0}(SPEnd_{0}(\overline{E}^{\bullet})))$ and
$H^{0}(PEnd_{0}(\overline{E}^{\bullet}))=0$ for an $\alpha$-stable parabolic
Higgs bundle $(\overline{E}^{\bullet},\Phi)$. Therefore, we conclude that
$\mathbb{H}^{2}(\mathcal{D}^{\bullet}_{0})=0$ and the morphism $\det$ is
formally smooth. ∎

######  Corollary 2.11.

The composition
$\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})\to\bm{\mathcal{H}}(C,D;1,d,\underline{m})\times_{\mathcal{N}(1,D)}\mathcal{N}(l,D)\to\mathcal{N}(l,D)$
is smooth. In particular, the fiber $P^{-1}({\underline{\xi}})$ is smooth for
any ${\underline{\xi}}\in\mathcal{N}(l,D)$.

###### Proof.

Note that $\bm{\mathcal{H}}(C,D;1,d,\underline{m})\to\mathcal{N}(1,D)$ can be
written as the composition
$\bm{\mathcal{H}}(C,D;1,d,\underline{m})\xrightarrow{f_{1}}\textrm{Pic}^{d}(C)\times\mathcal{N}(1,D)\xrightarrow{f_{2}}\mathcal{N}(1,D)$
where $f_{1}$ is an affine bundle with fibers $H^{0}(C,K_{C}(D))$
parametrizing $\Phi$ and $f_{2}$ is the projection. Both $f_{1},f_{2}$ are
clearly smooth morphisms, so
$\bm{\mathcal{H}}(C,D;1,d,\underline{m})\to\mathcal{N}(1,D)$ is smooth as
well. Combining with Proposition 2.10, it follows that the composition
$\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})\to\mathcal{N}(l,D)$
is smooth. ∎

###  2.2. Spectral correspondence

As mentioned in the introduction, the key idea to the study of the cohomology
of the moduli space of stable ${\underline{\xi}}$-irregular parabolic Higgs
bundles is to realize it as a moduli of sheaves on a holomorphic symplectic
surface with certain stability condition via the spectral correspondence of
[KS14] and [DDP18].

First we recall the construction of the holomorphic symplectic surface by
following [DDP18]. By abusing notation, we will also write $M$ as the total
space of the twisted canonical line bundle $K_{C}(D)$. Recall that the polar
parts of the Higgs fields are fixed by a choice of
$\underline{\xi}=(\xi_{1},...,\xi_{l})$ with $\xi_{i}\in H^{0}(D,M_{D})$,
which determines a set of divisors $\delta_{i}\subset M_{D}$ for $1\leq i\leq
l.$ We will call the choice of ${\underline{\xi}}$ generic if the leading
terms of $\xi_{i}$ are all distinct. More precisely, if we write
$\xi_{i}=\left(\lambda_{i,n}+\lambda_{i,n-1}z+...+\lambda_{i,1}z^{n-1}\right)\frac{dz}{z^{n}}$
where $\lambda_{i,k}\in\mathbb{C}$, then
$\lambda_{i,n}\neq\lambda_{i^{\prime},n}$ for $i\neq i^{\prime}$. In this
subsection, we will assume that the choice of ${\underline{\xi}}$ is generic.
Then we construct a quasi-projective surface $S_{\underline{\xi}}$ as follows:

  1. (1)

Let $\mathfrak{p}_{1,i}$ be the intersection point of $\delta_{i}$ and the
reduced fiber $M_{p}$. The points $\mathfrak{p}_{1,i}$ are distinct points in
$M$ under the genericity assumption. First, we simultaneously blow up the
surface $M$ at the (reduced) points $\mathfrak{p}_{1,i}$. Denote the resulting
surface by $M_{1}$ and the exceptional divisors by $\Xi_{1,i}$ for each $1\leq
i\leq l.$

  2. (2)

Suppose $n\geq 2$. For each $i$, let $\mathfrak{p}_{2,i}$ be the intersection
point of the strict transform of $\delta_{i}$ and the exceptional divisor
$\Xi_{1,i}$. Then we simultaneously blow up the surface $M_{1}$ at the
(reduced) points $\mathfrak{p}_{2,i}$. This simultaneous blow-up procedure is
then repeated $n-2$ times. The resulting blown-up surface will be denoted by
$T_{\underline{\xi}}$ and it contains the exceptional divisors $\Xi_{n,i}$ and
the strict transform of the divisors (also denoted by) $\Xi_{a,i}$ for $1\leq
a\leq n-1$ and $1\leq i\leq l.$

  3. (3)

Let $f$ be the strict transform of the fiber $M_{p}\subset M$ in
$T_{\underline{\xi}}$. Then we obtain the surface
$S_{\underline{\xi}}=T_{\underline{\xi}}\setminus(f+\sum_{i=1}^{l}\sum_{a=1}^{n-1}\Xi_{a,i}).$

Let $\overline{M}=\mathbb{P}(M\oplus\mathcal{O})$ be the projective completion
of $M$. We can apply the same blow-up procedure on $\overline{M}$ and get a
projective surface $Z_{\underline{\xi}}$. Then $S_{\underline{\xi}}\subset
T_{{\underline{\xi}}}\subset Z_{\underline{\xi}}$.

######  Proposition 2.12.

The surface $S_{\xi}$ is holomorphic symplectic. In other words, It has a
trivial canonical line bundle and has a natural compactification by a
projective surface $Z_{\underline{\xi}}$.

###### Proof.

The canonical divisor of $T_{\xi}$ is given by

$K_{T_{\underline{\xi}}}=-nf-\sum_{i=1}^{l}\sum_{a=1}^{n}(n-a)\Xi_{a,i}.$

Note that the divisors $\Xi_{n,i}$ appear with multiplicity 0 in the
expression, so the canonical divisor of the complement $S_{\underline{\xi}}$
of $f+\sum_{i=1}^{l}\sum_{a=1}^{n-1}\Xi_{a,i}$ in $T_{\underline{\xi}}$ is
trivial.

∎

We will be interested in the moduli space of pure dimension one sheaves
supported in $S_{\underline{\xi}}$ with some fixed topological invariants and
an appropriate stability condition. To set this up, we first consider the
topological invariants. Let
$\Delta_{i}=\sum_{a=1}^{n}a\Xi_{a,i}\in\textrm{Pic}(Z_{\underline{\xi}})$. Let
$\Sigma_{0}$ be the strict transform of the zero section $C_{0}$ in $M$. If
the support of a pure dimension one sheaf on $Z_{\underline{\xi}}$ is entirely
in $S_{\underline{\xi}}$, the class of its support $\textrm{ch}_{1}(F)$ must
satisfy the following conditions on the intersection numbers:

$\textrm{ch}_{1}(F)\cdot f=0,\quad\textrm{ch}_{1}(F)\cdot\Xi_{a,i}=0\textrm{
for }a<n,1\leq i\leq l$

It is easy to check that such a class must be of the form
$\Sigma_{\underline{m}}=r\Sigma_{0}-\sum^{l}_{i=1}m_{i}\Delta_{i}$ where
$r\geq 1$ and ${\underline{m}}=(m_{1},...,m_{l})\in\mathbb{Z}_{\geq 0}^{\times
l}$ such that $\sum_{i=1}^{l}m_{i}=r$. Note that

$\Sigma_{\underline{m}}\cdot\Xi_{n,i}=m_{i}\textrm{ for }1\leq i\leq l$

The stability condition we need will be a slight modification of the usual
Gieseker stability condition of coherent sheaves. We review the definition of
$\beta$-twisted $A$-Gieseker semistablity condition used in [MW97] and [BM14,
Section 5]. Let $X$ be a smooth projective surface and $\beta,A\in
NS(X)_{\mathbb{Q}}$ with $A$ ample. We define the $\beta$-twisted Chern
character of $F\in\textrm{Coh}(X)$ to be
$\textrm{ch}^{\beta}(F):=\textrm{ch}(F)\cup\exp(\beta)\in
H^{*}(X,\mathbb{Q})$. Then the $\beta$-twisted Hilbert polynomial is defined
to be

$P_{\beta}(F,t)=\int_{X}\textrm{ch}^{\beta}(F(t))\textrm{Td}_{X}.$

Note that when $F$ is a torsion sheaf i.e. $\textrm{ch}_{0}(F)=0$, we have

$P_{\beta}(F,t)=\int_{X}\textrm{ch}(F(t))\textrm{Td}_{X}+\int_{X}\beta\cdot\textrm{ch}_{1}(F(t))=P(F,t)+\int_{X}\beta\cdot\textrm{ch}_{1}(F(t))$

where $P(F,t)$ denotes the usual Hilbert polynomial. In particular,
$P_{\beta}(F,t)=P(F,t)$ when $\beta=0$. Let $l(F)/d!$ be the leading
coefficient of $P_{\beta}(F,t)$. Define the reduced $\beta$-twisted Hilbert
polynomial as $p_{\beta}(F,t)=P_{\beta}(F,t)/l(F)$. Note that the leading
coefficients of $P_{\beta}(F,t)$ and $P(F,t)$ are the same.

######  Definition 2.13.

A coherent sheaf $F$ on $X$ is said to be $\beta$-twisted $A$-Gieseker
(semi)stable if it has support of pure dimension and for any proper subsheaf
$F^{\prime}\subset F$, one has

$p_{\beta}(F^{\prime},t)<p_{\beta}(F,t)\quad\textrm{ for }t\gg
0,\quad(\textrm{resp. }\leq)$

In our case, we will need to make a choice of $\beta$ and an ample line bundle
$A$ on $Z_{\underline{\xi}}$.

  * •

(A choice of $\beta$) For a set of rational numbers
$1>\beta_{1}>...>\beta_{l}\geq 0$, we choose
$\beta=\sum_{i=1}^{l}\beta_{i}\Xi_{n,i}$ on
$NS(Z_{\underline{\xi}})_{\mathbb{Q}}$. Then note that
$\beta\cdot\Sigma_{\underline{m}}=b_{i}\Xi_{n,i}\cdot(-m_{i}n\Xi_{n,i}-m_{i}(n-1)\Xi_{n-1,i})=-\beta_{i}m_{i}(-n+(n-1))=\beta_{i}m_{i}$.

  * •

(A choice of $A$) Let $\pi:Z_{\underline{\xi}}\to C$ be the composition of the
blow-up morphism $Z_{\underline{\xi}}\to\overline{M}$ and the projection map
$q:\overline{M}\to C$. Note that there exists an integer $k$ large enough such
that $D_{0}:=kq^{-1}(p)+C_{\infty}$ is ample on $\overline{M}$ where
$C_{\infty}$ is the infinity divisor. Then by the result of [Küc96], we can
always choose $k_{1}$ large enough such that the divisor
$D_{1}:=k_{1}\pi_{1}^{*}D_{0}-\sum_{i=1}^{l}\Xi_{1,i}$ is ample, where
$\pi_{1}:\overline{M_{1}}\to\overline{M}$ is the initial blow-up map. Proceed
inductively, we see that there exists $k_{n}$ large enough such that
$D_{n}:=k_{n}\pi_{n}^{*}D_{n-1}-\sum_{i=1}^{l}\Xi_{n,i}$ is ample. Hence, the
restriction of the ample divisor $D_{n}$ to $S_{\underline{\xi}}$ can be
written as $A:=\kappa(\sum_{i=1}^{l}\Xi_{n,i})=\pi^{*}(\kappa p)$ for some
large enough $\kappa.$

Now we are ready to state the spectral correspondence due to Kontsevich-
Soibelman [KS14, Section 8.3] and Diaconescu-Donagi-Pantev [DDP18, Section
3.4]:

######  Theorem 2.14 (Spectral correspondence).

Fix the numerical data: $r\geq 1,d\in\mathbb{Z}$,
$1>\alpha_{1}>...>\alpha_{l}\geq 0$ (each $\alpha_{i}\in\mathbb{Q})$,
$m_{1},...,m_{l}\in\mathbb{Z}\geq 0$ such that $\sum_{i=1}^{l}m_{i}=r$. For a
generic choice of ${\underline{\xi}}$, there is an isomorphism between

  * •

the moduli stack
$\mathfrak{H}_{\underline{\xi}}(C,D;r,d,\underline{\alpha},\underline{m})$ of
semistable irregular ${\underline{\xi}}$-parabolic Higgs bundles on $C$ of
rank $r$, degree $d$, parabolic weights
$\underline{\alpha}=(\alpha_{1},...,\alpha_{l})$, flag type
$\underline{m}=(m_{1},..,m_{l})$;

  * •

the moduli stack
$\mathfrak{M}(S_{\underline{\xi}};(0,\Sigma_{\underline{m}},c),\beta,A)$ of
$\beta$-twisted $A$-Gieseker semistable compactly supported pure dimension one
sheaves $F$ on $S_{\underline{\xi}}$ with
$(\textrm{ch}_{0}(F),\textrm{ch}_{1}(F),\textrm{ch}_{2}(F))=(0,\Sigma_{\underline{m}},c)$
where $\Sigma_{\underline{m}}=r\Sigma_{0}-\sum^{l}_{i=1}m_{i}\Delta_{i}$;

such that $\alpha_{i}=\beta_{i}/n,d=c+r(g-1)$.

###### Proof.

See Appendix A. ∎

######  Remark 2.15.

By the spectral correspondence, for generic ${\underline{\xi}}$, one can also
construct the coarse moduli space of
$\mathfrak{H}_{\underline{\xi}}(C,D;r,d,\underline{\alpha},\underline{m})\cong\mathfrak{M}(S_{\underline{\xi}};(0,\Sigma_{\underline{m}},c),\beta,A)$
as an open subset of the coarse moduli space $\mathcal{M}_{\underline{\xi}}$
of the moduli stack of $\beta$-twisted $A$-Gieseker semistable sheaves on the
surface $Z_{\underline{\xi}}$. With the same numerical data as in Theorem
2.14, it follows from Theorem 2.14 that the coarse moduli space of stable
irregular ${\underline{\xi}}$-parabolic Higgs bundles
$\mathcal{H}_{\underline{\xi}}:=P^{-1}({\underline{\xi}})$ is isomorphic to an
open subset of $\mathcal{M}_{\underline{\xi}}.$

##  3\. Cohomology

###  3.1. Cohomology of the holomorphic symplectic surface

As a preparation for the next section, we compute (the mixed Hodge structure
of) the cohomology of the surface $S_{\underline{\xi}}$. Recall that
$\overline{M}=\mathbb{P}(M\oplus\mathcal{O})$ and
$\rho:Z_{\underline{\xi}}\to\overline{M}$ is the iterated blow-up introduced
in Section 2.2. The surface $S_{\underline{\xi}}$ is defined by the complement
of the divisor
$Y_{\underline{\xi}}:=C_{\infty}+f+\sum^{l}_{i=1}\sum^{n-1}_{a=1}\Xi_{a,i}$,
so $Y_{\underline{\xi}}=Z_{\underline{\xi}}\setminus S_{{\underline{\xi}}}.$
Denote $\iota:S_{\underline{\xi}}\to Z_{\underline{\xi}}$ the canonical
inclusion and $q:S_{\underline{\xi}}\to C$ be the projection. By the blow-up
formula, the cohomology of $Z_{\underline{\xi}}$ is given by

$H^{k}(Z_{\underline{\xi}},\mathbb{Q})=\begin{cases}H^{2}(\overline{M})\oplus\left(\bigoplus_{1\leq
a\leq m_{i},1\leq i\leq l}\mathbb{Q}[\Xi_{a,i}]\right),\quad&k=2\\\
H^{k}(\overline{M},\mathbb{Q})=(H^{*}(C,\mathbb{Q})\otimes
H^{*}(\mathbb{P}^{1},\mathbb{Q}))^{k},\quad&k\neq 2\end{cases}$

######  Proposition 3.1.

The cohomology of the surface $S_{\underline{\xi}}$ is given by

$H^{*}(S_{\underline{\xi}},\mathbb{Q})\cong
H^{*}(C,\mathbb{Q})\oplus\left(\bigoplus_{i=1}^{l}\mathbb{Q}\left[\Xi_{n,i}\right]\right)$

where we write $\left[\Xi_{n,i}\right]:=\iota^{*}\left[\Xi_{n,i}\right]$ by
abusing notation.

###### Proof.

We denote the complement $Z_{\underline{\xi}}\setminus S_{\underline{\xi}}$ by
$Y_{\underline{\xi}}$. By the Mayer-Vietoris sequence, the cohomology of
$Y_{\underline{\xi}}$ is given by

$H^{k}(Y_{\underline{\xi}},\mathbb{Q})=\begin{cases}\mathbb{Q},\quad&k=0\\\
\mathbb{Q}^{2g},\quad&k=1\\\ \mathbb{Q}^{l(n-1)+2},\quad&k=2\end{cases}$

Then we have the long exact sequence

$\begin{array}[]{c|ccc}&H^{k}_{c}(S_{{\underline{\xi}}},\mathbb{Q})&H^{k}(Z_{\underline{\xi}},\mathbb{Q})&H^{k}(Y_{\underline{\xi}},\mathbb{Q})\\\
\hline\cr k=0&0&\mathbb{Q}&\mathbb{Q}\\\
k=1&0&\mathbb{Q}^{2g}&\mathbb{Q}^{2g}\\\
k=2&?&\mathbb{Q}^{nl+2}&\mathbb{Q}^{l(n-1)+2}\\\ k=3&?&\mathbb{Q}^{2g}&0\\\
k=4&\mathbb{Q}&\mathbb{Q}&0\end{array}$

By iteratively applying Lefschetz hyperplane theorem, one can see that the
morphism $H^{k}(Z_{\underline{\xi}},\mathbb{Q})\to
H^{k}(Y_{\underline{\xi}},\mathbb{Q})$ is surjective for $k<2$, hence
$\mathbb{Q}\to\mathbb{Q}$ and $\mathbb{Q}^{2g}\to\mathbb{Q}^{2g}$ in the first
and second rows are isomorphisms. Also, clearly
$H^{4}_{c}(S_{\underline{\xi}},\mathbb{Q})=\mathbb{Q}$. To determine
$H^{k}_{c}(S_{\underline{\xi}},\mathbb{Q})$ for $k=2,3$, it suffices to show
that the pullback map $H^{2}(Z_{\underline{\xi}},\mathbb{Q})\to
H^{2}(Y_{\underline{\xi}},\mathbb{Q})$ is surjective. Note that
$H^{2}(Y_{\underline{\xi}},\mathbb{Q})$ can be written as a direct sum of the
second cohomology group of each component, which belongs to the image of the
pullback map. Therefore we have
$H^{2}_{c}(S_{\underline{\xi}},\mathbb{Q})=\mathbb{Q}^{l}$ and
$H^{3}_{c}(S_{\underline{\xi}},\mathbb{Q})=\mathbb{Q}^{2g}$. Now the
proposition follows from Poincaré duality.

∎

Recall that the pure part of the cohomology of a variety $X$ is defined to be
$H^{k}_{\textrm{pure}}(X,\mathbb{Q}):=\textrm{Gr}^{W}_{k}H^{k}(X,\mathbb{Q})$
with respect to the mixed Hodge structure on $H^{k}(X,\mathbb{Q}).$ In
particular, when $X$ is smooth, the direct sum of the pure part
$H^{*}(X,\mathbb{Q})$ is a subalgebra of $H^{*}(X,\mathbb{Q})$ since
$\textrm{Gr}^{W}_{k}H^{k}(X,\mathbb{Q})=W_{k}H^{k}(X).$ Alternatively, if
$i:X\hookrightarrow\overline{X}$ is any smooth compactification, then
$H^{*}_{\textrm{pure}}(X,\mathbb{Q})$ can also be defined as the image of the
homomorphism $i^{*}:H^{*}(\overline{X})\to H^{*}(X).$

Coming back to the previous case, it is easy to see that
$H^{2}(Z_{\underline{\xi}},\mathbb{Q})=H^{2}_{\textrm{pure}}(Z_{\underline{\xi}},\mathbb{Q})$.
Moreover, in the proof of Proposition 3.1, the long exact sequence of
cohomology groups of the pair $(Z_{\underline{\xi}},Y_{\underline{\xi}})$ is
compatible with mixed Hodge structures and we showed that the restriction
morphism $H^{k}(Z_{\underline{\xi}})\to H^{k}(Y_{\underline{\xi}})$ is
surjective for all $k\geq 0$. This implies that
$\textrm{Gr}^{W}_{q}H^{k}_{c}(S_{\underline{\xi}},\mathbb{Q})=0$ except for
$q=k$, hence we have
$H^{*}_{c,\textrm{pure}}(S_{\underline{\xi}})=H_{c}^{*}(S_{\underline{\xi}})$.
By Poincaré duality, we have the following proposition.

######  Proposition 3.2.

The cohomology of the surface $S_{\underline{\xi}}$ is of pure type. In other
words,
$H^{*}_{\textrm{pure}}(S_{\underline{\xi}},\mathbb{Q})=H^{*}(S_{\underline{\xi}},\mathbb{Q})$.

###  3.2. Generators

In this section, we study the cohomology of the moduli space
$\mathcal{H}_{\underline{\xi}}:=P^{-1}({\underline{\xi}})$ for a generic
${\underline{\xi}}.$ Assume that $r,d$ are coprime such that there exist a
universal bundles $\mathcal{E}_{\underline{\xi}}$ on
$\mathcal{H}_{\underline{\xi}}\times C$ and a universal flag of subbundles
$\mathcal{E}^{\bullet}_{\mathcal{H}_{\underline{\xi}}\times
D}:0=\mathcal{E}^{0}_{\mathcal{H}_{\underline{\xi}}\times
D}\subset...\subset\mathcal{E}^{l}_{\mathcal{H}_{\underline{\xi}}\times
D}=(\mathcal{E}_{{\underline{\xi}}})|_{\mathcal{H}_{\underline{\xi}}\times D}$
on $\mathcal{H}_{\underline{\xi}}\times D$. Let
$\mathcal{E}^{\bullet}_{\mathcal{H}_{\underline{\xi}}\times
p}:0=\mathcal{E}^{0}_{\mathcal{H}_{\underline{\xi}}\times
p}\subset...\subset\mathcal{E}^{l}_{\mathcal{H}_{\underline{\xi}}\times
p}=(\mathcal{E}_{{\underline{\xi}}})|_{\mathcal{H}_{\underline{\xi}}\times p}$
be the restriction of
$\mathcal{E}^{\bullet}_{\mathcal{H}_{\underline{\xi}}\times D}$ to
$\mathcal{H}_{\underline{\xi}}\times\\{p\\}=\mathcal{H}_{\underline{\xi}}$,
then we define the vector bundle
$Q_{\underline{\xi}}^{i}=\mathcal{E}^{i}_{\mathcal{H}_{\underline{\xi}}\times
p}/\mathcal{E}^{i-1}_{\mathcal{H}_{\underline{\xi}}\times p}$ on
$\mathcal{H}_{\underline{\xi}}$.

Let $\mathcal{M}_{\underline{\xi}}$ to be the moduli space of $\beta$-twisted
$A$-Gieseker stable sheaves on $Z_{\underline{\xi}}$ with fixed Chern
characters
$(\textrm{ch}_{0}(F),\textrm{ch}_{1}(F),\textrm{ch}_{2}(F))=(0,\Sigma_{\underline{m}},c)$
where $\Sigma_{\underline{m}}=r\Sigma_{0}-\sum^{l}_{i=1}m_{i}\Delta_{i}$.
Assume that $\beta$ and $A$ are chosen generic enough such that every
$\beta$-twisted $A$-Gieseker semistable sheaf is $\beta$-twisted $A$-Gieseker
stable. In particular, $\mathcal{M}_{\underline{\xi}}$ is projective.
Moreover, the moduli space $\mathcal{H}_{\underline{\xi}}$ is an open subset
in $\mathcal{M}_{{\underline{\xi}}}$ via the spectral correspondence. Since
the ample divisor $A$ is chosen such that $A$ restricted to
$S_{\underline{\xi}}$ is $\pi^{*}(\kappa p)$ for some sufficiently large
$\kappa$, we have $P(F,t)=P(\pi_{*}F,\kappa t)=r\kappa t+d+r(1-g)$ for each
$F\in\mathcal{M}_{\underline{\xi}}$. By applying [HL97, Corollary 4.6.6], the
assumption of $r$ and $d$ being coprime implies that there exists a universal
sheaf $\mathcal{F}_{\mathcal{M}_{{\underline{\xi}}}}$ on
$\mathcal{M}_{{\underline{\xi}}}\times Z_{\underline{\xi}}$. We will denote by
$\mathcal{F}$ its restriction to $\mathcal{H}_{\underline{\xi}}\times
Z_{\underline{\xi}}$.

######  Proposition 3.3.

The Künneth components of the Chern classes of $\mathcal{F}$ generate
$H_{\textrm{pure}}^{*}(\mathcal{H}_{\underline{\xi}},\mathbb{Q}).$

###### Proof.

Let
$H^{*}_{\textrm{ch}(\mathcal{F})}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})\subset
H^{*}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$ be the subring generated by
the Künneth component of the Chern classes of $\mathcal{F}$. Then it is clear
that
$H^{*}_{\textrm{ch}(\mathcal{F})}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})\subset
H^{*}_{\textrm{pure}}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$. Recall that
each $F\in\mathcal{H}_{{\underline{\xi}}}$ viewed as a $\beta$-twisted
$A$-Gieseker stable sheaf via the spectral correspondence is supported on the
open surface $S_{{\underline{\xi}}}\subset Z_{{\underline{\xi}}}$ and
$S_{{\underline{\xi}}}$ is holomorphic symplectic. In particular, we have
$F\otimes K_{Z_{{\underline{\xi}}}}\cong F\otimes
K_{S_{{\underline{\xi}}}}\cong F.$ Then this is the setup where we can apply
the argument and result of Markman [Mar02, Section 4].

If $G$ is another $\beta$-twisted $A$-Gieseker stable sheaf in
$\mathcal{M}_{{\underline{\xi}}}$, we have

(3) $\displaystyle\textrm{Ext}^{2}_{Z_{{\underline{\xi}}}}(F,G)$
$\displaystyle\cong\textrm{Hom}(G,F\otimes
K_{Z_{{\underline{\xi}}}})^{\vee}\cong\textrm{Hom}(G,F)^{\vee};$ (4)
$\displaystyle\textrm{Ext}^{2}_{Z_{{\underline{\xi}}}}(G,F)$
$\displaystyle\cong\textrm{Hom}(F,G\otimes
K_{Z_{{\underline{\xi}}}})^{\vee}\cong\textrm{Hom}(F\otimes
K_{Z_{{\underline{\xi}}}}^{-1},G)^{\vee}\cong\textrm{Hom}(F,G)^{\vee}.$

Let us denote by $\pi_{ij}$ the projection from
$\mathcal{M}_{{\underline{\xi}}}\times
Z_{{\underline{\xi}}}\times\mathcal{H}_{{\underline{\xi}}}$ to the product of
the $i$-th and $j$-th factors. For any flat projective morphism $f:X\to Y$ and
coherent sheaves $F_{1},F_{2}$ on $X$, we denote by
$\mathcal{E}xt^{i}_{f}(F_{1},F_{2}):=R^{i}f_{*}\mathcal{H}om(F_{1},F_{2})$ the
$i$-th relative extension sheaf on $Y$ and
$\mathcal{E}xt^{!}_{f}(F_{1},F_{2}):=\sum(-1)^{i}\mathcal{E}xt^{i}_{f}(F_{1},F_{2})$
the corresponding class in the Grothendieck group of $Y$. Then the identities
(3) and (4) above imply that the following relative extension sheaves

$\displaystyle\mathcal{E}xt^{2}_{\pi_{13}}(\pi_{12}^{*}\mathcal{F}_{\mathcal{M}_{{\underline{\xi}}}},\pi_{23}^{*}\mathcal{F}),\quad\mathcal{E}xt^{2}_{\pi_{13}}(\pi_{23}^{*}\mathcal{F},\pi_{12}^{*}\mathcal{F}_{\mathcal{M}_{{\underline{\xi}}}})$

are supported as line bundles on the graph
$\Delta\subset\mathcal{M}_{{\underline{\xi}}}\times\mathcal{H}_{{\underline{\xi}}}$
of
$\mathcal{H}_{\underline{\xi}}\hookrightarrow\mathcal{M}_{\underline{\xi}}$.
Then we can apply the proof of [Mar02, Theorem 1] verbatim to
$\Delta\subset\mathcal{M}_{\underline{\xi}}\times\mathcal{H}_{\underline{\xi}}$
to show that the class of $\Delta$ in the Borel-Moore homology is given by the
image of the Poincaré-duality map of

(5)
$c_{m}[-\mathcal{E}xt^{!}_{\pi_{13}}(\pi^{*}_{12}\mathcal{F}_{\mathcal{M}_{\underline{\xi}}},\pi^{*}_{23}\mathcal{F})].$

As remarked in [Mar02, Section 4], the argument for the equality (5) does not
require the smoothness of $\mathcal{M}_{\underline{\xi}}$.

Let
$f:\widetilde{\mathcal{M}_{{\underline{\xi}}}}\to\mathcal{M}_{\underline{\xi}}$
be a resolution of $\mathcal{M}_{\underline{\xi}}$ which is a then a smooth
compactification of $\mathcal{H}_{\underline{\xi}}$. Denote the inclusion by
$i:\mathcal{H}_{\underline{\xi}}\hookrightarrow\widetilde{\mathcal{M}_{\underline{\xi}}}$
and its graph by
$\widetilde{\Delta}\subset\widetilde{\mathcal{M}_{\underline{\xi}}}\times\mathcal{H}_{\underline{\xi}}$.
Let
$H^{*}_{\widetilde{\Delta}}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})\subset
H^{*}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$ be the linear subspace
spanned by the right hand Künneth components of the class of
$\widetilde{\Delta}$. Since
$H^{*}_{\textrm{pure}}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})=Im(H^{*}(\widetilde{\mathcal{M}_{\underline{\xi}}},\mathbb{Q})\to
H^{*}(\mathcal{H}_{\underline{\xi}},\mathbb{Q}))$, a standard argument [MN18,
Proposition 2.1] shows that
$H_{\textrm{pure}}^{*}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})\subset
H_{\widetilde{\Delta}}^{*}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$.
Finally, since $\Delta$ is pulled back to $\widetilde{\Delta}$ under the
natural map
$f\times\textrm{Id}:\widetilde{\mathcal{M}_{\underline{\xi}}}\times\mathcal{H}_{\underline{\xi}}\to\mathcal{M}_{\underline{\xi}}\times\mathcal{H}_{\underline{\xi}}$,
the class of $\widetilde{\Delta}$ is given by
$c_{m}[-\mathcal{E}xt^{!}_{\pi_{13}}((f\times\textrm{Id}\times\textrm{Id})^{*}\pi^{*}_{12}\mathcal{F}_{\mathcal{M}_{\underline{\xi}}},\pi^{*}_{23}\mathcal{F})].$
It follows that
$H^{*}_{\widetilde{\Delta}}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})\subset
H^{*}_{\textrm{ch}(\mathcal{F})}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$
(see [Mar02, Corollary 2]). Combining the inclusions of subrings, we conclude
that
$H^{*}_{\textrm{ch}(\mathcal{F})}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})=H^{*}_{\textrm{pure}}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$.
∎

Define the linear map

$\textrm{ch}_{\mathcal{F}}(-):H^{*}(Z_{\underline{\xi}},\mathbb{Q})\to
H^{*}(\mathcal{H}_{\underline{\xi}},\mathbb{Q}),\quad\alpha\mapsto
q_{\mathcal{H}_{\underline{\xi}},*}\\{\textrm{ch}(\mathcal{F})\cdot
q^{*}_{Z_{\underline{\xi}}}(\alpha\cdot\textrm{Td}_{Z_{\underline{\xi}}})\\}.$

Note that the Künneth components of the Chern classes of $\mathcal{F}$ in
$H^{k}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$ can always be expressed as
the projection of the image of $\textrm{ch}_{\mathcal{F}}(-)$ from
$H^{*}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$ to
$H^{k}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$. If $\alpha\in
K=\textrm{ker}(H^{*}(Z_{\underline{\xi}},\mathbb{Q})\to
H^{*}(S_{\underline{\xi}},\mathbb{Q}))$, then $\textrm{ch}(\mathcal{F})\cdot
q^{*}_{Z_{\underline{\xi}}}(\alpha)$ vanishes since the universal sheaf
$\mathcal{F}$ is supported on the open subset
$\mathcal{H}_{{\underline{\xi}}}\times
S_{\underline{\xi}}\subset\mathcal{H}_{{\underline{\xi}}}\times
Z_{\underline{\xi}}$. It follows that the map $\textrm{ch}_{\mathcal{F}}(-)$
factors through $H^{*}(Z_{\underline{\xi}},\mathbb{Q})/K\cong
H^{*}_{\textrm{pure}}(S_{\underline{\xi}})$ i.e. the pure part of
$H^{*}(S_{\underline{\xi}},\mathbb{Q})$, which is
$H^{*}(S_{\underline{\xi}},\mathbb{Q})$ itself due to Proposition 3.2. So we
can also write
$\textrm{ch}_{\mathcal{F}}(-):H^{*}(S_{\underline{\xi}},\mathbb{Q})\to
H^{*}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$. Since
$H^{*}(S_{\underline{\xi}},\mathbb{Q})\cong
H^{*}(C,\mathbb{Q})\oplus\bigoplus_{i=1}^{l}\mathbb{Q}[\Xi_{n,i}]$ by
Proposition 3.1, we are going to describe the image of each component under
$\textrm{ch}_{\mathcal{F}}(-)$.

Recall the following notations: $\pi:Z_{{\underline{\xi}}}\to C$ is the
composition of the blow-up morphism and the projection
$Z_{\underline{\xi}}\to\overline{M}\to C$. Let $\nu_{i}:\Xi_{n,i}\to
Z_{\underline{\xi}}$ be the closed embedding of the exceptional divisor for
$1\leq i\leq l.$ Denote by
$q_{\mathcal{H}_{\underline{\xi}}},q_{Z_{\underline{\xi}}}$ the projection
from $\mathcal{H}_{\underline{\xi}}\times Z_{\underline{\xi}}$ to the
corresponding factors and $p_{\mathcal{H}_{\underline{\xi}}},p_{C}$ the
projection from $\mathcal{H}_{\underline{\xi}}\times C$ to the corresponding
factors. The notation is summarized in the following diagram.

${\mathcal{H}_{\underline{\xi}}}$${\mathcal{H}_{\underline{\xi}}\times
Z_{\underline{\xi}}}$${Z_{\underline{\xi}}}$${\mathcal{H}_{\underline{\xi}}}$${\mathcal{H}_{\underline{\xi}}\times
C}$${C}$$\scriptstyle{q_{\mathcal{H}_{\underline{\xi}}}}$$\scriptstyle{\textrm{Id}\times\pi}$$\scriptstyle{q_{Z_{\underline{\xi}}}}$$\scriptstyle{\pi}$$\scriptstyle{p_{\mathcal{H}_{\underline{\xi}}}}$$\scriptstyle{p_{C}}$

######  Lemma 3.4.

Every element in the image
$\textrm{ch}_{\mathcal{F}}(H^{*}(C,\mathbb{Q}))\subset
H^{*}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$ can be written as a linear
combination of the Künneth components of the Chern classes of
$\mathcal{E}_{\underline{\xi}}$.

###### Proof.

Note that by the spectral correspondence,
$(\textrm{Id}\times\pi)_{*}\mathcal{F}=\mathcal{E}_{\underline{\xi}}$. Suppose
$\pi^{*}(x)\in H^{*}(S_{\underline{\xi}},\mathbb{Q})$ is a class from
$H^{*}(C,\mathbb{Q})$. Using
$q_{\mathcal{H}_{\underline{\xi}}}=p_{\mathcal{H}_{\underline{\xi}}}\circ(\textrm{Id}\times\pi)$
and $\pi\circ q_{Z_{\underline{\xi}}}=p_{C}\circ(\textrm{Id}\times\pi)$, we
have

$\displaystyle\textrm{ch}_{\mathcal{F}}(\pi^{*}(x))$
$\displaystyle=q_{\mathcal{H}_{\underline{\xi}},*}\\{\textrm{ch}(\mathcal{F})\cdot
q^{*}_{Z_{\underline{\xi}}}(\pi^{*}(x)\cdot\textrm{Td}_{Z_{\underline{\xi}}})\\}$
$\displaystyle=p_{\mathcal{H}_{\underline{\xi}},*}\circ(\textrm{Id}\times\pi)_{*}\\{\textrm{ch}(\mathcal{F})\cdot
q^{*}_{Z_{\underline{\xi}}}\textrm{Td}_{Z_{\underline{\xi}}}\cdot(\textrm{Id}\times\pi)^{*}p_{C}^{*}(x)\\}$
$\displaystyle=p_{\mathcal{H}_{\underline{\xi}},*}\\{(\textrm{Id}\times\pi)_{*}(\textrm{ch}(\mathcal{F})\cdot
q^{*}_{Z_{\underline{\xi}}}\textrm{Td}_{Z_{\underline{\xi}}})\cdot
p^{*}_{C}(x)\\}$
$\displaystyle=p_{\mathcal{H}_{\underline{\xi}},*}\\{\textrm{ch}(\mathcal{E}_{\underline{\xi}})\cdot
p_{C}^{*}\textrm{Td}_{C}\cdot p^{*}_{C}(x)\\}$

where we used the projection formula for the second equality and the
Grothendieck-Riemann-Roch theorem for the third equality.

∎

######  Lemma 3.5.

The image $\textrm{ch}_{\mathcal{F}}([\Xi_{n,i}])$ in
$H^{*}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$ is equal to
$\textrm{ch}(Q_{\underline{\xi}}^{i})$.

###### Proof.

Denote by
$\iota:\mathcal{H}_{\underline{\xi}}\times\\{p\\}\to\mathcal{H}_{\underline{\xi}}\times
C$ the inclusion and
$p^{\prime}_{\mathcal{H}_{\underline{\xi}}}:\mathcal{H}_{\underline{\xi}}\times\\{p\\}\to\mathcal{H}_{\underline{\xi}}$
the projection. Note that

$\textrm{ch}(Q_{\underline{\xi}}^{i})=p^{\prime}_{\mathcal{H}_{\underline{\xi}}*}\left\\{(p^{\prime}_{\mathcal{H}_{\underline{\xi}}})^{*}\textrm{ch}(Q_{\underline{\xi}}^{i})\right\\}=p_{\mathcal{H}_{\underline{\xi}},*}\iota_{*}\\{(p^{\prime}_{\mathcal{H}_{\underline{\xi}}})^{*}\textrm{ch}(Q_{\underline{\xi}}^{i})\\}=p_{\mathcal{H}_{\underline{\xi}}*}\left\\{\textrm{ch}\left(\iota_{*}Q_{\underline{\xi}}^{i}\right)\cdot
p^{*}_{C}\textrm{Td}_{C}\right\\}$

where we apply the Grothendieck-Riemann-Roch theorem to the last equality.

By the construction of the spectral correspondence and Remark A.1, we have

$\iota_{*}Q_{\underline{\xi}}^{i}\cong(\textrm{Id}\times\pi)_{*}(\mathcal{F}\otimes(\textrm{Id}\times\nu_{i})_{*}\mathcal{O}_{\mathcal{H}_{\underline{\xi}}\times\Xi_{n,i}})$

Then

$\displaystyle
p_{\mathcal{H}_{\underline{\xi}}*}\left\\{\textrm{ch}\left(\iota_{*}Q_{\underline{\xi}}^{i}\right)\cdot
p^{*}_{C}\textrm{Td}_{C}\right\\}$
$\displaystyle=p_{\mathcal{H}_{\underline{\xi}}*}\left\\{\textrm{ch}\left((\textrm{Id}\times\pi)_{*}(\mathcal{F}\otimes(\textrm{Id}\times\nu_{i})_{*}\mathcal{O}_{\mathcal{H}_{\underline{\xi}}\times\Xi_{n,i}})\right)\cdot
p^{*}_{C}\textrm{Td}_{C}\right\\}$
$\displaystyle=p_{\mathcal{H}_{\underline{\xi}}*}\left\\{(\textrm{Id}\times\pi)_{*}\left(\textrm{ch}(\mathcal{F}\otimes(\textrm{Id}\times\nu_{i})_{*}\mathcal{O}_{\mathcal{H}_{\underline{\xi}}\times\Xi_{n,i}})\cdot
q^{*}_{Z_{\underline{\xi}}}\textrm{Td}_{Z_{\underline{\xi}}}\right)\right\\}$
$\displaystyle=q_{\mathcal{H}_{\underline{\xi}}*}\\{\textrm{ch}(\mathcal{F})\cdot[\mathcal{H}_{\underline{\xi}}\times\Xi_{n,i}]\cdot
q^{*}_{Z_{\underline{\xi}}}\textrm{Td}_{Z_{\underline{\xi}}}\\}$
$\displaystyle=q_{\mathcal{H}_{\underline{\xi}}*}\\{\textrm{ch}(\mathcal{F})\cdot
q_{Z_{\underline{\xi}}}^{*}[\Xi_{n,i}]\cdot
q^{*}_{Z_{\underline{\xi}}}\textrm{Td}_{Z_{\underline{\xi}}}\\}=\textrm{ch}_{\mathcal{F}}([\Xi_{n,i}]).$

where the second equality follows from the Grothendieck-Riemann-Roch theorem
and the third inequality we use the fact that
$\textrm{ch}(f_{*}\mathcal{O}_{Y})=[Y]$ for a Cartier divisor
$f:Y\hookrightarrow X$. Therefore, the expressions above combine to give
$\textrm{ch}(Q_{\underline{\xi}}^{i})=\textrm{ch}_{\mathcal{F}}([\Xi_{n,i}])$.
∎

Combining Proposition 3.3 with the two previous lemmas, we obtain our main
theorem.

######  Theorem 3.6.

Let ${\underline{\xi}}$ be generic. The pure cohomology
$H^{*}_{pure}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$ is generated by the
Künneth components of the Chern classes of $\mathcal{E}_{\underline{\xi}}$ and
the Chern classes of $Q_{\underline{\xi}}^{i}$, where $1\leq i\leq l.$

###  3.3. Purity

In this section, we study the purity of the $\mathbb{Q}$-mixed Hodge structure
on $H^{*}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$ in the regular full-flag
case. For simplicity, we write
$\mathcal{H}={\bf\mathcal{H}}(C,p;r,d,\underline{\alpha},\underline{1})$,
$\mathcal{N}=\mathcal{N}(l,p)$, $P:\mathcal{H}\to\mathcal{N}$,
$\mathcal{H}_{\underline{\xi}}=P^{-1}({\underline{\xi}})$,
$\mathcal{M}=\mathcal{M}(C,p;r,d,{\underline{\alpha}},\underline{1})$ and
$\mathcal{M}_{0}=\mathcal{M}_{0}(C,p;r,d,{\underline{\alpha}},\underline{1})$.
Recall that by Proposition 2.8, we have $\mathcal{H}\cong\mathcal{M}$. Also,
by definition, we have $\mathcal{M}_{0}=P^{-1}(0)$.

######  Theorem 3.7.

In the regular full-flag case, for any ${\underline{\xi}}\in\mathcal{N}$, the
restriction morphism

$\iota_{\underline{\xi}}^{*}:H^{*}(\mathcal{H},\mathbb{Q})\to
H^{*}(\mathcal{H}_{\underline{\xi}},\mathbb{Q})$

is an isomorphism of $\mathbb{Q}$-mixed Hodge structures where
$\iota_{\underline{\xi}}:\mathcal{H}_{\underline{\xi}}\hookrightarrow\mathcal{H}$
is the canonical inclusion. In particular, both are of pure type.

The proof relies on the property of semi-projective varieties.

######  Definition 3.8.

[HR15, Definition 1.1.1] Let $X$ be a non-singular quasi-projective variety
over $\mathbb{C}$ with a $\mathbb{C}^{\ast}$-action. We call $X$ semi-
projective if the following two conditions hold:

  1. (1)

the fixed point set $X^{\mathbb{C}^{\ast}}$ is proper

  2. (2)

for every $x\in X$, the limit $\lim_{\lambda\to 0}\lambda x$ exists for
$\lambda\in\mathbb{C}^{\ast}$.

######  Proposition 3.9.

[HR15, Corollary 1.3.3] Let $X$ be a non-singular complex algebraic variety
and $f:X\to\mathbb{C}$ is a smooth morphism. Also, suppose that $X$ is semi-
projective with a $\mathbb{C}^{\ast}$-action making $f$ equivariant covering a
linear action of $\mathbb{C}^{\ast}$ on $\mathbb{C}$ with positive weight.
Then the fibers $X_{c}:=f^{-1}(c)$ have isomorphic cohomology supporting pure
mixed Hodge structures.

######  Lemma 3.10.

In the regular full-flag case, the relative moduli space $\mathcal{H}$ is
semi-projective.

###### Proof.

First, note that we have a natural scaling $\mathbb{C}^{\ast}$-action on
$\mathcal{H}$: for $t\in\mathbb{C}^{\ast}$,
$(E,E_{D}^{\bullet},\alpha,\Phi)\in\mathcal{H}$, the action is defined as
$t\cdot(E,E_{D}^{\bullet},\alpha,\Phi):=(E,E_{D}^{\bullet},\alpha,t\Phi)$.
Similarly, there is a scaling $\mathbb{C}^{\ast}$-action on $\mathcal{M}$ such
that the isomorphism $\mathcal{H}\cong\mathcal{M}$ we showed in Proposition
2.8 is compatible with these scaling $\mathbb{C}^{\ast}$-actions. The
conclusion follows from the properness of the Hitchin morphism $h$ [Yok93,
Corollary 5.12] which shows that $\mathcal{M}$ is semi-projective with respect
to the scaling $\mathbb{C}^{\ast}$-action. ∎

###### Proof of Theorem 3.7.

By iteratively applying Proposition 3.9 to the canonical morphism
$P:\mathcal{H}\to\mathcal{N}$, we achieve the purity of the $\mathbb{Q}$-mixed
Hodge structure on $H^{*}(\mathcal{H}_{\underline{\xi}})$ for any
${\underline{\xi}}\in\mathcal{N}$. Since $P$ is smooth by Corollary 2.11, the
pullback morphism

$\iota_{\underline{\xi}}^{*}:H^{*}(\mathcal{H})\to
H^{*}(\mathcal{H}_{\underline{\xi}})$

induced by the canonical inclusion
$\iota_{\underline{\xi}}:\mathcal{H}_{\underline{\xi}}\hookrightarrow\mathcal{H}$
is an isomorphism of $\mathbb{Q}$-mixed Hodge structures by the proof of
[HR15, Corollary 1.3.3]. This completes the proof. ∎

######  Remark 3.11.

In the work of Komyo [Kom17] and [Hau+22],a similar argument was used to show
that the cohomology of the coarse moduli space of regular parabolic Higgs
bundles is of pure type.

Following from Theorem 3.6, we have the following generation result for the
cohomology ring of the coarse moduli space of regular (strongly) parabolic
Higgs bundles of the full-flag type.

######  Corollary 3.12.

The cohomology of the coarse moduli space of stable regular parabolic (resp.
strongly parabolic) Higgs bundles $\mathcal{M}$ (resp. $\mathcal{M}_{0}$) of
the full-flag type is generated by the Künneth components of the Chern classes
of a universal bundle and the Chern classes of successive quotients of a
universal flag of subbundles.

###### Proof.

Recall that by Proposition 2.8, we have $\mathcal{H}\cong\mathcal{M}$. Choose
a generic ${\underline{\xi}}$ and denote by
$\iota^{\prime}_{{\underline{\xi}}}:\mathcal{H}_{\underline{\xi}}\to\mathcal{H}\xrightarrow{\sim}\mathcal{M}$
the composition. Let $\mathcal{E}$ be a universal bundle on $\mathcal{M}\times
C$ and $\mathcal{E}_{{\underline{\xi}}}$ be a universal bundle on
$\mathcal{H}_{\underline{\xi}}\times C$ such that
$(\iota^{\prime}_{\underline{\xi}}\times\textrm{Id})^{*}\mathcal{E}=\mathcal{E}_{\underline{\xi}}$.
Let $\mathcal{E}^{\bullet}_{\mathcal{M}\times p}$ (resp.
$\mathcal{E}^{\bullet}_{\mathcal{H}_{\underline{\xi}}\times p}$) be the
universal flag of subbundles of $\mathcal{E}$ (resp.
$\mathcal{E}_{\underline{\xi}}$) on $\mathcal{M}\times p$ (resp.
$\mathcal{H}_{\underline{\xi}}\times p$). Let
$Q^{i}:=\mathcal{E}^{i}_{\mathcal{M}\times
p}/\mathcal{E}^{i-1}_{\mathcal{M}\times p}$ and
$Q^{i}_{\underline{\xi}}:=\mathcal{E}^{i}_{\mathcal{H}_{\underline{\xi}}\times
p}/\mathcal{E}^{i-1}_{\mathcal{H}_{\underline{\xi}}\times p}$ be their
associated quotients respectively. Clearly,
$(\iota^{\prime}_{\underline{\xi}})^{*}\mathcal{E}^{\bullet}_{\mathcal{M}\times
p}=\mathcal{E}^{\bullet}_{\mathcal{H}_{\underline{\xi}}\times p}$ and
$Q^{i}_{\underline{\xi}}$ is isomorphic to
$(\iota^{\prime})_{\underline{\xi}}^{*}Q^{i}$. It is easy to see that the
left-hand Künneth components of the Chern classes of
$\mathcal{E}_{\underline{\xi}}$ in $H^{*}(\mathcal{H}_{\underline{\xi}})$ are
exactly the pullback of the left-hand Künneth components of the Chern classes
of $\mathcal{E}$ in $H^{*}(\mathcal{H})$ along
$\iota^{\prime}_{\underline{\xi}}\times\textrm{Id}$. Moreover, we have
$(\iota^{\prime}_{\underline{\xi}})^{*}\textrm{ch}(Q^{i})=\textrm{ch}((\iota^{\prime}_{\underline{\xi}})^{*}Q^{i})=\textrm{ch}(Q^{i}_{\underline{\xi}}).$
Since $(\iota^{\prime}_{\underline{\xi}})^{*}:H^{*}(\mathcal{M})\to
H^{*}(\mathcal{H}_{\underline{\xi}})$ is an isomorphism by Theorem 3.7, it
follows from the generation result of $H^{*}(\mathcal{H}_{\underline{\xi}})$
(Theorem 3.6) that $H^{*}(\mathcal{M})$ is also generated by the Künneth
components of the Chern classes of $\mathcal{E}$ and the Chern classes of
$Q^{i}$, where $1\leq i\leq l.$

For the case of the coarse moduli space $\mathcal{M}_{0}$ of stable regular
strongly parabolic Higgs bundles of the full-flag type, note that
$\mathcal{M}_{0}=P^{-1}(0)$. So Theorem 3.7 again implies that
$H^{*}(\mathcal{H})\cong H^{*}(\mathcal{M}_{0})$. Applying the same argument
as above shows the desired result. ∎

We conclude this section by explaining why the same method is not applicable
to study the purity when $n>1$. The issue is that
$\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})$ is not
neccessarily semi-projective because the locus of fixed point
$\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})^{\mathbb{C}^{\ast}}$
may not be proper: consider the morphism
$G:\bm{\mathcal{H}}(C,D;r,d,\underline{\alpha},\underline{m})\to\mathcal{M}(C,D;r,d,\underline{\alpha},\underline{m})$,
introduced in Remark 2.9. It is easy to see that $G$ is
$\mathbb{C}^{\ast}$-equivariant. Also, since the scaling
$\mathbb{C}^{\ast}$-action is equivariant with respect to the Hitchin morphism
$h:\mathcal{M}(C,D;r,d,\underline{\alpha},\underline{m})\to B$, the fixed
locus belongs to $P^{-1}(0)\cap h^{-1}(0)$. While $h^{-1}(0)$ is proper, the
intersection $P^{-1}(0)\cap h^{-1}(0)$ is in general open. This is because the
freeness condition on the successive quotients of the flag $E_{D}^{\bullet}$
is an open condition. For example, take $D=3p$, $\underline{m}=(3,3)$ and $E$
is a trivial bundle of rank $2$. The restriction $E_{D}$ is a free
$k[t]/t^{3}$-module of rank 2, $k[t]/t^{3}\oplus k[t]/t^{3}$. Let $\Phi$ be a
Higgs field whose local form at $D$ is

$\Phi|_{D}=\begin{bmatrix}0&t\\\ 0&0\end{bmatrix}$

Choose a filtration $0\subset E_{D}^{1}\subset E_{D}$ where
$E_{D}^{1}=(t^{2})\oplus(t)$. This filtration is preserved by $\Phi$ while the
quotient $E_{D}/E_{D}^{1}$ is not free.

On the other hand, for a generic ${\underline{\xi}}$, it can be shown that
that the freeness of successive quotients $E_{D}^{i}/E_{D}^{i-1}$ follows
automatically from the ${\underline{\xi}}$-parabolic condition. This implies
that $\mathcal{H}_{\underline{\xi}}$ is a closed subscheme in
$\mathcal{M}(C,D;r,d,\underline{\alpha},\underline{m})$.

######  Conjecture 3.13.

When $n>1$, the $\mathbb{Q}$-mixed Hodge structure on
$H^{*}(\mathcal{H}_{\underline{\xi}})$ is of pure type for any generic
${\underline{\xi}}$.

##  Appendix A Proof of spectral correspondence

In this appendix, we provide a proof of the spectral correspondence (Theorem
2.14) as presented in [DDP18] (in one direction) with a slight modification on
the stability conditions. We will follow the notations in Section 2.2.

Let
$F\in\mathfrak{M}(S_{\underline{\xi}};(0,\Sigma_{\underline{m}},c),\beta,A)$
be a pure dimension one sheaf on $S_{\underline{\xi}}$. Then we get a Higgs
bundle $E=\pi_{*}F$ on $C$ with Higgs field $\Phi:E\to E\otimes K_{C}(D)$
obtained from the direct image of the multiplication map $F\to
F\otimes\mathcal{O}_{S_{\underline{\xi}}}(\Sigma_{0})$. The filtration on
$E_{D}$ is obtained as follows. First, observe that there are the surjections
$p_{i-1}:F\twoheadrightarrow F\otimes\mathcal{O}_{n\Xi_{n,i}}$ for $1\leq
i\leq l.$ We can then define $F_{l-1}:=\textrm{ker}(p_{l-1}).$ Since the
divisors $\Xi_{n,i}$ are mutually disjoint, the composition
$F_{l-1}\xrightarrow{\iota_{l-1}}F\xrightarrow{p_{l-2}}F\otimes\mathcal{O}_{n\Xi_{n,l-1}}$
is also surjective and we define $F_{l-2}$ to be
$\textrm{ker}(p_{l-2}\circ\iota_{l-1})$ which is contained in $F_{l-1}$. By
constrction, we have $F_{l-1}/F_{l-2}=F\otimes\mathcal{O}_{n\Xi_{n,l-1}}$.
Repeating this construction, we obtain a filtration of sheaves

$F^{\bullet}:F_{0}\subset F_{1}\subset...\subset F_{l-1}\subset F$

such that $F_{i}/F_{i-1}\cong F\otimes\mathcal{O}_{n\Xi_{n,i}}$.

Since $\pi$ restricted to $S_{\underline{\xi}}$ is affine, the functor
$(\pi|_{S_{\underline{\xi}}})_{*}$ is exact. Since the sheaf $F$ is supported
in $S_{\underline{\xi}}$, applying the functor $\pi_{*}$ and tensoring with
$\mathcal{O}_{D}$ to the surjection $F\to F\otimes\mathcal{O}_{n\Xi_{n,l}}$,
we obtain the surjection

$q_{l-1}:E_{D}=(\pi_{*}F)_{D}\twoheadrightarrow\pi_{*}(F\otimes\mathcal{O}_{n\Xi_{n,l}})\otimes\mathcal{O}_{D}$

Note that
$\pi_{*}(F\otimes\mathcal{O}_{n\Xi_{n,l}})\otimes\mathcal{O}_{D}\cong\pi_{*}(F\otimes\mathcal{O}_{n\Xi_{n,l}})$
since $\pi_{*}(F\otimes\mathcal{O}_{n\Xi_{n,l}})=\mu_{*}(\pi_{*}\nu_{i}^{*}F)$
where $\mu:D\to C$ and $\nu_{i}:n\Xi_{n,i}\to Z_{\underline{\xi}}$ denote the
closed embeddings. We define $E^{l-1}_{D}:=\textrm{ker}(q_{l-1})\subset E_{D}$
as the first step in the filtration. The second step of the filtration is
induced from the surjection
$F_{l-1}\xrightarrow{\iota_{l-1}}F\xrightarrow{p_{l-2}}F\otimes\mathcal{O}_{n\Xi_{n,l-1}}$.
We apply $\pi_{*}$ followed by tensoring with $\mathcal{O}_{D}$ to
$p_{l-2}\circ\iota_{l-1}$ as before and obtain the surjection

$(E_{l-1})_{D}\to E_{D}\to\pi_{*}(F\otimes\mathcal{O}_{n\Xi_{n,l-1}})$

where $E_{l-1}:=\pi_{*}(F_{l-1})$. Since the composition $(E_{l-1})_{D}\to
E_{D}\xrightarrow{q_{l-1}}\pi_{*}(F\otimes\mathcal{O}_{n,\Xi_{n,l}})$ is zero,
the map $(E_{l-1})_{D}\to E_{D}$ factors through $E^{l-1}_{D}$. Then we define
$E^{l-2}_{D}:=\textrm{ker}(E^{l-1}_{D}\to
E_{D}\to\pi_{*}(F\otimes\mathcal{O}_{n\Xi_{n,l-1}}))$. Proceed iteratively, we
get a filtration

$E_{D}^{\bullet}:0\subset E^{1}_{D}\subset...\subset E^{l-1}_{D}\subset
E_{D}.$

Note that by construction
$E^{i}_{D}/E^{i-1}_{D}\cong\pi_{*}(F\otimes\mathcal{O}_{n\Xi_{n,i}}).$ Since
the Higgs field is induced from the multiplication map $F\to
F\otimes_{S_{\underline{\xi}}}\mathcal{O}_{{\underline{\xi}}}(\Sigma_{0})$
which preserves the filtration $F^{\bullet}$, it follows that the Higgs field
also preserves $E_{D}^{\bullet}$.

To see that $(E,E_{D}^{\bullet},\Phi)$ is ${\underline{\xi}}$-parabolic, we
write the Higgs field in local coordinate. Choose an affine coordinate chart
$(U,u,z)$ on $M$ with horizantal coordinate $z$ and vertical coordinate $u$
centered at the intersection between the zero section and $M_{p}$. Let $y\in
H^{0}(M,\rho^{*}M)$ be the tautological section. Then we can write

$y|_{U}=u\frac{dz}{z^{n}}$

where $dz/z^{n}$ is viewed as a local frame. Fix the integer $i$. It suffices
to check the condition (1) around the point $\mathfrak{p}_{1,i}$ and restrict
the simultaneous blow-up at $l$ points in each step to blowing up at a single
point each step. We denote the $n$ blow-ups by $U_{n}\to U_{n-1}\to...\to
U_{1}\to U$ and $(u_{j},z_{j})$, $j=1,...,n$, the affine coordinate for
$U_{j}$. Set $u_{0}=u,z_{0}=z$.

Each $\xi_{i}$ can be represented as

$\xi_{i}=\left(\lambda_{i,n}+\lambda_{i,n-1}z+...+\lambda_{i,1}z^{n-1}\right)\frac{dz}{z^{n}}$

where $\lambda_{i,k}\in\mathbb{C}$. Then the first blow-up is given in an
affine chart as

$u_{0}-\lambda_{i,n}=u_{1}z_{0},\quad z_{1}=z_{0}$

Similarly, for each $1\leq j\leq n$, we have

$u_{j}-\lambda_{i,n-j}=u_{j+1}z_{j},\quad z_{j}=z_{j+1}$

Combining the equations, we get that

$u=u_{1}z_{1}+\lambda_{i,n}=(u_{2}z_{2}+\lambda_{i,n-1})z_{2}+\lambda_{i,n}=...=u_{n}z_{n}^{n}+\lambda_{i,1}z^{n-1}_{n}+...+\lambda_{i,n-1}z_{n}+\lambda_{i,n},\quad
z=z_{n}$

The equations
$u=u_{n}z_{n}^{n}+\lambda_{i,1}z^{n-1}_{n}+...+\lambda_{i,n-1}z_{n}+\lambda_{i,n}$
and $z=z_{n}$ define the morphism between the affine neighbourhoods of $U_{n}$
and $U$. Note that

$u\frac{dz}{z^{n}}=u_{n}dz+\left(\lambda_{i,1}\frac{dz}{z}+...+\lambda_{i,n-1}\frac{dz}{z^{n-1}}+\lambda_{i,n}\frac{dz}{z^{n}}\right)$

The space of sections of $F$ in $U_{n}$ is a $\mathbb{C}[u_{n},z]$-module
$\Upsilon_{F}$. By [DDP18, Appendix A.3],
$\pi_{*}(F\otimes\mathcal{O}_{n\Xi_{n,i}})$ is a locally free
$\mathcal{O}_{D}$-module, which implies that its space of sections
$\Upsilon_{F}\otimes_{\mathbb{C}[u_{n},z]}\mathbb{C}[u_{n},z]/(z^{n})\cong
B^{\oplus m_{i}}$ where $B=\mathbb{C}[z]/(z^{n})$. Then the Higgs field
restricted to $D$ is a $B$-module homomorphism $\Phi_{D,i}:B^{\oplus m_{i}}\to
B^{\oplus m_{i}}\otimes dz/z^{n}$ given by multiplication by
$u\frac{dz}{z^{n}}$. But

$u=\lambda_{i,1}z^{n-1}_{n}+...+\lambda_{i,n-1}z_{n}+\lambda_{i,n}\qquad\textrm{mod
}B$

Therefore, multiplication by $udz/z^{n}$ is the same as multiplication by
$\xi_{i}\otimes\textrm{Id}_{B^{\oplus m_{i}}}$ and
$\Phi_{D,i}=\xi_{i}\otimes\textrm{Id}_{E^{i}_{D}/E^{i-1}_{D}}$. This concludes
the assignment of an irregular ${\underline{\xi}}$-parabolic Higgs bundle for
each
$F\in\mathfrak{M}(S_{\underline{\xi}};(0,\Sigma_{\underline{m}},c),\beta,A)$.
For the other direction, we refer the readers to [DDP18, Section 3.3].

The equivalence of the stability conditions of both sides can be seen as
follows. Recall that $\beta=\sum^{l}_{i=1}\beta_{i}\Xi_{n,i}$ for some choice
of $\beta_{i},1\leq i\leq l$. Then the difference between $P_{\beta}(F,t)$ and
$P(F,t)$ becomes

$\int_{X}\beta\cdot\textrm{ch}_{1}(F(t))=\int_{X}\beta\cdot\textrm{ch}_{1}(F)=\int\beta\cdot\Sigma_{\underline{m}}=\sum\beta_{i}m_{i}$

Moreover, note that
$nm_{i}=\chi(F\otimes\mathcal{O}_{n\Xi_{n,i}})=\chi(\pi_{*}(F\otimes\mathcal{O}_{n\Xi_{n,i}}))=\chi(E^{i}_{D}/E^{i-1}_{D})$.
If $\beta$ is chosen such that $\alpha_{i}=\beta_{i}/n$, then

(6)
$\int_{X}\beta\cdot\textrm{ch}_{1}(F(t))=\sum_{i=1}^{l}\alpha_{i}\chi(E^{i}_{D}/E^{i-1}_{D})$

Recall that the ample divisor $A$ is chosen such that $A$ restricted to
$S_{\underline{\xi}}$ is $\pi^{*}(\kappa p)$ for some sufficiently large
$\kappa$, so we have $P(F,t)=P(\pi_{*}F,\kappa t)$. Therefore, combining with
the equality (6) above combine yields

(7) $p_{\beta}(F,t)=\textrm{par-}P_{\alpha}(\pi_{*}F,\kappa t).$

Now, the proof in [DDP18, Section 3] also shows that under the correspondence,
proper coherent subsheaves $F^{\prime}$ of $F$ of pure dimension one on
$S_{\underline{\xi}}$ correspond to proper coherent subsheaves
$E^{\prime}=\pi_{*}F^{\prime}$ of $E=\pi_{*}F$ on $C$ preserved by $\Phi$ with
the induced filtration $F^{\prime\bullet}_{D}.$ Since scaling the variable in
a polynomial preserves the order, the equality (7) implies the equivalence of
the $\beta$-twisted $A$-Gieseker (semi)stability and the stability of
irregular parabolic Higgs bundles.

######  Remark A.1.

Note that if we replace $\mathcal{O}_{n\Xi_{n,i}}$ in the proof above by
$\mathcal{O}_{\Xi_{n,i}}$, then the construction of the filtration yields a
filtration of vector spaces $E^{\bullet}_{p}:0\subset
E^{1}_{p}\subset\dots\subset E^{l-1}_{p}\subset E_{p}$ such that
$E^{i}_{p}/E^{i-1}_{p}\cong\pi_{*}(F\otimes\mathcal{O}_{\Xi_{n,i}}).$ Also, it
is clear that the restriction of $E^{\bullet}_{D}$ to $p$ is
$E^{\bullet}_{p}$.

## Acknowledgement

We would like to thank Michi-aki Inaba, Tony Pantev, Qizheng Yin for many
useful discussions.

## References

  * [AB83] M.. Atiyah and R. Bott  “The Yang-Mills equations over Riemann surfaces”  In _Philos. Trans. Roy. Soc. London Ser. A_ 308.1505, 1983, pp. 523–615  DOI: 10.1098/rsta.1983.0017
  * [BM14] Arend Bayer and Emanuele Macrì  “Projectivity and birational geometry of Bridgeland moduli spaces”  In _J. Amer. Math. Soc._ 27.3, 2014, pp. 707–752  DOI: 10.1090/S0894-0347-2014-00790-6
  * [Bea95] Arnaud Beauville  “Sur la cohomologie de certains espaces de modules de fibrés vectoriels”  In _Geometry and analysis (Bombay, 1992)_ Tata Inst. Fund. Res., Bombay, 1995, pp. 37–40
  * [BB04] Olivier Biquard and Philip Boalch  “Wild non-abelian Hodge theory on curves”  In _Compos. Math._ 140.1, 2004, pp. 179–204  DOI: 10.1112/S0010437X03000010
  * [BR96] Indranil Biswas and N. Raghavendra  “Canonical generators of the cohomology of moduli of parabolic bundles on curves”  In _Math. Ann._ 306.1, 1996, pp. 1–14  DOI: 10.1007/BF01445239
  * [Boa12] Philip Boalch  “Hyperkahler manifolds and nonabelian Hodge theory of (irregular) curves”, 2012  arXiv:1203.6607 [math.AG]
  * [CHM12] Mark Andrea A. Cataldo, Tamás Hausel and Luca Migliorini  “Topology of Hitchin systems and Hodge theory of character varieties: the case $A_{1}$”  In _Ann. of Math. (2)_ 175.3, 2012, pp. 1329–1407  DOI: 10.4007/annals.2012.175.3.7
  * [DDP18] Duiliu-Emanuel Diaconescu, Ron Donagi and Tony Pantev  “BPS States, Torus Links and Wild Character Varieties”  In _Communications in Mathematical Physics_ 359.3 Springer ScienceBusiness Media LLC, 2018, pp. 1027–1078  DOI: 10.1007/s00220-018-3097-9
  * [ES93] Geir Ellingsrud and Stein Arild Stromme  “Towards the Chow ring of the Hilbert scheme of ${\mathbf{P}}^{2}$”  In _J. Reine Angew. Math._ 441, 1993, pp. 33–44
  * [Hau+22] Tamas Hausel, Anton Mellit, Alexandre Minets and Olivier Schiffmann  “$P=W$ via $H_{2}$”, 2022  arXiv:2209.05429 [math.AG]
  * [HR15] Tamás Hausel and Fernando Rodriguez Villegas  “Cohomology of large semiprojective hyperkähler varieties”  In _Astérisque_ , 2015, pp. 113–156
  * [HL97] Daniel Huybrechts and Manfred Lehn  “The geometry of moduli spaces of sheaves” E31, Aspects of Mathematics  Friedr. Vieweg & Sohn, Braunschweig, 1997, pp. xiv+269  DOI: 10.1007/978-3-663-11624-0
  * [IS13] Michi-aki Inaba and Masa-Hiko Saito  “Moduli of unramified irregular singular parabolic connections on a smooth projective curve”  In _Kyoto J. Math._ 53.2, 2013, pp. 433–482  DOI: 10.1215/21562261-2081261
  * [Kom17] Arata Komyo  “Mixed Hodge structures of the moduli spaces of parabolic connections”  In _Nagoya Math. J._ 225, 2017, pp. 185–206  DOI: 10.1017/nmj.2016.38
  * [KS14] Maxim Kontsevich and Yan Soibelman  “Wall-crossing structures in Donaldson-Thomas invariants, integrable systems and mirror symmetry”  In _Homological mirror symmetry and tropical geometry_ 15, Lect. Notes Unione Mat. Ital.  Springer, Cham, 2014, pp. 197–308  DOI: 10.1007/978-3-319-06514-4“˙6
  * [Küc96] Oliver Küchle  “Ample line bundles on blown up surfaces”  In _Math. Ann._ 304.1, 1996, pp. 151–155  DOI: 10.1007/BF01446289
  * [Mar02] Eyal Markman  “Generators of the cohomology ring of moduli spaces of sheaves on symplectic surfaces”  In _J. Reine Angew. Math._ 544, 2002, pp. 61–82  DOI: 10.1515/crll.2002.028
  * [Mar07] Eyal Markman  “Integral generators for the cohomology ring of moduli spaces of sheaves over Poisson surfaces”  In _Adv. Math._ 208.2, 2007, pp. 622–646  DOI: 10.1016/j.aim.2006.03.006
  * [MY92] M. Maruyama and K. Yokogawa  “Moduli of parabolic stable sheaves”  In _Math. Ann._ 293.1, 1992, pp. 77–99  DOI: 10.1007/BF01444704
  * [MW97] Kenji Matsuki and Richard Wentworth  “Mumford-Thaddeus principle on the moduli space of vector bundles on an algebraic surface”  In _Internat. J. Math._ 8.1, 1997, pp. 97–148  DOI: 10.1142/S0129167X97000068
  * [MS22] Davesh Maulik and Junliang Shen  “The $P=W$ conjecture for $\mathrm{GL}_{n}$”, 2022  arXiv:2209.02568 [math.AG]
  * [MSY23] Davesh Maulik, Junliang Shen and Qizheng Yin  “Perverse filtrations and Fourier transforms”, 2023  arXiv:2308.13160 [math.AG]
  * [MN18] Kevin McGerty and Thomas Nevins  “Kirwan surjectivity for quiver varieties”  In _Invent. Math._ 212.1, 2018, pp. 161–187  DOI: 10.1007/s00222-017-0765-x
  * [New78] P.. Newstead  “Introduction to moduli problems and orbit spaces” 51, Tata Institute of Fundamental Research Lectures on Mathematics and Physics  Tata Institute of Fundamental Research, Bombay; Narosa Publishing House, New Delhi, 1978, pp. vi+183
  * [OY17] Alexei Oblomkov and Zhiwei Yun  “The cohomology ring of certain compactified Jacobians”, 2017  arXiv:1710.05391 [math.AG]
  * [Sab99] Claude Sabbah  “Harmonic metrics and connections with irregular singularities”  In _Ann. Inst. Fourier (Grenoble)_ 49.4, 1999, pp. 1265–1291  URL: http://www.numdam.org/item?id=AIF_1999__49_4_1265_0
  * [SM] Junliang Shen and Davesh Maulik  “The P=W conjecture for $GL_{n}$” https://arxiv.org/abs/2209.02568
  * [SZ21] Junliang Shen and Zili Zhang  “Perverse filtrations, Hilbert schemes, and the $P=W$ conjecture for parabolic Higgs bundles”  In _Algebr. Geom._ 8.4, 2021, pp. 465–489  DOI: 10.14231/ag-2021-014
  * [Sim90] Carlos T. Simpson  “Harmonic bundles on noncompact curves”  In _J. Amer. Math. Soc._ 3.3, 1990, pp. 713–770  DOI: 10.2307/1990935
  * [Sza21] Szilárd Szabó  “Perversity equals weight for Painlevé spaces”  In _Adv. Math._ 383, 2021, pp. Paper No. 10766745  DOI: 10.1016/j.aim.2021.107667
  * [Sza23] Szilárd Szabó  “Hitchin WKB-problem and $P=W$ conjecture in lowest degree for rank 2 over the 5-punctured sphere”  In _Q. J. Math._ 74.2, 2023, pp. 687–746  DOI: 10.1093/qmath/haac037
  * [Yok93] Kôji Yokogawa  “Compactification of moduli of parabolic sheaves and moduli of parabolic Higgs sheaves”  In _J. Math. Kyoto Univ._ 33.2, 1993, pp. 451–504  DOI: 10.1215/kjm/1250519269
  * [Yok95] Kôji Yokogawa  “Infinitesimal deformation of parabolic Higgs sheaves”  In _Internat. J. Math._ 6.1, 1995, pp. 125–148  DOI: 10.1142/S0129167X95000092
  * [Yun11] Zhiwei Yun  “Global Springer theory”  In _Adv. Math._ 228.1, 2011, pp. 266–328  DOI: 10.1016/j.aim.2011.05.012