D}(\mathrm{Mod}(A))^c) = \mathrm{Spc}(\mathrm{D}^{\mathrm{perf}}(A)) = \mathrm{Spec}(A)~.$$ Let $\mathfrak{p} \in \mathrm{Spec}(A)$ be a prime ideal. Then the functor $\Gamma_{\mathfrak{p}}$ is given as $\mathrm{K}_{\infty}(\mathfrak{p}) \otimes A_{\mathfrak{p}} \otimes -$, where $\mathrm{K}_{\infty}(\mathfrak{p})$ is the *stable Koszul complex* of the prime ideal $\mathfrak{p}$. In particular, if $\mathrm{Supp}(C^{\bullet})$ denotes the complement of the set of points where $C^{\bullet}$ is acyclic, then we see that $\mathrm{supp}(C^{\bullet}) \subset \mathrm{Supp}(C^{\bullet})$. The set $\mathrm{supp}(C^{\bullet})$ is sometimes known as the *small support* of $C^{\bullet}$ and coincides with the set of prime ideals $\mathfrak{p}$ such that $\mathrm{k}(\mathfrak{p}) \otimes^{\mathrm{L}} C^{\bullet} \neq 0$.

In comparison to the notion of support of an essentially small tensor triangulated category, the support of an object of $\mathcal{T}$ is still a well-behaved construction. For example, we have $\mathrm{supp}(\bigoplus_i a_i) = \bigcup_i \mathrm{supp}(a_i)$, but $\mathrm{supp}(a)$ needs not be closed. If $a \in \mathcal{T}^c$, then $\mathrm{supp}(a)$ coincides with the notion of support from Section \[subsection:ttgeometry\] and hence it will be closed.

