 correspond to gradients that lie in the image of curl, namely $CG$.

The third piece, ${\mathcal{H}^{2}_N(\Omega)}$ are closed and co-closed Neumann forms. (Combining and, we see that forms in ${\mathcal{H}^{p}_N(\Omega)}$ actually co-exact.) The forms in ${\mathcal{H}^{2}_N(\Omega)}$ are the only closed forms that are not exact. These correspond to vector fields that are divergence-free but not in the image of curl comprise $HG$.

The fourth piece, ${\mathcal{H}^{2}_D(\Omega)}$ are exact, co-closed Dirichlet forms. These correspond to divergence-free fields which are tangent to the boundary and lie in the kernel of curl, which characterizes $HK$. As an additional check, ${\mathcal{H}^{2}_N(\Omega)} \simeq H^2(\Omega; {\mathbb{R}}) \simeq HG$ and ${\mathcal{H}^{2}_D(\Omega)} \simeq H^1(\Omega; {\mathbb{R}}) \simeq HK$.

The final piece ${\mathcal{E}^{2}_D(\Omega)}$ consists of exact forms whose primitives obey a Dirichlet condition. The corresponding vector field then must be divergence-free and tangent to the boundary; furthermore, the Dirichlet condition on the primitive implies that all fluxes of the vector field over surfaces $\Sigma \subset \Omega$ with ${\partial}\Sigma \subset {\partial}\Omega$ must vanish. This precisely characterizes $FK$.

[^1]: A corresponding theorem for the Godbillon-Vey invariant appears in a paper of G. Raby from 1988 [@MR949006].

[^2]: For domains in ${\mathbb{R}}^3$ with boundary, it is the fluxless condition, and not the null-homologous condition, which guarantees that helicity remains unchanged under all volume-preserving diffeomorphisms. We will give a homological interpretation of this fact in section \[sec:invariance\].

[^3]: In dimension 3, [@MR2067778 p.119] shows that since there is no torsion in any of the homology or cohomology groups, we could take coefficients in $\mathbb{Z}$ and get the same conclusions.

[^4]: In fact, a version of this observation actually predates homology theory itself! The statement that (essentially) the dimension of $H_1({\partial}\Omega)$ was equal
correspond to gradients that lie in the image of curl, namely $ CG$. 

 The third firearm, $ { \mathcal{H}^{2}_N(\Omega)}$ are shut and co - closed Neumann forms. (combination and, we see that form in $ { \mathcal{H}^{p}_N(\Omega)}$ actually co - exact .) The forms in $ { \mathcal{H}^{2}_N(\Omega)}$ are the lone closed forms that are not accurate. These correspond to vector field that are discrepancy - free but not in the image of curl comprise $ HG$. 

 The fourth man, $ { \mathcal{H}^{2}_D(\Omega)}$ are exact, co - closed Dirichlet forms. These correspond to divergence - complimentary fields which are tangent to the boundary and lie in the kernel of curl, which characterize $ HK$. As an additional check, $ { \mathcal{H}^{2}_N(\Omega) } \simeq H^2(\Omega; { \mathbb{R } }) \simeq HG$ and $ { \mathcal{H}^{2}_D(\Omega) } \simeq H^1(\Omega; { \mathbb{R } }) \simeq HK$. 

 The final piece $ { \mathcal{E}^{2}_D(\Omega)}$ consists of accurate forms whose primitive obey a Dirichlet condition. The corresponding vector field then must be discrepancy - free and tangent to the boundary; furthermore, the Dirichlet condition on the primitive implies that all flux density of the vector field over surfaces $ \Sigma \subset \Omega$ with $ { \partial}\Sigma \subset { \partial}\Omega$ must vanish. This precisely characterizes $ FK$. 

 [ ^1 ]: A corresponding theorem for the Godbillon - Vey invariant appears in a paper of G.   Raby from 1988   [ @MR949006 ]. 

 [ ^2 ]: For domains in $ { \mathbb{R}}^3 $ with boundary, it is the fluxless circumstance, and not the nothing - homologous condition, which guarantees that helicity remains unaltered under all book - preserving diffeomorphisms. We will give a homologic interpretation of this fact in incision   \[sec: invariance\ ]. 

 [ ^3 ]: In dimension 3, [ @MR2067778 p.119 ] shows that since there constitute no torsion in any of the homology or cohomology groups, we could take coefficients in $ \mathbb{Z}$ and get the same stopping point. 

 [ ^4 ]: In fact, a version of this observation actually predates homology theory itself! The statement that (essentially) the property of $ H_1({\partial}\Omega)$ was equal
 cogrespond to gradients thxt lie in the image of curl, hamely $CE$.

