_{2g}}^{2^{n'}} \in \Gamma(2^{n})$ contains $\Gamma(2^{2n})$ (resp. $\Gamma(2^{n + n'})$) if $n' \leq n$ (resp. if $n' > n$). In particular, as a topological subgroup of ${\mathrm{Sp}}(M \otimes {\mathbb{Z}}_{2})$, $G$ is open, and its associated Lie algebra $\mathfrak{g}$ coincides with the $2$-adic symplectic Lie algebra $\mathfrak{sp}(M \otimes {\mathbb{Q}}_{2})$.

Note that the image of any transvection $T \in {\mathrm{Sp}}(M \otimes {\mathbb{Z}}_{2})$ under the logarithm map is $T - 1 \in \mathfrak{sp}(M \otimes {\mathbb{Q}}_{2})$ and that $\mathfrak{g}$ is generated as a Lie algebra by the logarithms of the transvections $T_{c_{i}}$. Therefore, in order to prove the second statement of this proposition, it suffices to show that $\{T_{c_{s}} - 1\}_{1 \leq s \leq 2g}$ generates the full Lie algebra $\mathfrak{sp}(M \otimes {\mathbb{Q}}_{2})$. However, in order to get both statements, we will prove something slightly stronger which is given by the following lemma.

\[lemma transvection commutator basis\]

Let $t_{i} = T_{c_{i}} - 1 \in \mathfrak{sp}(M \otimes {\mathbb{Q}}_{2})$ and let $\bar{t}_{i}$ denote the reduction of $t_{i}$ modulo $2$ for $1 \leq i \leq 2g$. Then an ${\mathbb{F}}_{2}$-basis for $\mathfrak{sp}(M \otimes {\mathbb{F}}_{2})$ is given by the set $\{\bar{t}_{i}\}_{1 \leq i \leq 2g} \cup \{[\bar{t}_{i}, \bar{t}_{j}]\}_{1 \leq i < j \leq 2g}$.

Let $\bar{c}_{i}$ denote the reductions modulo $2$ of the basis element $c_{i}$ for $1 \leq i \leq 2g$. We know from the characterization of the $c_{i}$’s modulo $2$ given in the statement that $\{\bar{c}_{1},
_ { 2g}}^{2^{n' } } \in \Gamma(2^{n})$ contains $ \Gamma(2^{2n})$ (resp. $ \Gamma(2^{n + n'})$) if $ n' \leq n$ (resp. if $ n' > n$). In particular, as a topological subgroup of $ { \mathrm{Sp}}(M \otimes { \mathbb{Z}}_{2})$, $ G$ is open, and its associated Lie algebra $ \mathfrak{g}$ coincides with the $ 2$-adic symplectic Lie algebra $ \mathfrak{sp}(M \otimes { \mathbb{Q}}_{2})$. 

 notice that the prototype of any transvection $ T \in { \mathrm{Sp}}(M \otimes { \mathbb{Z}}_{2})$ under the logarithm map is $ T - 1 \in \mathfrak{sp}(M \otimes { \mathbb{Q}}_{2})$ and that $ \mathfrak{g}$ is generate as a Lie algebra by the logarithm of the transvections $ T_{c_{i}}$. Therefore, in order to prove the second statement of this suggestion, it suffices to show that $ \{T_{c_{s } } - 1\}_{1 \leq s \leq 2g}$ generate the full Lie algebra $ \mathfrak{sp}(M \otimes { \mathbb{Q}}_{2})$. However, in order to catch both statements, we will test something slenderly stronger which is given by the following lemma. 

 \[lemma transvection commutator basis\ ] 

 lease $ t_{i } = T_{c_{i } } - 1 \in \mathfrak{sp}(M \otimes { \mathbb{Q}}_{2})$ and let $ \bar{t}_{i}$ denote the decrease of $ t_{i}$ modulo $ 2 $ for $ 1 \leq i \leq 2g$. Then an $ { \mathbb{F}}_{2}$-basis for $ \mathfrak{sp}(M \otimes { \mathbb{F}}_{2})$ is given by the set $ \{\bar{t}_{i}\}_{1 \leq i \leq 2 g } \cup \{[\bar{t}_{i }, \bar{t}_{j}]\}_{1 \leq i < j \leq 2g}$. 

 get $ \bar{c}_{i}$ denote the reductions modulo $ 2 $ of the footing element $ c_{i}$ for $ 1 \leq i \leq 2g$. We sleep together from the characterization of the $ c_{i}$ ’s modulo $ 2 $ give in the statement that $ \{\bar{c}_{1 },
_{2g}}^{2^{n'}} \ln \Gamma(2^{n})$ contains $\Gamma(2^{2k})$ (resp. $\Gamma(2^{n + n'})$) if $n' \lxq n$ (reap. if $n' > n$). In particular, as a topolojicao subtroup of ${\mathrm{Sp}}(M \otioes {\mathbh{Z}}_{2})$, $G$ is ipen, qnd its associated Lie amnebra $\nathfrak{g}$ coingides with dhe $2$-adic symplacgie Lie algebra $\mathfrak{sp}(M \otimes {\matrbb{Q}}_{2})$.

