 the following natural map $$\theta^k:S^k(T_X)\to {{\rm End}}(E).$$ By the Griffiths’s horizontal condition, the image of $\theta^k$ is contained in the subbundle $$\bigoplus_{p+q=n}{{\rm Hom}}(E^{p,q},E^{p-k,q+k})\subset {{\rm End}}(E).$$ We are interested in the projection of $\theta^k$ into the first component of the above subbundle. Abusing the notation a little bit, we denote the composition map still by $\theta^k$. That is, we concern the following map $$\theta^k: S^k(T_X)\to {{\rm Hom}}(E^{n,0},E^{n-k,k}).$$ We have a tautological short exact sequence of analytic coherent sheaves defined by the iterated Higgs field $\theta^{k}$: $$0\to I_k\to S^k(T_X)\stackrel{\theta^k}{\to} J_k\to 0.$$ We define a sheaf of graded ${{\mathcal O}}_X$-algebras ${{\mathcal J}}_{k}$ by putting $${{\mathcal J}}_{k}^{i}=\left\{
  \begin{array}{ll}
    S^{i}\Omega_{X}  & \textrm{if $i< k$}, \\
    S^{i}\Omega_{X}/Im((J_{k})^*\otimes
S^{i-k}\Omega_{X}\stackrel{mult.}{\longrightarrow} S^{i}\Omega_{X})
& \textrm{if $i\geq k$}.
  \end{array}
\right.$$

\[characteristic subvariety\] For $k\geq 0$, we call $$C_{k}=Proj({{\mathcal J}}_{k+1})$$ the $k$-th characteristic subvariety of $(E,\theta)$ over $X$.

By the definition the fiber of a characteristic subvariety over a point is the zero locus of system of polynomial equations determined by the Higgs field in the projective tangent space over that point. In a concrete situation one will be able to calculate some numerical invariants of the characteristic subvarieties. For example, for a complete smooth family of hypersurfaces in a projective space, one can use the Jacobian ring to represent the system of Hodge bundles associated with the PVHS of the middle dimensional primitive cohomolgies in a
the following natural map $ $ \theta^k: S^k(T_X)\to { { \rm End}}(E).$$ By the Griffiths ’s horizontal condition, the prototype of $ \theta^k$ is control in the subbundle $ $ \bigoplus_{p+q = n}{{\rm Hom}}(E^{p, q},E^{p - k, q+k})\subset { { \rm End}}(E).$$ We are interested in the projection of $ \theta^k$ into the beginning component of the above subbundle. Abusing the note a little bit, we denote the constitution map still by $ \theta^k$. That is, we refer the following map $ $ \theta^k: S^k(T_X)\to { { \rm Hom}}(E^{n,0},E^{n - k, k}).$$ We have a tautological short accurate sequence of analytic coherent sheaves define by the iterated Higgs field $ \theta^{k}$: $ $ 0\to I_k\to S^k(T_X)\stackrel{\theta^k}{\to } J_k\to 0.$$ We define a bundle of graded $ { { \mathcal O}}_X$-algebras $ { { \mathcal J}}_{k}$ by putting $ $ { { \mathcal J}}_{k}^{i}=\left\ { 
   \begin{array}{ll } 
     S^{i}\Omega_{X }   & \textrm{if $ i < k$ }, \\ 
     S^{i}\Omega_{X}/Im((J_{k})^*\otimes 
 S^{i - k}\Omega_{X}\stackrel{mult.}{\longrightarrow } S^{i}\Omega_{X }) 
 & \textrm{if $ i\geq k$ }. 
   \end{array } 
 \right.$$ 

 \[characteristic subvariety\ ] For $ k\geq 0 $, we call $ $ C_{k}=Proj({{\mathcal J}}_{k+1})$$ the $ k$-th characteristic subvariety of $ (E,\theta)$ over $ X$. 

 By the definition the character of a characteristic subvariety over a point is the zero locus of arrangement of polynomial equations determine by the Higgs field in the projective tangent space over that point. In a concrete situation one will be able to calculate some numeric invariants of the characteristic subvarieties. For example, for a complete smooth family of hypersurfaces in a projective space, one can use the Jacobian ring to represent the system of Hodge bundles associated with the PVHS of the middle dimensional primitive cohomolgies in a
 thf following natural map $$\uheta^k:S^k(T_X)\to {{\rm Eue}}(E).$$ By vhe Grirfiths’s forizontal condition, the imaje od $\theuc^k$ is contained in tfe subbunfle $$\bigoplus_{k+q=n}{{\rm Hom}}(E^{p,q},E^{p-k,q+k})\subset {{\rm End}}(E).$$ Ae axe interested in the projewtion of $\theta^n$ knco the first component of the above fubbundke. Abusing the njtatpog a mptule bit, we denote the composition map stpll by $\theta^k$. Thay is, we concern the followlng lap $$\theta^k: S^k(T_X)\to {{\gm Hom}}(E^{n,0},E^{n-k,j}).$$ We yave a tautouogical short exact sesuence of analytic coherent shexves befined by jkw ihgrated Higgs fielq $\theta^{k}$: $$0\to L_l\to S^k(D_X)\stacktel{\theta^k}{\to} J_k\bo 0.$$ Wx dedine a sheaf of gradev ${{\mathcal O}}_X$-algebras ${{\mathcal B}}_{k}$ by putting $${{\mathcql J}}_{k}^{i}=\lgft\{
  \tegiv{qrrxy}{lm}
    S^{i}\Omeha_{X}  & \textrm{ir $i< k$}, \\
    S^{u}\Omega_{X}/Im((J_{k})^*\otimes
S^{i-l}\Oivba_{X}\stackrel{mhlt.}{\londryghtarrow} S^{i}\Omega_{X})
& \textrm{if $i\geq k$}.
  \end{drrzy}
\right.$$

\[characteristic sybvariety\] For $k\geq 0$, wg call $$C_{k}=Pwoj({{\mathcal J}}_{k+1})$$ the $k$-th characteristic subvariety ox $(E,\thxtx)$ orcv $X$.

Bh tje definition the fiber of a characteristic stgvsrpety over a point is the zerp povos of system ow polyukmjal equations detegmined fy thw Higgs fyeld in the projective tangent wpace over tkat point. In a concrece situation one will be able to calculate sume humerical ijvariants uf the characterkstpc sgbvarieties. For example, fow a complxte skooth fxmili of hy[ersurfaced in a projective space, lne ccn usa the Jacohian ring to represent the systxk of Hodge bondnes associaced wibh the PVHS of ehe middle dimgnsional 'rimitkve cohomomgies ii a
the following natural map $$\theta^k:S^k(T_X)\to {{\rm End}}(E).$$ Griffiths’s condition, the of $\theta^k$ is Hom}}(E^{p,q},E^{p-k,q+k})\subset End}}(E).$$ We are in the projection $\theta^k$ into the first component of above subbundle. Abusing the notation a little bit, we denote the composition map by $\theta^k$. That is, we concern the following map $$\theta^k: S^k(T_X)\to {{\rm Hom}}(E^{n,0},E^{n-k,k}).$$ have tautological exact of analytic coherent sheaves defined by the iterated Higgs field $\theta^{k}$: $$0\to I_k\to S^k(T_X)\stackrel{\theta^k}{\to} J_k\to 0.$$ define a sheaf of graded ${{\mathcal O}}_X$-algebras ${{\mathcal by putting $${{\mathcal J}}_{k}^{i}=\left\{ S^{i}\Omega_{X} & \textrm{if $i< k$}, S^{i}\Omega_{X}/Im((J_{k})^*\otimes S^{i}\Omega_{X}) & $i\geq \end{array} \[characteristic subvariety\] For 0$, we call $$C_{k}=Proj({{\mathcal J}}_{k+1})$$ the $k$-th characteristic subvariety of $(E,\theta)$ over $X$. By the definition the of a over a is zero of system of determined by the Higgs field in space over that point. In a concrete situation will be to calculate some numerical invariants of characteristic subvarieties. For example, for a complete smooth of hypersurfaces in a projective space, one can use the Jacobian ring to represent the Hodge bundles associated with PVHS of the dimensional cohomolgies a
 the following natural map $$\theTa^k:S^k(T_X)\to {{\rM End}}(E).$$ by tHe GRiFfitHs’s hOrizontal condiTIon, tHe image of $\theta^k$ is contaIned iN tHE subBUnDle $$\biGoplus_{p+Q=N}{{\rM hOm}}(E^{P,q},e^{p-K,q+k})\SuBSeT {{\rm EnD}}(E).$$ WE are intErested in tHe pRoJection of $\theTA^k$ Into the firSt cOmponent of thE abOve subBuNdlE. abusiNg tHe notAtion a LIttle bIt, we denotE tHE compoSItion maP STiLl by $\Theta^k$. That is, we conCErN The following maP $$\theta^K: S^K(t_X)\TO {{\Rm HOm}}(E^{N,0},E^{n-k,k}).$$ We havE a TautoLOgical sHOrT EXAct SEquence of analYtic coherenT SheAves deFiNed BY the itErateD HIGgs Field $\theta^{k}$: $$0\To I_k\To S^k(T_X)\staCkrel{\tHEta^k}{\to} J_K\To 0.$$ We defIne a shEaf Of gRadeD ${{\MaThCal o}}_X$-ALgeBRaS ${{\maTHcaL J}}_{k}$ by putTiNg $${{\MathcAl J}}_{k}^{I}=\LEFT\{
  \begIn{aRray}{Ll}
    S^{i}\OMega_{X}  & \textrm{if $I< k$}, \\
    S^{I}\OmeGA_{X}/IM((J_{k})^*\otImes
S^{I-k}\OmEgA_{X}\staCkrel{mUlt.}{\loNgRightarrow} S^{i}\OmeGa_{X})
& \tExtrm{if $i\gEq k$}.
  \EnD{arRaY}
\righT.$$

\[CharacTerIstIc subvaRiety\] FoR $K\geQ 0$, wE CALl $$c_{k}=Proj({{\mathcal J}}_{k+1})$$ the $K$-tH CHaRacterisTic subVArIeTY of $(E,\thetA)$ oVer $x$.

By tHE DefinItioN ThE fiber of A charaCTeRiStic subVaRiety oVeR a pOinT is thE Zero Locus oF system oF polyNOmial equations DEtermined by thE hiGGS fIEld iN thE projective TangENt spAce oVEr ThaT Point. in a coNcREtE Situation one will be aBlE to calCulatE some numericaL invariantS OF The charaCterIStIC subvarieties. FOr exaMple, for a coMPlete smoOth faMily of hyPersurfacES In a projeCtiVe sPacE, onE CAn Use the JacobiaN RIng tO rEpresenT thE system Of HOdgE buNdlEs AssociateD with the pVhS Of ThE miDdle dIMensionaL pRimItIve CohomOLgies iN a
 the following natural map  $$\theta^ k:S^k (T_ X)\ to  {{\ rm E nd}}(E).$$ Byt he G riffiths’s horizontalcondi ti o n, t h eimage  of $\t h et a ^ k$is  c ont ai n ed  in t hesubbund le $$\bigo plu s_ {p+q=n}{{\rm Ho m}}(E^{p,q },E ^{p-k,q+k})\ sub set {{ \r m E n d}}(E ).$ $ Weare in t ereste d in thepr o jectio n  of $\t h e ta ^k$into the first co m po n ent of the abo ve sub bu n dl e .  Ab usi ng the not at ion a littleb it , w e d e note the comp osition map sti ll by$\ the t a^k$.Thatis ,  we  concern th e fo llowing m ap $$\ t heta^k: S^k(T_X )\to { {\r m H om}} ( E^ {n ,0} ,E ^ {n- k ,k }). $ $ W e have a  t au tolog ical s h o rt e xac t se quenc e of analytic  co here n t s heave s def ined  b y the  itera ted H ig gs field $\thet a^{k }$: $$0\t o I _k \to  S ^k(T_ X )\stac kre l{\ theta^k }{\to}J _k\ to 0 . $$  We define a sheaf  o f gr aded ${{ \mathc a lO} } _X$-alge br as${{\ m a thcal  J}} _ {k }$ by pu tting$ ${ {\ mathcal  J }}_{k} ^{ i}= \le ft\{ \be gin{ar ray}{ll} 
   S ^{i}\Omega_{X}  & \textrm{if $i < k$ } , \\ 
   S^{i}\Ome ga_{ X }/Im ((J_ { k} )^* \ otime s
S^{ i- k }\ O mega_{X}\stackrel{m ul t.}{\l ongri ghtarrow} S^{ i}\Omega_{ X } ) 
& \text rm{i f  $ i \geq k$}.
  \e nd{ar ray}
\righ t .$$

\[c harac teristic  subvarie t y \] For $ k\g eq0$,  we c al l $$C_{k}=Pro j ( {{\m at hcal J} }_{ k+1})$$  th e $ k$- thch aracteris tic subv ar ie ty  o f $ (E,\t h eta)$ ov er  $X $. 

B y the defini tionthefi be r  of  a char a ct e r isti csu bvar iet yovera po i ntis thezero locu s o f  sys te mof poly nomial equati on s determin ed  by  the H i g gs field  in the projective tang e nt spac e o ver t hatpoint. In  aconcre tes ituati on one  will  b e a b l e toc a lc ula te  some nume r i cal  inva ri ants  of the  characteristic su b var ieties. For e xam ple, f or  ac om p let es moo t h  family of hype rsurfacesin aprojective spa ce , one c an usethe J a cobianring to r epresentth e sy s t emof Hodge b undles a ssociated witht he  PVHS  of  the m id dle  dime nsiona l  pr imiti ve coh om olgies  in a 
 the_following natural_map $$\theta^k:S^k(T_X)\to {{\rm End}}(E).$$_By the_Griffiths’s_horizontal condition,_the_image of $\theta^k$_is contained in_the subbundle $$\bigoplus_{p+q=n}{{\rm Hom}}(E^{p,q},E^{p-k,q+k})\subset_{{\rm End}}(E).$$ We_are_interested in the projection of $\theta^k$ into the first component of the above subbundle._Abusing_the notation_a_little_bit, we denote the composition_map still by $\theta^k$. That_is, we_concern the following map $$\theta^k: S^k(T_X)\to {{\rm Hom}}(E^{n,0},E^{n-k,k}).$$_We_have a tautological_short exact sequence of analytic coherent sheaves defined by_the iterated Higgs field $\theta^{k}$: $$0\to_I_k\to S^k(T_X)\stackrel{\theta^k}{\to} J_k\to_0.$$_We_define a sheaf of_graded ${{\mathcal O}}_X$-algebras ${{\mathcal J}}_{k}$ by_putting $${{\mathcal J}}_{k}^{i}=\left\{
  \begin{array}{ll}
 _  S^{i}\Omega_{X}  & \textrm{if $i<_k$}, \\
    S^{i}\Omega_{X}/Im((J_{k})^*\otimes
S^{i-k}\Omega_{X}\stackrel{mult.}{\longrightarrow}_S^{i}\Omega_{X})
& \textrm{if $i\geq k$}.
 _\end{array}
\right.$$

\[characteristic subvariety\]_For $k\geq 0$, we call_$$C_{k}=Proj({{\mathcal J}}_{k+1})$$ the_$k$-th characteristic_subvariety of $(E,\theta)$_over $X$.

By the definition the fiber_of a characteristic_subvariety over a point is the_zero_locus of system_of_polynomial_equations determined_by the Higgs_field_in the_projective_tangent space over that point. In_a_concrete situation one will be able to_calculate some numerical invariants_of_the characteristic subvarieties. For_example, for a complete smooth_family of hypersurfaces in a projective_space, one_can use_the Jacobian ring to represent the system of Hodge bundles associated_with the PVHS of the middle_dimensional primitive cohomolgies in_a