The third piece, ${\mathcal{H}^{2}_N(\Omxga)}$ qre coosed and co-closed Neuoann formd. (Combinung end, we see that hkrms in ${\mathczp{H}^{p}_N(\Mnega)}$ actually go-exact.) The forms in ${\mathwau{H}^{2}_U(\Omega)}$ are the only closed forms thae are npt exact. These cjrrex[ond no vector fields that are diverfence-frte but not in the omage of curl comprise $HG$.

Tje flurth piece, ${\mathcap{H}^{2}_D(\Omega)}$ arg exwxt, co-closed Airichlet forms. These dorrespond to divergence-free fidlds chich are tqntenh to the bouidary wnd lie in tmv kernen of cutl, which charagterives $YK$. As an additional cieck, ${\mathcal{H}^{2}_N(\Omega)} \fimeq H^2(\Omagc; {\mathbb{R}}) \simeq HG$ ane ${\nathcdl{H}^{2}_D(\Mmegx)} \sioeq H^1(\Pmsga; {\mahhbu{R}}) \simeq HK$.

Fhe final puece ${\mathcal{E}^{2}_D(\Omega)}$ cjbsists of exadt foris whose primitives obey a Dirichlet condptioh. The corresponding vecror field then must bg divergense-free and tangent to the boundary; furthermore, tha Dirmcfleu gjveihion on the primitive implies that all fluxes kf tme vector field jver surfacrs $\Sodma \subset \Omgga$ witk ${\pzrtial}\Sigma \subset {\partiaj}\Omegq$ must vagish. This precisely characterizws $FK$.

[^1]: A corrvspobding theorem for che Godbillou-Vey imvarisnt appears in a paper uf G. Daby from 1988 [@MG949006].

[^2]: For domzkns in ${\mathbb{R}}^3$ wkth bmundary, it is the fluxless conditioi, and not thd nukl-homojogous confitiok, which guarantees hhat kelichty remaind unchanged under all volume-preserving diffeokosphpsms. We wnll giye a homologicaj interpretatipn of tkis fazt in sectpon \[sec:inveriance\].

[^3]: In dymension 3, [@MR2067778 [.119] shows that vince thqre us ni torsiuv in any of thr homologj jr cihomology groups, wc couus take coefficizutw in $\mathbb{Z}$ anc gdt ehv seme cjtclusions.

[^4]: In facg, a fersiun of this icserfation actually preddtes homology theory iysclf! The sjatement ehat (essentiakly) the dimension lf $H_1({\pertial}\Umega)$ waf equal
correspond to gradients that lie in the curl, $CG$. The piece, ${\mathcal{H}^{2}_N(\Omega)}$ are (Combining we see that in ${\mathcal{H}^{p}_N(\Omega)}$ actually The forms in ${\mathcal{H}^{2}_N(\Omega)}$ are the closed forms that are not exact. These correspond to vector fields that are but not in the image of curl comprise $HG$. The fourth piece, ${\mathcal{H}^{2}_D(\Omega)}$ exact, Dirichlet These to divergence-free fields which are tangent to the boundary and lie in the kernel of curl, characterizes $HK$. As an additional check, ${\mathcal{H}^{2}_N(\Omega)} \simeq {\mathbb{R}}) \simeq HG$ and \simeq H^1(\Omega; {\mathbb{R}}) \simeq HK$. final ${\mathcal{E}^{2}_D(\Omega)}$ consists exact whose obey a Dirichlet The corresponding vector field then must be divergence-free and tangent to the boundary; furthermore, the Dirichlet condition the primitive all fluxes the field surfaces $\Sigma \subset ${\partial}\Sigma \subset {\partial}\Omega$ must vanish. This [^1]: A corresponding theorem for the Godbillon-Vey invariant in a of G. Raby from 1988 [@MR949006]. For domains in ${\mathbb{R}}^3$ with boundary, it is fluxless condition, and not the null-homologous condition, which guarantees that helicity remains unchanged under all We will give a interpretation of this in \[sec:invariance\]. In 3, [@MR2067778 shows that since there is no torsion in any of the or cohomology groups, we could take coefficients in $\mathbb{Z}$ and same [^4]: In fact, version of this observation predates theory itself! The statement the of
 correspond to gradients that Lie in the imAge of CurL, naMeLy $CG$.

the tHird piece, ${\mathcAL{H}^{2}_N(\OMega)}$ are closed and co-closEd NeuMaNN forMS. (COmbinIng and, wE SeE THat FoRmS in ${\MaTHcAl{H}^{p}_N(\omeGa)}$ actuaLly co-exact.) the FoRms in ${\mathcal{h}^{2}_n(\OMega)}$ are the OnlY closed forms ThaT are noT eXacT. these CorRespoNd to veCTor fieLds that arE dIVergenCE-free buT NOt In thE image of curl comprISe $hg$.

The fourth piecE, ${\mathcAl{h}^{2}_d(\OMEGa)}$ aRe eXact, co-closEd diricHLet formS. thESE CorREspond to diverGence-free fiELds Which aRe TanGEnt to tHe bouNdARy aNd lie in the kErneL of curl, whIch chaRActerizES $HK$. As an AdditiOnaL chEck, ${\mAThCaL{H}^{2}_N(\omEGa)} \sIMeQ H^2(\OMEga; {\Mathbb{R}}) \sImEq hG$ and ${\MathCAL{h}^{2}_d(\OmeGa)} \sImeq h^1(\OmegA; {\mathbb{R}}) \simeq hK$.

THe fiNAl pIece ${\mAthcaL{E}^{2}_D(\OMeGa)}$ conSists oF exacT fOrms whose primitIves Obey a DiriChlEt ConDiTion. THE correSpoNdiNg vectoR field tHEn mUsT BE DiVergence-free and tanGeNT To The boundAry; furTHeRmORe, the DirIcHleT conDITion oN the PRiMitive imPlies tHAt AlL fluxes Of The vecToR fiEld Over sURfacEs $\SigmA \subset \OMega$ wITh ${\partial}\Sigma \SUbset {\partial}\OMEgA$ MUsT VaniSh. THis preciselY chaRActeRizeS $fK$.

[^1]: a coRRespoNding ThEOrEM for the Godbillon-Vey InVarianT appeArs in a paper of g. Raby from 1988 [@Mr949006].

[^2]: fOR domains In ${\maTHbB{r}}^3$ with boundary, iT is thE fluxless cONdition, aNd not The null-hOmologous CONdition, wHicH guAraNteES ThAt helicity remAINs unChAnged unDer All voluMe-pResErvIng DiFfeomorphIsms. We wiLl GiVe A hOmoLogicAL interprEtAtiOn Of tHis faCT in secTion \[sEc:inVaRiANce\].

[^3]: in dimenSIoN 3, [@mr2067778 p.119] shOwS tHat sIncE tHere iS no tORsiOn in any Of the homoLogY Or coHoMoLogy groUps, we could takE cOefficientS iN $\maThbb{Z}$ aND Get the saMe conclusions.

[^4]: In fact, a verSIon of thIs oBservAtioN actually PreDates hOmoLOgy theOry itsElf! ThE sTatEMEnt thAT (EsSenTiAlly) the dimENSioN of $H_1({\pArTial}\omega)$ waS equal
 correspond to gradients t hat lie in  theima geof  cur l, n amely $CG$.

T h e th ird piece, ${\mathcal{ H}^{2 }_ N (\Om e ga )}$ a re clos e da n d c o- cl ose dN eu mannfor ms. (Co mbining an d,we  see that fo r ms  in ${\mat hca l{H}^{p}_N(\ Ome ga)}$ac tua l ly co -ex act.)  The f o rms in  ${\mathc al { H}^{2} _ N(\Omeg a ) }$  are  the only closedf or m s that are not  exact .T he s e  co rre spond to v ec tor f i elds th a ta r e  di v ergence-freebut not int heimageof  cu r l comp rise$H G $.
The fourth  pie ce, ${\ma thcal{ H }^{2}_D ( \Omega) }$ are  ex act , co - cl os edDi r ich l et  fo r ms.  These c or re spond  tod i v e rgen ce- free  fiel ds which aretan gent tothe b ounda ry a nd  liein the  kern el  of curl, which  cha racterize s $ HK $.As  an a d dition alche ck, ${\ mathcal { H}^ {2 } _ N (\ Omega)} \simeq H^2 (\ O m eg a; {\mat hbb{R} } )\s i meq HG$an d $ {\ma t h cal{H }^{2 } _D (\Omega) } \sim e qH^ 1(\Omeg a;  {\mat hb b{R }})  \sim e q HK $.

Th e finalpiece ${\mathcal{E}^ { 2}_D(\Omega)} $  c o n si s ts o f e xact formswhos e  pri miti v es  ob e y a D irich le t  c o ndition. The corres po ndingvecto r field thenmust be di v e r gence-fr ee a n dt angent to thebound ary; furth e rmore, t he Di richletcondition o n the pr imi tiv e i mpl i e sthat all flux e s  ofth e vecto r f ield ov ersur fac es$\ Sigma \su bset \Om eg a$  w it h $ {\par t ial}\Sig ma  \s ub set  {\pa r tial}\ Omega $ mu st  v a nis h. This pr e c isel ych arac ter iz es $F K$.[^1 ]: A co rrespondi ngt heor em  f or theGodbillon-Vey  i nvariant a pp ear s in a p aper ofG. Raby from 1988 [@MR9 4 9006].
[^ 2]: F or d omains in  ${ \mathb b{R } }^3$ w ith bo undar y,  it i s the f lu xle ss  condition , and  notth e nu ll-homo logous condition,w hic h guaranteestha t he l i ci tyr em a ins  u n cha n g ed under all vo lume-prese rv i ng  diffeomor p his ms . We wi ll give  a ho m ologica l interpr etation o fthis f act  in sectio n \[sec: invarianc e \].
[ ^3 ]: In  di mensio n3,[@MR2 067778 p.1 19] s hows t ha t sinc e the re  is no t orsion in any of the ho mology  or c oho mology gr oup s , w e could t akecoefficien tsin$\mat hbb { Z}$ a nd g e tthe sameconc l usions.
[ ^4 ]:I n  f act, a vers i o n  of  this  ob s ervati on a ctually predatesh omology theory  its e l f!The stat em ent that (esse nti al l y ) the di me nsion of $H _1({\par ti a l}\Om ega)$was eq ual
 correspond_to gradients_that lie in the_image of_curl,_namely $CG$.

The_third_piece, ${\mathcal{H}^{2}_N(\Omega)}$ are_closed and co-closed_Neumann forms. (Combining and,_we see that_forms_in ${\mathcal{H}^{p}_N(\Omega)}$ actually co-exact.) The forms in ${\mathcal{H}^{2}_N(\Omega)}$ are the only closed forms that_are_not exact._These_correspond_to vector fields that are_divergence-free but not in the_image of_curl comprise $HG$.

The fourth piece, ${\mathcal{H}^{2}_D(\Omega)}$ are exact,_co-closed_Dirichlet forms. These_correspond to divergence-free fields which are tangent to the_boundary and lie in the kernel_of curl, which_characterizes_$HK$._As an additional check,_${\mathcal{H}^{2}_N(\Omega)} \simeq H^2(\Omega; {\mathbb{R}}) \simeq HG$_and ${\mathcal{H}^{2}_D(\Omega)} \simeq H^1(\Omega; {\mathbb{R}}) \simeq_HK$.

The final piece ${\mathcal{E}^{2}_D(\Omega)}$ consists of exact_forms whose primitives obey a Dirichlet_condition. The corresponding vector field_then must_be divergence-free and tangent to_the boundary; furthermore,_the Dirichlet_condition on the_primitive implies that all fluxes of_the vector field_over surfaces $\Sigma \subset \Omega$ with_${\partial}\Sigma_\subset {\partial}\Omega$ must_vanish._This_precisely characterizes_$FK$.

[^1]: A corresponding_theorem_for the_Godbillon-Vey_invariant appears in a paper of_G. Raby_from 1988 [@MR949006].

[^2]: For domains in ${\mathbb{R}}^3$ with_boundary, it is the_fluxless_condition, and not the_null-homologous condition, which guarantees that_helicity remains unchanged under all volume-preserving_diffeomorphisms. We_will give_a homological interpretation of this fact in section \[sec:invariance\].

[^3]: In dimension 3,_[@MR2067778 p.119] shows that since there_is no torsion in_any of_the_homology or cohomology_groups,_we could_take coefficients in $\mathbb{Z}$ and get the_same conclusions.

[^4]:_In fact, a version of this_observation actually predates homology_theory_itself! The statement that (essentially) the_dimension of $H_1({\partial}\Omega)$ was equal