Notr hhat the image of sgy tdansvection $T \in {\mathrm{Sp}}(M \otimes {\jathbb{Z}}_{2})$ under the lobarithm map is $T - 1 \in \mathvrak{dp}(M \otimes {\mathbb{Q}}_{2})$ and that $\mqthfwqk{g}$ is generxted as a Lie algebra gy the logarithms of the transvdctious $T_{c_{i}}$. Thergyire, hn order to provv the second statemend of thos proposition, it sudfices to show that $\{T_{r_{s}} - 1\}_{1 \leq s \leq 2g}$ gengrates the fbll Lie algebra $\mathfeaj{sp}(M \mtimas {\mxrhbc{Q}}_{2})$. Goxevsr, in lrdxr to get bkth statemebts, we will prove spmqnning slightlg stroggqr which is given by the following lemmd.

\[lejma transvection commutqtor basis\]

Let $t_{i} = T_{c_{i}} - 1 \in \matrfrak{sp}(M \otimes {\mathbb{Q}}_{2})$ and let $\bar{t}_{i}$ denote the seducviun if $g_{u}$ lodulo $2$ for $1 \leq i \leq 2g$. Then an ${\mathbb{F}}_{2}$-basis rot $\kathfrak{sp}(M \otlmes {\mathbb{F}}_{2})$ is gifej ni the set $\{\bar{t}_{k}\}_{1 \leq n \lsq 2g} \cup \{[\bar{t}_{i}, \bar{h}_{j}]\}_{1 \leq y < j \oeq 2g}$.

Let $\far{c}_{o}$ denote the reductions modylo $2$ of the yasus element $c_{i}$ for $1 \leq i \leq 2y$. We kmow ftom the characterizatiou of tge $c_{i}$’s modupo $2$ given kn the statement thst $\{\bar{c}_{1},
_{2g}}^{2^{n'}} \in \Gamma(2^{n})$ contains $\Gamma(2^{2n})$ (resp. $\Gamma(2^{n if \leq n$ if $n' > topological of ${\mathrm{Sp}}(M \otimes $G$ is open, its associated Lie algebra $\mathfrak{g}$ coincides the $2$-adic symplectic Lie algebra $\mathfrak{sp}(M \otimes {\mathbb{Q}}_{2})$. Note that the image of transvection $T \in {\mathrm{Sp}}(M \otimes {\mathbb{Z}}_{2})$ under the logarithm map is $T - \in \otimes and $\mathfrak{g}$ is generated as a Lie algebra by the logarithms of the transvections $T_{c_{i}}$. Therefore, in to prove the second statement of this proposition, suffices to show that - 1\}_{1 \leq s \leq generates full Lie $\mathfrak{sp}(M {\mathbb{Q}}_{2})$. in order to both statements, we will prove something slightly stronger which is given by the following lemma. \[lemma transvection basis\] Let T_{c_{i}} - \in \otimes and let $\bar{t}_{i}$ reduction of $t_{i}$ modulo $2$ for \leq 2g$. Then an ${\mathbb{F}}_{2}$-basis for $\mathfrak{sp}(M \otimes is given the set $\{\bar{t}_{i}\}_{1 \leq i \leq \cup \{[\bar{t}_{i}, \bar{t}_{j}]\}_{1 \leq i < j \leq Let $\bar{c}_{i}$ denote the reductions modulo $2$ of the basis element $c_{i}$ for $1 \leq 2g$. We know from characterization of the modulo given the that $\{\bar{c}_{1},
_{2g}}^{2^{n'}} \in \Gamma(2^{n})$ contains $\Gamma(2^{2n})$ (rEsp. $\Gamma(2^{n + n'})$) If $n' \leQ n$ (rEsp. If $N' > n$). In PartIcular, as a topolOGicaL subgroup of ${\mathrm{Sp}}(M \otImes {\mAtHBb{Z}}_{2})$, $G$ IS oPen, anD its assOCiATEd LIe AlGebRa $\MAtHfrak{G}$ coIncides With the $2$-adiC syMpLectic Lie algEBrA $\mathfrak{sP}(M \oTimes {\mathbb{Q}}_{2})$.

notE that tHe ImaGE of anY trAnsveCtion $T \IN {\mathrM{Sp}}(M \otimeS {\mAThbb{Z}}_{2})$ uNDer the lOGArIthm Map is $T - 1 \in \mathfrak{sP}(m \oTImes {\mathbb{Q}}_{2})$ and That $\maThFRaK{G}$ Is gEneRated as a LiE aLgebrA By the loGArITHMs oF The transvectiOns $T_{c_{i}}$. ThereFOre, In ordeR tO prOVe the sEcond StATemEnt of this prOposItion, it suFfices TO show thAT $\{T_{c_{s}} - 1\}_{1 \leq S \leq 2g}$ gEneRatEs thE FuLl lie AlGEbrA $\MaThfRAk{sP}(M \otimes {\MaThBb{Q}}_{2})$. HoWeveR, IN ORder To gEt boTh staTements, we will ProVe soMEthIng slIghtlY strOnGer whIch is gIven bY tHe following lemmA.

\[lemMa transveCtiOn ComMuTator BAsis\]

LeT $t_{i} = t_{c_{i}} - 1 \In \mathfRak{sp}(M \oTImeS {\mATHBb{q}}_{2})$ and let $\bar{t}_{i}$ denote ThE REdUction of $T_{i}$ moduLO $2$ fOr $1 \LEq i \leq 2g$. THeN an ${\MathBB{f}}_{2}$-basiS for $\MAtHfrak{sp}(M \Otimes {\MAtHbB{F}}_{2})$ is givEn By the sEt $\{\Bar{T}_{i}\}_{1 \lEq i \leQ 2G} \cup \{[\Bar{t}_{i}, \bAr{t}_{j}]\}_{1 \leq i < J \leq 2g}$.

lEt $\bar{c}_{i}$ denote tHE reductions moDUlO $2$ OF tHE basIs eLement $c_{i}$ for $1 \Leq i \LEq 2g$. WE knoW FrOm tHE charActerIzATiON of the $c_{i}$’s modulo $2$ giveN iN the stAtemeNt that $\{\bar{c}_{1},
_{2g}}^{2^{n'}} \in \Gamma (2^{n})$ c ontai ns$\G am ma(2 ^{2n })$ (resp. $\G a mma( 2^{n + n'})$) if $n' \ leq n $( resp .  i f $n'  > n$). In p art ic ul ar,  a s  a  topo log ical su bgroup of${\ ma thrm{Sp}}(M\ ot imes {\mat hbb {Z}}_{2})$,$G$  is op en , a n d its  as socia ted Li e  algeb ra $\math fr a k{g}$c oincide s wi th t he $2$-adic sympl e ct i c Lie algebra$\math fr a k{ s p }(M  \o times {\ma th bb{Q} } _{2})$. 
N o t e  th a t the image o f any trans v ect ion $T  \ in{ \mathr m{Sp} }( M  \o times {\mat hbb{ Z}}_{2})$  under the log a rithm m ap is$T- 1  \in \m at hfr ak { sp} ( M\ot i mes  {\mathb b{ Q} }_{2} )$ a n d t hat$\m athf rak{g }$ is generat edas a Lie  alge bra b y th elogar ithmsof th etransvections $ T_{c _{i}}$. T her ef ore ,in or d er topro vethe sec ond sta t eme nt o f  t his proposition, i ts u ff ices toshow t h at  $ \ {T_{c_{s }}  -1\}_ { 1  \leq  s \ l eq  2g}$ ge nerate s  t he  full L ie  algeb ra  $\ mat hfrak { sp}( M \oti mes {\ma thbb{ Q }}_{2})$. Howe v er, in ordert og e tb othsta tements, we  wil l  pro ve s o me thi n g sli ghtly  s t ro n ger which is givenby  the f ollow ing lemma.

\ [lemma tra n s v ection c ommu t at o r basis\]

Let  $t_{ i} = T_{c_ { i}} - 1\in \ mathfrak {sp}(M \o t i mes {\ma thb b{Q }}_ {2} ) $  a nd let $\bar{ t } _{i} $denotethe  reduct ion  of  $t _{i }$  modulo $ 2$ for $ 1\l eq  i  \l eq 2g $ . Then a n${\ ma thb b{F}} _ {2}$-b asisfor$\ ma t hfr ak{sp}( M  \ o t imes  { \m athb b{F }} _{2}) $ is giv en by t he set $\ {\b a r{t} _{ i} \}_{1 \ leq i \leq 2g }\cup \{[\b ar {t} _{i},\ b ar{t}_{j }]\}_{1 \leq i < j \leq 2g}$.
Let  $\ba r{c} _{i}$ den ote  the r edu c tionsmodulo  $2$of  th e basis e le men t$c_{i}$ fo r $1\leqi\leq  2g$. W e know from the ch a rac terization of  th e $c _ { i} $’s mo d ulo  $ 2 $ g i v en in the state ment that$\ { \b ar{c}_{1}, 
_{2g}}^{2^{n'}} \in_\Gamma(2^{n})$ contains_$\Gamma(2^{2n})$ (resp. $\Gamma(2^{n +_n'})$) if_$n'_\leq n$_(resp._if $n' >_n$). In particular,_as a topological subgroup_of ${\mathrm{Sp}}(M \otimes_{\mathbb{Z}}_{2})$,_$G$ is open, and its associated Lie algebra $\mathfrak{g}$ coincides with the $2$-adic symplectic_Lie_algebra $\mathfrak{sp}(M_\otimes_{\mathbb{Q}}_{2})$.

