{#section-89}

In order to define a regularized trace on a certain class of integral operators on $\bar M$ we need the following exhaustion $({}_r\bar M)_{r\ge 0}$ of $\bar M$ by compact subsets. For a corner model we set ${ }_r\bar N(k,U):=U\times [-r,1)$.

For $r\ge 0$ we define ${}_r\bar M\subset \bar M$ as the subset which is characterized by the property that in each chart the inclusion ${}_r\bar M\rightarrow \bar M$ corresponds to the inclusion ${}_r\bar N(k,U)\rightarrow \bar N(k,U)
$.

###  {#section-90}

E.g, we have ${}_r\overline{[0,1]}=[-r,r+1]\subset
\overline{[0,1]}\cong {\mathbb{R}}$. If $A$ is an atom of faces of $M$ such that the canonical map $A\rightarrow M$ is an inclusion, then we have ${}_r\bar A=\bar A\cap {}_r \bar M$ under the inclusion $\bar
A\rightarrow \bar M$ (note that $\bar A$ is the extension of $A$ and not the closure of $A^\circ$ in $M$ as in \[dsuidsdsd\]).

###  {#section-91}

Assume that $M$ has an admissible face decomposition. Let $k\ge 0$ and $j\in I_k(M)$ be a face of codimension $k$ of $M$. Let $(N,f)$ be a model of $\partial_jM$. The embedding $f:N\rightarrow M$ extends naturally to an embedding $\bar f:\bar
N\rightarrow \bar M$. If $N\times [0,1)^k\rightarrow M$ is a collar neighborhood induced by the structure of a manifold with corners, then it extends naturally to an open embedding $\bar N \times
 (-\infty,1)^k\rightarrow \bar M$. In fact, these embeddings are determined up to a permutation of the coordinates of $(-\infty,1)^k$. We will call an embedding of this form a distinguished embedding. We define the open set $U_j\subset \bar M$ to be
{ # section-89 } 

 In order to define a regularized trace on a sealed course of built-in operators on $ \bar M$ we need the following exhaustion $ ({ } _ r\bar M)_{r\ge 0}$ of $ \bar M$ by compendious subsets. For a corner model we arrange $ { } _ r\bar N(k, U):=U\times [ -r,1)$. 

 For $ r\ge 0 $ we define $ { } _ r\bar M\subset \bar M$ as the subset which is characterized by the place that in each chart the inclusion body $ { } _ r\bar M\rightarrow \bar M$ corresponds to the inclusion $ { } _ r\bar N(k, U)\rightarrow \bar N(k, U) 
 $. 

 # # #   { # section-90 } 

 E.g, we have $ { } _ r\overline{[0,1]}=[-r, r+1]\subset 
 \overline{[0,1]}\cong { \mathbb{R}}$. If $ A$ is an atom of boldness of $ M$ such that the canonical map $ A\rightarrow M$ is an inclusion, then we accept $ { } _ r\bar A=\bar A\cap { } _ r \bar M$ under the inclusion $ \bar 
 A\rightarrow \bar M$ (note that $ \bar A$ is the extension of $ A$ and not the closure of $ A^\circ$ in $ M$ as in \[dsuidsdsd\ ]). 

 # # #   { # section-91 } 

 bear that $ M$ has an admissible face decomposition. lease $ k\ge 0 $ and $ j\in I_k(M)$ be a face of codimension $ k$ of $ M$. Let $ (N, f)$ be a model of $ \partial_jM$. The implant $ f: N\rightarrow M$ extends naturally to an embedding $ \bar f:\bar 
 N\rightarrow \bar M$. If $ N\times [ 0,1)^k\rightarrow M$ is a collar neighborhood induced by the social organization of a manifold with corners, then it extends naturally to an open embedding $ \bar N \times 
  (-\infty,1)^k\rightarrow \bar M$. In fact, these embeddings are determined up to a substitution of the coordinate of $ (-\infty,1)^k$. We will bid an embedding of this form a distinguished embedding. We define the open set $ U_j\subset \bar M$ to be
{#sechion-89}

In order to define a regularized trcxe on e certajn class of integral operators on $\bac M$ qe netb the following exhajstion $({}_r\bwr M)_{r\ge 0}$ of $\uar M$ by compact subsets. For a gornex nodel we set ${ }_t\bar N(k,U):=U\timas [-r,1)$.

For $r\ge 0$ wa aeyine ${}_r\bar M\subset \bar M$ as the subsee which id characterizeq by ehe lgokerty that in each chart the inclhsion ${}_r\uar M\rightarrow \bar M$ corresponds to the lnclksion ${}_r\bar N(k,U)\righharrow \bar B(k,U)
$.

###  {#wection-90}

E.g, we have ${}_r\ovegnine{[0,1]}=[-r,r+1]\subsgt
\overline{[0,1]}\cong {\mathbb{R}}$. If $A$ is av atok of faces od $M$ vuch that tie canjnical map $A\vpghtarrmw M$ is an inclusion, bhen xe hqve ${}_r\bar A=\bar A\cap {}_r \uar M$ under the inclosion $\bar
A\siyhtarrow \bar M$ (note tyar $\bar A$ iv thd exgenaipn of $A$ wnd not the cmosure of $A^\xirc$ in $M$ as in \[dsuodfesd\]).

###  {#section-91}

Aasume ehwt $M$ has an admissible face decompositimn. Met $k\ge 0$ and $j\in I_k(M)$ be a face of codimensioj $k$ of $M$. Jet $(N,f)$ be a model of $\partial_jM$. The embedding $f:N\richtarcod M$ ewtenaw jaturally to an embedding $\bar f:\bar
N\rightarrow \gat K$. If $N\times [0,1)^k\rlghtarrow M$ is a cplpat neighborhood induczs gy the structure ov a manyfold with corgers, then it extends naturally ro an open eivedding $\bar N \timed
 (-\infty,1)^k\rigktarroe \bar M$. In fact, these embeddnngs ade determinfd up to z permutation of ghe cmordinattr of $(-\infty,1)^k$. We wijl call ai embzdding ow thos fori a distinhuishcg embedding. We deflne tke opan set $U_j\skbset \bar M$ to be
{#section-89} In order to define a regularized a class of operators on $\bar exhaustion M)_{r\ge 0}$ of M$ by compact For a corner model we set }_r\bar N(k,U):=U\times [-r,1)$. For $r\ge 0$ we define ${}_r\bar M\subset \bar M$ as subset which is characterized by the property that in each chart the inclusion M\rightarrow M$ to inclusion ${}_r\bar N(k,U)\rightarrow \bar N(k,U) $. ### {#section-90} E.g, we have ${}_r\overline{[0,1]}=[-r,r+1]\subset \overline{[0,1]}\cong {\mathbb{R}}$. If $A$ an atom of faces of $M$ such that canonical map $A\rightarrow M$ an inclusion, then we have A=\bar {}_r \bar under inclusion A\rightarrow \bar M$ that $\bar A$ is the extension of $A$ and not the closure of $A^\circ$ in $M$ as \[dsuidsdsd\]). ### that $M$ an face Let $k\ge 0$ I_k(M)$ be a face of codimension Let $(N,f)$ be a model of $\partial_jM$. The $f:N\rightarrow M$ naturally to an embedding $\bar f:\bar \bar M$. If $N\times [0,1)^k\rightarrow M$ is a neighborhood induced by the structure of a manifold with corners, then it extends naturally to embedding $\bar N \times \bar M$. In these are up a permutation the coordinates of $(-\infty,1)^k$. We will call an embedding of this a distinguished embedding. We define the open set $U_j\subset \bar be
{#section-89}

In order to define a reGularized tRace oN a cErtAiN claSs of Integral operatORs on $\Bar M$ we need the following ExhauStIOn $({}_r\bAR M)_{R\ge 0}$ of $\Bar M$ by cOMpACT suBsEtS. FoR a COrNer moDel We set ${ }_r\bAr N(k,U):=U\timeS [-r,1)$.

FOr $R\ge 0$ we define ${}_r\BAr m\subset \bar m$ as The subset whiCh iS charaCtEriZEd by tHe pRoperTy that IN each cHart the inClUSion ${}_r\bAR M\rightARRoW \bar m$ corresponds to the INcLUsion ${}_r\bar N(k,U)\riGhtarrOw \BAr n(K,u)
$.

###  {#seCtiOn-90}

E.g, we have ${}_R\oVerliNE{[0,1]}=[-r,r+1]\subsET
\oVERLinE{[0,1]}\Cong {\mathbb{R}}$. If $a$ is an atom of FAceS of $M$ suCh ThaT The canOnicaL mAP $A\rIghtarrow M$ iS an iNclusion, tHen we hAVe ${}_r\bar A=\BAr A\cap {}_r \Bar M$ unDer The InclUSiOn $\Bar
a\rIGhtARrOw \bAR M$ (nOte that $\bAr a$ iS the eXtenSION Of $A$ aNd nOt thE closUre of $A^\circ$ in $M$ As iN \[dsuIDsdSd\]).

###  {#secTion-91}

ASsumE tHat $M$ hAs an adMissiBlE face decompositIon. LEt $k\ge 0$ and $j\In I_K(M)$ Be a FaCe of cODimensIon $K$ of $m$. Let $(N,f)$ bE a model OF $\paRtIAL_JM$. the embedding $f:N\righTaRROw m$ extends NaturaLLy To AN embeddiNg $\Bar F:\bar
n\RIghtaRrow \BAr m$. If $N\timeS [0,1)^k\righTArRoW M$ is a coLlAr neigHbOrhOod InducED by tHe struCture of a ManifOLd with corners, tHEn it extends naTUrALLy TO an oPen Embedding $\baR N \tiMEs
 (-\inFty,1)^k\RIgHtaRRow \baR M$. In fAcT, ThESe embeddings are deteRmIned up To a peRmutation of thE coordinatES OF $(-\infty,1)^k$. WE wilL CaLL an embedding of This fOrm a distinGUished emBeddiNg. We defiNe the open SET $U_j\subseT \baR M$ tO be
{#section-89}

In order to  define aregul ari zed  t race  ona certain clas s  ofintegral operators on$\bar  M $  wen ee d the  follow i ng e xha us ti on$( { }_ r\bar  M) _{r\ge0}$ of $\b arM$  by compacts ub sets. Fora c orner modelweset ${  } _r\ b ar N( k,U ):=U\ times[ -r,1)$ .

For $r \g e  0$ we define$ { }_ r\ba r M\subset \bar M $  a s  the subset wh ich is  c h ar a c ter ize d by the p ro perty that in ea c h cha r t the inclusi on ${}_r\ba r  M\ righta rr ow\ bar M$  corr es p ond s to the in clus ion ${}_r \bar N ( k,U)\ri g htarrow  \barN(k ,U) 
$.## # {# se c tio n -9 0}E.g , we hav e${ }_r\o verl i n e { [0,1 ]}= [-r, r+1]\ subset
\overl ine {[0, 1 ]}\ cong{\mat hbb{ R} }$. I f $A$is an  a tom of faces of  $M$  such tha t t he  ca no nical map $A \ri ght arrow M $ is an inc lu s i o n,  then we have ${}_ r\ b a rA=\bar A \cap { } _r  \ b ar M$ un de r t he i n c lusio n $\ b ar 
A\right arrow\ ba rM$ (not ethat $ \b arA$is th e  ext ension  of $A$and n o t the closureo f $A^\circ$ i n  $ M $  a s  in\[d suidsdsd\]) .

# # #  { #sec t io n-9 1 }

As sumeth a t$ M$ has an admissibl eface d ecomp osition. Let$k\ge 0$ a n d $j\in I_ k(M) $  b e  a face of cod imens ion $k$ of $M$. Let  $(N, f)$ be a  model of $ \partial _jM $.The  em b e dd ing $f:N\righ t a rrow  M $ exten dsnatural lytoanemb ed ding $\ba r f:\bar 
N \r ig ht arr ow \b a r M$. If  $ N\t im es[0,1) ^ k\righ tarro w M$  i sa  co llar ne i gh b o rhoo din duce d b ythe s truc t ure  of a m anifold w ith corn er s,  then i t extends nat ur ally to an  o pen  embed d i ng $\bar  N \times
 (-\infty,1)^ k \righta rro w \ba r M$ . In fact , t hese e mbe d dingsare de termi ne d u p to ap e rm uta ti on of thec o ord inate sof $ (-\inft y,1)^k$. We will c a llan embeddingofthis f or m a di s tin gu i she d embedding. We d efine theop e nset $U_j\s u bse t\bar M$  to be
{#section-89}

In order_to define_a regularized trace on_a certain_class_of integral_operators_on $\bar M$_we need the_following exhaustion $({}_r\bar M)_{r\ge_0}$ of $\bar_M$_by compact subsets. For a corner model we set ${ }_r\bar N(k,U):=U\times [-r,1)$.

For $r\ge_0$_we define_${}_r\bar_M\subset_\bar M$ as the subset_which is characterized by the_property that_in each chart the inclusion ${}_r\bar M\rightarrow \bar_M$_corresponds to the_inclusion ${}_r\bar N(k,U)\rightarrow \bar N(k,U)
$.

###  {#section-90}

E.g, we have_${}_r\overline{[0,1]}=[-r,r+1]\subset
\overline{[0,1]}\cong {\mathbb{R}}$. If $A$ is an_atom of faces_of_$M$_such that the canonical_map $A\rightarrow M$ is an inclusion,_then we have ${}_r\bar A=\bar A\cap_{}_r \bar M$ under the inclusion $\bar
A\rightarrow_\bar M$ (note that $\bar A$_is the extension of $A$_and not_the closure of $A^\circ$ in_$M$ as in_\[dsuidsdsd\]).

### _{#section-91}

Assume that $M$_has an admissible face decomposition. Let_$k\ge 0$ and_$j\in I_k(M)$ be a face of_codimension_$k$ of $M$._Let_$(N,f)$_be a_model of $\partial_jM$._The_embedding $f:N\rightarrow_M$_extends naturally to an embedding $\bar_f:\bar
N\rightarrow_\bar M$. If $N\times [0,1)^k\rightarrow M$ is_a collar neighborhood induced_by_the structure of a_manifold with corners, then it_extends naturally to an open embedding_$\bar N_\times
 (-\infty,1)^k\rightarrow_\bar M$. In fact, these embeddings are determined up to a_permutation of the coordinates of $(-\infty,1)^k$._We will call an_embedding of_this_form a distinguished_embedding._We define_the open set $U_j\subset \bar M$ to_be