H_{V} = g \nu$. Then conclusion (i) of Theorem \[thm:mainreg\_g0\_version1\] holds. Furthermore, if for all odd $j$, the hypersurfaces $M_j$ as in conclusion (ii) of Theorem \[thm:mainreg\_g0\_version1\] are two-sided, then there is an $n$-manifold $S_{V}$ and a proper $C^2$ immersion $\iota:S_V \to N$ such that $V=\iota_\#(|S_V|),$ and there is a continuous choice of unit normal $\nu$ on $S_V$ such that the mean curvature $H_{V}(x)$ of $S_V$ at $x$ is given by $H_{V}(x) =  g (\iota(x))  \nu(x)$.

The two-sidedness of $M_j$ for $j$ odd is true for the varifolds obtained in [@RogTon].

Remarks on the regularity theorems
----------------------------------

\[oss:smallportions\] A key common feature of the variational assumptions in Theorems \[thm:mainreg\_gpos\], \[thm:mainregstationarityimmersedparts\], \[thm:mainreg\_g0\_version1\] is the fact that they are required *only on orientable portions of the regular set*; here regular means $C^1$ for stationarity and and $C^2$ for stability, i.e. respectively the regularity conditions that allow to state stationarity and stability for immersions in a classical way. A priori these portions could be very small in measure, since we assume no size control on the genuine singular set ${\text{spt}\,\|V\|} \setminus {\text{gen-reg}\,}{V}$. The only global assumption on $V$ is the $L^p_{\text{loc}}$-condition on the first variation, which, by Allard’s compactness theorem, can be verified in many situations of interest. We also stress that the only control required on the singular set by assumption involves just two specific types of singularities that can be described by means of *regular pieces that come together in a regular fashion*: this is mild hypothesis that favours checkability in the potential applications of the theory.