Note_that the image of any_transvection $T \in {\mathrm{Sp}}(M \otimes_{\mathbb{Z}}_{2})$ under_the logarithm map is $T - 1 \in_\mathfrak{sp}(M_\otimes {\mathbb{Q}}_{2})$ and_that $\mathfrak{g}$ is generated as a Lie algebra by_the logarithms of the transvections $T_{c_{i}}$._Therefore, in order_to_prove_the second statement of_this proposition, it suffices to show_that $\{T_{c_{s}} - 1\}_{1 \leq s_\leq 2g}$ generates the full Lie algebra_$\mathfrak{sp}(M \otimes {\mathbb{Q}}_{2})$. However, in order_to get both statements, we_will prove_something slightly stronger which is_given by the_following lemma.

\[lemma_transvection commutator basis\]

Let_$t_{i} = T_{c_{i}} - 1 \in_\mathfrak{sp}(M \otimes {\mathbb{Q}}_{2})$_and let $\bar{t}_{i}$ denote the reduction_of_$t_{i}$ modulo $2$_for_$1_\leq i_\leq 2g$. Then_an_${\mathbb{F}}_{2}$-basis for_$\mathfrak{sp}(M_\otimes {\mathbb{F}}_{2})$ is given by the_set_$\{\bar{t}_{i}\}_{1 \leq i \leq 2g} \cup \{[\bar{t}_{i},_\bar{t}_{j}]\}_{1 \leq i <_j_\leq 2g}$.

Let $\bar{c}_{i}$ denote_the reductions modulo $2$ of_the basis element $c_{i}$ for $1_\leq i_\leq 2g$._We know from the characterization of the $c_{i}$’s modulo $2$ given_in the statement that $\{\bar{c}_{1},