 \\
    X & \mapsto X \cap V
  \end{aligned}$$ shows that the $\tilde{A}_i$ form a basis of quasi-atoms in $[V \cap
    I, V]$. Next, let $Q = B_1 \vee \cdots \vee B_{(n-k)r}$. (Note that $nr - m = (n-k)r$.) The fact that $(V+I), B_1, \ldots,
  B_{(n-k)r}$ is independent over $I$ implies that $(V+I) \cap Q = I$. Therefore, there is an isomorphism $$\begin{aligned}
    [I,Q] &\stackrel{\sim}{\to} [V+I,V+I+Q] \\
    X & \mapsto X + (V + I) = X + V.
  \end{aligned}$$ The elements $\{B_1, \ldots, B_{(n-k)r}\}$ are independent quasi-atoms in $[I,Q]$, and therefore the $\tilde{B}_i$ are a set of independent quasi-atoms in $[V+I,V+I+Q]$ or even in $[V+I,{\mathbb{M}}^n]$. It follows that $$(n-k)r \le {\operatorname{rk}_\bot}({\mathbb{M}}^n/(V+I)) \le {\operatorname{rk}_0}({\mathbb{M}}^n/(V+I)) = (n-k)r,$$ so equality holds and the $\tilde{B}_i$ are a basis of quasi-atoms in $[V+I,{\mathbb{M}}^n]$.

\[r-fold-specs\] Fix a special element $I$ of $\mathcal{P}_1$. For every $n$, $I^n$ is a special element of $\mathcal{P}_n$. Let $\mathcal{G}_n$ be the modular geometry associated to the pregeometry of quasi-atoms over $I^n$ in $\mathcal{P}_n$. By utilizing the embeddings between the $\mathcal{G}_n$, one should be able to prove the following: there is an object $T$ in a semi-simple abelian category $\mathcal{C}$ such that $T$ has length $r$, and for every $n$ the geometry $\mathcal{G}_n$ is the geometry of atoms in the lattice of
\\ 
     X & \mapsto X \cap V 
   \end{aligned}$$ shows that the $ \tilde{A}_i$ form a basis of quasi - atoms in $ [ five \cap 
     I, V]$. Next, lease $ Q = B_1 \vee \cdots \vee B_{(n - k)r}$. (Note that $ nr - m = (n - k)r$.) The fact that $ (V+I), B_1, \ldots, 
   B_{(n - k)r}$ is independent over $ I$ implies that $ (V+I) \cap Q = I$. consequently, there is an isomorphism $ $ \begin{aligned } 
     [ I, Q ] & \stackrel{\sim}{\to } [ V+I, V+I+Q ] \\ 
     X & \mapsto X + (V + I) = X + V. 
   \end{aligned}$$ The elements $ \{B_1, \ldots, B_{(n - k)r}\}$ are autonomous quasi - atom in $ [ I, Q]$, and consequently the $ \tilde{B}_i$ are a hardening of independent quasi - atom in $ [ V+I, V+I+Q]$ or even in $ [ V+I,{\mathbb{M}}^n]$. It follows that $ $ (n - k)r \le { \operatorname{rk}_\bot}({\mathbb{M}}^n/(V+I) ) \le { \operatorname{rk}_0}({\mathbb{M}}^n/(V+I) ) = (n - k)r,$$ so equality holds and the $ \tilde{B}_i$ are a footing of quasi - atoms in $ [ V+I,{\mathbb{M}}^n]$. 

 \[r - fold - specs\ ] Fix a special element $ I$ of $ \mathcal{P}_1$. For every $ n$, $ I^n$ is a special element of $ \mathcal{P}_n$. Let $ \mathcal{G}_n$ be the modular geometry associate to the pregeometry of quasi - atoms over $ I^n$ in $ \mathcal{P}_n$. By utilizing the embeddings between the $ \mathcal{G}_n$, one should be able to prove the pursuit: there is an object $ T$ in a semi - elementary abelian category $ \mathcal{C}$ such that $ T$ have length $ r$, and for every $ n$ the geometry $ \mathcal{G}_n$ is the geometry of atoms in the lattice of
 \\
    X & \mapsto X \cap V
  \end{xligned}$$ shows tkqt the $\tilde{Z}_i$ form x basis of quasi-atoms in $[V \cep
    I, V]$. Next, let $Q = B_1 \vee \cdogs \vee B_{(n-n)r}$. (Note rhat $br - m = (n-k)r$.) The facb thaf $(V+I), Y_1, \odots,
  B_{(n-k)r}$ is independett over $I$ implher chat $(V+I) \cap Q = I$. Therefore, there is wn isomprohism $$\begin{alidned}
    [I,S] &\stackrel{\sim}{\to} [V+I,V+I+Q] \\
    X & \mapstk X + (V + I) = X + V.
  \end{sligned}$$ The elements $\{B_1, \ldohs, B_{(j-k)r}\}$ are independenh quasi-atomw in $[U,Q]$, and therewore the $\tpnde{B}_i$ are z set of independent quasi-atoms in $[V+N,V+I+Q]$ or eveb un $[G+H,{\mathbb{M}}^n]$. Iv folljws that $$(n-k)r \le {\operdtornamr{rk}_\bot}({\mathbb{M}}^n/(Y+I)) \le {\opwratorname{rk}_0}({\mathbb{M}}^n/(V+M)) = (n-k)r,$$ so equality hjlds and dhz $\tilde{B}_i$ are a basis od quavi-atmms kb $[V+K,{\mauhbu{M}}^n]$.

\[d-fold-soeca\] Fix a spscial elemebt $I$ of $\mathcal{P}_1$. Fot qnrry $n$, $I^n$ is z specyaj element of $\mathcal{P}_n$. Let $\mathcal{G}_n$ be ths modular geometry assoxiated to the pregeomgtry of quwsi-atoms over $I^n$ in $\mathcal{P}_n$. By utilizing the emteddiigr bttqeen gye $\mathcal{G}_n$, one should be able to prove the fojmoeikg: there is an onject $T$ in a semi-somolr abelian cateeory $\mcfhdal{C}$ such that $T$ hws lengjh $r$, abd for evtry $n$ the geometry $\mathcal{G}_n$ is rhe geometry if atoms in the lactice of
\\ X & \mapsto X \cap V that $\tilde{A}_i$ form basis of quasi-atoms Next, $Q = B_1 \cdots \vee B_{(n-k)r}$. that $nr - m = (n-k)r$.) fact that $(V+I), B_1, \ldots, B_{(n-k)r}$ is independent over $I$ implies that $(V+I) Q = I$. Therefore, there is an isomorphism $$\begin{aligned} [I,Q] &\stackrel{\sim}{\to} [V+I,V+I+Q] \\ & X (V I) = X + V. \end{aligned}$$ The elements $\{B_1, \ldots, B_{(n-k)r}\}$ are independent quasi-atoms in $[I,Q]$, therefore the $\tilde{B}_i$ are a set of independent in $[V+I,V+I+Q]$ or even $[V+I,{\mathbb{M}}^n]$. It follows that $$(n-k)r {\operatorname{rk}_\bot}({\mathbb{M}}^n/(V+I)) {\operatorname{rk}_0}({\mathbb{M}}^n/(V+I)) = so holds the $\tilde{B}_i$ are basis of quasi-atoms in $[V+I,{\mathbb{M}}^n]$. \[r-fold-specs\] Fix a special element $I$ of $\mathcal{P}_1$. For every $n$, $I^n$ a special $\mathcal{P}_n$. Let be modular associated to the quasi-atoms over $I^n$ in $\mathcal{P}_n$. By between the $\mathcal{G}_n$, one should be able to the following: is an object $T$ in a abelian category $\mathcal{C}$ such that $T$ has length and for every $n$ the geometry $\mathcal{G}_n$ is the geometry of atoms in the lattice
 \\
    X & \mapsto X \cap V
  \end{aligned}$$ shoWs that the $\tIlde{A}_I$ foRm a BaSis oF quaSi-atoms in $[V \cap
    I, v]$. next, Let $Q = B_1 \vee \cdots \vee B_{(n-k)r}$. (NoTe thaT $nR - M = (n-k)r$.) tHe Fact tHat $(V+I), B_1, \lDOtS,
  b_{(N-k)r}$ Is InDepEnDEnT over $i$ imPlies thAt $(V+I) \cap Q = I$. THerEfOre, there is an ISoMorphism $$\beGin{Aligned}
    [I,Q] &\staCkrEl{\sim}{\tO} [V+i,V+I+q] \\
    x & \mapsTo X + (v + I) = X + V.
  \eNd{aligNEd}$$ The eLements $\{B_1, \lDoTS, B_{(n-k)r}\}$ aRE indepeNDEnT quaSi-atoms in $[I,Q]$, and theREfORe the $\tilde{B}_i$ arE a set oF iNDePENdeNt qUasi-atoms iN $[V+i,V+I+Q]$ oR Even in $[V+i,{\MaTHBB{M}}^n]$. iT follows that $$(n-K)r \le {\operatoRNamE{rk}_\bot}({\MaThbB{m}}^n/(V+I)) \le {\OperaToRNamE{rk}_0}({\mathbb{M}}^n/(v+I)) = (n-k)R,$$ so equaliTy holdS And the $\tILde{B}_i$ arE a basiS of QuaSi-atOMs In $[v+I,{\mAtHBb{M}}^N]$.