\[oss:globalconclusion\] The regularity theorems \[thm:mainreg\_gpos\], \[thm:
H_{V } = g \nu$. Then conclusion (i) of Theorem   \[thm: mainreg\_g0\_version1\ ] holds. Furthermore, if for all curious $ j$, the hypersurfaces $ M_j$ as in ending (ii) of Theorem   \[thm: mainreg\_g0\_version1\ ] are two - sided, then there is an $ n$-manifold $ S_{V}$ and a proper $ C^2 $ immersion $ \iota: S_V \to N$ such that $ V=\iota_\#(|S_V|),$ and there be a continuous choice of unit normal $ \nu$ on $ S_V$ such that the mean curvature $ H_{V}(x)$ of $ S_V$ at $ x$ is give by $ H_{V}(x) =   g (\iota(x) )   \nu(x)$. 

 The two - sidedness of $ M_j$ for $ j$ odd is true for the varifolds obtain in [ @RogTon ]. 

 Remarks on the regularity theorems 
 ---------------------------------- 

 \[oss: smallportions\ ] A key coarse feature of the variational assumptions in theorem \[thm: mainreg\_gpos\ ], \[thm: mainregstationarityimmersedparts\ ], \[thm: mainreg\_g0\_version1\ ] is the fact that they are command * only on orientable portions of the regular set *; here regular mean $ C^1 $ for stationarity and and $ C^2 $ for stability, i.e.   respectively the regularity conditions that allow to express stationarity and stability for immersions in a classical way. A priori these part could be very small in measure, since we assume no size control on the genuine singular dress $ { \text{spt}\,\|V\| } \setminus { \text{gen - reg}\,}{V}$. The only global assumption on $ V$ is the $ L^p_{\text{loc}}$-condition on the first variation, which, by Allard ’s compactness theorem, can be verified in many situations of interest. We also stress that the only control required on the singular set by assumption involves merely two specific types of singularities that can be identify by mean of * even pieces that come together in a regular fashion *: this is mild hypothesis that prefer checkability in the potential applications of the theory. 

 \[oss: globalconclusion\ ] The regularity theorems \[thm: mainreg\_gpos\ ], \[thm:
H_{V} = g \nu$. Then conclusion (i) uf Theorem \[thm:manbreg\_g0\_vxrsion1\] golds. Fufthermore, if for all odd $j$, tie htpersyrfaces $M_j$ as in concljsion (ii) lf Theorwm \[thn:nainreg\_g0\_vecaion1\] arc two-alded, chxn there is an $k$-manifold $S_{E}$ and a proper $C^2$ ilmersion $\iota:S_V \to N$ such that $V=\iotw_\#(|S_V|),$ and tjere is a contynuols chojbe of unit normal $\nu$ on $S_V$ such that tie mean curvatute $H_{V}(x)$ of $S_V$ at $x$ is given by $J_{V}(x) =  g (\iota(x))  \nu(x)$.

Hhe two-sideenesf of $M_j$ for $j$ odd is trlz for the vzrifolds obtained in [@RogTon].

Remafks ou the regulqruty jheorems
----------------------------------

\[oss:snallpjrtions\] A ken commot featute of the varistimnao assumptions in Theocems \[thm:mainreg\_gpos\], \[jhm:mainregvtctionarityimmersedparrs\], \[thm:mdinrag\_g0\_vdesiun1\] js tge fach tiat they ars required *inly on orientable koreppns of the rsgular sqt*; here regular means $C^1$ for stationaritj ans and $C^2$ for stability, i.w. respectively the regolarity cogditions that allow to state stationarity and statilitb wor iiowrdions in a classical way. A priori these portijhs cpuld be very siall in meaxuge, fince we assuoe no sizs control on the gfnuine finguoar set ${\ttxt{spy}\,\|V\|} \setminus {\text{gen-reg}\,}{V}$. The only global qssumption on $V$ is the $L^p_{\text{uoc}}$-cpnditoon on the first variatnon, whjch, by Allagd’s compadgness theorem, cav bv vesified in many situations jf interewt. Wz also sgresx that the only fontrol required on the dingupas set by adsumption involves just two spermfic types of shngllarities that can be descrybed by means pf *regujar pkeces that come tmgether in w regular fasvlon*: this is kild hypjthewis rhat faxuurs checkabiloty in thv kotential qpplications of thc theudy.

\[oss:globalconcousuon\] The regularoty thqogemx \[evm:mainreg\_gpov\], \[tho:
H_{V} = g \nu$. Then conclusion (i) \[thm:mainreg\_g0\_version1\] Furthermore, if all odd $j$, conclusion of Theorem \[thm:mainreg\_g0\_version1\] two-sided, then there an $n$-manifold $S_{V}$ and a proper immersion $\iota:S_V \to N$ such that $V=\iota_\#(|S_V|),$ and there is a continuous choice unit normal $\nu$ on $S_V$ such that the mean curvature $H_{V}(x)$ of $S_V$ $x$ given $H_{V}(x) g (\iota(x)) \nu(x)$. The two-sidedness of $M_j$ for $j$ odd is true for the varifolds obtained [@RogTon]. Remarks on the regularity theorems ---------------------------------- \[oss:smallportions\] key common feature of variational assumptions in Theorems \[thm:mainreg\_gpos\], \[thm:mainreg\_g0\_version1\] the fact they required on orientable portions the regular set*; here regular means $C^1$ for stationarity and and $C^2$ for stability, i.e. respectively the conditions that state stationarity stability immersions a classical way. these portions could be very small we assume no size control on the genuine set ${\text{spt}\,\|V\|} {\text{gen-reg}\,}{V}$. The only global assumption on is the $L^p_{\text{loc}}$-condition on the first variation, which, Allard’s compactness theorem, can be verified in many situations of interest. We also stress that control required on the set by assumption just specific of that can described by means of *regular pieces that come together in a fashion*: this is mild hypothesis that favours checkability in the of theory. \[oss:globalconclusion\] The theorems \[thm:mainreg\_gpos\], \[thm:
H_{V} = g \nu$. Then conclusion (i) of TheOrem \[thm:maiNreg\_g0\_VerSioN1\] hOlds. furtHermore, if for alL Odd $j$, The hypersurfaces $M_j$ as in ConclUsIOn (ii) OF THeoreM \[thm:maiNReG\_G0\_VerSiOn1\] Are TwO-SiDed, thEn tHere is aN $n$-manifold $s_{V}$ aNd A proper $C^2$ immeRSiOn $\iota:S_V \to n$ suCh that $V=\iota_\#(|S_v|),$ anD there Is A coNTinuoUs cHoice Of unit NOrmal $\nU$ on $S_V$ such ThAT the meAN curvatURE $H_{v}(x)$ of $s_V$ at $x$ is given by $H_{V}(x) =  G (\IoTA(x))  \nu(x)$.

The two-sidEdness Of $m_J$ fOR $J$ odD is True for the VaRifolDS obtainED iN [@rOGToN].

remarks on the rEgularity thEOreMs
----------------------------------

\[oss:sMaLlpORtions\] a key cOmMOn fEature of the VariAtional asSumptiONs in TheORems \[thm:MainreG\_gpOs\], \[tHm:maINrEgStaTiONarITyImmERseDparts\], \[thM:mAiNreg\_g0\_VersION1\] IS the FacT thaT they Are required *onLy oN oriENtaBle poRtionS of tHe RegulAr set*; hEre reGuLar means $C^1$ for staTionArity and aNd $C^2$ FoR stAbIlity, I.E. respeCtiVelY the regUlarity COndItIONS tHat allow to state staTiONArIty and stAbilitY FoR iMMersions In A clAssiCAL way. A PrioRI tHese portIons coULd Be Very smaLl In measUrE, siNce We assUMe no Size coNtrol on tHe genUIne singular set ${\TExt{spt}\,\|V\|} \setminUS {\tEXT{gEN-reg}\,}{v}$. ThE only global AssuMPtioN on $V$ IS tHe $L^P_{\Text{lOc}}$-conDiTIoN On the first variation, WhIch, by ALlard’S compactness tHeorem, can bE VERified in Many SItUAtions of intereSt. We aLso stress tHAt the onlY contRol requiRed on the sINGular set By aSsuMptIon INVoLves just two spECIfic TyPes of siNguLaritieS thAt cAn bE deScRibed by meAns of *regUlAr PiEcEs tHat coME togetheR iN a rEgUlaR fashIOn*: this Is milD hypOtHeSIs tHat favoURs CHEckaBiLiTy in The PoTentiAl apPLicAtions oF the theorY.

\[osS:GlobAlCoNclusioN\] The regularitY tHeorems \[thm:MaInrEg\_gpos\], \[THM:
H_{V} = g \nu$. Then concl usion (i)of Th eor em\[ thm: main reg\_g0\_versi o n1\]  holds. Furthermore, i f for  a l l od d  $ j$, t he hype r su r f ace s$M _j$  a s  i n con clu sion (i i) of Theo rem  \ [thm:mainreg \ _g 0\_version 1\]  are two-sid ed,  thenth ere is an  $n $-man ifold$ S_{V}$  and a pr op e r $C^2 $  immers i o n$\io ta:S_V \to N$ suc h  t h at $V=\iota_\# (|S_V| ), $  a n d  th ere  is a cont in uousc hoice o f  u n i t  no r mal $\nu$ on$S_V$ sucht hat  the m ea n c u rvatur e $H_ {V } (x) $ of $S_V$at $ x$ is giv en by$ H_{V}(x )  =  g ( \iota( x))   \ nu(x ) $. 
The  t w o-s i de dne s s o f $M_j$fo r$j$ o dd i s t r ue f orthevarif olds obtained  in  [@R o gTo n].
Remar ks o nthe r egular ity t he orems
--------- ---- --------- --- -- --- -- --

\ [ oss:sm all por tions\]  A keyc omm on f e at ure of the variati on a l  a ssumptio ns inT he or e ms \[thm :m ain reg\ _ g pos\] , \[ t hm :mainreg statio n ar it yimmers ed parts\ ],  \[ thm :main r eg\_ g0\_ve rsion1\]  is t h e fact that th e y are require d  * o n ly on o rie ntable port ions of t he r e gu lar set*;  here  r e gu l ar means $C^1$ forst ationa rityand and $C^2$  for stabi l i t y, i.e.resp e ct i vely the regul arity  condition s  that al low t o statestationar i t y and st abi lit y f ori m me rsions in a c l a ssic al  way. A  pr iori th ese  po rti ons  c ould be v ery smal lin  m ea sur e, si n ce we as su meno  si ze co n trol o n the  gen ui ne sin gular s e t$ { \tex t{ sp t}\, \|V \| } \se tmin u s { \text{g en-reg}\, }{V } $. T he  o nly glo bal assumptio non $V$ isth e $ L^p_{\ t e xt{loc}} $-condition on the firs t  variat ion , whi ch,by Allard ’scompac tne s s theo rem, c an be  v eri f i ed in m an y s it uations of i nte rest.  W e al so stre ss that the only c o ntr ol required o n t he s i n gu lar se t  by  a s sum p t ion involves ju st two spe ci f ic  types ofs ing ul arities  that c an be describ ed by mea ns of *re gu larp i ece s that com e togeth er in a r e gular fa shion *:this i smil d hyp othesi s  th at fa voursch eckabi lityin  the pot ential applications ofthe th eory. 

\ [oss:glob alc o ncl usion\] T he r egularitythe ore ms \[ thm : mainr eg\_ g po s\] ,  \[th m:
H_{V} =_g \nu$._Then conclusion (i) of_Theorem \[thm:mainreg\_g0\_version1\] holds._Furthermore,_if for_all_odd $j$, the_hypersurfaces $M_j$ as_in conclusion (ii) of_Theorem \[thm:mainreg\_g0\_version1\] are two-sided,_then_there is an $n$-manifold $S_{V}$ and a proper $C^2$ immersion $\iota:S_V \to N$ such_that_$V=\iota_\#(|S_V|),$ and_there_is_a continuous choice of unit_normal $\nu$ on $S_V$ such_that the_mean curvature $H_{V}(x)$ of $S_V$ at $x$ is_given_by $H_{V}(x) =_ g (\iota(x))  \nu(x)$.

The two-sidedness of $M_j$ for_$j$ odd is true for the_varifolds obtained in_[@RogTon].

Remarks_on_the regularity theorems
----------------------------------

\[oss:smallportions\] A_key common feature of the variational_assumptions in Theorems \[thm:mainreg\_gpos\], \[thm:mainregstationarityimmersedparts\], \[thm:mainreg\_g0\_version1\]_is the fact that they are required_*only on orientable portions of the_regular set*; here regular means_$C^1$ for_stationarity and and $C^2$ for_stability, i.e. respectively the_regularity conditions_that allow to_state stationarity and stability for immersions_in a classical_way. A priori these portions could_be_very small in_measure,_since_we assume_no size control_on_the genuine_singular_set ${\text{spt}\,\|V\|} \setminus {\text{gen-reg}\,}{V}$. The only_global_assumption on $V$ is the $L^p_{\text{loc}}$-condition on_the first variation, which,_by_Allard’s compactness theorem, can_be verified in many situations_of interest. We also stress that_the only_control required_on the singular set by assumption involves just two specific types_of singularities that can be described_by means of *regular_pieces that_come_together in a_regular_fashion*: this_is mild hypothesis that favours checkability in_the potential_applications of the theory.

\[oss:globalconclusion\] The regularity_theorems \[thm:mainreg\_gpos\], \[thm: