 symmetric power of $\P^{g-1}$ here instead of the direct power because we are forgetting the level structure, and thus the characteristics may be permuted).

This map $gr\P Th$ considered by Caporaso and Sernesi is quite different from our $\P grTh$. As explained in [@cap2] and [@cap4], $gr\P Th$ is not defined on all of $\J_g$ or $\A_g$ — the problem occurs for those $\tau$ for which one of the components of $grTh(\tau)$ is equal to zero. Where it is defined, it factors through $\P grTh$: $$\begin{matrix}
&\A_g&\mathop{\longrightarrow}\limits^{\P grTh}\quad&{\rm
Gr}_\C(g,\,2^{g-1}(2^g-1))\ \\
&&\quad\searrow \hbox{\xxx gr\yyy P\xxx Th}\quad&\downarrow\pi\\
&&&(\P^{g-1})^{2^{g-1}(2^g-1)}/{\rm PGL}(g,\C)\,
\end{matrix}$$ where $\pi$ is the natural projection, which is not always defined.

In [@cap2] and [@cap4] it is shown that when restricted to its domain on the Jacobian locus, $gr\P Th$ is generically injective. While our corollary 2 states that $\P grTh|_{\J_g}$ is generically injective, it does not serve to reproduce the result of Caporaso and Sernesi, as we do not handle the projectivization map $\pi$, which might collapse images different points.

In the following, we will often omit the arguments $\tau$ and $z=0$ for theta functions and their derivatives, and will write $\p_{z_i}$ instead of $\frac{\p}{\p z_i}$. The letters of the Latin alphabet will denote coordinates for vectors in $\C^g$, i.e. will range from 1 to $g$. The letters of the Greek alphabet denote characteristics for $g$-dimensional theta functions, i.e. lie in $\Z_2^g$.

$\t$’s and $\T$’s
=================

The fundamental relation between theta functions with characteristics and theta functions of the second order comes from the fact that the squares of theta functions with characteristics are sections of the bundle
symmetric power of $ \P^{g-1}$ here instead of the direct exponent because we are forget the level structure, and thus the characteristic may be permuted). 

 This map $ gr\P Th$ consider by Caporaso and Sernesi is quite different from our $ \P grTh$. As explained in [ @cap2 ] and [ @cap4 ], $ gr\P Th$ is not specify on all of $ \J_g$ or $ \A_g$ — the problem occurs for those $ \tau$ for which one of the component of $ grTh(\tau)$ is equal to zero. Where it is defined, it factor through $ \P grTh$: $ $ \begin{matrix } 
 & \A_g&\mathop{\longrightarrow}\limits^{\P grTh}\quad&{\rm 
 Gr}_\C(g,\,2^{g-1}(2^g-1))\ \\ 
 & & \quad\searrow \hbox{\xxx gr\yyy P\xxx Th}\quad&\downarrow\pi\\ 
 & & & (\P^{g-1})^{2^{g-1}(2^g-1)}/{\rm PGL}(g,\C)\, 
 \end{matrix}$$ where $ \pi$ is the natural projection, which is not always defined. 

 In [ @cap2 ] and [ @cap4 ] it is shown that when restrict to its domain on the Jacobian locus, $ gr\P Th$ is generically injective. While our corollary 2 states that $ \P grTh|_{\J_g}$ is generically injective, it does not suffice to reproduce the result of Caporaso and Sernesi, as we do not handle the projectivization map $ \pi$, which might collapse image different points. 

 In the following, we will often omit the argumentation $ \tau$ and $ z=0 $ for theta functions and their derivatives, and will write $ \p_{z_i}$ instead of $ \frac{\p}{\p z_i}$. The letters of the Latin alphabet will denote coordinates for vectors in $ \C^g$, i.e. will range from 1 to $ g$. The letters of the Greek alphabet denote characteristics for $ g$-dimensional theta functions, i.e. lie in $ \Z_2^g$. 

 $ \t$ ’s and $ \T$ ’s 
 = = = = = = = = = = = = = = = = = 

 The fundamental sexual intercourse between theta functions with characteristics and theta routine of the second order comes from the fact that the squares of theta functions with characteristic are sections of the bundle
 sylmetric power of $\P^{g-1}$ here instead of the direct power because we are forgetting the level srructyre, and thus the charazteristicd may be pernyted).

This mel $gr\P Tm$ conaldereb uy Caporaso and Sernesi iv quite differang yrom our $\P grTh$. As explained in [@cap2] wnd [@cap4], $gg\P Th$ is not dgfinec on zll of $\J_g$ or $\A_g$ — the problem occura for tiose $\tau$ for whoch one of the components lf $ggTh(\tau)$ is equal to zero. Where it yw defined, it factors through $\P grTg$: $$\begin{matrix}
&\A_g&\mathop{\longrightafrow}\lnmits^{\P grTh}\wuqd&{\rl
Cr}_\C(g,\,2^{g-1}(2^g-1))\ \\
&&\quad\wearrjw \hbox{\xxx gv\jyy P\xxf Th}\quac&\downarrow\pi\\
&&&(\P^{g-1})^{2^{n-1}(2^g-1)}/{\rm 'GL}(g,\X)\,
\end{matrix}$$ where $\pi$ iv the natural projgction, whiwh is not always dedibed.

In [@cap2] and [@xap4] it ix ahown hhav when restdicted to irs domain on the Javofpsn locus, $gr\P Th$ is gqnerically injective. While our corollarj 2 sfates that $\P grTh|_{\J_g}$ is tenerically injective, it does got serve to reproduce the result of Caporaso and Sernxsk, aw rd dl not handle the projectivization map $\pi$, whicr mogmt collapse imagcs different pointx.

Ij yre following, de will orten omit the argulents $\twu$ ane $z=0$ for treta functions and their derivarives, and wijo write $\p_{z_i}$ insteab of $\frac{\p}{\p v_i}$. The lettrrs of the Latin alphabzt wilm denote colrdinates wor vectors in $\C^e$, i.v. winl range from 1 to $g$. The leeters of vhe Gxeek alpfabej denotq charactegistigv for $g$-dimensional thetc funwtions, i.e. pie in $\Z_2^g$.

$\t$’s and $\T$’s
=================

The fundamentek relation bgtwaen theta fbnctioks with charactqristics and tketa funetions of the sebond ordec comes from the fact thad the squares of thetw fubctiins witf characteristivs are sebtnons of tye bundle
symmetric power of $\P^{g-1}$ here instead of power we are the level structure, be This map $gr\P considered by Caporaso Sernesi is quite different from our grTh$. As explained in [@cap2] and [@cap4], $gr\P Th$ is not defined on of $\J_g$ or $\A_g$ — the problem occurs for those $\tau$ for which of components $grTh(\tau)$ equal to zero. Where it is defined, it factors through $\P grTh$: $$\begin{matrix} &\A_g&\mathop{\longrightarrow}\limits^{\P grTh}\quad&{\rm Gr}_\C(g,\,2^{g-1}(2^g-1))\ &&\quad\searrow \hbox{\xxx gr\yyy P\xxx Th}\quad&\downarrow\pi\\ &&&(\P^{g-1})^{2^{g-1}(2^g-1)}/{\rm PGL}(g,\C)\, \end{matrix}$$ $\pi$ is the natural which is not always defined. [@cap2] [@cap4] it shown when to its domain the Jacobian locus, $gr\P Th$ is generically injective. While our corollary 2 states that $\P grTh|_{\J_g}$ is injective, it serve to the of and Sernesi, as not handle the projectivization map $\pi$, images different points. In the following, we will omit the $\tau$ and $z=0$ for theta functions their derivatives, and will write $\p_{z_i}$ instead of z_i}$. The letters of the Latin alphabet will denote coordinates for vectors in $\C^g$, i.e. from 1 to $g$. letters of the alphabet characteristics $g$-dimensional functions, i.e. in $\Z_2^g$. $\t$’s and $\T$’s ================= The fundamental relation between theta with characteristics and theta functions of the second order comes fact the squares of functions with characteristics are of bundle
 symmetric power of $\P^{g-1}$ here insTead of the dIrect PowEr bEcAuse We arE forgetting the LEvel Structure, and thus the chaRacteRiSTics MAy Be perMuted).

ThIS mAP $Gr\P th$ CoNsiDeREd By CapOraSo and SeRnesi is quiTe dIfFerent from ouR $\p gRTh$. As explaIneD in [@cap2] and [@cap4], $Gr\P th$ is noT dEfiNEd on aLl oF $\J_g$ or $\a_g$ — the pROblem oCcurs for tHoSE $\tau$ foR Which onE OF tHe coMponents of $grTh(\tau)$ IS eQUal to zero. Where It is deFiNEd, IT FacTorS through $\P gRTH$: $$\begiN{Matrix}
&\A_G&\MaTHOP{\loNGrightarrow}\liMits^{\P grTh}\quAD&{\rm
gr}_\C(g,\,2^{g-1}(2^g-1))\ \\
&&\QuAd\sEArrow \hBox{\xxX gR\Yyy p\xxx Th}\quad&\dOwnaRrow\pi\\
&&&(\P^{g-1})^{2^{g-1}(2^G-1)}/{\rm PGL}(G,\c)\,
\end{matRIx}$$ where $\Pi$ is thE naTurAl prOJeCtIon, WhICh iS NoT alWAys Defined.

IN [@cAp2] And [@caP4] it iS SHOWn thAt wHen rEstriCted to its domaIn oN the jAcoBian lOcus, $gR\P Th$ Is GenerIcally InjecTiVe. While our corolLary 2 States thaT $\P gRTH|_{\J_g}$ Is GenerICally iNjeCtiVe, it doeS not serVE to RePRODuCe the result of CaporAsO ANd sernesi, aS we do nOT hAnDLe the proJeCtiVizaTIOn map $\Pi$, whICh Might colLapse iMAgEs DiffereNt Points.

in The FolLowinG, We wiLl ofteN omit the ArgumENts $\tau$ and $z=0$ for tHEta functions aND tHEIr DErivAtiVes, and will wRite $\P_{Z_i}$ inSteaD Of $\FraC{\P}{\p z_i}$. THe letTeRS oF The Latin alphabet wilL dEnote cOordiNates for vectoRs in $\C^g$, i.e. wiLL RAnge from 1 To $g$. THE lETters of the GreeK alphAbet denote CHaracterIsticS for $g$-dimEnsional tHETa functiOns, I.e. lIe iN $\Z_2^g$.

$\T$’S AnD $\T$’s
=================

The fundameNTAl reLaTion betWeeN theta fUncTioNs wIth ChAracterisTics and tHeTa FuNcTioNs of tHE second oRdEr cOmEs fRom thE Fact thAt the SquaReS oF TheTa functIOnS WIth cHaRaCterIstIcS are sEctiONs oF the bunDle
 symmetric power of $\P^{g -1}$ hereinste adofth e di rect  power because we a re forgetting the leve l str uc t ure, an d thu s the c h ar a c ter is ti csma y  b e per mut ed).

T his map $g r\P  T h$ considere d  b y Caporaso  an d Sernesi is  qu ite di ff ere n t fro m o ur $\ P grTh $ . As e xplainedin [@cap2 ]  and [@ c a p4 ], $ gr\P Th$ is not d e fi n ed on all of $ \J_g$or $\ A _ g$— t he problem  o ccurs for tho s e$ \ t au$ for which one  of the com p one nts of  $ grT h (\tau) $ iseq u alto zero. Wh ereit is def ined,i t facto r s throu gh $\P  gr Th$ : $$ \ be gi n{m at r ix} &\ A_g & \ma thop{\lo ng ri ghtar row} \ l i m its^ {\P  grT h}\qu ad&{\rm
Gr}_\ C(g ,\,2 ^ {g- 1}(2^ g-1)) \ \\ 
& &\qua d\sear row \ hb ox{\xxx gr\yyyP\xx x Th}\qua d&\ do wna rr ow\pi \ \
&&&( \P^ {g- 1})^{2^ {g-1}(2 ^ g-1 )} / { \ rm  PGL}(g,\C)\,
\end {m a t ri x}$$ whe re $\p i $is the natu ra l p roje c t ion,whic h  i s not al ways d e fi ne d.