\[R-fOld-SPecS\] Fix a speCiAl ElemeNt $I$ oF $\MATHcal{p}_1$. FoR eveRy $n$, $I^n$ Is a special eleMenT of $\mAThcAl{P}_n$. LEt $\matHcal{g}_n$ Be the ModulaR geomEtRy associated to tHe prEgeometry Of qUaSi-aToMs oveR $i^n$ in $\maThcAl{P}_N$. By utilIzing thE EmbEdDINGs Between the $\mathcal{G}_N$, oNE ShOuld be abLe to prOVe ThE FollowinG: tHerE is aN OBject $t$ in a SEmI-simple aBelian CAtEgOry $\mathCaL{C}$ such ThAt $T$ Has LengtH $R$, and For eveRy $n$ the geOmetrY $\Mathcal{G}_n$ is the GEometry of atomS In THE lATticE of
 \\
    X & \mapsto X \cap  V
  \end{ align ed} $$sh owsthat  the $\tilde{A } _i$form a basis of quasi- atoms  i n  $[V \c ap
   I, V] $ .N e xt,  l et  $Q  = B_ 1 \ve e \ cdots \ vee B_{(n- k)r }$ . (Note that $n r - m = (n -k) r$.) The fac t t hat $( V+ I), B_1,\ld ots,  B_{( n -k)r}$  is indep en d ent ov e r $I$ i m p li es t hat $(V+I) \cap Q =I $. Therefore,thereis an i som orp hism $$\be gi n{ali g ned}
  [ I , Q ] & \ stackrel{\sim }{\to} [V+I , V+I +Q] \\ 
  X  & \ma pstoX+  (V  + I) = X +  V.  \end{al igned} $ $ The e l ements$\{B_1 , \ ldo ts,B _{ (n -k) r} \ }$a re  in d epe ndent qu as i- atoms  in$ [ I , Q]$,  an d th erefo re the $\tild e{B }_i$ are  a se t ofinde pe ndent  quasi -atom sin $[V+I,V+I+Q] $ or  even in$[V +I ,{\ ma thbb{ M }}^n]$ . I t f ollowsthat $$ ( n-k )r \ l e{\operatorname{rk} _\ b o t} ({\mathb b{M}}^ n /( V+ I )) \le { \o per ator n a me{rk }_0} ( {\ mathbb{M }}^n/( V +I ))  = (n-k )r ,$$ so  e qua lit y hol d s an d the$\tilde{ B}_i$ are a basis of quasi-atoms i n  $ [ V +I , {\ma thb b{M}}^n]$.
\[r - fold -spe c s\ ] F i x a s pecia le le m ent $I$ of $\mathca l{ P}_1$.  Forevery $n$, $I ^n$ is a s p e c ial elem ento f$ \mathcal{P}_n$ . Let  $\mathcal { G}_n$ be  themodulargeometrya s sociated  to  th e p reg e o me try of quasi- a t omsov er $I^n $ i n $\mat hca l{P }_n $.By  utilizin g the em be dd in gs  be tween the $\ma th cal {G }_n $, on e  shoul d beable  t op rov e the f o ll o w ing:  t he re i s a nobjec t $T $  in  a semi -simple a bel i an c at eg ory $\m athcal{C}$ su ch  that $T$ha s l ength$ r $, and f or every $n$ the geomet r y $\mat hca l{G}_ n$ i s the geo met ry ofato m s in t he lat ticeof 
 \\
_ _ X & \mapsto_X \cap_V
_ \end{aligned}$$_shows_that the $\tilde{A}_i$_form a basis_of quasi-atoms in $[V_\cap
  __I, V]$. Next, let $Q = B_1 \vee \cdots \vee B_{(n-k)r}$. (Note that $nr_-_m =_(n-k)r$.)_The_fact that $(V+I), B_1, \ldots,
_ B_{(n-k)r}$ is independent over_$I$ implies_that $(V+I) \cap Q = I$. Therefore, there_is_an isomorphism $$\begin{aligned}
_   [I,Q] &\stackrel{\sim}{\to} [V+I,V+I+Q] \\
  _ X & \mapsto X +_(V + I)_=_X_+ V.
  \end{aligned}$$_The elements $\{B_1, \ldots, B_{(n-k)r}\}$ are_independent quasi-atoms in $[I,Q]$, and therefore_the $\tilde{B}_i$ are a set of independent_quasi-atoms in $[V+I,V+I+Q]$ or even in_$[V+I,{\mathbb{M}}^n]$. It follows that $$(n-k)r_\le {\operatorname{rk}_\bot}({\mathbb{M}}^n/(V+I))_\le {\operatorname{rk}_0}({\mathbb{M}}^n/(V+I)) = (n-k)r,$$ so_equality holds and_the $\tilde{B}_i$_are a basis_of quasi-atoms in $[V+I,{\mathbb{M}}^n]$.

\[r-fold-specs\] Fix a_special element $I$_of $\mathcal{P}_1$. For every $n$, $I^n$_is_a special element_of_$\mathcal{P}_n$._Let $\mathcal{G}_n$_be the modular_geometry_associated to_the_pregeometry of quasi-atoms over $I^n$ in_$\mathcal{P}_n$._By utilizing the embeddings between the $\mathcal{G}_n$,_one should be able_to_prove the following: there_is an object $T$ in_a semi-simple abelian category $\mathcal{C}$ such_that $T$_has length_$r$, and for every $n$ the geometry $\mathcal{G}_n$ is the geometry_of atoms in the lattice of