 varieties follows from the incidence correspondence from the proof above.

We now give basic properties of higher-order support varieties, akin to those of the one-dimensional affine support varieties.

\[thm:props\] The following hold for finitely generated $R$-modules $M$ and $N$.

1.  ${\operatorname{V}\nolimits}_R^d(k)={\operatorname{G}\nolimits}_d(V)$.

2.  ${\operatorname{V}\nolimits}_R^d(M,N)={\operatorname{V}\nolimits}_R^d(N,M)$. For $d=1$, we moreover have ${\operatorname{V}\nolimits}_R^1(M,N)={\operatorname{V}\nolimits}_R^1(M)\cap{\operatorname{V}\nolimits}_R^1(N)$.

3.  ${\operatorname{V}\nolimits}_R^d(M,M)={\operatorname{V}\nolimits}_R^d(k,M)={\operatorname{V}\nolimits}_R^d(M)$.

4.  If $M'$ is a syzygy of $M$ and $N'$ is a syzygy of $N$, then ${\operatorname{V}\nolimits}_R^d(M,N)={\operatorname{V}\nolimits}_R^d(M',N')$. \[syzygy\]

5.  If $0\to M_1\to M_2\to M_3\to 0$ and $0\to N_1\to N_2\to N_3\to 0$ are short exact sequences of finitely generated $R$-modules, then for $\{h,i,j\}=\{1,2,3\}$ there are inclusions $${\operatorname{V}\nolimits}_R^d(M_h,N)\subseteq{\operatorname{V}\nolimits}_R^d(M_i,N)\cup{\operatorname{V}\nolimits}_R^d(M_j,N);$$ $${\operatorname{V}\nolimits}_R^d(M,N_h)\subseteq{\operatorname{V}\nolimits}_R^d(M,N_i)\cup{\operatorname{V}\nolimits}_R^d(M,N_j).$$

