 for helicity in Proposition \[homotopic-invariance\]. Some new constructions are immediately suggested by our definition: a new, “combinatorial” integral for helicity appears in Proposition \[prop:combinatorial\]. We complete our redevelopment of the standard theory by proving that our helicity integral can be written as integration against an appropriately chosen primitive in Proposition \[prop:potential\].

We then begin the second part of paper, in which we solve the problem of computing the effect of an arbitrary diffeomorphism $f\co \Omega \rightarrow \Omega'$ on the helicity of a closed Dirichlet $(k+1)$-form $\alpha$. The theorems in this section are all new.

It is a standard fact (see Appendix B, Theorems \[alexander basis existence\] and \[alexander basis transformations\]) that the $k$-th homology of ${\partial}\Omega$ splits into two subspaces generated by cycles $s_1, \dots, s_n$ which bound relative $(k+1)$-cycles outside $\Omega$ and Poincaré dual cycles $t_1, \dots, t_n$ which bound relative $(k+1)$-cycles $\tau_1, \dots, \tau_n$ inside $\Omega$. With respect to a corresponding basis $\langle s'_1, \dots, s'_n, t'_1, \dots, t'_n \rangle$ for the $k$-th homology of ${\partial}\Omega'$, we can write the linear map $\partial f_*\co H_k({\partial}\Omega) \rightarrow H_k({\partial}\Omega')$ as a block matrix $${\partial}f_* = \left[ 
    \begin{array}{c|c}
    I & 0 \\
    \hline 
    (c_{ij}) & I
    \end{array}
    \right],$$ where the $c_{ij}$ form a symmetric matrix when $k$ is odd and a skew-symmetric matrix when $k$ is even. We then have