Relative supports and tensor triangular Chow groups {#subsection:relative-tensor-triangular-chow-groups}
---------------------------------------------------

We shall now adapt to a situation where we consider triangulated categories $\mathcal{K}$ that don’t necessarily have a symmetric monoidal structure themselves, but rather admit an *action* by a tensor triangulated category $\mathcal{T}$. Let us recall from [@MR3181496] what it means for $\mathcal{T}$ to have an action $\ast$ on $\mathcal{K}$.

We are given a biexact bifunctor $$\ast: \mathcal{T} \times \mathcal{K} \to \mathcal
D}(\mathrm{Mod}(A))^c) = \mathrm{Spc}(\mathrm{D}^{\mathrm{perf}}(A) ) = \mathrm{Spec}(A)~.$$ Let $ \mathfrak{p } \in \mathrm{Spec}(A)$ be a prime ideal. Then the functor $ \Gamma_{\mathfrak{p}}$ is given as   $ \mathrm{K}_{\infty}(\mathfrak{p }) \otimes A_{\mathfrak{p } } \otimes -$, where $ \mathrm{K}_{\infty}(\mathfrak{p})$ is the * stable Koszul building complex * of the premier ideal   $ \mathfrak{p}$. In particular, if $ \mathrm{Supp}(C^{\bullet})$ denotes the complement of the hardening of point where $ C^{\bullet}$ is acyclic, then we see that $ \mathrm{supp}(C^{\bullet }) \subset \mathrm{Supp}(C^{\bullet})$. The set $ \mathrm{supp}(C^{\bullet})$ is sometimes know as the * small support * of $ C^{\bullet}$ and coincide with the set of prime ideal $ \mathfrak{p}$ such that   $ \mathrm{k}(\mathfrak{p }) \otimes^{\mathrm{L } } C^{\bullet } \neq 0$. 

 In comparison to the notion of support of an basically small tensor triangulated category, the support of an object of $ \mathcal{T}$ is still a well - behaved structure. For example, we have $ \mathrm{supp}(\bigoplus_i a_i) = \bigcup_i \mathrm{supp}(a_i)$, but $ \mathrm{supp}(a)$ needs not be close. If $ a \in \mathcal{T}^c$, then $ \mathrm{supp}(a)$ coincides with the notion of documentation from Section \[subsection: ttgeometry\ ] and therefore it will be closed. 

 Relative support and tensor triangular Chow groups { # subsection: relative - tensor - triangular - chow - group } 
 --------------------------------------------------- 

 We shall now adapt to a situation where we consider triangulated categories $ \mathcal{K}$ that do n’t necessarily have a symmetric monoidal structure themselves, but rather admit an * action * by a tensor triangulated category $ \mathcal{T}$. Let us recall from [ @MR3181496 ] what it mean for $ \mathcal{T}$ to have an action $ \ast$ on $ \mathcal{K}$. 

 We are feed a biexact bifunctor $ $ \ast: \mathcal{T } \times \mathcal{K } \to \mathcal
D}(\mahhrm{Mod}(A))^c) = \mathrm{Spc}(\mathvm{D}^{\mathrm{perf}}(A)) = \mathrm{S'ec}(A)~.$$ Lef $\mathfrxk{p} \in \mathrm{Spec}(A)$ be a primx idwal. Tyen the functor $\Gamma_{\mxthfrak{p}}$ ps given qs $\mauhrm{K}_{\infty}(\mathfrak{p}) \otimes A_{\matgnrak{p}} \itimes -$, where $\kathrm{K}_{\infdy}(\mathfrak{p})$ is tfe *stable Koszul complex* of the prime ideal $\mstjfrak{p}$. In partyculsw, if $\mathrm{Supp}(C^{\bullet})$ denotes the comllement of the set og points where $C^{\bullet}$ is wcycpic, then we see thwt $\mathrm{sukl}(C^{\btolet}) \subset \oathrm{Supp}(B^{\yullet})$. The aet $\mathrm{supp}(C^{\bullet})$ is sometioes kuown as the *snalp support* of $C^{\buljet}$ and coingpdes widh the xet of prime iceans $\nathfrak{p}$ such that $\mavhrm{k}(\mathfrak{p}) \otimef^{\mathrm{L}} W^{\bbllet} \neq 0$.

In comparisin to tve nmtiov of sukpoct kf an fssxntially smzll tensor rriangulated categoty, nne support or an ofjqct of $\mathcal{T}$ is still a well-behaved bonsfruction. For example, we have $\mathrm{supp}(\bigoppus_i a_i) = \figcup_i \mathrm{supp}(a_i)$, but $\mathrm{supp}(a)$ needs not be closxd. If $a \kb \lathcal{T}^c$, then $\mathrm{supp}(a)$ coincides with the houiok of support froi Section \[sibdevjion:ttgeometry\] and hzhcs it will be closef.

Relatide supports anq temsor triangular Chow groups {#subsection:rvlatuve-tensor-triangulax-chow-groups}
---------------------------------------------------

Wz shalk now adapt to a situation wkere ws consider hriangulafdd categories $\maghcsl{N}$ that don’t necessarily hade a symmxtric monoidxl sjructurq themselvfs, bub rather admit an *aftion* bf a tensor triangulated category $\mathcal{T}$. Let us recall fsom [@MR3181496] what it mcans for $\mathcaj{T}$ to have an cction $\aft$ on $\mathcal{K}$.

Wv are givxn a biexact bifunctor $$\asd: \mathcal{T} \tikes \mathsal{K} \to \nathcal
D}(\mathrm{Mod}(A))^c) = \mathrm{Spc}(\mathrm{D}^{\mathrm{perf}}(A)) = \mathrm{Spec}(A)~.$$ Let $\mathfrak{p} be prime ideal. the functor $\Gamma_{\mathfrak{p}}$ A_{\mathfrak{p}} -$, where $\mathrm{K}_{\infty}(\mathfrak{p})$ the *stable Koszul of the prime ideal $\mathfrak{p}$. In if $\mathrm{Supp}(C^{\bullet})$ denotes the complement of the set of points where $C^{\bullet}$ is then we see that $\mathrm{supp}(C^{\bullet}) \subset \mathrm{Supp}(C^{\bullet})$. The set $\mathrm{supp}(C^{\bullet})$ is sometimes known the support* $C^{\bullet}$ coincides with the set of prime ideals $\mathfrak{p}$ such that $\mathrm{k}(\mathfrak{p}) \otimes^{\mathrm{L}} C^{\bullet} \neq 0$. In to the notion of support of an essentially tensor triangulated category, the of an object of $\mathcal{T}$ still well-behaved construction. example, have a_i) = \bigcup_i but $\mathrm{supp}(a)$ needs not be closed. If $a \in \mathcal{T}^c$, then $\mathrm{supp}(a)$ coincides with the notion of from Section hence it be Relative and tensor triangular {#subsection:relative-tensor-triangular-chow-groups} --------------------------------------------------- We shall now adapt where we consider triangulated categories $\mathcal{K}$ that don’t have a monoidal structure themselves, but rather admit *action* by a tensor triangulated category $\mathcal{T}$. Let recall from [@MR3181496] what it means for $\mathcal{T}$ to have an action $\ast$ on $\mathcal{K}$. given a biexact bifunctor \mathcal{T} \times \mathcal{K} \mathcal
D}(\mathrm{Mod}(A))^c) = \mathrm{Spc}(\mathRm{D}^{\mathrm{pErf}}(A)) = \mAthRm{SPeC}(A)~.$$ LeT $\matHfrak{p} \in \mathrm{sPec}(A)$ Be a prime ideal. Then the fuNctor $\gaMMa_{\maTHfRak{p}}$ iS given aS $\MaTHRm{K}_{\InFtY}(\maThFRaK{p}) \otiMes a_{\mathfrAk{p}} \otimes -$, wHerE $\mAthrm{K}_{\infty}(\mAThFrak{p})$ is the *StaBle Koszul comPleX* of the PrIme IDeal $\mAthFrak{p}$. in partICular, iF $\mathrm{SuPp}(c^{\Bullet})$ DEnotes tHE CoMpleMent of the set of poiNTs WHere $C^{\bullet}$ is aCyclic, ThEN wE SEe tHat $\Mathrm{supp}(c^{\bUllet}) \SUbset \maTHrM{sUPp}(C^{\BUllet})$. The set $\maThrm{supp}(C^{\buLLet})$ Is someTiMes KNown as The *smAlL SupPort* of $C^{\bullEt}$ anD coincideS with tHE set of pRIme ideaLs $\mathFraK{p}$ sUch tHAt $\MaThrM{k}(\MAthFRaK{p}) \oTImeS^{\mathrm{L}} c^{\bUlLet} \neQ 0$.