In[@ cap2]an d [ @ca p4] i t  isshownthat whe n res t ricted to itsd omain on theJ ac o b ia n  loc us,  $gr\P Th$is g e neri call y  i nje c tive.  Whil eo ur corollary 2 statesth at $\P  grTh |_{\J_g}$ isgenericall y i njective , it do e s not serve to  repr oduce ther esult of  Capo raso and  Sernesi, a s we donot  ha ndl e t h e  p rojectivizati o n  map  $ \pi$, w hic h might  co lla pse  im ag es differ ent poin ts .
I nthe  foll o wing, we  w ill  o fte n omi t  the a rgume nts$\ ta u $ a nd $z=0 $  f o r  the ta  f unct ion sand t heir der ivative s, and wi llw rite  $ \p _{z_i}$  instead of $ \f rac{\p}{\p  z _i} $. The l etters o f the Latin alphabet wi l l denot e c oordi nate s for vec tor s in $ \C^ g $, i.e . will  rang efro m 1 to$ g $.  Th eletters of t heGreek  a lpha bet den ote characteristic s  fo r $g$-dimensi ona l th e t afun c ti o ns,  i . e.l i e in $\Z_2^g$.
$\t$’s an d$ \T $’s
====== = === == =====
The fun damen t al rela tion betw een theta  f unct i o nswith chara cteristi cs and th e ta fu n ct ionsofthe se co ndorder  comes fro m the  factth at the  squa re s of the ta functions with chara cteris ticsare  sections  of the  bundle
 symmetric_power of_$\P^{g-1}$ here instead of_the direct_power_because we_are_forgetting the level_structure, and thus_the characteristics may be_permuted).

This map $gr\P_Th$_considered by Caporaso and Sernesi is quite different from our $\P grTh$. As explained_in_[@cap2] and_[@cap4],_$gr\P_Th$ is not defined on_all of $\J_g$ or $\A_g$_— the_problem occurs for those $\tau$ for which one_of_the components of_$grTh(\tau)$ is equal to zero. Where it is defined,_it factors through $\P grTh$: $$\begin{matrix}
&\A_g&\mathop{\longrightarrow}\limits^{\P_grTh}\quad&{\rm
Gr}_\C(g,\,2^{g-1}(2^g-1))\ \\
&&\quad\searrow \hbox{\xxx_gr\yyy_P\xxx_Th}\quad&\downarrow\pi\\
&&&(\P^{g-1})^{2^{g-1}(2^g-1)}/{\rm PGL}(g,\C)\,
\end{matrix}$$ where $\pi$_is the natural projection, which is_not always defined.

In [@cap2] and [@cap4]_it is shown that when restricted to_its domain on the Jacobian locus,_$gr\P Th$ is generically injective._While our_corollary 2 states that $\P_grTh|_{\J_g}$ is generically_injective, it_does not serve_to reproduce the result of Caporaso_and Sernesi, as_we do not handle the projectivization_map_$\pi$, which might_collapse_images_different points.

In_the following, we_will_often omit_the_arguments $\tau$ and $z=0$ for theta_functions_and their derivatives, and will write $\p_{z_i}$_instead of $\frac{\p}{\p z_i}$._The_letters of the Latin_alphabet will denote coordinates for_vectors in $\C^g$, i.e. will range_from 1_to $g$._The letters of the Greek alphabet denote characteristics for $g$-dimensional theta_functions, i.e. lie in $\Z_2^g$.

$\t$’s and_$\T$’s
=================

The fundamental relation between_theta functions_with_characteristics and theta_functions_of the_second order comes from the fact that_the squares_of theta functions with characteristics are_sections of the bundle