Let $\Omega^{2k+1}$ be a subdomain of ${\mathbb{R}}^{2k+1}$, and $f\co\Omega \rightarrow \Omega'$ be an orientation-preserving diffeomorphism. Consider a closed Dirichlet $(k+1)$-form $\alpha$. The change in the helicity of $\alpha$ under $f$ is $${\operatorname{H}}\left(\alpha' \right) -
for helicity in Proposition   \[homotopic - invariance\ ]. Some new constructions are immediately suggested by our definition: a new, “ combinative ” built-in for helicity appear in Proposition   \[prop: combinatorial\ ]. We complete our redevelopment of the standard hypothesis by proving that our helicity integral can be written as consolidation against an appropriately choose primitive in Proposition   \[prop: potential\ ]. 

 We then begin the second part of paper, in which we solve the trouble of computing the effect of an arbitrary diffeomorphism $ f\co \Omega \rightarrow \Omega'$ on the helicity of a closed Dirichlet $ (k+1)$-form $ \alpha$. The theorems in this incision are all new. 

 It is a standard fact (see Appendix B, Theorems   \[alexander basis existence\ ] and   \[alexander basis transformations\ ]) that the $ k$-th homology of $ { \partial}\Omega$ split into two subspaces generated by cycles $ s_1, \dots, s_n$ which adhere relative $ (k+1)$-cycles outside $ \Omega$ and Poincaré dual cycles $ t_1, \dots, t_n$ which bound relative $ (k+1)$-cycles $ \tau_1, \dots, \tau_n$ inside   $ \Omega$. With esteem to a corresponding basis $ \langle s'_1, \dots, s'_n, t'_1, \dots, t'_n \rangle$ for the $ k$-th homology of $ { \partial}\Omega'$, we can write the linear map $ \partial f_*\co H_k({\partial}\Omega) \rightarrow H_k({\partial}\Omega')$ as a engine block matrix $ $ { \partial}f _ * = \left [ 
     \begin{array}{c|c } 
     I & 0 \\ 
     \hline 
     (c_{ij }) & I 
     \end{array } 
     \right],$$ where the $ c_{ij}$ form a symmetric matrix when $ k$ is odd and a skew - symmetric matrix when $ k$ is even. We then have 

 Let $ \Omega^{2k+1}$ be a subdomain of $ { \mathbb{R}}^{2k+1}$, and $ f\co\Omega \rightarrow \Omega'$ be an predilection - preserving diffeomorphism. Consider a closed Dirichlet $ (k+1)$-form $ \alpha$. The change in the helicity of $ \alpha$ under $ f$ is $ $ { \operatorname{H}}\left(\alpha' \right) -
 fog helicity in Propositiok \[homotopic-invaricbce\]. Soke new construztions are immediately suggedtwd by our definition: a new, “zombinatogial” intetral dor helicivg appeavf in Iropovmtion \[prop:combinstorial\]. We complete our seaerelopment of the standard theory by [roving tjat our helicijy inuegwal dan be written as integration agaihst an eppropriately cnosen primitive in Proposihion \[orop:potential\].

We thfn begin thg sesind part of oaper, in which we solvg the problem of computing the ewfect of an arbutearj diffeomorpiism $f\bo \Omega \righbsrrow \Mmega'$ om the helicity of a xlosed Dirichlet $(k+1)$-fork $\alpha$. The theoreis in thiv aection are all nww.

Ut is a sdandxed wacu (sxe Zppendlx U, Theorems \[amexander bawis existence\] and \[altxageer basis trahsformwtyons\]) that the $k$-th homology of ${\partial}\Omtga$ sllits into two subspacew generated by cycles $s_1, \dots, s_g$ which bound relative $(k+1)$-cycles outside $\Omega$ and [oinceré duco cycuws $t_1, \dots, t_n$ which bound relative $(k+1)$-cycles $\tau_1, \djfs, \tsu_n$ inside $\Omegc$. With respect tp w vjrresponding casis $\lanfle s'_1, \dots, s'_n, t'_1, \dohs, t'_n \rwngle$ for the $h$-th nomology of ${\partial}\Omega'$, we can write tke oinear map $\partial f_*\co H_k({\partnal}\Omeba) \ribhtarrow H_k({\partial}\Omega')$ as z block matgix $${\partizu}f_* = \left[ 
    \begkn{agray}{w|c}
    I & 0 \\
    \hline 
    (c_{it}) & I
    \eid{arrcy}
    \rieht],$$ ehere ehe $c_{ij}$ fogm a symmetric matrix whfn $k$ ns odg and a skfw-symmetric matrix when $k$ is evxi. We then havg

Led $\Okega^{2k+1}$ be a sundomain of ${\mathfb{R}}^{2k+1}$, and $f\co\Omgga \rightcrrow \Umega'$ be ah orienvation-preserding diffeomoskhism. Considec a closeq Dieichoet $(k+1)$-fofo $\alpha$. The chsnge in tkt helicity of $\alpha$ under $f$ ls $${\opgrztorname{H}}\left(\al'ka' \right) -
for helicity in Proposition \[homotopic-invariance\]. Some new immediately by our a new, “combinatorial” Proposition We complete our of the standard by proving that our helicity integral be written as integration against an appropriately chosen primitive in Proposition \[prop:potential\]. We begin the second part of paper, in which we solve the problem of the of arbitrary $f\co \Omega \rightarrow \Omega'$ on the helicity of a closed Dirichlet $(k+1)$-form $\alpha$. The theorems in section are all new. It is a standard (see Appendix B, Theorems basis existence\] and \[alexander basis that $k$-th homology ${\partial}\Omega$ into subspaces generated by $s_1, \dots, s_n$ which bound relative $(k+1)$-cycles outside $\Omega$ and Poincaré dual cycles $t_1, \dots, t_n$ which relative $(k+1)$-cycles \tau_n$ inside With to corresponding basis $\langle s'_n, t'_1, \dots, t'_n \rangle$ for of ${\partial}\Omega'$, we can write the linear map f_*\co H_k({\partial}\Omega) H_k({\partial}\Omega')$ as a block matrix $${\partial}f_* \left[ \begin{array}{c|c} I & 0 \\ \hline (c_{ij}) I \end{array} \right],$$ where the $c_{ij}$ form a symmetric matrix when $k$ is odd and matrix when $k$ is We then have $\Omega^{2k+1}$ a of and $f\co\Omega \Omega'$ be an orientation-preserving diffeomorphism. Consider a closed Dirichlet $(k+1)$-form $\alpha$. change in the helicity of $\alpha$ under $f$ is $${\operatorname{H}}\left(\alpha'
 for helicity in Proposition \[hOmotopic-inVariaNce\]. somE nEw coNstrUctions are immeDIateLy suggested by our definiTion: a NeW, “CombINaToriaL” integrAL fOR HelIcItY apPeARs In ProPosItion \[prOp:combinatOriAl\]. we complete ouR ReDevelopmenT of The standard tHeoRy by prOvIng THat ouR heLicitY integRAl can bE written aS iNTegratIOn againST An ApprOpriately chosen prIMiTIve in PropositiOn \[prop:PoTEnTIAl\].