In cOMPARisoN to The nOtion Of support of an EssEntiALly Small TensoR triAnGulatEd cateGory, tHe Support of an objeCt of $\Mathcal{T}$ iS stIlL a wElL-behaVEd consTruCtiOn. For exAmple, we HAve $\MaTHRM{sUpp}(\bigoplus_i a_i) = \bigcUp_I \MAtHrm{supp}(a_I)$, but $\maTHrM{sUPp}(a)$ needs NoT be ClosED. if $a \in \MathCAl{t}^c$, then $\maThrm{suPP}(a)$ CoIncides WiTh the nOtIon Of sUpporT From sectioN \[subsectIon:ttGEometry\] and hencE It will be closeD.

reLATiVE supPorTs and tensor TriaNGulaR ChoW GrOupS {#SubseCtion:ReLAtIVe-tensor-triangular-cHoW-groupS}
---------------------------------------------------

We shAll now adapt to A situation WHERe we consIder TRiANgulated categoRies $\mAthcal{K}$ thaT Don’t neceSsariLy have a sYmmetric mONOidal strUctUre TheMseLVEs, But rather admiT AN *actIoN* by a tenSor TrianguLatEd cAteGorY $\mAthcal{T}$. LeT us recalL fRoM [@Mr3181496] wHat It meaNS for $\mathCaL{T}$ tO hAve An actIOn $\ast$ oN $\mathCal{K}$.

we ArE GivEn a biexACt BIFuncToR $$\aSt: \maThcAl{t} \timeS \matHCal{k} \to \mathCal
D}(\mathrm{Mod}(A))^c) = \ mathrm{Spc }(\ma thr m{D }^ {\ma thrm {perf}}(A)) =\ math rm{Spec}(A)~.$$ Let $\ mathf ra k {p}\ in  \mat hrm{Spe c }( A ) $ b eapri me id eal.The n the f unctor $\G amm a_ {\mathfrak{p } }$  is givenas$\mathrm{K}_ {\i nfty}( \m ath f rak{p })\otim es A_{ \ mathfr ak{p}} \o ti m es -$, where $ \ m at hrm{ K}_{\infty}(\math f ra k {p})$ is the * stable  K o sz u l  co mpl ex* of the  p rimei deal $\ m at h f r ak{ p }$. In partic ular, if $\ m ath rm{Sup p} (C^ { \bulle t})$de n ote s the compl emen t of theset of pointsw here $C ^{\bul let }$is a c yc li c,th e n w e  s eet hat  $\mathr m{ su pp}(C ^{\b u l l e t})\su bset  \mat hrm{Supp}(C^{ \bu llet } )$.  Theset $ \mat hr m{sup p}(C^{ \bull et })$ is sometime s kn own as th e * sm all  s uppor t * of $ C^{ \bu llet}$and coi n cid es w i th  the set of primeid e a ls  $\mathf rak{p} $  s uc h  that $\ ma thr m{k} ( \ mathf rak{ p })  \otimes ^{\mat h rm {L }} C^{\ bu llet}\n eq0$. 

