. Let $S$ be the universal subbundle on ${\operatorname{Quot}}E \times C$. Let $$c_i(S^\lor) = a_i \otimes 1 + \sum_{j=1}^{2g} b_{i,j} \otimes \delta_j + f_i \otimes \eta$$ be the Künneth decomposition of $c_i(S^\lor)$. In the argot of [@Mar], [@MO], etc. the classes $$\begin{aligned}
 a_i & \in & {\operatorname{H}}^{2i}({\operatorname{Quot}}^{r,e} E) \\ b_{i,j} & \in & {\operatorname{H}}^{2i-1}({\operatorname{Quot}}^{r,e} E) \\ f_i & \in & {\operatorname{H}}^{2i-2}({\operatorname{Quot}}^{r,e} E)\end{aligned}$$ are called $a,b$ and $f$ *classes*.

A *tautological class* is an element of the subring ${\overline}{{\operatorname{R}}}^*$ of ${\operatorname{H}}^*({\operatorname{Quot}}E)$ generated by the $a$, $b$, and $f$ classes. The *tautological ring* ${\operatorname{R}}^*$ is the quotient of ${\overline}{{\operatorname{R}}}^*$ by the ideal $$\{ \alpha \in {\overline}{{\operatorname{R}}}^* : \int_{[{\operatorname{Quot}}E]^{\rm vir}} \alpha \beta =0 \; {\rm for \;  all} \; \beta \in {\overline}{{\operatorname{R}}}^* \}.$$

Unlike the actual cohomology ring ${\operatorname{H}}^*({\operatorname{Quot}}E)$, the tautological ring is deformation invariant: it does not depend on the curve $C$ or the bundle $E$, except through their discrete invariants. This follows from deformation-invariance properties of the virtual class and the fact that the $a$, $b$, and $f$ classes have globally defined analogues as $C,E$ vary in families which restrict to the given classes at points of the family. The virtual intersection theory of ${\operatorname{Quot}}E$ is the study of the tautological ring, usually through calculations of integrals of tautological classes over the virtual class. A typical result is the Vafa-Intriligator formula for integrals of
. Let $ S$ be the universal subbundle on $ { \operatorname{Quot}}E \times C$. Let $ $ c_i(S^\lor) = a_i \otimes 1 + \sum_{j=1}^{2 g } b_{i, j } \otimes \delta_j + f_i \otimes \eta$$ be the Künneth decay of $ c_i(S^\lor)$. In the slang of [ @Mar ], [ @MO ], etc.   the class $ $ \begin{aligned } 
  a_i & \in & { \operatorname{H}}^{2i}({\operatorname{Quot}}^{r, e } E) \\ b_{i, joule } & \in & { \operatorname{H}}^{2i-1}({\operatorname{Quot}}^{r, e } E) \\ f_i & \in & { \operatorname{H}}^{2i-2}({\operatorname{Quot}}^{r, e } E)\end{aligned}$$ are call $ a, b$ and $ f$ * classes *. 

 A * tautological course * is an component of the subring $ { \overline}{{\operatorname{R}}}^*$ of $ { \operatorname{H}}^*({\operatorname{Quot}}E)$ generated by the $ a$, $ b$, and $ f$ classes. The * tautological ring * $ { \operatorname{R}}^*$ is the quotient of $ { \overline}{{\operatorname{R}}}^*$ by the ideal $ $ \ { \alpha \in { \overline}{{\operatorname{R}}}^ *: \int_{[{\operatorname{Quot}}E]^{\rm vir } } \alpha \beta = 0 \; { \rm for \;   all } \; \beta \in { \overline}{{\operatorname{R}}}^ * \}.$$ 

 Unlike the actual cohomology band $ { \operatorname{H}}^*({\operatorname{Quot}}E)$, the tautological ring is deformation changeless: it does not depend on the curve $ C$ or the bundle $ E$, except through their discrete invariants. This follows from deformation - invariance property of the virtual class and the fact that the $ a$, $ b$, and $ f$ classes have globally defined analogue as $ C, E$ vary in kin which restrict to the pass classes at points of the family. The virtual intersection theory of $ { \operatorname{Quot}}E$ is the report of the tautological ring, usually through calculations of integrals of pleonastic class over the virtual class. A typical result is the Vafa - Intriligator formula for integrals of