WE thEn begin the SeCond pARt of papER, iN WHIch WE solve the probLem of computINg tHe effeCt Of aN ArbitrAry diFfEOmoRphism $f\co \OmEga \rIghtarrow \omega'$ oN The heliCIty of a cLosed DIriChlEt $(k+1)$-fORm $\AlPha$. thE TheOReMs iN ThiS section ArE aLl new.

it is A STANdarD faCt (seE AppeNdix B, Theorems \[AleXandER baSis exIstenCe\] anD \[aLexanDer basIs traNsFormations\]) that tHe $k$-tH homology Of ${\pArTiaL}\OMega$ sPLits inTo tWo sUbspaceS generaTEd bY cYCLEs $S_1, \dots, s_n$ which bound rElATIvE $(k+1)$-cycles OutsidE $\omEgA$ And PoincArÉ duAl cyCLEs $t_1, \doTs, t_n$ WHiCh bound rElativE $(K+1)$-cYcLes $\tau_1, \dOtS, \tau_n$ iNsIde $\omeGa$. WitH RespEct to a CorrespoNding BAsis $\langle s'_1, \dotS, S'_n, t'_1, \dots, t'_n \rangLE$ fOR ThE $K$-th hOmoLogy of ${\partiAl}\OmEGa'$, we Can wRItE thE LineaR map $\pArTIaL F_*\co H_k({\partial}\Omega) \riGhTarrow h_k({\parTial}\Omega')$ as a bLock matrix $${\PARTial}f_* = \lefT[ 
    \begIN{aRRay}{c|c}
    I & 0 \\
    \hline 
    (c_{ij}) & i
    \end{aRray}
    \right],$$ wHEre the $c_{iJ}$ form A symmetrIc matrix wHEN $k$ is odd aNd a SkeW-syMmeTRIc Matrix when $k$ is EVEn. We ThEn have

LEt $\OMega^{2k+1}$ be A suBdoMaiN of ${\MaThbb{R}}^{2k+1}$, and $F\co\Omega \RiGhTaRrOw \OMega'$ bE An orientAtIon-PrEseRving DIffeomOrphiSm. CoNsIdER a cLosed DiRIcHLEt $(k+1)$-fOrM $\aLpha$. the ChAnge iN the HEliCity of $\aLpha$ under $F$ is $${\OPeraToRnAme{H}}\lefT(\alpha' \right) -
 for helicity in Propositi on \[homot opic- inv ari an ce\] . So me new constru c tion s are immediately sugg ested  b y  our de finit ion: an ew , “co mb in ato ri a l”  inte gra l for h elicity ap pea rs  in Proposit i on  \[prop:co mbi natorial\].Wecomple te  ou r  rede vel opmen t of t h e stan dard theo ry by pro v ing tha t ou r he licity integral c a nb e written as i ntegra ti o na g ain stan appropr ia telyc hosen p r im i t i vei n Proposition  \[prop:pot e nti al\].
W e t h en beg in th es eco nd part ofpape r, in whi ch wes olve th e  proble m of c omp uti ng t h eef fec to f a n  a rbi t rar y diffeo mo rp hism$f\c o \ O mega  \r ight arrow  \Omega'$ onthe  hel i cit y ofa clo sedDi richl et $(k +1)$- fo rm $\alpha$. Th e th eorems in  th is  se ct ion a r e allnew .
It is a  standa r d f ac t ( se e Appendix B, Theo re m s  \ [alexand er bas i sex i stence\]  a nd\[al e x ander  bas i stransfor mation s \] )that th e$k$-th  h omo log y of$ {\pa rtial} \Omega$split s  into two subs p aces generate d  b y cy c les$s_ 1, \dots, s _n$w hich  bou n drel a tive$(k+1 )$ - cy c les outside $\Omega $and Po incar é dual cycles  $t_1, \do t s ,  t_n$ wh ichb ou n d relative $(k +1)$- cycles $\t a u_1, \do ts, \ tau_n$ i nside $\O m e ga$. Wit h r esp ect  to a  c orrespondingb a sis$\ langles'_ 1, \dot s,s'_ n,t'_ 1,  \dots, t '_n \ran gl e$  f or  th e $k$ - th homol og y o f${\ parti a l}\Ome ga'$,  weca nw rit e the l i ne a r  map  $ \p arti alf_ *\coH_k( { \pa rtial}\ Omega) \r igh t arro wH_ k({\par tial}\Omega') $as a block  m atr ix $${ \ p artial}f _* = \left[ 
    \begin { array}{ c|c }
   I &  0 \\
   \h line   (c_{ij }) & I 
   \e nd{ a r ray} \ri gh t],$$ wher e the  $c_{ ij }$ f orm a s ymmetric matrix wh e n $ k$ is odd and  askew - s ym met r ic mat ri x  wh e n  $k$ is even. W e then hav eLe t $\Omega^ { 2k+ 1} $ be asubdoma in of ${\math bb{R}}^{2 k+1}$, an d$f\c o \ Ome ga \righta rrow \Om ega'$ bea n ori e nt ation -pr eservi ng  di ffeom orphis m . C onsid er a c lo sed Di richl et  $(k+1)$ -form $\alpha$. The cha nge in  thehel icity of$\a l pha $ under $ f$ i s $${\oper ato rna me{H} }\l e ft(\a lpha '  \ rig h t) -
 for_helicity in_Proposition \[homotopic-invariance\]. Some new constructions_are immediately_suggested_by our_definition:_a new, “combinatorial”_integral for helicity_appears in Proposition \[prop:combinatorial\]. We_complete our redevelopment_of_the standard theory by proving that our helicity integral can be written as integration_against_an appropriately_chosen_primitive_in Proposition \[prop:potential\].

We then begin the_second part of paper, in_which we_solve the problem of computing the effect of_an_arbitrary diffeomorphism $f\co_\Omega \rightarrow \Omega'$ on the helicity of a closed_Dirichlet $(k+1)$-form $\alpha$. The theorems in_this section are_all_new.

It_is a standard fact_(see Appendix B, Theorems \[alexander basis existence\]_and \[alexander basis transformations\]) that the $k$-th_homology of ${\partial}\Omega$ splits into two subspaces_generated by cycles $s_1, \dots, s_n$_which bound relative $(k+1)$-cycles outside_$\Omega$ and_Poincaré dual cycles $t_1, \dots,_t_n$ which bound_relative $(k+1)$-cycles_$\tau_1, \dots, \tau_n$_inside $\Omega$. With respect to a corresponding_basis $\langle s'_1,_\dots, s'_n, t'_1, \dots, t'_n \rangle$_for_the $k$-th homology_of_${\partial}\Omega'$,_we can_write the linear_map_$\partial f_*\co_H_k({\partial}\Omega)_\rightarrow H_k({\partial}\Omega')$ as a block matrix_$${\partial}f_*_= \left[ 
    \begin{array}{c|c}
_   I_&_0 \\
  _ \hline 
  _ (c_{ij}) & I
  _ \end{array}
_ _ \right],$$ where the $c_{ij}$ form a symmetric matrix when $k$_is odd and a skew-symmetric matrix_when $k$ is even._We then_have

Let_$\Omega^{2k+1}$ be a_subdomain_of ${\mathbb{R}}^{2k+1}$,_and $f\co\Omega \rightarrow \Omega'$ be an orientation-preserving_diffeomorphism. Consider_a closed Dirichlet $(k+1)$-form $\alpha$. The_change in the helicity_of_$\alpha$ under $f$ is $${\operatorname{H}}\left(\alpha' \right)_-