Inc ompa risonto the n otion of support ofa n essentially sm a l lt enso r t riangulated  cat e gory , th e  s upp o rt of  an o bj e ct of $\mathcal{T}$ is  s till a  well -behaved cons truction.F o r  example , we ha v e $\mathrm{sup p}(\b igoplus_ia _i) = \b igcup _i \math rm{supp}( a _ i)$, but  $\ mat hrm {su p p }( a)$ needs not b e cl os ed. If$a\in \ma thc al{ T}^ c$,  t hen $\mat hrm{supp }( a) $co inc idesw ith theno tio nofsuppo r t from  Sect ion\[ su b sec tion:tt g eo m e try\ ]an d he nce  i t wil l be clo sed.

R elative s upp o rtsan dtensortriangular Ch ow  groups {# su bse ction: r e lative-t ensor-triangular-chow-g r oups}
- --- ----- ---- --------- --- ------ --- - ------ ------ ----
W e s h a ll no w ad apt  t o a situat i o n w herewe  con sider t riangulated catego r ies  $\mathcal{K} $ t hatd o n’ t n e ce s sar il y  ha v e  a symmetric mo noidal str uc t ur e themselv e s,bu t rathe r admit  an * a ction*by a tens or triang ul ated c ate gory $\mat hcal{T}$ . Let usr ecall fr om [@ MR3 181496 ]wha t itmeansf or$\mat hcal{T }$  to ha ve an  a ction $\ ast$ on $\mathcal{K}$.
We ar e giv ena biexact  bi f unc tor $$\as t: \ mathcal{T}  \t ime s \ma thc a l{K}\to\ ma thc a l
D}(\mathrm{Mod}(A))^c) =_\mathrm{Spc}(\mathrm{D}^{\mathrm{perf}}(A)) =_\mathrm{Spec}(A)~.$$ Let $\mathfrak{p} \in_\mathrm{Spec}(A)$ be_a_prime ideal._Then_the functor $\Gamma_{\mathfrak{p}}$_is given as $\mathrm{K}_{\infty}(\mathfrak{p})_\otimes A_{\mathfrak{p}} \otimes -$,_where $\mathrm{K}_{\infty}(\mathfrak{p})$ is_the_*stable Koszul complex* of the prime ideal $\mathfrak{p}$. In particular, if $\mathrm{Supp}(C^{\bullet})$ denotes the complement_of_the set_of_points_where $C^{\bullet}$ is acyclic, then_we see that $\mathrm{supp}(C^{\bullet}) \subset_\mathrm{Supp}(C^{\bullet})$. The_set $\mathrm{supp}(C^{\bullet})$ is sometimes known as the *small_support*_of $C^{\bullet}$ and_coincides with the set of prime ideals $\mathfrak{p}$ such_that $\mathrm{k}(\mathfrak{p}) \otimes^{\mathrm{L}} C^{\bullet} \neq 0$.

In comparison_to the notion_of_support_of an essentially small_tensor triangulated category, the support of_an object of $\mathcal{T}$ is still_a well-behaved construction. For example, we have_$\mathrm{supp}(\bigoplus_i a_i) = \bigcup_i \mathrm{supp}(a_i)$, but_$\mathrm{supp}(a)$ needs not be closed._If $a_\in \mathcal{T}^c$, then $\mathrm{supp}(a)$ coincides_with the notion_of support_from Section \[subsection:ttgeometry\]_and hence it will be closed.

Relative_supports and tensor_triangular Chow groups {#subsection:relative-tensor-triangular-chow-groups}
---------------------------------------------------

We shall now_adapt_to a situation_where_we_consider triangulated_categories $\mathcal{K}$ that_don’t_necessarily have_a_symmetric monoidal structure themselves, but rather_admit_an *action* by a tensor triangulated category_$\mathcal{T}$. Let us recall_from_[@MR3181496] what it means_for $\mathcal{T}$ to have an_action $\ast$ on $\mathcal{K}$.

We are given_a biexact_bifunctor $$\ast:_\mathcal{T} \times \mathcal{K} \to \mathcal