 occurs when $i$ takes the value $e$ determined by the equation $$g-1+\epsilon = d-2e$$ ($\epsilon \in \{0,1 \}$ as usual). When $\epsilon=0$ (i.e. when $d$ and $g$ have opposite parity), this lowest order term is $$t^{4g-4-2d} 2^{3g-2-d} q^{2-2g-e}$$ so the DT=PT invariant in minimal Euler characteristic is given by $$\begin{aligned}
 \label{PT} P_{2-2g-e,2}(d) & = &   t^{4g-4-2d} 2^{3g-2-d}. \end{aligned}$$

The equality of DT and PT invariants in minimal Euler characteristic as discussed in \[section:DTequalsPT\], together with the known equivalence of DT and GW mentioned above, ensures that this is actually the correct PT invariant even though the coefficients of higher powers of $q$ are technically only conjectural.

Assume we are in the $\epsilon=0$ case so $g-1 = d-2e$. Let $Y$ be the space (${\operatorname{Quot}}$ scheme) of such minimal (i.e. degree $e$) line subbundles of $E$. As mentioned above, if $E$ is sufficiently generic, $Y$ is just a finite number of points. On the other hand, we can identify $Y$ with the $T$-fixed subscheme of $$P := I_{2g-2-e}(E,2) = P_{2g-2-e}(E,2)$$ using Theorem \[thm:Tfixedstablepairs\] below (or by using Proposition \[prop:CMcurvesinE\] and the general remarks about this common moduli space in minimal Euler characteristic). Since $Y$ is smooth and zero dimensional, the tangent space to $Y$ at a point $L \hookrightarrow E$ is zero. On the other hand, this tangent space is given by ${\operatorname{Hom}}(L, Q) = {\operatorname{H}}^0(C,L^\lor Q),$ where $Q = E/L$ as usual. The degree of $L^\lor Q$ is $-e+d-e = g-1$, so by Riemann-Roch, we also have ${\operatorname{H}}^1(
occurs when $ i$ takes the value $ e$ determined by the equation $ $ g-1+\epsilon = d-2e$$ ($ \epsilon \in \{0,1 \}$ as common). When $ \epsilon=0 $ (i.e.   when $ d$ and $ g$ take opposite parity), this low orderliness term is $ $ t^{4g-4 - 2d } 2^{3g-2 - d } q^{2 - 2g - e}$$ so the DT = PT changeless in minimal Euler characteristic is given by $ $ \begin{aligned } 
  \label{PT } P_{2 - 2g - e,2}(d) & = &    t^{4g-4 - 2d } 2^{3g-2 - d }. \end{aligned}$$ 

 The equality of DT and PT invariant in minimal Euler feature as discussed in \[section: DTequalsPT\ ], together with the known comparison of DT and GW mentioned above, ensures that this is actually the correct PT invariant even though the coefficient of higher powers of $ q$ are technically merely conjectural. 

 Assume we are in the $ \epsilon=0 $ case so $ g-1 = d-2e$. permit $ Y$ be the space ($ { \operatorname{Quot}}$ scheme) of such minimal (i.e.   degree $ e$) wrinkle subbundles of $ E$. As mentioned above, if $ E$ is sufficiently generic, $ Y$ is just a finite number of points. On the early hand, we can name $ Y$ with the $ T$-fixed subscheme of $ $ P: = I_{2g-2 - e}(E,2) = P_{2g-2 - e}(E,2)$$ using Theorem   \[thm: Tfixedstablepairs\ ] below (or by using Proposition   \[prop: CMcurvesinE\ ] and the cosmopolitan remarks about this common moduli space in minimal Euler characteristic). Since $ Y$ is smooth and zero dimensional, the tangent space to $ Y$ at a point $ L \hookrightarrow E$ is zero. On the other hand, this tangent space is given by $ { \operatorname{Hom}}(L, Q) = { \operatorname{H}}^0(C, L^\lor Q),$ where $ Q = E / L$ as usual. The degree of $ L^\lor Q$ is $ -e+d - e = g-1 $, thus by Riemann - Roch, we also have $ { \operatorname{H}}^1 (
 ocfurs when $i$ takes the vauue $e$ determineb by thx equatjon $$g-1+\epsklon = d-2e$$ ($\epsilon \in \{0,1 \}$ as usuel). Wyen $\ekfilon=0$ (i.e. when $d$ and $g$ have oiposite pqritb), this lowest orvsr term is $$t^{4g-4-2s} 2^{3g-2-d} x^{2-2j-e}$$ so the DT=PT lnvariant it minimal Eules zhcracteristic is given by $$\begin{aligneq}
 \label{LT} P_{2-2g-e,2}(d) & = &   t^{4g-4-2d} 2^{3g-2-d}. \tnd{wlighvd}$$

Uhe equality of DT and PT invariahts in kinimal Euler characteristic as discussfd ij \[section:DTequalsPH\], together qith rhe known eqjivalence of DT and GW mentioned above, ensures that tfis ix actually tye fmrrect PT iivariagt even thounn the woefficoents of highev powxrs if $q$ are technically mnly conjectural.

Asfume we ase in the $\epsilon=0$ cqsw so $c-1 = d-2a$. Leg $Y$ ce uhe slace (${\ooeretorname{Quof}}$ scheme) of such minimal (i.e. degteq $e$) line subbuhdles jf $E$. As mentioned above, if $E$ is sufficienuly gsneric, $Y$ is just a finire number of points. Oj the othqr hand, we can identify $Y$ with the $T$-fixed subscheke of $$O := N_{2n-2-c}(E,2) = O_{2t-2-e}(F,2)$$ using Theorem \[thm:Tfixedstablepairs\] below (or fg ispng Proposition \[prjp:CMcurvesimE\] amq the general remarks zbout this common loduli fpace in minimwl Eiler characteristic). Since $Y$ is smooth aud zero dimensional, tke tangent s'ace tp $Y$ ay a point $L \hookrightarxow E$ js zero. On hhe other fand, this tangeng siace is given by ${\operatorname{Hjm}}(L, Q) = {\opxratoxname{H}}^0(C,L^\uor A),$ wherq $Q = E/L$ as usual. The degree of $L^\log Q$ id $-a+d-e = g-1$, so hy Riemann-Roch, we also have ${\opecetorname{H}}^1(
occurs when $i$ takes the value $e$ the $$g-1+\epsilon = ($\epsilon \in \{0,1 (i.e. $d$ and $g$ opposite parity), this order term is $$t^{4g-4-2d} 2^{3g-2-d} q^{2-2g-e}$$ the DT=PT invariant in minimal Euler characteristic is given by $$\begin{aligned} \label{PT} P_{2-2g-e,2}(d) = & t^{4g-4-2d} 2^{3g-2-d}. \end{aligned}$$ The equality of DT and PT invariants in Euler as in together with the known equivalence of DT and GW mentioned above, ensures that this is actually correct PT invariant even though the coefficients of powers of $q$ are only conjectural. Assume we are the case so = Let be the space scheme) of such minimal (i.e. degree $e$) line subbundles of $E$. As mentioned above, if $E$ is generic, $Y$ a finite of On other hand, we $Y$ with the $T$-fixed subscheme of = P_{2g-2-e}(E,2)$$ using Theorem \[thm:Tfixedstablepairs\] below (or by Proposition \[prop:CMcurvesinE\] the general remarks about this common space in minimal Euler characteristic). Since $Y$ is and zero dimensional, the tangent space to $Y$ at a point $L \hookrightarrow E$ is the other hand, this space is given ${\operatorname{Hom}}(L, = Q),$ $Q = as usual. The degree of $L^\lor Q$ is $-e+d-e = g-1$, by Riemann-Roch, we also have ${\operatorname{H}}^1(
 occurs when $i$ takes the value $e$ Determined By the EquAtiOn $$G-1+\epsIlon = D-2e$$ ($\epsilon \in \{0,1 \}$ as uSUal). WHen $\epsilon=0$ (i.e. when $d$ and $g$ hAve opPoSIte pARiTy), thiS lowest ORdER TerM iS $$t^{4G-4-2d} 2^{3g-2-D} q^{2-2G-E}$$ sO the Dt=PT InvariaNt in minimaL EuLeR characterisTIc Is given by $$\bEgiN{aligned}
 \labeL{PT} p_{2-2g-e,2}(d) & = &   t^{4g-4-2D} 2^{3g-2-D}. \enD{AlignEd}$$

THe equAlity oF dT and Pt invarianTs IN minimAL Euler cHARaCterIstic as discussed iN \[SeCTion:DTequalsPT\], TogethEr WItH THe kNowN equivalenCe Of DT aND GW mentIOnED ABovE, Ensures that thIs is actuallY The CorrecT Pt inVAriant Even tHoUGh tHe coefficieNts oF higher poWers of $Q$ Are techNIcally oNly conJecTurAl.

AsSUmE wE arE iN The $\EPsIloN=0$ CasE so $g-1 = d-2e$. LeT $Y$ Be The spAce (${\oPERATornAme{quot}}$ SchemE) of such minimaL (i.e. DegrEE $e$) lIne suBbundLes oF $E$. as menTioned Above, If $e$ is sufficiently GeneRic, $Y$ is jusT a fInIte NuMber oF Points. on tHe oTher hanD, we can iDEntIfY $y$ WItH the $T$-fixed subschemE oF $$p := i_{2g-2-E}(E,2) = P_{2g-2-e}(E,2)$$ usIng TheOReM \[tHM:TfixedsTaBlePairS\] BElow (oR by uSInG ProposiTion \[prOP:CmcUrvesine\] aNd the gEnEraL reMarks ABout This coMmon moduLi spaCE in minimal EuleR CharacteristiC). siNCE $Y$ IS smoOth And zero dimeNsioNAl, thE tanGEnT spACe to $Y$ At a poInT $l \hOOkrightarrow E$ is zero. on The othEr hanD, this tangent sPace is giveN BY ${\OperatorName{hOm}}(l, q) = {\operatorname{H}}^0(c,L^\lor q),$ where $Q = E/L$ aS Usual. The DegreE of $L^\lor Q$ Is $-e+d-e = g-1$, so bY rIemann-RoCh, wE alSo hAve ${\OPErAtorname{H}}^1(
 occurs when $i$ takes the  value $e$  dete rmi ned  b y th e eq uation $$g-1+\ e psil on = d-2e$$ ($\epsilon  \in\{ 0 ,1 \ } $as us ual). W h en $ \ep si lo n=0 $( i. e. wh en$d$ and  $g$ haveopp os ite parity), th is lowestord er term is $ $t^ {4g-4- 2d } 2 ^ {3g-2 -d}  q^{2 -2g-e} $ $ so t he DT=PTin v ariant in mini m a lEule r characteristici sg iven by $$\beg in{ali gn e d} \la bel {PT} P_{2- 2g -e,2} ( d) & =&  t ^ {4g - 4-2d} 2^{3g-2 -d}. \end{a l ign ed}$$
T hee qualit y ofDT and  PT invaria ntsin minima l Eule r  charac t eristic  as di scu sse d in \[ se cti on : DTe q ua lsP T \],  togethe rwi th th e kn o w n equi val ence  of D T and GW ment ion ed a b ove , ens uresthat  t his i s actu allyth e correct PT in vari ant eventho ug h t he  coef f icient s o f h igher p owers o f  $q $a r e  t echnically only co nj e c tu ral.

As sume w e  a re in the $ \e psi lon= 0 $  case  so$ g- 1 = d-2e $. Let $Y $be thesp ace ($ {\ ope rat ornam e {Quo t}}$ s cheme) o f suc h  minimal (i.e. degree $e$) l i ne s ub b undl esof $E$. Asment i oned  abo v e,  if $E$ i s suf fi c ie n tly generic, $Y$ is  j ust afinit e number of p oints. Ont h e  other h and, we can identify $ Y$ wi th the $T$ - fixed su bsche me of $$ P := I_{2 g - 2-e}(E,2 ) =  P_ {2g -2- e } (E ,2)$$ using T h e orem  \ [thm:Tf ixe dstable pai rs\ ] b elo w(or by us ing Prop os it io n\[p rop:C M curvesin E\ ] a nd  th e gen e ral re marks  abo ut  t h iscommonm od u l i sp ac ein m ini ma l Eul er c h ara cterist ic). Sinc e $ Y $ is  s mo oth and  zero dimensi on al, the ta ng ent  space t o $Y$ at  a point $L \hookrighta r row E$iszero.  Onthe other  ha nd, th ist angent  space  is g iv enb y  ${\o p e ra tor na me{Hom}}(L , Q)= {\o pe rato rname{H }}^0(C,L^\lor Q),$ whe re $Q = E/L$asusua l .  T hed eg r eeof $L^ \ l or Q$ is $-e+d- e = g-1$,so by  Riemann-R o ch,  w e alsohave ${ \oper a torname {H}}^1(
 occurs_when $i$_takes the value $e$_determined by_the_equation $$g-1+\epsilon_=_d-2e$$ ($\epsilon \in_\{0,1 \}$ as_usual). When $\epsilon=0$ (i.e. when_$d$ and $g$_have_opposite parity), this lowest order term is $$t^{4g-4-2d} 2^{3g-2-d} q^{2-2g-e}$$ so the DT=PT invariant_in_minimal Euler_characteristic_is_given by $$\begin{aligned}
 \label{PT} P_{2-2g-e,2}(d)_& = &  _t^{4g-4-2d} 2^{3g-2-d}._\end{aligned}$$

The equality of DT and PT invariants in_minimal_Euler characteristic as_discussed in \[section:DTequalsPT\], together with the known equivalence of_DT and GW mentioned above, ensures_that this is_actually_the_correct PT invariant even_though the coefficients of higher powers_of $q$ are technically only conjectural.

Assume_we are in the $\epsilon=0$ case so_$g-1 = d-2e$. Let $Y$ be_the space (${\operatorname{Quot}}$ scheme) of_such minimal_(i.e. degree $e$) line subbundles of_$E$. As mentioned_above, if_$E$ is sufficiently_generic, $Y$ is just a finite_number of points._On the other hand, we can_identify_$Y$ with the_$T$-fixed_subscheme_of $$P_:= I_{2g-2-e}(E,2) =_P_{2g-2-e}(E,2)$$_using Theorem \[thm:Tfixedstablepairs\]_below_(or by using Proposition \[prop:CMcurvesinE\] and the_general_remarks about this common moduli space in_minimal Euler characteristic). Since_$Y$_is smooth and zero_dimensional, the tangent space to_$Y$ at a point $L \hookrightarrow_E$ is_zero. On_the other hand, this tangent space is given by ${\operatorname{Hom}}(L, Q)_= {\operatorname{H}}^0(C,L^\lor Q),$ where $Q =_E/L$ as usual. The_degree of_$L^\lor_Q$ is $-e+d-e_=_g-1$, so_by Riemann-Roch, we also have ${\operatorname{H}}^1(