 it is natural to consider:

\[y-def1.9\] A torsion-free coherent sheaf $\mathcal F$ on a normal quasi-projective variety $W$ is called a [*[mixed-$\omega$-sheaf]{}*]{} if there exist a projective surjective morphism from a smooth quasi-projective variety $V$ and a simple normal crossing divisor $D$ on $V$ such that $\mathcal F$ is a direct summand of $f_*\mathcal O_V(K_V+D)$. When $D=0$, $\mathcal F$ is called a [*[pure-$\omega$-sheaf]{}*]{} on $W$.

For the study of klt pairs, the notion of pure-$\omega$-sheaves is sufficient and is essentially due to Nakayama (see [@nakayama]). In this paper, we study some basic properties of mixed-$\omega$-sheaves. They are indispensable for the study of log canonical pairs. Of course, the theory of mixed-$\omega$-sheaves (resp. pure-$\omega$-sheaves) in this paper is based on that of mixed (resp. pure) Hodge structures. Roughly speaking, Nakayama only treats pure-$\omega$-sheaves in [@nakayama Chapter V]. However, his theory of $\omega$-sheaves is more sophisticated and some of his results are much sharper than ours. We do not try to make the framework discussed in this paper supersede Nakayama’s theory of $\omega$-sheaves in [@nakayama Chapter V]. The main purpose of this paper is to make Nakayama’s theory of $\omega$-sheaves more accessible and make it applicable to the study of log canonical pairs. Theorem \[x-thm9.3\] (and Remark \[x-rem9.4\]) is one of the main results of this paper, which we call a fundamental theorem of the theory of mixed-$\omega$-sheaves.

\[y-thm1.10\] Let $f:X\to Y$ be a surjective morphism from a normal projective variety $X$ onto a smooth projective variety $Y$. Let $L$ be a Cartier divisor on $X$ and let $\Delta$ be an effective $\mathbb R$-divisor on $X$ such that $K_X+\Delta$ is $\mathbb R$-Cartier. Let $D$ be an $\mathbb R$-divisor on $Y$. Let $k$ be
it is natural to consider: 

 \[y - def1.9\ ] A torsion - free coherent bundle $ \mathcal F$ on a normal quasi - projective variety show $ W$ is called a [ * [ mixed-$\omega$-sheaf ] { } * ] { } if there exist a projective surjective morphism from a smooth quasi - projective variety show $ V$ and a bare normal crossing divisor $ D$ on $ V$ such that $ \mathcal F$ is a direct summand of $ f_*\mathcal O_V(K_V+D)$. When $ D=0 $, $ \mathcal F$ is call a [ * [ pure-$\omega$-sheaf ] { } * ] { } on $ W$. 

 For the sketch of klt pairs, the impression of pure-$\omega$-sheaves is sufficient and is basically due to Nakayama (see [ @nakayama ]). In this newspaper, we study some basic properties of mixed-$\omega$-sheaves. They are indispensable for the sketch of log basic pairs. Of course, the hypothesis of mixed-$\omega$-sheaves (resp.   pure-$\omega$-sheaves) in this paper is based on that of mixed (resp.   saturated) Hodge structures. Roughly speak, Nakayama only treat pure-$\omega$-sheaves in [ @nakayama Chapter V ]. However, his theory of $ \omega$-sheaves is more sophisticated and some of his results are much sharper than ours. We do not judge to make the framework discussed in this paper supersede Nakayama ’s theory of $ \omega$-sheaves in [ @nakayama Chapter V ]. The chief purpose of this paper is to make Nakayama ’s theory of $ \omega$-sheaves more accessible and make it applicable to the study of log canonical pairs. Theorem \[x - thm9.3\ ] (and Remark \[x - rem9.4\ ]) is one of the main consequence of this paper, which we call a cardinal theorem of the hypothesis of mixed-$\omega$-sheaves. 

 \[y - thm1.10\ ] Let $ f: X\to Y$ be a surjective morphism from a normal projective variety $ X$ onto a smooth projective variety show $ Y$. Let $ L$ be a Cartier divisor on $ X$ and let $ \Delta$ be an effective $ \mathbb R$-divisor on $ X$ such that $ K_X+\Delta$ is $ \mathbb R$-Cartier. Let $ D$ be an $ \mathbb R$-divisor on $ Y$. Let $ k$ be
 it is natural to consider:

\[y-aef1.9\] A torsion-frge coherxnt shezf $\mathcxl F$ on a normal quasi-projecvive varitny $W$ is called a [*[mixea-$\omega$-shewf]{}*]{} if thwre txist a projectivx surjecbnve mkvphisk from a smooth quasi-projactive variety $V$ aud a simple normal crossing divisor $Q$ on $V$ xufh that $\mathcaj F$ ps a djgegt summand of $f_*\mathcal O_V(K_V+D)$. Wheh $D=0$, $\matical F$ is callec a [*[pure-$\omega$-sheaf]{}*]{} on $W$.

For the study of klt paird, the notiob of pure-$\omega$-shexves is sufficient and is essentially due to Nakayama (see [@uakayama]). In tyis kaper, we stuvy somv basic propevnies of mixed-$\okega$-sheaves. Thcy arx ineispensable for the svudy of log canonicaj pairs. Ox eourse, the theory of nized-$\omgga$-shaaver (rerp. phrx-$\omsga$-shewvea) in this laper is bawed on that of mixec (wvxp. pure) Hodge struceuwes. Roughly speaking, Nakayama only treaus pude-$\omega$-sheaves in [@nakayqma Chapter V]. However, his theowy of $\omega$-sheaves is more sophisticated and some of hms rewujgw wre much sharper than ours. We do not try to mwie tme framework disgussed in this paprr sikersede Nakayaoa’s thzkrg of $\omega$-sheaves ln [@nakaiama Cyapter V]. Uhe msin purpose of this paper iw to make Nahqyama’s theory of $\olega$-sheaves morg accexsible and make it applncable to the stufy of log zanonical pairs. Ghepram \[x-thm9.3\] (and Remark \[x-rem9.4\]) is one of tie mann resulgs og this paper, whifh we call a fundamental theotem of the theorj of mixed-$\omega$-sheaves.