. Leh $S$ be the universal subnundle on ${\operatorname{Qnot}}E \tijes C$. Leg $$c_i(S^\lor) = a_i \otimes 1 + \sum_{j=1}^{2g} u_{i,j} \itimew \delta_j + f_i \otimes \etx$$ be the Nünneth dwcomkosition of $c_i(S^\loc)$. In the argot lf [@Mcr], [@MO], etc. the claxses $$\begin{dligned}
 a_i & \in & {\upzratorname{H}}^{2i}({\operatorname{Quot}}^{r,e} E) \\ b_{i,t} & \in & {\ppfratorname{H}}^{2i-1}({\opgratognwme{Qhot}}^{r,e} E) \\ f_i & \in & {\operatorname{H}}^{2i-2}({\opedatornake{Quot}}^{r,e} E)\end{sligned}$$ are called $a,b$ and $v$ *clwsses*.

A *tautologicap class* is qn ejwment of the subring ${\onzrline}{{\operajorname{R}}}^*$ of ${\operatorname{H}}^*({\operatofname{Auot}}E)$ genetcred ty the $a$, $b$, end $f$ blasses. The *tautologiwal rinb* ${\operatorname{V}}^*$ is vhe wuotient of ${\overline}{{\o'eratorname{R}}}^*$ by the ydeal $$\{ \al[hc \in {\overline}{{\operatorbane{R}}}^* : \hnt_{[{\o[eragirnxme{Supt}}S]^{\rm vig}} \ampha \beta =0 \; {\rm for \;  qll} \; \beta \in {\overlime}{{\jirratorname{R}}}^* \}.$$

Hnlike tre actual cohomology ring ${\operatorname{H}}^*({\mpedatorname{Quot}}E)$, the tautilogical ring is defotmation indariant: it does not depend on the curve $C$ or the tundlx $D$, ergcpt gyrlugh their discrete invariants. This follows fwkm dvformation-invariakce properties of yhf fyrtual class xnd thz fzct that the $a$, $b$, ajd $f$ clwsses have glofallu defined analogues as $C,E$ vqry in familpes qhich restrict to che given clcsses st poonts of the family. The rirtuam intersectlon theorg of ${\operatorname{Duon}}E$ iv the study of the tautolodical rinj, usuclly thruugh calcujations of intensals of tautologicwl clcsses over the girtual class. A typical result mx the Vafa-Injrinigdtor foriula nor integrals os
. Let $S$ be the universal subbundle \times Let $$c_i(S^\lor) a_i \otimes 1 + \otimes \eta$$ be Künneth decomposition of In the argot of [@Mar], [@MO], the classes $$\begin{aligned} a_i & \in & {\operatorname{H}}^{2i}({\operatorname{Quot}}^{r,e} E) \\ b_{i,j} & \in {\operatorname{H}}^{2i-1}({\operatorname{Quot}}^{r,e} E) \\ f_i & \in & {\operatorname{H}}^{2i-2}({\operatorname{Quot}}^{r,e} E)\end{aligned}$$ are called $a,b$ and *classes*. *tautological is element of the subring ${\overline}{{\operatorname{R}}}^*$ of ${\operatorname{H}}^*({\operatorname{Quot}}E)$ generated by the $a$, $b$, and $f$ classes. The ring* ${\operatorname{R}}^*$ is the quotient of ${\overline}{{\operatorname{R}}}^*$ by ideal $$\{ \alpha \in : \int_{[{\operatorname{Quot}}E]^{\rm vir}} \alpha \beta \; for \; \; \in \}.$$ Unlike the cohomology ring ${\operatorname{H}}^*({\operatorname{Quot}}E)$, the tautological ring is deformation invariant: it does not depend on the curve $C$ the bundle through their invariants. follows deformation-invariance properties of class and the fact that the $f$ classes have globally defined analogues as $C,E$ in families restrict to the given classes at of the family. The virtual intersection theory of is the study of the tautological ring, usually through calculations of integrals of tautological classes virtual class. A typical is the Vafa-Intriligator for of
. Let $S$ be the universal subbundLe on ${\operatOrnamE{QuOt}}E \TiMes C$. let $$c_I(S^\lor) = a_i \otimes 1 + \sUM_{j=1}^{2g} b_{I,j} \otimes \delta_j + f_i \otimes \Eta$$ be ThE künnETh DecomPositioN Of $C_I(s^\loR)$. IN tHe aRgOT oF [@Mar], [@Mo], etC. the claSses $$\begin{aLigNeD}
 a_i & \in & {\operatoRNaMe{H}}^{2i}({\operatOrnAme{Quot}}^{r,e} E) \\ b_{i,J} & \in & {\OperatOrNamE{h}}^{2i-1}({\opeRatOrnamE{Quot}}^{r,E} e) \\ f_i & \in & {\oPeratornaMe{h}}^{2I-2}({\operaTOrname{QUOT}}^{r,E} E)\enD{aligned}$$ are called $A,B$ aND $f$ *classes*.

A *tautOlogicAl CLaSS* Is aN elEment of the SuBring ${\OVerline}{{\OPeRATOrnAMe{R}}}^*$ of ${\operatorName{H}}^*({\operatORnaMe{Quot}}e)$ gEneRAted by The $a$, $b$, AnD $F$ clAsses. The *tauToloGical ring* ${\OperatORname{R}}^*$ iS The quotIent of ${\OveRliNe}{{\opERaToRnaMe{r}}}^*$ By tHE iDeaL $$\{ \AlpHa \in {\overLiNe}{{\OperaTornAME{r}}}^* : \Int_{[{\oPerAtorName{QUot}}E]^{\rm vir}} \alphA \beTa =0 \; {\rm FOr \;  aLl} \; \betA \in {\ovErliNe}{{\OperaTornamE{R}}}^* \}.$$

UnlIkE the actual cohomOlogY ring ${\operAtoRnAme{h}}^*({\oPeratORname{QUot}}e)$, thE tautolOgical rINg iS dEFORmAtion invariant: it doEs NOT dEpend on tHe curvE $c$ oR tHE bundle $E$, ExCepT thrOUGh theIr diSCrEte invarIants. THIs FoLlows frOm DeformAtIon-InvArianCE proPertieS of the viRtual CLass and the fact THat the $a$, $b$, and $f$ cLAsSES hAVe glObaLly defined aNaloGUes aS $C,E$ vARy In fAMilieS whicH rEStRIct to the given classeS aT pointS of thE family. The virTual intersECTIon theorY of ${\oPErATorname{Quot}}E$ is The stUdy of the taUTologicaL ring, Usually tHrough calCULations oF inTegRalS of TAUtOlogical classES Over ThE virtuaL clAss. A typIcaL reSulT is ThE Vafa-IntrIligator FoRmUlA fOr iNtegrALs of
. Let $S$ be the universal  subbundle  on $ {\o per at orna me{Q uot}}E \timesC $. L et $$c_i(S^\lor) = a_i  \oti me s  1 + \s um_{j =1}^{2g }  b _ { i,j }\o tim es \d elta_ j +  f_i \o times \eta $$be  the Künneth de compositio n o f $c_i(S^\lo r)$ . In t he  ar g ot of  [@ Mar],  [@MO] ,  etc.the class es $$\beg i n{align e d } a_i  & \in & {\operat o rn a me{H}}^{2i}({\ operat or n am e { Quo t}} ^{r,e} E)\\  b_{i , j} & \i n  & { \ ope r atorname{H}}^ {2i-1}({\op e rat orname {Q uot } }^{r,e } E)\\ f_i  & \in & {\ oper atorname{ H}}^{2 i -2}({\o p eratorn ame{Qu ot} }^{ r,e} E) \e nd{ al i gne d }$ $ a r e c alled $a ,b $and $ f$ * c l a s ses* .
A *t autol ogical class*  is  ane lem ent o f the  sub ri ng ${ \overl ine}{ {\ operatorname{R} }}^* $ of ${\o per at orn am e{H}} ^ *({\op era tor name{Qu ot}}E)$ gen er a t e dby the $a$, $b$, a nd $ f$  classes . The* ta ut o logicalri ng*  ${\ o p erato rnam e {R }}^*$ is  the q u ot ie nt of $ {\ overli ne }{{ \op erato r name {R}}}^ *$ by th e ide a l $$\{ \alpha\ in {\overline } {{ \ o pe r ator nam e{R}}}^* :\int _ {[{\ oper a to rna m e{Quo t}}E] ^{ \ rm vir}} \alpha \beta=0  \; {\ rm fo r \;  all} \;  \beta \in { \ overline }{{\ o pe r atorname{R}}}^ * \}. $$

Unlike the actu al co homology  ring ${\ o p eratorna me{ H}} ^*( {\o p e ra torname{Quot} } E )$,th e tauto log ical ri ngisdef orm at ion invar iant: it  d oe sno t d epend on the c ur ve$C $ o r the bundle  $E$,  exc ep tt hro ugh the i rd i scre te  i nvar ian ts . Thi s fo l low s fromdeformati on- i nvar ia nc e prope rties of thevi rtual clas sand  the f a c t that t he $a$, $b$, and $f$ cl a sses ha vegloba llydefined a nal oguesas$ C,E$ v ary in  fami li esw h ich r e s tr ict  t o the give n cla ssesat  poi nts ofthe family. The vi r tua l intersectio n t heor y of  ${ \ op e rat or n ame { Q uot}}E$ is thestudy of t he ta utological rin g,  usuall y throu gh ca l culatio ns of int egrals of  t auto l o gic al classes  over th e virtual class .  A  typi cal  resul tisthe V afa-In t ril igato r form ul a forinteg ra ls of
. Let_$S$ be_the universal subbundle on_${\operatorname{Quot}}E \times_C$._Let $$c_i(S^\lor)_=_a_i \otimes 1_+ \sum_{j=1}^{2g} b_{i,j}_\otimes \delta_j + f_i_\otimes \eta$$ be_the_Künneth decomposition of $c_i(S^\lor)$. In the argot of [@Mar], [@MO], etc. the classes $$\begin{aligned}
 a_i_&_\in &_{\operatorname{H}}^{2i}({\operatorname{Quot}}^{r,e}_E)_\\ b_{i,j} & \in &_{\operatorname{H}}^{2i-1}({\operatorname{Quot}}^{r,e} E) \\ f_i &_\in &_{\operatorname{H}}^{2i-2}({\operatorname{Quot}}^{r,e} E)\end{aligned}$$ are called $a,b$ and $f$ *classes*.

A_*tautological_class* is an_element of the subring ${\overline}{{\operatorname{R}}}^*$ of ${\operatorname{H}}^*({\operatorname{Quot}}E)$ generated by_the $a$, $b$, and $f$ classes._The *tautological ring*_${\operatorname{R}}^*$_is_the quotient of ${\overline}{{\operatorname{R}}}^*$_by the ideal $$\{ \alpha \in_{\overline}{{\operatorname{R}}}^* : \int_{[{\operatorname{Quot}}E]^{\rm vir}} \alpha \beta_=0 \; {\rm for \;  all}_\; \beta \in {\overline}{{\operatorname{R}}}^* \}.$$

Unlike the_actual cohomology ring ${\operatorname{H}}^*({\operatorname{Quot}}E)$, the_tautological ring_is deformation invariant: it does_not depend on_the curve_$C$ or the_bundle $E$, except through their discrete_invariants. This follows_from deformation-invariance properties of the virtual_class_and the fact_that_the_$a$, $b$,_and $f$ classes_have_globally defined_analogues_as $C,E$ vary in families which_restrict_to the given classes at points of_the family. The virtual_intersection_theory of ${\operatorname{Quot}}E$ is_the study of the tautological_ring, usually through calculations of integrals_of tautological_classes over_the virtual class. A typical result is the Vafa-Intriligator formula for_integrals of