6.  If $M$ is Cohen-Macaulay of codimension $m$, then $${\operatorname{V}\nolimits}_R^d(M)={\operatorname{V
varieties follows from the incidence correspondence from the proof above. 

 We nowadays contribute basic properties of higher - order accompaniment varieties, akin to those of the one - dimensional affine support variety show. 

 \[thm: props\ ] The following detention for finitely generated $ R$-modules $ M$ and $ N$. 

 1.   $ { \operatorname{V}\nolimits}_R^d(k)={\operatorname{G}\nolimits}_d(V)$. 

 2.   $ { \operatorname{V}\nolimits}_R^d(M, N)={\operatorname{V}\nolimits}_R^d(N, M)$. For $ d=1 $, we furthermore take $ { \operatorname{V}\nolimits}_R^1(M, N)={\operatorname{V}\nolimits}_R^1(M)\cap{\operatorname{V}\nolimits}_R^1(N)$. 

 3.   $ { \operatorname{V}\nolimits}_R^d(M, M)={\operatorname{V}\nolimits}_R^d(k, M)={\operatorname{V}\nolimits}_R^d(M)$. 

 4.   If $ M'$ is a syzygy of $ M$ and $ N'$ is a syzygy of $ N$, then $ { \operatorname{V}\nolimits}_R^d(M, N)={\operatorname{V}\nolimits}_R^d(M',N')$. \[syzygy\ ] 

 5.   If $ 0\to M_1\to M_2\to M_3\to 0 $ and $ 0\to N_1\to N_2\to N_3\to 0 $ are short accurate sequences of finitely generated $ R$-modules, then for $ \{h, i, j\}=\{1,2,3\}$ there are inclusions $ $ { \operatorname{V}\nolimits}_R^d(M_h, N)\subseteq{\operatorname{V}\nolimits}_R^d(M_i, N)\cup{\operatorname{V}\nolimits}_R^d(M_j, N);$$ $ $ { \operatorname{V}\nolimits}_R^d(M, N_h)\subseteq{\operatorname{V}\nolimits}_R^d(M, N_i)\cup{\operatorname{V}\nolimits}_R^d(M, N_j).$$ 

 6.   If $ M$ is Cohen - Macaulay of codimension $ m$, then $ $ { \operatorname{V}\nolimits}_R^d(M)={\operatorname{V
 vagieties follows from the incidence corrgspondenre from the prouf above.

We now give basic prlpwrtiew of higher-order suppoft varietpes, akin ro tiose of the one-dmjensional affjke su'pirt varieties.

\[tmm:props\] The following holg wox finitely generated $R$-modules $M$ and $G$.

1.  ${\operstlrname{V}\nolimitf}_R^d(k)={\p[eraforname{G}\nolimits}_d(V)$.

2.  ${\operatorname{V}\nklimits}_G^d(M,N)={\operatorname{V}\molimits}_R^d(N,M)$. For $d=1$, we morelver have ${\operatorname{G}\nolimits}_R^1(M,B)={\opewqtorname{V}\nolkmits}_R^1(M)\cap{\operatorname{B}\nolimits}_R^1(N)$.

3.  ${\operatorname{V}\nolimkts}_R^d(K,M)={\operatorbane{V}\jmlimits}_R^d(k,M)={\iperanorname{V}\nolimlns}_R^d(M)$.

4.  Hf $M'$ is a syzygy of $M$ anv $N'$ us a syzygy of $N$, then ${\operatorname{V}\noliiits}_R^d(M,N)={\o[exatorname{V}\nolimits}_R^d(M',B')$. \[wyzygi\]

5.  If $0\to O_1\ro O_2\to M_3\vo 0$ and $0\tl N_1\vo N_2\to N_3\to 0$ are short wxact sequences of gigpyely generatsd $R$-moqujes, then for $\{h,i,j\}=\{1,2,3\}$ there are inclusions $${\okeratkrname{V}\nolimits}_R^d(M_h,N)\subweteq{\operatorname{V}\nollmits}_R^d(M_i,G)\cup{\operatorname{V}\nolimits}_R^d(M_j,N);$$ $${\operatorname{V}\nolimhts}_R^d(J,V_h)\sbnfdree{\operatorname{V}\nolimits}_R^d(M,N_i)\cup{\operatorname{V}\nojjmotx}_R^d(M,N_j).$$

6.  If $M$ if Cohen-Macailwy jf codimensiov $m$, thzh $${\kperatorname{V}\nolimlts}_R^d(M)={\okeratoename{V
varieties follows from the incidence correspondence from above. now give properties of higher-order of one-dimensional affine support \[thm:props\] The following for finitely generated $R$-modules $M$ and 1. ${\operatorname{V}\nolimits}_R^d(k)={\operatorname{G}\nolimits}_d(V)$. 2. ${\operatorname{V}\nolimits}_R^d(M,N)={\operatorname{V}\nolimits}_R^d(N,M)$. For $d=1$, we moreover have ${\operatorname{V}\nolimits}_R^1(M,N)={\operatorname{V}\nolimits}_R^1(M)\cap{\operatorname{V}\nolimits}_R^1(N)$. 3. ${\operatorname{V}\nolimits}_R^d(M,M)={\operatorname{V}\nolimits}_R^d(k,M)={\operatorname{V}\nolimits}_R^d(M)$. 4. $M'$ is a syzygy of $M$ and $N'$ is a syzygy of $N$, ${\operatorname{V}\nolimits}_R^d(M,N)={\operatorname{V}\nolimits}_R^d(M',N')$. 5. $0\to M_2\to M_3\to 0$ and $0\to N_1\to N_2\to N_3\to 0$ are short exact sequences of finitely generated then for $\{h,i,j\}=\{1,2,3\}$ there are inclusions $${\operatorname{V}\nolimits}_R^d(M_h,N)\subseteq{\operatorname{V}\nolimits}_R^d(M_i,N)\cup{\operatorname{V}\nolimits}_R^d(M_j,N);$$ $${\operatorname{V}\nolimits}_R^d(M,N_h)\subseteq{\operatorname{V}\nolimits}_R^d(M,N_i)\cup{\operatorname{V}\nolimits}_R^d(M,N_j).$$ If $M$ is Cohen-Macaulay codimension $m$, then $${\operatorname{V}\nolimits}_R^d(M)={\operatorname{V
 varieties follows from the inCidence corRespoNdeNce FrOm thE proOf above.

We now giVE basIc properties of higher-orDer suPpORt vaRIeTies, aKin to thOSe OF The OnE-dImeNsIOnAl affIne Support Varieties.

\[tHm:pRoPs\] The followiNG hOld for finiTelY generated $R$-mOduLes $M$ anD $N$.

1.  ${\OpeRAtornAme{v}\noliMits}_R^d(K)={\OperatOrname{G}\noLiMIts}_d(V)$.

2.  ${\oPEratornAME{V}\NoliMits}_R^d(M,N)={\operatornAMe{v}\Nolimits}_R^d(N,M)$. FoR $d=1$, we moReOVeR HAve ${\OpeRatorname{V}\NoLimitS}_r^1(M,N)={\operAToRNAMe{V}\NOlimits}_R^1(M)\cap{\oPeratorname{v}\NolImits}_R^1(n)$.

3.  ${\oPerATornamE{V}\nolImITs}_R^D(M,M)={\operatorName{v}\nolimits}_r^d(k,M)={\opERatornaME{V}\nolimIts}_R^d(M)$.

4.  if $M'$ Is a SyzyGY oF $M$ And $n'$ iS A syZYgY of $n$, TheN ${\operatoRnAmE{V}\nolImitS}_r^D(m,n)={\opeRatOrnaMe{V}\noLimits}_R^d(M',N')$. \[syzYgy\]

5.  if $0\to m_1\To M_2\To M_3\to 0$ And $0\to n_1\to N_2\To n_3\to 0$ arE short Exact SeQuences of finiteLy geNerated $R$-mOduLeS, thEn For $\{h,i,J\}=\{1,2,3\}$ There aRe iNclUsions $${\oPeratorNAme{v}\nOLIMiTs}_R^d(M_h,N)\subseteq{\opeRaTORnAme{V}\noliMits}_R^d(m_I,N)\CuP{\OperatorNaMe{V}\NoliMITs}_R^d(M_J,N);$$ $${\opERaTorname{V}\NolimiTS}_R^D(M,n_h)\subseTeQ{\operaToRnaMe{V}\NolimITs}_R^d(m,N_i)\cup{\OperatorName{V}\NOlimits}_R^d(M,N_j).$$

6.  If $m$ Is Cohen-MacaulAY oF COdIMensIon $M$, then $${\operatOrnaME{V}\noLimiTS}_R^D(M)={\oPEratoRname{v
 varieties follows from th e incidenc e cor res pon de ncefrom  the proof abo v e.
We now give basic prop ertie so f hi g he r-ord er supp o rt v ari et ie s,ak i nto th ose  of the  one-dimen sio na l affine sup p or t varietie s.
\[thm:props \]The fo ll owi n g hol d f or fi nitely genera ted $R$-m od u les $M $  and $N $ . 
1. ${\operatorname{V } \n o limits}_R^d(k) ={\ope ra t or n a me{ G}\ nolimits}_ d( V)$.2.  ${\ o pe r a t orn a me{V}\nolimit s}_R^d(M,N) = {\o perato rn ame { V}\nol imits }_ R ^d( N,M)$. For$d=1 $, we mor eoverh ave ${\ o perator name{V }\n oli mits } _R ^1 (M, N) = {\o p er ato r nam e{V}\nol im it s}_R^ 1(M) \ c a p {\op era torn ame{V }\nolimits}_R ^1( N)$. 
3.   ${\ opera torn am e{V}\ nolimi ts}_R ^d (M,M)={\operato rnam e{V}\noli mit s} _R^ d( k,M)= { \opera tor nam e{V}\no limits} _ R^d (M ) $ . 
4.  If $M'$ is a s yz y g yof $M$ a nd $N' $  i sa  syzygyof  $N $, t h e n ${\ oper a to rname{V} \nolim i ts }_ R^d(M,N )= {\oper at orn ame {V}\n o limi ts}_R^ d(M',N') $. \[ s yzygy\]

5.  I f  $0\to M_1\to M_ 2 \ to M_3\ to0$ and $0\t o N_ 1 \toN_2\ t oN_3 \ to 0$  aresh o rt exact sequences offi nitely  gene rated $R$-mod ules, then f o r $\{h,i ,j\} = \{ 1 ,2,3\}$ thereare i nclusions$ ${\opera torna me{V}\no limits}_R ^ d (M_h,N)\ sub set eq{ \op e r at orname{V}\nol i m its} _R ^d(M_i, N)\ cup{\op era tor nam e{V }\ nolimits} _R^d(M_j ,N ); $$  $ ${\ opera t orname{V }\ nol im its }_R^d ( M,N_h) \subs eteq {\ op e rat orname{ V }\ n o limi ts }_ R^d( M,N _i )\cup {\op e rat orname{ V}\nolimi ts} _ R^d( M, N_ j).$$
6.  If $M$ is  C ohen-Macau la y o f codi m e nsion $m $, then $${\operatornam e {V}\nol imi ts}_R ^d(M )={\opera tor name{V 
 varieties_follows from_the incidence correspondence from_the proof_above.

We_now give_basic_properties of higher-order_support varieties, akin_to those of the_one-dimensional affine support_varieties.

\[thm:props\]_The following hold for finitely generated $R$-modules $M$ and $N$.

1.  ${\operatorname{V}\nolimits}_R^d(k)={\operatorname{G}\nolimits}_d(V)$.

2.  ${\operatorname{V}\nolimits}_R^d(M,N)={\operatorname{V}\nolimits}_R^d(N,M)$._For_$d=1$, we_moreover_have_${\operatorname{V}\nolimits}_R^1(M,N)={\operatorname{V}\nolimits}_R^1(M)\cap{\operatorname{V}\nolimits}_R^1(N)$.

3.  ${\operatorname{V}\nolimits}_R^d(M,M)={\operatorname{V}\nolimits}_R^d(k,M)={\operatorname{V}\nolimits}_R^d(M)$.

4.  If_$M'$ is a syzygy of_$M$ and_$N'$ is a syzygy of $N$, then ${\operatorname{V}\nolimits}_R^d(M,N)={\operatorname{V}\nolimits}_R^d(M',N')$._\[syzygy\]

5._ If $0\to_M_1\to M_2\to M_3\to 0$ and $0\to N_1\to N_2\to N_3\to_0$ are short exact sequences of_finitely generated $R$-modules,_then_for_$\{h,i,j\}=\{1,2,3\}$ there are inclusions_$${\operatorname{V}\nolimits}_R^d(M_h,N)\subseteq{\operatorname{V}\nolimits}_R^d(M_i,N)\cup{\operatorname{V}\nolimits}_R^d(M_j,N);$$ $${\operatorname{V}\nolimits}_R^d(M,N_h)\subseteq{\operatorname{V}\nolimits}_R^d(M,N_i)\cup{\operatorname{V}\nolimits}_R^d(M,N_j).$$

6.  If $M$ is_Cohen-Macaulay of codimension $m$, then $${\operatorname{V}\nolimits}_R^d(M)={\operatorname{V