\[y-thm1.10\] Let $h:E\to Y$ be a sutjewtine morphifm frpm a normal pwojective varigty $X$ ontj a soooth projvctive vaciety $Y$. Let $J$ be a Carties divisor on $E$ and let $\Delra$ bw an efwdctive $\mathbb T$-divisor on $X$ such rhat $K_X+\Delta$ is $\mabhbb T$-Czrtier. Let $D$ be an $\mathbb R$-divisot ov $Y$. Lvt $l$ fa
it is natural to consider: \[y-def1.9\] A sheaf F$ on normal quasi-projective variety if exist a projective morphism from a quasi-projective variety $V$ and a simple crossing divisor $D$ on $V$ such that $\mathcal F$ is a direct summand $f_*\mathcal O_V(K_V+D)$. When $D=0$, $\mathcal F$ is called a [*[pure-$\omega$-sheaf]{}*]{} on $W$. For study klt the of pure-$\omega$-sheaves is sufficient and is essentially due to Nakayama (see [@nakayama]). In this paper, we some basic properties of mixed-$\omega$-sheaves. They are indispensable the study of log pairs. Of course, the theory mixed-$\omega$-sheaves pure-$\omega$-sheaves) in paper based that of mixed pure) Hodge structures. Roughly speaking, Nakayama only treats pure-$\omega$-sheaves in [@nakayama Chapter V]. However, his theory of is more some of results much than ours. We try to make the framework discussed supersede Nakayama’s theory of $\omega$-sheaves in [@nakayama Chapter The main of this paper is to make theory of $\omega$-sheaves more accessible and make it to the study of log canonical pairs. Theorem \[x-thm9.3\] (and Remark \[x-rem9.4\]) is one of results of this paper, we call a theorem the of \[y-thm1.10\] Let Y$ be a surjective morphism from a normal projective variety $X$ a smooth projective variety $Y$. Let $L$ be a Cartier $X$ let $\Delta$ be effective $\mathbb R$-divisor on such $K_X+\Delta$ is $\mathbb R$-Cartier. be $\mathbb Let be
 it is natural to consider:

\[y-def1.9\] a torsion-frEe cohEreNt sHeAf $\maThcaL F$ on a normal quaSI-proJective variety $W$ is calleD a [*[mixEd-$\OMega$-SHeAf]{}*]{} if tHere exiST a PROjeCtIvE suRjECtIve moRphIsm from A smooth quaSi-pRoJective varieTY $V$ And a simple NorMal crossing dIviSor $D$ on $v$ sUch THat $\maThcAl F$ is A direcT SummanD of $f_*\mathcAl o_v(K_V+D)$. WhEN $D=0$, $\mathcAL f$ iS calLed a [*[pure-$\omega$-sheaF]{}*]{} On $w$.

for the study of kLt pairS, tHE nOTIon Of pUre-$\omega$-shEaVes is SUfficieNT aND IS esSEntially due to nakayama (see [@NAkaYama]). In ThIs pAPer, we sTudy sOmE BasIc propertieS of mIxed-$\omega$-SheaveS. they are INdispenSable fOr tHe sTudy OF lOg CanOnICal PAiRs. OF CouRse, the thEoRy Of mixEd-$\omEGA$-SHeavEs (rEsp. pUre-$\omEga$-sheaves) in tHis PapeR Is bAsed oN that Of miXeD (resp. Pure) HoDge stRuCtures. Roughly spEakiNg, NakayamA onLy TreAtS pure-$\OMega$-shEavEs iN [@nakayaMa ChaptER V]. HOwEVER, hIs theory of $\omega$-sheAvES Is More sophIsticaTEd AnD Some of hiS rEsuLts aRE Much sHarpER tHan ours. WE do not TRy To Make the FrAmeworK dIscUssEd in tHIs paPer supErsede NaKayamA’S theory of $\omega$-SHeaves in [@nakayAMa cHApTEr V]. THe mAin purpose oF thiS PapeR is tO MaKe NAKayamA’s theOrY Of $\OMega$-sheaves more acceSsIble anD make It applicable tO the study oF LOG canonicAl paIRs. tHeorem \[x-thm9.3\] (and REmark \[X-rem9.4\]) is one oF The main rEsultS of this pAper, which WE Call a funDamEntAl tHeoREM oF the theory of mIXEd-$\omEgA$-sheaveS.

\[y-tHm1.10\] Let $f:X\To Y$ Be a SurJecTiVe morphisM from a noRmAl PrOjEctIve vaRIety $X$ ontO a SmoOtH prOjectIVe variEty $Y$. LEt $L$ bE a caRTieR divisoR On $x$ ANd leT $\DElTa$ be An eFfEctivE $\matHBb R$-Divisor On $X$ such thAt $K_x+\deltA$ iS $\mAthbb R$-CArtier. Let $D$ be aN $\mAthbb R$-diviSoR on $y$. Let $k$ bE
 it is natural to consider :

\[y-def 1.9\]  Ator si on-f reecoherent sheaf $\ma thcal F$ on a normal q uasi- pr o ject i ve  vari ety $W$ is c all ed  a  [* [m i xe d-$\o meg a$-shea f]{}*]{} i f t he re exist a p r oj ective sur jec tive morphis m f rom asm oot h  quas i-p rojec tive v a riety$V$ and a  s i mple n o rmal cr o s si ng d ivisor $D$ on $V$ su c h that $\mathc al F$is ad i rec t s ummand of$f _*\ma t hcal O_ V (K _ V + D)$ .  When $D=0$,$\mathcal F $  is  calle da [ * [pure- $\ome ga $ -sh eaf]{}*]{}on $ W$.

Forthe st u dy of k l t pairs , thenot ion  ofp ur e- $\o me g a$- s he ave s  is  suffici en tand i s es s e n t iall y d ue t o Nak ayama (see [@ nak ayam a ]).  In t his p aper ,we st udy so me ba si c properties of  mix ed-$\omeg a$- sh eav es . The y  are i ndi spe nsablefor the stu dy o f  l og canonical pairs .O f  c ourse, t he the o ry  o f  mixed-$ \o meg a$-s h e aves(res p .pure-$\o mega$- s he av es) inth is pap er  is  ba sed o n  tha t of m ixed (re sp. p u re) Hodge stru c tures. Roughl y  s p e ak i ng,Nak ayama onlytrea t s pu re-$ \ om ega $ -shea ves i n[ @n a kayama Chapter V].Ho wever,  histheory of $\o mega$-shea v e s  is more  sop h is t icated and som e ofhis result s  are muc h sha rper tha n ours. W e do not t rytomak e t h e  f ramework disc u s sedin  this p ape r super sed e N aka yam a’ s theoryof $\ome ga $- sh ea ves  in [ @ nakayama  C hap te r V ]. Th e  mainpurpo se o fth i s p aper is to m akeNa ka yama ’sth eoryof $ \ ome ga$-she aves more  ac c essi bl eand mak e it applicab le  to the st ud y o f logc a nonicalpairs. Theorem \[x-thm9 . 3\] (an d R emark  \[x -rem9.4\] ) i s oneoft he mai n resu lts o fthi s paper , wh ich  w e call a f u n dam ental  t heor em of t he theory of mixed - $\o mega$-sheaves .
\[y- t h m1 .10 \ ]L et$f : X\t o Y$ be a surject ive morphi sm fr om a norma l  pr oj ectivevariety  $X$o nto a s mooth pro jective v ar iety $ Y$.  Let $L$ b e a Cart ier divis o r on$ X$  andlet  $\Del ta $ b e aneffect i ve$\mat hbb R$ -d ivisor  on $ X$  such th at $K_X+\Delta$ is $\ma thbb R $-Car tie r. Let $D $ b e  an  $\mathbb  R$- divisor on  $Y $.Let $ k$b e
 it_is natural_to consider:

\[y-def1.9\] A torsion-free_coherent sheaf_$\mathcal_F$ on_a_normal quasi-projective variety_$W$ is called_a [*[mixed-$\omega$-sheaf]{}*]{} if there_exist a projective_surjective_morphism from a smooth quasi-projective variety $V$ and a simple normal crossing divisor $D$_on_$V$ such_that_$\mathcal_F$ is a direct summand_of $f_*\mathcal O_V(K_V+D)$. When $D=0$,_$\mathcal F$_is called a [*[pure-$\omega$-sheaf]{}*]{} on $W$.

For the study_of_klt pairs, the_notion of pure-$\omega$-sheaves is sufficient and is essentially due_to Nakayama (see [@nakayama]). In this_paper, we study_some_basic_properties of mixed-$\omega$-sheaves. They_are indispensable for the study of_log canonical pairs. Of course, the_theory of mixed-$\omega$-sheaves (resp. pure-$\omega$-sheaves) in this paper_is based on that of mixed_(resp. pure) Hodge structures. Roughly speaking,_Nakayama only_treats pure-$\omega$-sheaves in [@nakayama Chapter_V]. However, his_theory of_$\omega$-sheaves is more_sophisticated and some of his results_are much sharper_than ours. We do not try_to_make the framework_discussed_in_this paper_supersede Nakayama’s theory_of_$\omega$-sheaves in_[@nakayama_Chapter V]. The main purpose of_this_paper is to make Nakayama’s theory of_$\omega$-sheaves more accessible and_make_it applicable to the_study of log canonical pairs._Theorem \[x-thm9.3\] (and Remark \[x-rem9.4\]) is_one of_the main_results of this paper, which we call a fundamental theorem of_the theory of mixed-$\omega$-sheaves.

\[y-thm1.10\] Let $f:X\to_Y$ be a surjective_morphism from_a_normal projective variety_$X$_onto a_smooth projective variety $Y$. Let $L$ be_a Cartier_divisor on $X$ and let $\Delta$_be an effective $\mathbb_R$-divisor_on $X$ such that $K_X+\Delta$ is_$\mathbb R$-Cartier. Let $D$ be an_$\mathbb R$-divisor on $Y$. Let_$k$_be