1: \documentclass[12pt,reqno]{amsart}

2: \usepackage{latexsym,verbatim,xypic}

3: %\usepackage{showkeys}

4: %%% figure insertion

5: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6: %%%%%%%%%%%%%   Macros for figure insertion

7: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

8: %%%%%%%

9: %%%%%%%  The two main figure insertion macros are

10: %%%%%%%

11: %                \figput{<filename w/o extension>}

12: %                \figplace{<filename w/o extension>}{<hor shift>}{<vert shift>}

13: %%%%%%%

14: %%%%%%%  The first just inserts the figure at the current location. The

15: %%%%%%%  second inserts the figure at the current location but then shifts 

16: %%%%%%%  horizontally by the second argument and vertically by the third.

17: %%%%%%%

18: %%%%%%%  Some typical TeX commands for inserting figures are

19: %%%%%%%      \centerline{\figput{<filename w/o extension>}}

20: %%%%%%%      \vadjust{\centerline{\figput{<filename w/o extension>}}}

21: %%%%%%%      \midinsert\centerline{\figput{<filename w/o extension>}}\endinsert

22: %%%%%%%      \topinsert\centerline{\figput{<filename w/o extension>}}\endinsert

23: 

24: 

25: 

26: 

27: %%%%%%%

28: %%%%%%%   TO SET A FIGURE DIRECTORY INSERT, FOR EXAMPLE,

29: %%%%%%%                 \def\figdir{figures/}

30: %%%%%%%   IN YOUR SOURCE FILE. REMEMBER THE TAILING /

31: %%%%%%%

32: 

33: 

34: 

35: %%%%%%%

36: %%%%%%%     SELECT (a) YOUR POSTSCRIPT FILE SUFFIX AND (b) YOUR SYSTEM  NOW!

37: %%%%%%%

38: \def\suffix{ps}

39: \newcount\system

40: %\global\system=1   % for textures 

41: %\global\system=2   % for msdos

42: \global\system=3   % for unix(dvips)

43: %\global\system=4   % for unix(dvips) scaled by a factor of 1.2

44: %\global\system=6   % for xdvik

45: 

46: 

47: 

48: \def\ifundefined#1{\expandafter\ifx\csname#1\endcsname\relax}

49: \ifundefined{figdir}\def\figdir{}\fi

50: %

51: % Now for the definitions and main macro for figure inclusion.

52: %

53: \newcount\firstline

54: \newdimen\pswidth  \newdimen\xleft

55: \newdimen\psheight \newdimen\ytop \newdimen\ybot

56: \newcount\justx \newcount\justy

57: \global\justx=0 \global\justy=0

58: \newdimen\vpos \newtoks\labeL 

59: \newread\labeLfile \newdimen\xcoord \newdimen\ycoord

60: \newif\ifdoit 

61: \newbox\labox

62: %  variables for use with xdvik

63: \newdimen\xdvikwid 

64: \newdimen\xdvikht

65: \newdimen\pspoints

66: \newdimen\rwi

67: \pspoints=1bp

68: %

69: \newcount\temp

70: \def\readdim#1{\global\read\labeLfile to \temp

71: \global #1=\temp pt}

72: %

73: % 

74: %    figcrop{<filename,w/o extension>} treats the first two labels as marking

75: %    the upper left and lower right corners of the figure. This is for

76: %    positioning purposes only. The figure may extend beyond the corners.

77: %    The corner markers are not printed.

78: %

79: %

80: \def\figcrop#1{\par%  #1=filename

81: \openin\labeLfile=\figdir#1.lbl                                              

82: \global\read\labeLfile to\firstline\message{#1}               

83: \global\read\labeLfile to\temp%read overall dimensions                                     

84: \readdim{\ybot}

85: \readdim{\xleft}%               read upper left point

86: \readdim{\ytop}

87: \global\read\labeLfile to\justx%ignore

88: \global\read\labeLfile to\justy%ignore

89: \global\read\labeLfile to\labeL%ignore

90: \readdim{\pswidth}%            read lower right point

91: \global\advance\pswidth by -\xleft

92: \readdim{\psheight}

93: \global\advance\ybot by -\psheight

94: \global\advance\psheight by -\ytop

95: \global\read\labeLfile to\justx%ignore

96: \global\read\labeLfile to\justy%ignore

97: \global\read\labeLfile to\labeL%ignore                                    

98: \vbox to\psheight{\vfill

99: %%%

100: %%% NOTE: next line may have to be changed for your DVIPS driver %%%

101: \ifnum\system=1\special{postscript grestore newpath gsave}\fi %textures

102: \ifnum\system=2\special{postscript grestore newpath gsave}\fi %msdos

103: \ifnum\system=3

104:   %%  \special{" grestore newpath gsave}

105:                                                  \fi         %%unix:dvips

106: \ifnum\system=4\special{" grestore newpath gsave}\fi         %%unix:dvips,scaled

107: \ifnum\system=1

108: \hbox to \pswidth{\kern-\xleft\special{postscriptfile \figdir#1.\suffix }\hfil}\fi

109:                                                               %textures

110: \ifnum\system=2

111: \hbox to \pswidth{\kern-\xleft\special{ps: plotfile \figdir#1.\suffix }\hfil}\fi

112:                                                               %mdos 

113: \ifnum\system=3

114: \hbox to \pswidth{\kern-\xleft\special{psfile=\figdir#1.\suffix }\hfil}\fi

115:                                                              %unix:dvips 

116: \ifnum\system=4

117: \hbox to \pswidth{\kern-\xleft\special{psfile=\figdir#1.\suffix hscale=120 vscale=120}\hfil}\fi

118:                                                              %unix:dvips,scaled

119: \ifnum\system=5

120: \hbox to \pswidth{\kern-\xleft\special{psfile="\figdir#1.\suffix"}\hfil}\fi %orphee

121: \ifnum\system=6

122:    \xdvikwid=\pswidth

123:    \xdvikht=\psheight

124:    {\global\divide\xdvikwid by \pspoints}

125:    {\global\divide\xdvikht by \pspoints}

126:    \rwi=\xdvikwid

127:     {\global\multiply\rwi by 10}

128: \hbox to \pswidth{\kern-\xleft\special{psfile=\figdir#1.\suffix\space  

129:                  llx=0\space lly=0\space

130:                  urx=\number\xdvikwid\space ury=\number\xdvikht\space 

131:                  rwi=\number\rwi}\hfil}\fi                   %xdvik

132: %%%

133: \vskip -\baselineskip

134: \vskip -\ybot 

135: \vskip-\psheight %                                     

136: \hbox to\pswidth  {\hss}%                                            

137: \parindent=0pt\offinterlineskip                                       

138: \vpos=0 pt%                                                              

139: \loop\readdim{\xcoord}                                 

140: \ifdim \xcoord < -999pt \doitfalse\else\doittrue\fi                        

141: \ifdoit \advance \xcoord by -\xleft

142: \readdim{\ycoord}

143: \advance \ycoord by -\ytop                              

144: \global\read\labeLfile to\justx                                       

145: \global\read\labeLfile to\justy                                       

146: \global\read\labeLfile to\labeL

147: \global\setbox\labox=\hbox{\labeL\hskip-0.3em}%    

148: \advance\vpos by-\ycoord                                              

149: \vskip-\vpos \vpos=\ycoord                                         

150: \hbox to\pswidth{\hskip\xcoord %                                 

151: \hbox to 0pt{\ifnum\justx>0\hss\fi%                                   

152: \vbox to0pt{%                                                         

153: \ifnum\justy<2\vss\fi%                                                

154: \copy\labox\kern0pt%  

155: \ifnum\justy>0\vss\fi}%                                               

156: \ifnum\justx<2\hss\fi}%                                               

157: \hss}%                                                                

158: \repeat%                                                              

159: \advance\vpos by-\psheight%                                           

160: \vskip-\vpos %                                                     

161: }\closein\labeLfile}

162: %

163: %

164: %     \figplace{<filename w/o extension>}{<hor shift>}{<vert shift>}

165: %     moves to the right by <hor shift> and down by <vert shift>

166: %     and then applies \figcrop

167: % 

168: \def\figplace#1#2#3{

169: \openin\labeLfile=\figdir#1.lbl

170: \ifeof \labeLfile

171:        \immediate\write16{***Can't find \figdir#1.lbl; Skipping it.***}

172: \else  \closein\labeLfile

173:        \null\hskip#2\raise #3 \hbox{\figcrop{#1}}

174: \fi

175: }

176: %

177: %

178: %     \figput{<filename w/o extension>}

179: %     

180: %     just applies \figcrop

181: % 

182: \def\figput#1{

183: \openin\labeLfile=\figdir#1.lbl

184: \ifeof \labeLfile

185:        \immediate\write16{***Can't find \figdir#1.lbl; Skipping it.***}

186: \else  \closein\labeLfile

187:        \hbox{\figcrop{#1}}

188: \fi

189: }

190: 

191: 

192: 

193: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

194: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

195: 

196: 

197: %%% Macros by Malek

198: 

199: \def\bbbone{{\mathchoice {\rm 1\mskip-4mu l} {\rm 1\mskip-4mu l}

200: {\rm 1\mskip-4.5mu l} {\rm 1\mskip-5mu l}}}

201: 

202: \def\NN{\mathbb{N}}

203: 

204: \newcommand{\bea} {\begin{eqnarray}}

205: \newcommand{\eea} {\end{eqnarray}}

206: \newcommand{\lp}  {\left(}

207: \newcommand{\rp}  {\right)}

208: \newcommand{\cF}{\mathcal F}

209: \newcommand{\cJ}{\mathcal J}

210: \newcommand{\cC}{\mathcal C}

211: \newcommand{\cN}{\mathcal N}

212: \newcommand{\cA}{\mathcal A}

213: \newcommand{\cZ}{\mathcal Z}

214: \newcommand{\cM}{\mathcal M}

215: \newcommand{\cT}{\mathcal T}

216: \newcommand{\Om}{\Omega}

217: \newcommand{\ep}{\epsilon}

218: \newcommand{\si}{\sigma}

219: \newcommand{\ga}{\gamma}

220: \newcommand{\Ga}{\Gamma}

221: \newcommand{\al}{\alpha}

222: \newcommand{\de}{\delta}

223: \newcommand{\De}{\Delta}

224: \newcommand{\ph}{\phi}

225: \newcommand{\til}  {\tilde}

226: \def\Br{\overline}

227: \newcommand{\eqdef} {\stackrel{\rm def}{=}}

228: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

229: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

230: 

231: %%%  Macros by Jaydeep

232: %%%

233: %%%  

234: \newtheorem{Theorem}{Theorem}[section]

235: \newtheorem{Lemma}[Theorem]{Lemma}

236: \newtheorem{Proposition}[Theorem]{Proposition}

237: \newtheorem{Corollary}[Theorem]{Corollary}

238: \newtheorem{Remark}[Theorem]{Remark}

239: \newtheorem{Remarks}[Theorem]{Remarks}

240: \newtheorem{Definition}[Theorem]{Definition}

241: \newtheorem{Example}[Theorem]{Example}

242: \newtheorem{Examples}[Theorem]{Examples}

243: \newtheorem{Conjecture}[Theorem]{Conjecture}

244: \newtheorem{Directive}[Theorem]{Directive}

245: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

246: \newcommand{\complex}{\mathbf C}

247: \newcommand{\Z}{\mathbf Z}

248: \newcommand{\bF}{\mathbb F}

249: \renewcommand{\P}{\mathbb P}        

250: \newcommand{\T}{\mathbb T}        

251: \newcommand{\Pred}{\mathcal P}

252: \renewcommand{\O}{\mathcal O} 

253: \newcommand{\I}{\mathcal I} 

254: \newcommand{\J}{\mathcal J} 

255: \newcommand{\Q}{\mathcal Q} 

256: \newcommand{\R}{\mathcal R} 

257: \newcommand{\E}{\mathcal E} 

258: \newcommand{\F}{\mathcal F} 

259: \newcommand{\ux}{\mathbf x} 

260: \newcommand{\uy}{\mathbf y} 

261: \newcommand{\A}{\mathcal A} 

262: \newcommand{\U}{\mathcal E} 

263: \newcommand{\Se}{\mathcal S} 

264: \newcommand{\Te}{\mathcal T} 

265: \newcommand{\ra}{\rightarrow}

266: \newcommand{\RA}{\Rightarrow}

267: \newcommand{\lra}{\longrightarrow}

268: \newcommand{\la}{\leftarrow}

269: \newcommand{\lla}{\longleftarrow}

270: \renewcommand{\ker}{\text{ker}\,}

271: \newcommand{\coker}{\text{coker}\,}

272: \newcommand{\im}{\text{image}\,}

273: \newcommand{\rank}{\text{rank}\,}

274: \newcommand{\Hom}{\text{Hom}}

275: \newcommand{\spec}{\text{Spec}\,}

276: \newcommand{\predicate}{\mathfrak P}

277: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

278: \newcommand{\opluslim}{\operatornamewithlimits{\oplus}}

279: \newcommand{\demo}{\noindent {\sc Proof.}\;}

280: \renewcommand{\baselinestretch}{1.12} 

281: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

282: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

283: \begin{document}

284: \title[Brill-Gordan loci and the Foulkes conjecture]{Brill--Gordan Loci, 

285: transvectants \\ and an analogue of the Foulkes conjecture} 

286: \author[Abdesselam and Chipalkatti]{Abdelmalek Abdesselam and Jaydeep Chipalkatti} 

287: \maketitle 

288: 

289: \parbox{12cm}{\small 

290: {\sc Abstract.} 

291: The hypersurfaces of degree $d$ in the projective space $\P^n$ correspond 

292: to points of $\P^N$, where $N = \binom{n+d}{d}-1$. Now assume $d=2e$ is 

293: even, and let $X_{(n,d)} \subseteq \P^N$ denote the subvariety of 

294: two $e$-fold hyperplanes.

295: We exhibit an upper bound on the Castelnuovo regularity of the 

296: ideal of $X_{(n,d)}$, and show that this variety is $r$-normal 

297: for $r \ge 2$. The latter result is representation-theoretic, and 

298: says that a certain $GL_{n+1}$-equivariant moprhism 

299: \[S_r(S_{2e}(\complex^{n+1}))\longrightarrow S_2(S_{re}(\complex^{n+1})) \]

300: is surjective for $r\ge 2$ ; a statement which is reminiscent 

301: of the Foulkes-Howe 

302: conjecture. For its proof, we reduce the statement to the case $n=1$, and 

303: then show that certain transvectants of binary forms are nonzero. 

304: The latter part uses explicit calculations with Feynman diagrams and 

305: hypergeometric series. 

306: For ternary quartics and binary $d$-ics, we give explicit generators for the 

307: defining ideal of $X_{(n,d)}$ expressed in the language of classical invariant theory.}

308: 

309: \vspace{5mm} 

310: 

311: \mbox{\small AMS subject classification (2000): 05A15, 14F17, 20G05, 81T18.}

312: 

313: \medskip 

314: 

315: \parbox{12cm} 

316: {\small Keywords: coincident root loci, Castelnuovo-Mumford 

317: regularity, Schur modules, symmetric plethysm, Feynman diagrams, 

318: hypergeometric series, magic squares.} 

319: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

320: 

321: \medskip 

322: 

323: \section{Introduction} 

324: 

325: This article is addressed to a rather diverse audience: representation theorists,

326: algebraic geometers, combinatorialists, specialists in hypergeometric

327: series and angular momentum, as well as theoretical physicists working on 

328: quantum gravity using spin networks. In this introduction, we try to 

329: describe our results in a manner accessible to all.

330: 

331: \subsection{The Foulkes-Howe conjecture} 

332: One of the major problems in the representation theory of the general linear group 

333: is understanding the composition of Schur functors, variously known as 

334: plethysm or `external product' of symmetric functions. 

335: Even in the `simple' case of a composition of symmetric

336: powers $S_r(S_m(\complex^{n+1}))$ (which is the space of homogeneous polynomials

337: of degree $r$ in the coefficients of a generic homogeneous polynomial

338: of degree $m$ in $n+1$ variables), 

339: very little is known about its decomposition into irreducible representations

340: of $SL_{n+1}$. While trying to shed light on this problem, R.~Howe~\cite{Howe} 

341: constructed a natural equivariant map 

342: \[ S_r(S_m(\complex^{n+1}))\longrightarrow S_m(S_r(\complex^{n+1})). \] 

343: He conjectured that the map is injective if $r\le m$, and surjective if $r \ge m$, 

344: thereby giving a more precise form to a question raised by H.~O.~Foulkes~\cite{Foulkes}. 

345: (See~\cite{Briand,Brion2,Doran} for recent results and further references.)

346: More generally, for any integer $e \ge 1$, there is an

347: equivariant map 

348: \begin{equation}

349:  S_r(S_{me}(\complex^{n+1}))\longrightarrow S_m(S_{re}(\complex^{n+1})), 

350: \label{general.howemap} \end{equation}

351: which reduces to Howe's map for $e=1$. 

352: (An explicit definition of the map will be given in Section \ref{transvectants}.) 

353: An immediate question is whether this more general map also is surjective when $r \ge m$.

354: Our main result says that this is so for $m=2$. 

355: 

356: \begin{Theorem} \sl

357: The map 

358: \[ \alpha_r: S_r(S_{2e}(\complex^{n+1}))\longrightarrow 

359: S_2(S_{re}(\complex^{n+1})) \] 

360: is surjective for $r\ge 2$. 

361: \label{surj.alpha_r} \end{Theorem}

362: \begin{Remark} \rm 

363: The following result was recently proved by Rebecca Vessenes in her 

364: thesis (see~\cite[Theorem 1]{Vessenes}):

365: {\sl For any partition $\lambda$ and $r \ge 2$, the multiplicity of 

366: the irreducible Schur module $S_\lambda(\complex^{n+1})$ 

367: in $S_r(S_{2e}(\complex^{n+1}))$ 

368: is at least equal to its multiplicity in $S_2(S_{re}(\complex^{n+1}))$.} 

369: The theorem above of course implies this. The technique of tableaux counting 

370: used by her gives a similar (but slightly weaker) result 

371: (see [loc.~cit., Theorem 2]): 

372: {\sl For $r \ge 3$, any module $S_\lambda(\complex^{n+1})$ which has positive 

373: multiplicity in $S_r(S_{3e}(\complex^{n+1}))$ also has positive 

374: multiplicity in $S_3(S_{re}(\complex^{n+1}))$.} This is inaccessible by our 

375: method as it stands. 

376: \end{Remark} 

377: \begin{Remark} \rm To the best of our knowledge, the map~(\ref{general.howemap})

378: is first considered by Brion (see~\cite[\S 1.3]{Brion1}). 

379: He shows that there exists a constant 

380: $C(m,e,n)$, such that~(\ref{general.howemap}) is surjective for

381: $r \ge C(m,e,n)$. 

382: \end{Remark}

383: \subsection{Brill-Gordan loci}

384: In fact, we discovered Theorem \ref{surj.alpha_r} in the course 

385: of an entirely different line of inquiry. The context is as follows: 

386: 

387: The set of hypersurfaces of degree $d$ in $\P^n$ is parametrized by the 

388: projective space $\P^N$, where $N = \binom{n+d}{d}-1$. Assume that $d$ is 

389: even (say $d=2e$), and consider the subset of hypersurfaces 

390: which consist of two (possibly coincident) $e$-fold hyperplanes. 

391: In algebraic terms, we regard $\P^N$ as the space of degree $d$ forms in 

392: $n+1$ variables (up to scalars), and consider the set 

393: \[ \{ [F] \in \P^N: F = (L_1\, L_2)^e \; \; \text{for some 

394: linear forms $L_1,L_2$} \}. \] 

395: This is a projective subvariety of $\P^N$, which we denote by $X_{(n,d)}$. 

396: Throughout we exclude the trivial case $n=1,d=2$, and write 

397: $X$ for $X_{(n,d)}$ if no confusion is likely. 

398: The imbedding $X \subseteq \P^N$ is stable for the natural action 

399: on $SL_{n+1}$. 

400: 

401: This construction is modelled after the variety of {\sl 

402: totally decomposable forms}, defined as 

403: \[ Y = \{ [F] \in \P^N: F = L_1 L_2 \dots L_d \; \; \text{for some 

404: linear forms $L_i$} \}. \] 

405: Brill \cite{Brill1,Brill2} and Gordan \cite{Gordan} considered the problem of 

406: finding $SL_{n+1}$-invariant defining equations for $Y$. In classical terms, 

407: we are to find a set of concomitants of a generic $(n+1)$-ary $d$-ic $F$ 

408: which vanish iff $F$ belongs to $Y$. (It turns out that there exists 

409: such a set of concomitants in degree $d+1$; see~\cite[Ch.~4]{GKZ} for a 

410: modern account of Brill's work.) 

411: Due to this obvious analogy, we may call $X$ a Brill-Gordan locus. 

412: 

413: This project began as an attempt to find defining equations for $X$. 

414: This led to the following statement about the homogeneous ideal $I_X$. 

415: 

416: \begin{Theorem}[Main Theorem] \sl 

417: The ideal $I_X$ is $m_0$-regular with $m_0 = \lceil 2n+1 - \frac{n}{e} \rceil$. 

418: {\it A fortiori}, $X$ is scheme-theoretically defined by equations of 

419: degree at most $m_0$. 

420: \label{main.theorem} 

421: \end{Theorem}

422: In order to prove the first statement, it is necessary to show that the cohomology groups 

423: $H^i(\P^N,\I_X(m_0-i))$ are zero for $i \ge 1$. The case $i=1$ is the hardest part of 

424: the proof. It follows once we show that the morphism 

425: \[ H^0(\P^N, \O_{\P^N}(m_0-1)) \lra H^0(\P^N, \O_X(m_0-1)) \] 

426: is surjective. Once both sides are identified \emph{qua} 

427: $SL_{n+1}$-representations, we are reduced to showing that the morphism 

428: \[ \alpha_r: S_r(S_{2e}(\complex^{n+1}))\longrightarrow S_2(S_{re}(\complex^{n+1})) \] 

429: is surjective for $r = m_0-1$. While attempting to prove this, we realized that 

430: the surjectivity in fact holds for {\sl all} $r \ge 2$, which is 

431: Theorem~\ref{surj.alpha_r}. Alternately said, 

432: the variety $X$ is $r$-normal for $r \ge 2$. Since $\alpha_2$ is an isomorphism, 

433: $I_X$ contains no degree $2$ forms. 

434: \subsection{Examples}

435: Notice that $m_0=3$ when $n=1$, hence $X$ is defined by cubic equations in this 

436: case. We describe these equations explicitly in section \ref{binarycase}.

437: The answer is formulated in terms of degree $3$ covariants of binary $d$-ics 

438: (in the sense of \cite{GrYo}). To wit, we exhibit a finite set of covariants 

439: $\{\Phi_i\}$ such that 

440: {\sl a binary $d$-ic $F$ belongs to $X_{(1,d)}$, iff $\Phi_i(F)=0$ for all $i$.} 

441: 

442: The example of ternary quartics (i.e., the case $n=2,d=4$) is worked out in 

443: section \ref{ternaryquartics}. It partly relies upon some elimination-theoretic 

444: computations done in Macaulay-2. 

445: 

446: \begin{Remark} \rm 

447: One can define a Brill-Gordan locus rather generally. 

448: Associated to a partition $\lambda = (\lambda_1,\lambda_2,\dots)$ of $d$, 

449: we have a subvariety $X^\lambda \subseteq \P^N$ of 

450: forms which factor as $F = \prod L_i^{\lambda_i}$. It is 

451: a natural problem to find $SL_{n+1}$-invariant equations for 

452: this variety. The case $\lambda=(d)$ corresponds to the Veronese imbedding

453: (see \cite{JoeH}), and $\lambda=(1^d)$ is the case 

454: considered by Brill and Gordan. Alternately, $X^{(1^d)}$ can be 

455: identified with the variety of Chow forms of degree $d$ zero-cycles in $\P^n$ 

456: (see \cite{GKZ}). 

457: A result for the case $\lambda =(\lambda_1,\lambda_2)$ with 

458: $\lambda_1 > \lambda_2$ is in preparation. 

459: 

460: In the case of binary forms, $X^\lambda$ is the so called `coincident root locus'. 

461: It was first studied by Cayley in~\cite{Cayley1}, and has received 

462: recent attention in the work of Dixmier~\cite{Dixmier1,Dixmier2},

463: Weyman~\cite{Weyman1,Weyman2,Weyman3} and the second 

464: author~\cite{Chipalkatti1,Chipalkatti2}.

465: There are also connections to singularity theory~\cite{Feher}, and the combinatorics of

466: integrable systems~\cite{Kasatani}. A set of $SL_2$-invariant defining 

467: equations is known for binary forms (see ~\cite{Chipalkatti2}), however 

468: the ideal $I_X$ is not well-understood.

469: 

470: Of course we can reformulate the question by allowing factors of higher degree. 

471: For instance, the quartic plane curves which split into a line and a cubic fill up 

472: an $11$-dimensional subvariety of $\P^{14}$; we do not know its defining equations. 

473: \end{Remark} 

474: 

475: \subsection{The Proof of Theorem \ref{surj.alpha_r}} 

476: We give a short description of the principal steps in the proof. 

477: By a formal argument, it suffices to consider the case $n=1$. 

478: Now we have a plethysm decomposition 

479: \begin{equation} S_2(S_{re}(\complex^2)) = 

480: \bigoplus\limits_p S_{rd -4p}(\complex^2), 

481: \end{equation}

482: where the direct sum is quantified over $0 \le p \le 

483: \lfloor \frac{re}{2} \rfloor$. Let $\pi_p$ denote the 

484: projection onto the $p$-th summand. By Schur's lemma, it is enough to 

485: show the following: 

486: \begin{Proposition}[Key Proposition] \sl 

487: When $n=1$, $r\ge 2$ and $0 \le p \le 

488: \lfloor \frac{re}{2} \rfloor$,

489: the morphism $\pi_p \circ \alpha_r$ is nonzero. 

490: \label{key.prop} \end{Proposition}

491: 

492: The proof is by induction on $r$, and occupies the bulk of the paper. 

493: The initial result for $r=2$, and the induction step are respectively 

494: proved in Lemmata \ref{lemma.A} and \ref{lemma.B}. 

495: In either case, the crux of the result consists in showing that 

496: certain Clebsch-Gordan coefficients (or what are the essentially the same, 

497: Wigner's $3j$-symbols) are nonzero. 

498: 

499: We give two proofs of Lemma \ref{lemma.A}.

500: The first is a combinatorially explicit calculation with Feynman diagrams

501: (used here as the pictorial counterpart of classical covariants)

502: which explains {\em why} the corresponding coefficient is nonzero.

503: The second is perhaps less transparent, but it

504: allows a closed form evaluation, thanks to Dixon's summation theorem

505: for the ${}_3 \bF_2$ hypergeometric series.

506: The proof of Lemma~\ref{lemma.B} uses Feynman diagrammatic generating

507: function techniques. These are implicit in the work of 

508: J.~Schwinger~\cite{Schwinger} (which is based on the second quantization formalism), 

509: and its restatement by V.~Bargmann~\cite{Bargmann} which uses Gaussian integration.

510: At this point, the use of analysis (akin to Bargmann's) would be a tempting shortcut. 

511: However, this would have obscured the fact that what is at play is purely 

512: combinatorial algebra; and, except as a guiding principle, there is no real need 

513: for transcendental methods. 

514: 

515: \begin{Remark} \rm 

516: This is an instance of the combinatorial underpinnings behind the 

517: invariant theory of binary forms. The latter is a fascinating subject 

518: (see~\cite{Elliott,Glenn,GrYo,Salmon} for classical accounts), with 

519: ramifications in many fields of current mathematical and physical interest. 

520: For instance, it makes an appearance in the quantum theory of angular 

521: momentum~\cite{Biedenharn1, Biedenharn2}, classical hypergeometric 

522: series~\cite{Gustafson}, the spin network approach to quantum 

523: gravity~\cite{Penrose, Rovelli}, as well as knot and $3$-manifold 

524: invariants~\cite{Carter}. Modern presentations of the classical invariant theory 

525: of binary forms may be found in \cite{KungRota} and \cite{Olver}. 

526: \end{Remark} 

527: 

528: \subsection{Transvectants} 

529: We will rephrase Proposition~\ref{key.prop} as a statement about transvectants of 

530: binary forms. We begin by recalling the latter notion. 

531: 

532: Let $A(x_0,x_1)$ and $B(x_0,x_1)$ be binary forms of degrees $a,b$. 

533: Introduce new variables $(y_0,y_1)$, and consider the differential operator 

534: \[ \Omega = 

535: \frac{\partial^2}{\partial x_0 \, \partial y_1}

536: - \frac{\partial^2}{\partial x_1 \, \partial y_0}, 

537: \] 

538: usually known as Cayley's Omega operator. If $k$ is a nonnegative 

539: integer, then the $k$-th transvectant of $A,B$ is defined to be 

540: \begin{equation} (A,B)_k = 

541: \frac{(a-k)! \, (b-k)!}{a! \, b!} \, [ \, \Omega^k \, 

542: A(x_0,x_1) \, B(y_0,y_1)]_{\uy:=\ux}. 

543: \label{trans.defn} \end{equation}

544: (This is interpreted as follows: change $(x_0,x_1)$ to $(y_0,y_1)$ in $B$, apply 

545: $\Omega$ in all $k$-times to the product $A \, B$, and finally substitute $x_i$ for $y_i$.) 

546: By construction, $(A,B)_k$ is a binary form of degree $a+b-2k$. It is identically 

547: zero if $k > \min \{a,b\}$. A general account of 

548: transvectants may be found in \cite{Glenn,GrYo,Olver}. 

549: 

550: Now the Key Proposition is equivalent to the following statement:

551: \begin{Proposition} \sl 

552: Let $Q$ be a generic binary form of degree $r\ge 2$. 

553: Then, for any integers $e,p$ such that $e \ge 1,0\le\ p\le \lfloor \frac{re}{2} \rfloor$,

554: the transvectant $(Q^e,Q^e)_{2p}$ is not identically zero. 

555: \label{key.transvect}

556: \end{Proposition}

557: A proof of the equivalence is given in section \ref{prop.eq}. 

558: \begin{Example} \rm 

559: In general, it may be a nontrivial matter to show that a given 

560: transvectant expression is (or is not) identically zero. As a simple exercise, the 

561: reader should check that $(F,(F,F)_2)_5 = 0$ for any binary quintic $F$.  

562: We will later see that the {\sl odd} transvectants $(Q^e,Q^e)_{2p+1}$ are zero. 

563: \end{Example} 

564: 

565: \begin{Remark} \rm 

566: With some more work (which we do not do), one can 

567: probably trace through our inductive proof of

568: the Key Proposition in order to obtain an explicit formula for the

569: transvectant $(Q^e,Q^e)_{2p}$. The latter is an $SL_2$-invariant 

570: function of $r+1$ points on the Riemann sphere $\P^1$: namely the roots 

571: of $Q$, and the point with homogeneous coordinates $x_0,x_1$. At 

572: least on a very intuitive level, our induction on $r$ can be thought of as 

573: degenerating the surface in order to separate the points to the extent allowed 

574: by the stability criterion for ${\Br\cM}_{0, r+1}$ 

575: (the moduli space of genus zero curves with $r+1$ labelled points). 

576: 

577: It would be intriguing if one could make this intuition precise

578: using the powerful method of equivariant localization on the 

579: corresponding strata of ${\Br\cM}_{0, r+1}$. This would open the

580: door to the application of these techniques to the calculation of 

581: new formulae for other specific covariants of binary forms.

582: \end{Remark} 

583: 

584: \subsection{Symmetric functions} 

585: If we express the previous transvectant in terms of the roots

586: of $Q$ and then dehomogenize, this becomes a nonvanishing statement

587: for ordinary symmetric functions defined as sums over magic squares or

588: transportation matrices with integer entries. (See~\cite{Diaconis}

589: for a recent review on the fascinating combinatorics of these objects.)

590: 

591: We start with $r+1$ variables, $z_1,\ldots,z_r$ and $t$. 

592: Let $\cM$ denote the set of $(r+1) \times (r+1)$ 

593: matrices $M=(m_{ij})_{1\le i,j\le r+1}$ satisfying the following 

594: conditions: 

595: \begin{itemize} 

596: \item 

597: all $m_{i,j}$ are nonnegative and the diagonal entries are zero, 

598: \item 

599: the row and column sums are given by the vector \newline 

600: $(\underbrace{e,\ldots,e}_r, re-2p)$. 

601: \end{itemize} 

602: Now define the following symmetric function in the $z_i$, with $t$ 

603: as a parameter. 

604: \begin{equation}

605: \begin{aligned} {} & \cT_{r,e,p}(t; z_1,\ldots,z_r) =  \\

606: & \sum_{M\in \cM}

607: \frac{\prod\limits_{1\le i,j\le r} (z_i-z_j)^{m_{ij}}

608: \prod\limits_{1\le i\le r} (t-z_i)^{m_{i,r+1}}

609: \prod\limits_{1\le j\le r} (t-z_j)^{m_{r+1,j}}}

610: {\prod\limits_{1\le i,j\le r+1}m_{ij}!} 

611: \end{aligned} \label{tau} \end{equation}

612: We now have the following result. 

613: \begin{Proposition} \sl 

614: For any $r\ge 2$, $e\ge 1$ and $0\le\ p\le \lfloor \frac{re}{2} \rfloor$,

615: the function 

616: $\cT_{r,e,p}(t; z_1,\ldots,z_r)$ does not identically vanish. 

617: \label{magic.squares}

618: \end{Proposition} 

619: The case when $re$ is even and $p=\frac{re}{2}$

620: does not involve $t$ and is perhaps the most aesthetically pleasing: 

621: it reduces to a sum over $r \times r$ magic squares, with row and 

622: column sums given by $e$. It would be an interesting problem to express 

623: $\cT_{r,e,p}$ in terms of Schur functions.

624: \subsection{The symbolic method} \label{symbolic.method}

625: We will freely use the symbolic method of classical invariant theory 

626: (see~\cite{GrYo, Olver}). Since this has ceased to be a part of the algebraists'

627: standard repertoire, a few words of explanation are in order. 

628: The symbolic method is a very powerful tool, with a simple underlying principle. 

629: 

630: As an example, take four pairs of binary variables

631: $a=(a_0,a_1)$, $b=(b_0,b_1)$, $c=(c_0,c_1)$ and $d=(d_0,d_1)$. 

632: Let the {\sl symbolic bracket}  $(a \, b)$ stand for $a_0 \, b_1- b_0 \, a_1$ etc. 

633: Now consider the following algebraic expression 

634: \begin{equation}

635: E = (a\, b)^2 \, (c \, d)^2 \, (a\, c) \, (b\, d). 

636: \label{discriminant}

637: \end{equation}

638: Each letter occurs three times, hence classically $E$ represents an 

639: invariant of binary cubics. This is interpreted as follows: 

640: if $F(x_0,x_1)$ denotes the generic binary cubic, then $E$ represents the 

641: algebraic expression obtained by applying the differential operator 

642: \[

643: (\frac{1}{3!})^4 \, F(\frac{\partial}{\partial a_0},\frac{\partial}{\partial a_1}) \, 

644: F(\frac{\partial}{\partial b_0},\frac{\partial}{\partial b_1}) \, 

645: F(\frac{\partial}{\partial c_0},\frac{\partial}{\partial c_1}) \, 

646: F(\frac{\partial}{\partial d_0},\frac{\partial}{\partial d_1}) \] 

647: to $(a\, b)^2(c \, d)^2(a\, c)(b\, d)$. 

648: The result is a homogeneous degree $4$ polynomial 

649: in the coefficients of $F$. (Up to a scalar, it is the discriminant of $F$.)

650: This interpretation is the reverse or dualized form of the one given 

651: in~\cite[Appendix I]{GrYo}.

652: We believe that it offers several advantages in simplicity 

653: and flexibility: for instance the possibility 

654: of iteration, or mixed interpretation (where some variables 

655: are taken as `actual' and others as symbolic within the same computation). 

656: Symbolic letters are nothing more than auxiliary variables which 

657: are differentiated out in the final interpretation of the expressions

658: at hand. 

659: 

660: The symbolic method has a rather close resemblance to modern calculational methods 

661: from physics~(e.g., see \cite{Cvitanovic}). 

662: The formal brackets can be seen as the result of differentiating (or integrating)

663: out anticommuting Fermionic variables (see~\cite{Clifford}). 

664: In such calculations one often quickly faces an inflation of the number of 

665: letters needed, and may wonder how to label them. Perhaps one can do this with 

666: points of an infinite variety like a string worldsheet, thereby

667: organizing the collection of these variables into a `quantum field'.

668: This suggests the question of interpreting topological field theoretic constructions 

669: along these lines--compare~\cite{Cattaneo} and \cite{Kontsevich}.

670: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

671: \section{Preliminaries} 

672: In this section we establish the set-up and notation. 

673: All terminology from algebraic geometry follows \cite{Ha}. 

674: 

675: The base field will be $\complex$. 

676: Let $V$ denote a complex vector space of dimension $n+1$, and 

677: write $W=V^*$. If $\lambda$ is a partition, then $S_\lambda(-)$ will 

678: denote the associated Schur functor. In particular, $S_d(-)$ denotes the 

679: symmetric power. All subsequent constructions will be $SL(V)$-equivariant;

680: see \cite[Ch.~6 and 15]{FH} for the relevant representation theory. 

681: Normally we suppress the reference to $V$ whenever it is understood 

682: from context. Thus, for instance, 

683: $S_r(S_d)$ stands for $\text{Sym}^r(\text{Sym}^d \, V)$. 

684: 

685: 

686: Fix a positive integer $d=2e$, and let $N = \binom{n+d}{d}-1$. 

687: Given the symmetric algebra 

688: \[ R = \bigoplus_{r \ge 0} S_r(S_d \, V), \] 

689: the space of degree $d$ hypersurfaces in $\P V$ is identified 

690: with 

691: \[ \P^N = \P \, S_d \, W = \text{Proj} \; R. \] 

692: Now define 

693: \begin{equation}

694: X_{(n,d)} = \{ [F] \in \P^N: F = (L_1 L_2)^e \;\; \text{for 

695: some $L_1,L_2 \in W$} \}. 

696: \end{equation}

697: This is an irreducible $2n$-dimensional projective subvariety of 

698: $\P^N$. 

699: 

700: \smallskip 

701: 

702: Recall the definition of regularity according to Mumford 

703: \cite[Ch.~6]{Mum}. 

704: \begin{Definition} \sl 

705: Let $\F$ be a coherent $\O_{\P^N}$-module, and $m$ an integer. 

706: Then $\F$ is said to be 

707: $m$-regular if $H^q(\P^N,\F(m-q)) = 0$ for $q \ge 1$. 

708: \end{Definition} 

709: It is known that $m$-regularity implies $m'$-regularity for 

710: all $m' \ge m$. 

711: Let $M$ be a graded $R$-module containing no submodules of 

712: finite length. Then (for the present purpose) we will say that $M$ is 

713: $m$-regular if its sheafification ${\widetilde M}$ is. In our case, 

714: $M=I_X$ (the saturated ideal of $X$), and ${\widetilde I_X} = \I_X$. 

715: 

716: We have the usual short exact sequence 

717: \begin{equation} 

718: 0 \ra \I_X \ra \O_{\P^N} \ra \O_X \ra 0. 

719: \label{ses1} \end{equation} 

720: The map 

721: \begin{equation} \P W \times \P W \stackrel{f}{\lra} \P S_d \, W, \quad 

722: (L_1,L_2) \lra (L_1L_2)^e

723: \end{equation}

724: induces a natural isomorphism of $X$ with the quotient 

725: $(\P W \times \P W)// \Z_2$, and of the structure sheaf $\O_X$ with 

726: $(f_* \O_{\P W \times \P W})^{\Z_2}$. 

727: 

728: Using the Leray spectral sequence and the K{\"u}nneth formula, 

729: \[ \begin{aligned} 

730: {} & H^q(\P^N, f_* \O_{\P W \times \P W}(r)) = \\ 

731: \bigoplus\limits_{i+j=q} & 

732: H^i(\P W, \O_{\P^n}(re)) \otimes 

733: H^j(\P W, \O_{\P^n}(re)). 

734: \end{aligned} \] 

735: This group can be nonzero only in two cases: $i,j$ are either both 

736: $0$ or both $n$ (see \cite[Ch.~III,\S 5]{Ha}). 

737: Now $H^q(\O_X(r))$ is the $\Z_2$ invariant part of 

738: $H^q(f_* \O_{\P W \times \P W}(r))$ for any $q$, which gives the 

739: following corollary. 

740: 

741: \begin{Corollary} \sl 

742: We have an isomorphism $H^0(\O_X(r)) = S_2(S_{re})$ for 

743: $r \ge 0$. Moreover $H^{2n}(\O_X(r)) =0$ for $re \ge -n$. 

744: If $q \neq 0$ or $2n$, then $H^q(\O_X(r))=0$. 

745: \qed \end{Corollary} 

746: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

747: \section{The Proof of the Main Theorem} 

748: In this section we begin the proof of Theorem \ref{main.theorem}. 

749: Modulo some cohomological arguments, it will reduce to the statement of Theorem 

750: \ref{surj.alpha_r}. The latter will be proved in sections \ref{transvectants} and 

751: \ref{Feynman}. 

752: 

753: Define the predicate 

754: \[ \R(q): \; H^q(\P^N, \I_X(m_0-q)) = 0. \] 

755: We would like to show $\R(q)$ for $q \ge 1$. 

756: Tensor the short exact sequence (\ref{ses1}) by $\O_{\P^N}(m_0-q)$, and  

757: consider the piece 

758: \begin{equation}  \dots \ra H^{q-1}(\O_X(m_0-q)) \ra H^q(\I_X(m_0-q)) \ra 

759:           H^q(\O_{\P^N}(m_0-q)) \ra \dots 

760: \end{equation}

761: from the long exact sequence in cohomology. 

762: We claim that if $q > 1$ then the first and third terms vanish, 

763: hence $\R(q)$ is true. This is clear if $q \neq 2n+1$. 

764: By the choice of $m_0$, we have 

765: \[ e \, (m_0-2n-1) \ge -n, \] 

766: implying that $H^{2n}(\O_X(m_0-2n-1))=0$. Hence the claim is still true if 

767: $q = 2n+1$. 

768: It remains to prove $\R(1)$, which is the special case $r=m_0-1$ of the following result. 

769: \begin{Proposition} \sl 

770: Let $r \ge 2$. Then the morphism 

771: \[ \alpha_r: H^0(\O_{\P^N}(r)) \lra H^0(\O_X(r)) \] 

772: is surjective. 

773: \end{Proposition}

774: \demo 

775: The map $f$ can be factored as 

776: \[ \P W \times \P W \lra 

777: \P S_e \, W \times \P S_e \, W \lra \P S_d \, W. \] 

778: Tracing this backwards, we see that $\alpha_r$ is the composite 

779: \begin{equation}

780: S_r(S_d) \stackrel{1}{\lra} S_r(S_e \otimes S_e) 

781: \stackrel{2}{\lra} S_r(S_e) \otimes S_r(S_e) 

782: \stackrel{3}{\lra} S_{re} \otimes S_{re} 

783: \stackrel{4}{\lra} S_2(S_{re}), 

784: \label{alpha.r} \end{equation}

785: where 1 is given by applying $S_r(-)$ to the coproduct map, 2 is the  

786: projection coming from the `Cauchy decomposition' (see \cite{Akin}), 3 is the 

787: multiplication map, and 4 is the symmetrisation. 

788: Now we have a plethysm decomposition 

789: \begin{equation} H^0(\O_X(r)) = S_2(S_{re}) = 

790: \bigoplus\limits_p S_{(rd-2p,2p)}, 

791: \label{oxr} \end{equation}

792: where the direct sum is quantified over $0 \le p \le 

793: \lfloor \frac{re}{2} \rfloor$. Let $\pi_p$ denote the 

794: projection onto the $p$-th summand. Since any finite dimensional 

795: $SL(V)$-module is completely reducible, the cokernel of $\alpha_r$ is a 

796: direct summand of $H^0(\O_X(r))$. We will show that 

797: $\pi_p \circ \alpha_r \neq 0$ for any $p$, then Schur's lemma will 

798: imply that the cokernel is zero. 

799: 

800: The entire construction is functorial in $V$, hence if 

801: $U \subseteq V$ is any subspace, then the diagram 

802: \[ \diagram

803: S_r(S_d \, U) \dto \rto & S_{(rd-2p,2p)} \, U \dto \\

804: S_r(S_d \, V) \rto & S_{(rd-2p,2p)} \, V 

805: \enddiagram \] 

806: is commutative. The vertical map on the left is injective. 

807: If we further assume that $\dim U \ge 2$, then the vertical map on the right is 

808: injective as well. (Recall that $S_\lambda(V)$ vanishes if and only if the 

809: number of parts in $\lambda$ exceeds $\dim V$.) Hence we may as well assume that 

810: $\dim V=2$. Thus we are reduced to the Key Proposition~\ref{key.prop} (see the 

811: Introduction); we defer its proof to Sections~\ref{transvectants} and~\ref{Feynman}. 

812: \qed 

813: 

814: This reduction argument can be understood as follows: $\pi_p \circ \alpha_r$ is 

815: a formal multilinear construction involving $n+1$ variables. If it gives 

816: a nonzero result when all but two of the variables are set to zero, then it must 

817: have been nonzero to begin with.

818: 

819: Note the following simple corollary to the Main Theorem. 

820: \begin{Corollary} \sl 

821: In the Grothendieck ring of finite-dimensional $SL(V)$-modules, we 

822: have the equality

823: \[ [(I_X)_r] = 

824: [S_r(S_d)]- \sum\limits_{0 \le p \le \lfloor \frac{re}{2} \rfloor} 

825: [S_{(rd-2p,2p)}] \] 

826: Here $[-]$ denotes the formal character of a representation. 

827: \label{gr} \end{Corollary} 

828: \demo This follows because $(I_X)_r = \ker \alpha_r$.  \qed 

829: 

830: \smallskip 

831: 

832: Decomposing the plethysm $S_r(S_d)$ into irreducible submodules is 

833: in general a difficult problem. Explicit formulae are known only in very 

834: special cases -- see \cite{Chen,Macdonald} and the references therein. 

835: In particular the decomposition of $S_3(S_d)$ is given by Thrall's 

836: formula (see \cite{Plunkett1}), and then $(I_X)_3$ can be 

837: calculated in any specific case. 

838: Note that $(I_X)_2 =0$, i.e., there are no quadratic polynomials 

839: vanishing on $X$. 

840: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

841: \section{Ternary quartics} \label{ternaryquartics} 

842: Assume $n=2,d=4$. We will identify the 

843: generators of $I_X$ as concomitants of ternary quartics in the sense 

844: of classical invariant theory. We will partly rely upon some computations done 

845: using the program Macaulay-2. 

846: 

847: By the Main Theorem we know that the generators of 

848: $I_X$ lie in degrees $\le 4$. We will find them using an 

849: elimination theoretic computation. Define 

850: \[ \begin{aligned} 

851:    L_1 & = a_0 \, x_0 + a_1 \, x_1 + a_2 \, x_2, \quad 

852:    L_2 = b_0 \, x_0 + b_1 \, x_1 + b_2 \, x_2, \\

853:    F & = c_0 \, x_0^4 + c_1 \, x_0^3 \, x_1 + \dots + c_{14} \, x_2^4;

854: \end{aligned} \] 

855: where the $a,b,c$ are indeterminates. 

856: Write $F = (L_1L_2)^2$ and equate the coefficients of the monomials 

857: in $x_0,x_1,x_2$. This expresses 

858: each $c_i$ as a function of $a_0,\dots,b_2$, and hence defines a ring map 

859: \[ \complex \, [c_0,\dots,c_{14}] \lra \complex \, [a_0, \dots,b_2]. \] 

860: The kernel of this map is $I_X$. When we calculated it using Macaulay-2, it 

861: turned out that in fact all the minimal generators are in degree $3$, 

862: hence it is enough to look at the piece $(I_X)_3$. 

863: By Corollary \ref{gr} and Thrall's formula, 

864: \[ (I_X)_3 = S_{(9,3)} \oplus S_{(6,0)} \oplus S_{(6,3)} 

865: \oplus S_{(4,2)} \oplus S_{(0,0)}. \] 

866: Note that an inclusion 

867: \[ S_{(m+n,n)} \subseteq (I_X)_3 \subseteq S_3(S_4) \] 

868: corresponds to a concomitant of ternary quartics having degree $3$,

869: order $m$ and class $n$. (This correspondence is fully explained in 

870: \cite{Chipalkatti3}.) 

871: For instance, $S_{(9,3)}$ corresponds to a concomitant of 

872: degree $3$, order $6$ and class $3$. 

873: 

874: It is not difficult to identify the concomitants symbolically 

875: (see [loc.~cit.] for the procedure). In our case, the 

876: summands respectively correspond to 

877: \begin{equation} \begin{array}{ll}

878: \alpha_x^2 \, \beta_x^3 \, \gamma_x \, (\alpha \, \gamma \, u)^2 

879: (\beta \, \gamma \, u), & 

880: \alpha_x^2 \, \beta_x^2 \, \gamma_x^2 \, (\alpha \, \beta \, \gamma)^2, \\ 

881: \alpha_x^2 \, \beta_x \, (\beta \, \gamma \, u)^2 

882: (\alpha \, \gamma \, u) (\alpha \, \beta \, \gamma), & 

883: \alpha_x \, \beta_x \, (\alpha \, \gamma \, u) (\beta \, \gamma \, u) 

884: (\alpha \, \beta \, \gamma)^2, \\ 

885: (\alpha \, \beta \, \gamma)^4. 

886: \end{array} \label{x2} \end{equation}

887: We can rephrase the outcome in geometric terms: 

888: \begin{Theorem}\sl 

889: Let $F$ be a ternary quartic with zero scheme $C \subseteq \P^2$. 

890: Then $C$ consists of two (possibly coincident) double lines 

891: iff all the concomitants in (\ref{x2}) vanish on $F$. 

892: \end{Theorem}

893: 

894: A similar result for any $n=1$ and any (even) $d$ will be deduced in 

895: Section \ref{binarycase}. 

896: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

897: \section{The proof of Proposition \ref{key.prop}} \label{transvectants} 

898: In this section we will break down Proposition~\ref{key.prop} into two 

899: separate questions about transvectants of binary forms. 

900: 

901: \subsection{} 

902: We begin by describing the map $\alpha_r$ from (\ref{alpha.r}) in coordinates. 

903: (It is as yet unnecessary to assume $\dim V =2$.) 

904: Let 

905: \[ \ux^{(i)} = (x_0^{(i)}, \dots, x_n^{(i)}), \quad 

906: 1 \le i \le r, \] 

907: be $r$ sets of $n+1$ variables. We will also introduce one set of their `copies' 

908: \[ \uy^{(i)} = (y_0^{(i)}, \dots, y_n^{(i)}), \quad 

909: 1 \le i \le r. \] 

910: 

911: Let $F_i(\ux^{(i)}), 1 \le i \le r$ be degree $d$ forms, then the image 

912: $\alpha_r(\bigotimes\limits_{i=1}^r F_i)$ is calculated as follows: 

913: \begin{itemize} 

914: \item 

915: Apply the polarization operator 

916: \[ \sum\limits_{\ell=0}^n y^{(i)}_\ell 

917: \frac{\partial}{\partial x^{(i)}_\ell} \] 

918: to each $F_i$ altogether $e$ times, and denote the result by 

919: $F_i(\ux^{(i)},\uy^{(i)})$. 

920: \item 

921: Take the product $\prod\limits_i F_i(\ux^{(i)},\uy^{(i)})$, and make 

922: substitutions 

923: \[ x^{(i)}_\ell = x_\ell, \quad y^{(i)}_\ell = y_\ell, \] 

924: for all $i,\ell$. (This is tantamount to `erasing' the upper indices.)

925: This gives a form having degree $re$ in each set $\ux,\uy$. Since it is symmetric in 

926: $\ux,\uy$, we may think of it as an element of $S_2(S_{re})$. It is  

927: the image of $\otimes F_i$ via $\alpha_r$. 

928: \end{itemize} 

929: 

930: \begin{Remark} \rm 

931: The map 

932: \[  S_r(S_{me}(\complex^{n+1}))\longrightarrow S_m(S_{re}(\complex^{n+1})), \] 

933: mentioned in the introduction is constructed similarly. That is, 

934: we introduce $m-1$ sets of copies $\uy^{(i)}, \dots, {\mathbf q}^{(i)}$, 

935: and then apply $e$ times the polarization operator 

936: \[ \left(\sum\limits_{\ell=0}^n y^{(i)}_\ell \frac{\partial}{\partial x^{(i)}_\ell}

937: \right) 

938: \dots \left(\sum\limits_{\ell=0}^n q^{(i)}_\ell \frac{\partial}{\partial x^{(i)}_\ell}

939: \right) \] 

940: to each degree $me$ form $F_i$. 

941: \end{Remark} 

942: 

943: \subsection{} \label{prop.eq}

944: Suppose now that $\dim V = 2$. Given a $G(\ux,\uy) \in S_2(S_{re})$, the 

945: form $\pi_p(G)$ is obtained, up to a nonzero numerical multiple,

946: by calculating $\Omega^{2p} \, G$, and 

947: setting $\uy=\ux$. We will now show that 

948: Proposition \ref{key.prop} is equivalent to Proposition~\ref{key.transvect}. 

949: 

950: \smallskip 

951: 

952: \demo Let us write symbolically $F_i(\ux) = ({h^{(i)}_\ux})^d$, where 

953: \[ h^{(i)}_\ux = h_{i,0} \, x_0 + h_{i,1} \, x_1 \] 

954: are linear forms. Then, following the recipe of the previous section, 

955: 

956: \begin{equation} 

957: \pi_p \circ \alpha_r \, (\otimes F_i) = \underbrace{(Q^e,Q^e)_{2p}}_{\mathcal A}, 

958: \end{equation}

959: where $Q = \prod\limits_{i=1}^r h^{(i)}_\ux$.

960: The right hand side is to be interpreted as follows: we formally 

961: calculate ${\mathcal A}$ as a transvectant, and then substitute the

962: actual coefficients 

963: of $F_i$ for the monomials $h_{i,0}^{d-j} \, h_{i,1}^j$. 

964: By the discussion of Section~\ref{symbolic.method}, 

965: this amounts to applying the differential operator

966: \[

967: \frac{1}{(d!)^r} \, \prod_{i=1}^r \, F_i 

968: (\frac{\partial}{\partial h_{i,0}},

969: \frac{\partial}{\partial h_{i,1}} ) \]

970: to the polynomial ${\mathcal A}(\{h_{i,0},h_{i,1}\}_i,x_0,x_1)$. 

971: 

972: Now assume Proposition \ref{key.prop}. 

973: This implies that ${\mathcal A}$ as an algebraic function of the $\{h_{i,0},h_{i,1}\}$

974: is not identically zero. Hence it is possible to {\sl specialize} the $h$ to

975: some complex numbers so that ${\mathcal A}$ remains nonzero. This specializes $Q$ to a

976: binary $r$-ic for which $(Q^e,Q^e)_{2p} \neq 0$, which shows Proposition~\ref{key.transvect}. 

977: 

978: For the converse, assume the existence of a $Q$ such that the

979: transvectant above is nonzero. It factors 

980: as (say) $Q = \prod\limits_{i=1}^r l_i$. Then letting $F_i=l_i^d$, we see that 

981: $\pi_p \circ \alpha_r(\otimes F_i) \neq 0$. \qed 

982: 

983: \smallskip 

984: 

985: Now we will prove Proposition \ref{key.prop} by an induction on $r$. 

986: We reformulate $r=2$ as a separate lemma. 

987: \begin{Lemma} \sl 

988: If $Q$ is the generic binary quadratic, then 

989: $(Q^e,Q^e)_{2p} \neq 0$ for $0 \le p \le e$. \label{lemma.A} \end{Lemma}

990: \demo This will directly follow from formula (\ref{Lemmadixon1}) in Section \ref{Feynman}. 

991: \qed 

992: 

993: \smallskip 

994: 

995: \subsection{The induction step} 

996: For the transition from $r$ to $r+1$, consider the commutative diagram 

997:  

998: \[ \diagram 

999: S_r(S_d) \otimes S_d \dto \rto^{\alpha_r \otimes 1} & 

1000: S_2(S_{re}) \otimes S_d \dto^{u_r} \\ 

1001: S_{r+1}(S_d) \rto_{\alpha_{r+1}} & S_2(S_{re+e}) \enddiagram \] 

1002: 

1003: Assume that $\alpha_r$ (and hence $\alpha_r \otimes 1$) is surjective.

1004: If we show that $u_r$ is 

1005: surjective, then it will follow that $\alpha_{r+1}$ is 

1006: surjective. We need to understand the action of $u_r$ on the 

1007: summands of the decomposition (\ref{oxr}). The map 

1008: \[ u_r^{(p,p')}: S_{rd-4p} \otimes S_d \lra S_{(r+1)d-4p'} \] 

1009: is defined as the composite 

1010: \[ \begin{aligned} 

1011: {} & S_{rd-4p} \otimes S_d \ra (S_{re} \otimes S_{re}) \otimes S_d 

1012: \ra (S_{re} \otimes S_{re}) \otimes (S_e \otimes S_e) \ra \\

1013: & S_{(r+1)e} \otimes S_{(r+1)e} \ra S_{(r+1)d-4p'}. 

1014: \end{aligned} \] 

1015: Let $A \in S_{rd-4p}, B \in S_d$. We will follow the sequence of 

1016: component maps and get a recipe for calculating the image 

1017: $u_r^{(p,p')}(A \otimes B)$. Let 

1018: \[ \Gamma_g = \sum \limits_{i=0}^{re} \binom{re}{i} \, 

1019: g_i \, x_0^{re-i} x_1^i, \quad

1020: \Gamma_h = \sum \limits_{i=0}^{re} \binom{re}{i} \, 

1021: h_i \, x_0^{re-i} x_1^i, \]

1022: be two {\sl generic} forms of degree $re$. That is to say, the 

1023: $g_i,h_i$ are thought of as independent indeterminates. (Of course these 

1024: $h_i$ are unrelated to the ones in the last section.) 

1025: \begin{itemize} 

1026: \item 

1027: Let $T_1 = (\Gamma_g,\Gamma_h)_{2p}$ and 

1028: $T_2 = (A,T_1)_{rd-4p}$. Then $T_2$ does not involve $x_0,x_1$. 

1029: \item 

1030: Obtain $T_3$ by making the substitutions 

1031: \[ g_i = x_1^{re-i} (-x_0)^i, \quad 

1032:    h_i = y_1^{re-i} (-y_0)^i, \] 

1033: in $T_2$. 

1034: \item 

1035: Let 

1036: \[ T_4 = (y_0 \frac{\partial}{\partial x_0} + 

1037:           y_1 \frac{\partial}{\partial x_1})^{e} \, B, \] 

1038: and $T_5 = T_3 \, T_4$. 

1039: \item 

1040: Let $T_6 = \Omega^{2p'} \, T_5$. 

1041: Finally $u_r^{(p,p')}(A \otimes B)$ is obtained by substituting 

1042: $x_0,x_1$ for $y_0,y_1$ in $T_6$. 

1043: \end{itemize} 

1044: Hence it is enough to show the following: 

1045: 

1046: For $p'$ in the range $0 \le p' \le \frac{(r+1)e}{2}$, there 

1047: exists a $p$ such 

1048: that $u_r^{(p,p')}(A \otimes B)$ is nonzero for some forms $A,B$ of 

1049: degrees $rd-4p,d$ respectively. This will prove the surjectivity of 

1050: $u_r$ and complete the argument. 

1051: 

1052: We will translate the claim into the symbolic calculus. 

1053: Introduce symbolic letters $a,b$, and write 

1054: \[ A = a_\ux^{rd-4p}, \quad B = b_\ux^d, 

1055: \quad (\ux \, \uy) = x_0 \, y_1 - x_1 \, y_0. \] 

1056: The rule for calculating transvectants 

1057: symbolically is given in \cite[\S 49]{GrYo}; we use it to trace the steps 

1058: from $T_1$ through $T_6$ for the calculation of  $u_r^{p,p'}(A \otimes B)$. 

1059: Once this is done, we have the following statement to prove: 

1060: 

1061: \smallskip 

1062: 

1063: \begin{Lemma} \sl 

1064: Given $r \ge 2$ and $0 \le p' \le \frac{(r+1)e}{2}$, there exists 

1065: an integer $p$ in the range $0 \le p \le \frac{re}{2}$, such that 

1066: the algebraic expression 

1067: \[ \{ 

1068: \Omega^{2p'} \; (\ux \, \uy)^{2p} \, a_{\ux}^{re-2p} \, a_{\uy}^{re-2p} \, 

1069: b_{\ux}^{\,e} \, b_{\uy}^{\,e} \, \}|_{\uy:=\ux}

1070: \] 

1071: is not identically zero. 

1072: \label{lemma.B} \end{Lemma}

1073: \demo See Section~\ref{Feynman}. \qed 

1074: 

1075: \medskip 

1076: 

1077: At this point, modulo Lemmata~\ref{lemma.A} and~\ref{lemma.B}, 

1078: the proofs of Theorems~\ref{surj.alpha_r} and~\ref{main.theorem} 

1079: are complete. 

1080: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1081: \section{The combinatorics of Feynman diagrams} \label{Feynman}

1082: We have kept the following presentation semi-formal, in order to avoid 

1083: making the treatment cumbersome. Notwithstanding this, it is 

1084: entirely rigorous as it stands. 

1085: The reader looking for a stricly formal exposition of Feynman diagrams

1086: should consult~\cite{Abdesselam} or~\cite{Fiorenza}, which 

1087: implement Andr{\'e} Joyal's category-theoretic framework for combinatorial 

1088: enumeration (see \cite{Bergeron,Joyal}). For our immediate purpose, 

1089: let us simply say that a Feynman diagram is the combinatorial data 

1090: needed to encode a complex tensorial expression built from a predefined collection

1091: of elementary tensors, exclusively using contractions of

1092: tensor indices. The word `tensor' is used here in the sense 

1093: of a multidimensional analogue of a matrix, rather than the corresponding 

1094: coordinate-free object from multilinear algebra.

1095: Coordinates are needed in order to state the necessary definitions, 

1096: but are almost never actually used in the computations.

1097: 

1098: \subsection{Diagrams and Amplitudes} \label{diag.ampl} 

1099: Define the tensors 

1100: \begin{equation} \ux=\left( 

1101: \begin{array}{c} x_0 \\ x_1 \end{array} \right), \quad 

1102: \uy=\left( \begin{array}{c} y_0\\y_1  \end{array} \right) 

1103: \end{equation} 

1104: made of formal indeterminates. Define the antisymmetric tensor 

1105: $ \epsilon = \left( \begin{array}{rr} 0 & 1 \\ -1 & 0 \end{array} \right)$, 

1106: and the symmetric tensor $Q$ which corresponds to the 

1107: quadratic form $Q(\ux)=\ux^{\rm T} \, Q \, \ux$. 

1108: Introduce the vectors of differential operators

1109: \begin{equation}

1110: \partial_\ux=\left( \begin{array}{c} \frac{\partial}{\partial x_0} \\ 

1111: \frac{\partial}{\partial x_1} \end{array} \right), \quad  

1112: \partial_\uy=\left( \begin{array}{c} \frac{\partial}{\partial y_0} \\

1113: \frac{\partial}{\partial y_1} \end{array} \right) \end{equation}

1114: We will use the following graphical notation for the entries of these tensors: 

1115: \[

1116: \figplace{dessin1}{0 in}{0 in}

1117: \figplace{dessin2}{0 in}{0 in}

1118: \figplace{dessin3}{0 in}{0 in}

1119: \]

1120: \begin{equation}

1121: \figplace{dessin4}{0 in}{0 in}

1122: \figplace{dessin5}{0 in}{0 in}

1123: \figplace{dessin6}{0 in}{0 in}

1124: \label{constituents}

1125: \end{equation}

1126: (The indices $\alpha,\beta$ belong to the set $\{0,1\}$).

1127: We will obtain a `diagram' by assembling any number of these 

1128: elementary pieces by gluing pairs of index-bearing lines; associated to it 

1129: is an expression called the `amplitude' of the diagram.

1130: Its rule of formation is as follows: 

1131: introduce an index in $\{0,1\}$ for each glued pair of lines, 

1132: take the product of the tensor entries corresponding to the 

1133: different constituents from (\ref{constituents}) which appear in the 

1134: diagram, and finally sum over all possible values of the indices. 

1135: For instance, to the diagram 

1136: \[ \figplace{dessin7}{0 in}{-0.28 in} \] 

1137: corresponds the amplitude 

1138: $\sum_{\alpha,\beta \in \{0,1\}} x_\alpha \, Q_{\alpha \, \beta} \, x_\beta = Q(\ux)$, 

1139: which is the quadratic form itself. Similarly, to 

1140: \[ \figplace{dessin8}{0 in}{-0.2 in} \] 

1141: corresponds 

1142: \[ \sum_{\alpha,\beta,\gamma,\delta \in \{0,1\}} 

1143: Q_{\alpha \, \beta} \, \epsilon _{\alpha \, \gamma} 

1144: \, \epsilon_{\beta \, \delta} \, Q_{\gamma \, \delta} 

1145:   = 2 \, (Q_{00} \, Q_{11}-Q_{01}^2 ) \\

1146:   = 2 \, \det(Q). \] 

1147: Henceforth, whenever we write a diagram in an expression, it is the amplitude 

1148: that is meant. Now the term $Q_{\alpha \, \beta}$ has an {\sl inner

1149: structure}, related the notion of combinatorial plethysm 

1150: (see~\cite{Bergeron,Joyal}).

1151: Indeed, we can factor $Q$ as $Q(\ux)=R_1(\ux) \, R_2(\ux)$, where 

1152: \begin{equation}

1153: R_1=\left( \begin{array}{c} 

1154: R_{1,0} \\ R_{1,1} \end{array} \right), \; 

1155: R_2=\left( \begin{array}{c} R_{2,0} \\ R_{2,1} \end{array} \right)

1156: \in \complex^2 \end{equation}

1157: are dual to the homogeneous roots of $Q$. For any indices 

1158: $\alpha$ and $\beta$, 

1159: \[ Q_{\alpha \, \beta} = \frac{1}{2} \, 

1160: \frac{\partial^2}{\partial x_\alpha \, \partial x_\beta} \, Q(\ux) 

1161: = \frac{1}{2} \left( R_{1,\alpha} \, R_{2,\beta} + 

1162: R_{1,\beta} \, R_{2,\alpha}  \right). \] 

1163: We will write this more suggestively as

1164: \begin{equation}

1165: \figplace{dessin3}{0 in}{-0.25 in} = \figplace{dessin9}{0 in}{-0.25 in}

1166: =\frac{1}{2} \figplace{dessin10}{0 in}{-0.5 in}

1167: +\frac{1}{2} \figplace{dessin11}{0 in}{-0.5 in}

1168: \label{Decomp} \end{equation}

1169: This implies that 

1170: \[ \figplace{dessin8}{0 in}{-0.2 in}

1171: = \frac{1}{4} {{ \figplace{dessin12}{0 in}{-0.1 in}

1172: }\atop{ \figplace{dessin13}{0 in}{-0.1 in} }} + \frac{1}{4}

1173: {{ \figplace{dessin13}{0 in}{-0.1 in} }\atop{

1174: \figplace{dessin12}{0 in}{-0.1 in} }} \] 

1175: (Recall that reversing the direction of an $\epsilon$ arrow

1176: introduces a minus sign, and therefore

1177: \[ \figplace{dessin12bis}{0 in}{-0.1 in} =

1178: \figplace{dessin13bis}{0 in}{-0.1 in} =0. \, ) \] 

1179: Consequently, 

1180: \[ \figplace{dessin8}{0 in}{-0.2 in} = -\frac{1}{2} \, \Delta, \] 

1181: where 

1182: \[ \Delta = \left(\figplace{dessin12}{0 in}{-0.1 in}\right)^2 \] 

1183: is the discriminant of $Q$. 

1184: 

1185: \subsection{First Proof of Lemma \ref{lemma.A}}\label{first.proof.A}

1186: Now write 

1187: \[ F(\ux,\uy) = \Omega^{2p} \; Q(\ux)^e \, Q(\uy)^e, \] 

1188: then $F(\ux,\ux) = F(\ux,\uy)|_{\uy = \ux}$ is the quantity we are 

1189: interested in. Diagrammatically, $F(\ux,\uy)$ is equal to 

1190: \begin{equation} 

1191: \left(\figplace{dessin14}{0 in}{-0.09 in} \right)^{2p} 

1192: \left(\figplace{dessin7}{0 in}{-0.26 in} \right)^e

1193: \left( \figplace{dessin15}{0 in}{-0.26 in} \right)^e

1194: \label{Fofxy} \end{equation} 

1195: This is rewritten in terms of Feynman diagrams by summing over all ways to perform 

1196: `Wick contractions' between $\frac{\partial}{\partial x}, \frac{\partial}{\partial y}$ 

1197: on the one hand, and $x,y$ on the other hand (see e.g.~\cite{Abdesselam}). 

1198: Once we let $\uy=\ux$, this condenses into the following sum over vertex-labelled 

1199: bipartite multigraphs:

1200: \begin{equation}

1201: F(\ux,\ux) = \sum_G \, w_G \, \cA_G.  \label{SumG} 

1202: \end{equation}

1203: This is to be read as follows: we let $L$ and $R$ to be fixed sets of 

1204: cardinality $e$ which label the $Q(\ux)$ and $Q(\uy)$ factors in (\ref{Fofxy})

1205: respectively. Then a multigraph $G$ is identified with a matrix $(m_{ij})$ 

1206: in $\NN^{L\times R}$. The quantity $w_G$ is the combinatorial weight and

1207: $\cA_G$ is the amplitude of the Feynman diagram encoded by $G$.

1208: Each $G$ entering into the sum satisfies the follwing conditions: 

1209: \begin{itemize} 

1210: \item 

1211: $\sum\limits_{i\in L, j\in R} m_{ij}=2p$, 

1212: \item For all $i \in L$, the number 

1213: $l_i = \sum\limits_{j\in R} \, m_{ij}$ is $\le 2$, and 

1214: \item For all $j \in R$, the number 

1215: $c_j = \sum\limits_{i\in L} \, m_{ij}$ is $\le 2$. 

1216: \end{itemize} 

1217: The combinatorial weight is seen to be

1218: \[ w_G= \frac{(2p)! \; 2^{2e}}

1219: {\prod\limits_{i,j} (m_{ij})! \times \prod\limits_i (2-l_i)! \times

1220: \prod\limits_j (2-c_j)!} \] 

1221: The amplitude $\cA_G$ factors over the connected components

1222: of $G$. These components are of four possible types:

1223: cycles containing an even number of $\epsilon$ arrows

1224: of alternating direction, chains with both endpoints in $L$,

1225: chains with both endpoints in $R$, and finally chains with one 

1226: endpoint in $L$ and another in $R$. However, the contribution from the 

1227: last type is zero. Indeed, such a chain contains an odd 

1228: number of $\epsilon$ arrows, and therefore its amplitude changes sign

1229: if we reverse the orientations on all the arrows. 

1230: But the last operation, followed by a rotation of $180^\circ$, puts

1231: the chain back in its original form. For instance, 

1232: \medskip 

1233: 

1234: \[ \begin{aligned} 

1235: {} & \figplace{dessin16}{0 in}{-0.45 in} 

1236: = \figplace{dessin17}{0 in}{-0.18 in}  \\ 

1237: & = -\figplace{dessin18}{0 in}{-0.18 in} 

1238: = -\figplace{dessin17}{0 in}{-0.18 in}, 

1239: \end{aligned} \] 

1240: and hence this expression vanishes. 

1241: Now we can use the inner structure of $Q$ to 

1242: calculate the other three amplitudes. 

1243: Given a cycle of even length $2m$, we incorporate the decomposition (\ref{Decomp})

1244: at each $Q$ vertex. This produces a sum of $2^{2m}$ terms, 

1245: all but two of which vanish. 

1246: Indeed, suppose we have chosen the precise connections between

1247: the `inner' and `outer' part of what was a particular $Q$ vertex. 

1248: Then, since the vanishing factors 

1249: \[ \figplace{dessin12bis}{0 in}{-0.09 in}, 

1250: \text{and} \figplace{dessin13bis}{0 in}{-0.09 in}

1251: \] 

1252: are to be avoided, the connections for the remaining vertices are forced. 

1253: Moreover, the alternating pattern for the orientations of the 

1254: $\epsilon$ arrows implies that we collect an equal number $m$ of

1255: either of the following factors: 

1256: \[ \figplace{dessin12}{0 in}{-0.09 in} \quad 

1257: \text{and} \figplace{dessin13}{0 in}{-0.09 in}

1258: \] 

1259: As a result, the amplitude of the cycle is exactly 

1260: $(-\Delta)^m \, 2^{1-2m}$.

1261: Similarly, a chain with both endpoints in $L$ (or both in $R$) 

1262: and with a necessarily even number $2m$ of $\epsilon$ 

1263: arrows (and thus $2m+1$ of $Q$ vertices) gives an amplitude

1264: \[ \frac{2}{2^{2m+1}} \times 

1265: \figplace{dessin19}{0 in}{-0.09 in}

1266: \left( \figplace{dessin13}{0 in}{-0.09 in} 

1267: \figplace{dessin12}{0 in}{-0.09 in} \right)^m 

1268: \figplace{dessin20}{0 in}{-0.09 in} \]

1269: \[ = 2^{-2m} (-\De)^m Q(\ux). \] 

1270: Therefore, an easy count shows that the amplitude of a bipartite 

1271: multigraph $G$ in (\ref{SumG}) is

1272: \[ \cA_G = 2^{\, \cC(G)-2p} \, Q(\ux)^{2e-2p} \, (-\Delta)^p, \] 

1273: where $\cC(G)$ is the number of cycles in $G$. Finally,

1274: \[ F(\ux,\ux)=\cN_{e,p}^{\, \rm I} \, Q(\ux)^{2e-2p} \, (-\Delta)^p,

1275: \] 

1276: where $\cN_{e,p}^{\, \rm I}$ denotes the sum 

1277: \begin{equation}

1278: \sum_{G} \; \frac{(2p)! \times 2^{\, 2e-2p+\cC(G)}} 

1279: {\prod_{i,j} (m_{ij})! \times \prod_i (2-l_i)! \times \prod_j (2-c_j)!} 

1280: \label{NIdef} \end{equation}

1281: The sum is quantified over all $G=(m_{ij})$ satisfying the 

1282: three constraints above, and the additional constraint 

1283: that there is no connected connected component which is a chain starting

1284: in $R$ and ending in $L$. 

1285: It is not difficult to see that given $e\ge 1$ and $0\le p\le e$,

1286: there always exists such a graph $G$. For instance, take $G$ corresponding

1287: to a matrix having $p$ of its diagonal entries set equal to $2$ and

1288: zeroes elsewhere. Hence, 

1289: $\cN_{e,p}^{\, \rm I}>0$ which proves Lemma \ref{lemma.A}. \qed

1290: \begin{Remark} \rm 

1291: The factor of $+2$ per cycle in (\ref{NIdef}) should be 

1292: contrasted with the $-2$ factor in Penrose's original definition 

1293: of spin networks~\cite{Penrose}. This intuitively suggests 

1294: that Penrose's construction might be a Fermionic or `negative dimensional'

1295: analogue of covariants of binary forms. 

1296: \end{Remark}

1297: 

1298: \subsection{Second proof of Lemma \ref{lemma.A}}\label{second.proof.A}

1299: Let $p,q,k$ be nonnegative integers, with

1300: $k\le 2 \min\{ p,q  \}$. Let $Q$ be a binary quadratic with 

1301: discriminant $\Delta$ (normalized as in the previous section). 

1302: We will calculate the transvectant $\T = (Q^p,Q^q)_k$ precisely. 

1303: The special case $p=q=e$ gives another proof of Lemma~\ref{lemma.A}. 

1304: \begin{Proposition}\label{prop.hyper} \sl 

1305: If $k$ is odd, then $\T =0$. If $k=2m$ is even, then

1306: \begin{equation}

1307: \T = Q^{p+q-2m} \, (-\Delta)^m \times \cN^{\, \rm II}_{p,q,m}, 

1308: \label{Lemmadixon1} \end{equation} 

1309: where 

1310: \begin{equation} \cN^{\, \rm II}_{p,q,m} = 

1311: \frac{p! \, q! \, (2m)! \, (p+q-m)! \, (2p-2m)! \, (2q-2m)!} 

1312: {(2p)! \, (2q)! \, m! \, (p+q-2m)! \, (p-m)! \, (q-m)!}. \label{Lemmadixon2} 

1313: \end{equation} \end{Proposition} 

1314: \demo

1315: We specialize the quadratic form to $Q(\ux)=x_0 \, x_1$, for which

1316: $\De=1$. Since $(Q^q,Q^p)_k=(-1)^k (Q^p,Q^q)_k$, we may assume 

1317: $p\le q$. Now expand $\Omega^k$ by the binomial theorem. 

1318: By definition (\ref{trans.defn}), 

1319: \begin{equation}

1320: \begin{aligned} {} & (Q^p,Q^q)_k= \frac{(2p-k)! \, (2q-k)!}{(2p)! \, (2q)!} \, \times \\ 

1321: & \left. \sum_{i=0}^k (-1)^i \binom{k}{i}  

1322: {\lp\frac{\partial}{\partial x_0}\rp}^{k-i}

1323: {\lp\frac{\partial}{\partial y_1}\rp}^{k-i}

1324: {\lp\frac{\partial}{\partial x_1}\rp}^{i}

1325: {\lp\frac{\partial}{\partial y_0}\rp}^{i}

1326: \times x_0^p \, x_1^p \, y_0^q \, y_1^q \right|_{\uy:=\ux \, .} 

1327: \end{aligned} \end{equation}

1328: After differentiating and letting $\uy:=\ux$, this reduces to 

1329: \[ (Q^p,Q^q)_k=C_{p,q,k}\times W_{p,q,k}, \] 

1330: where 

1331: \[ C_{p,q,k} = \frac{(2p-k)! \, (2q-k)! \, k! \, (p!)^2 \, (q!)^2} 

1332: {(2p)! \, (2q)!} \times x_0^{p+q-k} \, x_1^{p+q-k},  \] 

1333: and 

1334: \begin{equation}

1335: W_{p,q,k} = \sum_{\max \{0,k-p\}}^{\min\{k,p\}} 

1336: \frac{(-1)^i}{i!(k-i)!(p-i)!(q-i)!(p-k+i)!(q-k+i)!}

1337: \label{Wsum}. \end{equation}

1338: Up to a numerical factor, (\ref{Wsum}) is Van der Waerden's

1339: formula for Wigner's $3j$-symbols (see~\cite{Biedenharn1}). 

1340: We now have two cases to consider.

1341: 

1342: \medskip 

1343: 

1344: \noindent{\bf First case :} Assume $0\le k\le p$. 

1345: Using Pochammer's symbol

1346: \[ (a)_i := a(a+1)\cdots (a+i-1), \] 

1347: and the obvious identities $(a+i)!=a! (a+1)_i$ and

1348: $(a-i)!=\frac{(-1)^i a!}{(-a)_i}$, we can write

1349: \[ W_{p,q,k}=\frac{1}{k! \, p! \, q! \, (p-k)! \, (q-k)!} \, 

1350: \sum_{i=0}^k \, \frac{(-k)_i(-p)_i(-q)_i}{i!(p-k+1)_i(q-k+1)_i}, 

1351: \] or

1352: \begin{equation}

1353: W_{p,q,k}=\frac{1}{k! \, p! \, q! \, (p-k)! \, (q-k)!} \; 

1354: { }_3 \bF_2 \left[ \begin{array}{c} -k,-p,-q \\ 

1355: p-k+1, q-k+1 \end{array} ; 1 

1356: \right] \label{doublev}. \end{equation} 

1357: The hypergeometric series appearing in this formula can be evaluated by 

1358: Dixon's summation theorem (see~\cite[p.~52]{Slater}). It gives the formula 

1359: \[ \begin{aligned} {}_3 \bF_2 & \left[

1360: \begin{array}{c} a,b,c \\ 1+a-b, 1+a-c \end{array} ; 1 

1361: \right] = \\ 

1362: & \frac{\Gamma(1+\frac{1}{2}a) \, \Gamma(1+\frac{1}{2}a-b-c) \, 

1363: \Gamma(1+a-b) \, \Gamma(1+a-c)} {\Gamma(1+a) \, \Gamma(1+a-b-c) \, 

1364: \Gamma(1+\frac{1}{2}a-b) \, \Gamma(1+\frac{1}{2}a-c)}, 

1365: \end{aligned} \] 

1366: which is valid in the domain of analyticity $\Re({1+\frac{1}{2}a-b-c})>0$.

1367: We would like to choose $a=-k$, $b=-p$ and $c=-q$, hence 

1368: we rewrite the factor $\frac{\Gamma(1+\frac{1}{2}a)}{\Ga(1+a)}$ 

1369: as 

1370: \begin{equation}

1371: \frac{\pi}{\Ga(-\frac{a}{2})\sin(-\frac{\pi a}{2})}

1372: \times\frac{\Ga(-a)\sin(-\pi a)}{\pi}=

1373: \cos(\frac{\pi a}{2}) \, \frac{\Ga(-a+1)}{\Ga(-\frac{a}{2}+1)}

1374: \end{equation}

1375: before specializing $a,b,c$.

1376: That is, we use Dixon's theorem in the form 

1377: \begin{equation} \begin{aligned} { }_3 \bF_2

1378: & \left[ \begin{array}{c} a,b,c \\ 1+a-b, 1+a-c \end{array}

1379: ; 1 \right]=\cos \left( \frac{\pi a}{2}\right) \times \\ 

1380: & \frac{\Gamma(1-a) \, \Gamma(1+\frac{1}{2}a-b-c) \, 

1381: \Gamma(1+a-b) \, \Gamma(1+a-c)} {\Gamma(1-\frac{a}{2}) \, \Gamma(1+a-b-c) \, 

1382: \Gamma(1+\frac{1}{2}a-b) \, \Gamma(1+\frac{1}{2}a-c)}

1383: \label{Dixon} \end{aligned} \end{equation}

1384: Now let $a=-k$, $b=-p$ and $c=-q$. Then, since 

1385: $0\le k\le p\le q$, all the arguments of the Gamma function are 

1386: strictly positive. 

1387: 

1388: If $k$ is odd, the cosine factor vanishes, and hence 

1389: so does $\T$. (This vanishing has a different explanation in 

1390: the context of the first proof above: since there is an 

1391: odd number of arrows, there must exist a chain joining $L$ to $R$.) 

1392: If $k=2m$ is even, then 

1393: formulae (\ref{doublev}) and (\ref{Dixon}) imply that 

1394: \begin{equation}

1395: W_{p,q,2m}=(-1)^m

1396: \frac{(p+q-m)!}{p! \, q! \, m! \, (p+q-2m)! \, (p-m)! \, (q-m)!} 

1397: \end{equation}

1398: which implies (\ref{Lemmadixon1}) for 

1399: the quadratic form $Q(\ux)=x_0 \, x_1$. Since a generic quadratic form 

1400: lies in the $GL_2(\complex)$ orbit of $x_0 \, x_1$, the formula is 

1401: proved in general. 

1402: 

1403: \smallskip 

1404: 

1405: \noindent{\bf Second case :} Assume $k>p$. We make a change of 

1406: index $i=k-p+j$, then (\ref{Wsum}) becomes

1407: \[ \begin{aligned} 

1408: {} & W_{p,q,k} =\sum_{j=0}^{2p-k}\\ 

1409: & \frac{(-1)^{k-p+j}} 

1410: {j! \, (p-j)! \, (2p-k-j)! \, (p+q-k-j)! \, (k-p+j)! \, (q-p+j)!}

1411: \end{aligned} \] 

1412: Once again, this can be rewriten as an  ${ }_3 \bF_2$ hypergeometric 

1413: series to which Dixon's theorem applies. 

1414: \[ \begin{aligned} {} &

1415: W_{p,q,k}=\frac{(-1)^{k+p}}{p! \, (2p-k)!\,(p+q-k)!\,(k-p)!\,(q-p)!}\\

1416: & \times\ { }_3 \bF_2 \left[

1417: \begin{array}{c} -2p+k, -p, -p-q+k \\ k-p+1, q-p+1 \end{array} ; 1 

1418: \right]. \end{aligned} \] 

1419: Now we apply Dixon's theorem in the modified form (\ref{Dixon}), 

1420: with $a=-2p+k$, $b=-p$, $c=-p-q+k$ and conclude as before. The 

1421: proposition (and Lemma~\ref{lemma.A}) are proved. \qed

1422: 

1423: We obtain a closed formula for the weighted graph enumeration (\ref{NIdef}) 

1424: by comparing both proofs of the Lemma: 

1425: \[ \cN_{e,p}^{\, \rm I} =\frac{(2e)!^2}{(2e-2p)!^2} \; 

1426: \cN_{e,e,p}^{\, \rm II}. \] 

1427: 

1428: \smallskip 

1429: 

1430: \subsection{Proof of Lemma \ref{lemma.B}}

1431: Let $r$, $e$, $p'$ and $p$ be integers satisfying

1432: $r\ge 2$, $e\ge 1$, $0\le 2p'\le (r+1)e$ and $0\le 2p\le re$. Let 

1433: \[ a=\left( \begin{array}{c} a_0 \\ a_1 \end{array} \right), \quad 

1434: b=\left( \begin{array}{c} b_0 \\ b_1 \end{array} \right) 

1435: \] 

1436: be two elements of $\complex^2$ and

1437: \[ \ux=\left( \begin{array}{c} 

1438: x_0 \\ x_1 \end{array} \right), \quad 

1439: \uy=\left( \begin{array}{c} y_0 \\ y_1 \end{array} \right) 

1440: \] be two vectors of indeterminates. The quantity we would like to 

1441: calculate is

1442: \[ G(\ux) =  

1443: \{ \left. \Omega^{2p'} \; (\ux \, \uy)^{2p} \, 

1444: a_\ux^{re-2p} \, a_\uy^{re-2p} \, b_\ux^e \, b_\uy^e \}

1445: \right|_{\uy:=\ux \,.}  \] 

1446: or, in matrix notation,

1447: \[ G(\ux)= \left. \{

1448: [\partial_\ux^{\rm T} \, \epsilon \, \partial_\uy]^{2p'}

1449: (\ux^{\rm T} \, \epsilon \, \uy)^{2p} \, 

1450: (\ux^{\rm T} \, a \, a^{\rm T} \, \uy)^{re-2p} \, 

1451: (\ux^{\rm T} \, b \, b^{\rm T} \, \uy)^{e} \} 

1452: \right|_{\uy:=\ux \,.} \] 

1453: Introduce two new vectors of auxiliary variables

1454: \[ \phi=\left( \begin{array}{c} 

1455: \phi_0 \\ \phi_1 \end{array} \right), \quad 

1456: {\overline\phi}=\left( \begin{array}{c} 

1457: {\overline\phi}_0\\ {\overline\phi}_1 \end{array}

1458: \right) \] 

1459: and rewrite $G(\ux)$ as 

1460: \[ \begin{aligned} 

1461: {} & (2p')! \, (2p)! \, (re-2p)! \, e! \, 

1462: \frac{[\partial_\ph^{\rm T} \, \epsilon \, \partial_{\overline\ph}]^{2p'}}{(2p')!}

1463: \frac{[(\phi+\ux)^{\rm T} \, \epsilon \, ({\overline \phi}+\ux)]^{2p}}{(2p)!} \\

1464: & \times 

1465: \frac{[({\overline\phi}+\ux)^{\rm T} \, a \, a^{\rm T}(\phi+\ux)]^{re-2p}}

1466: {(re-2p)!} \times \left. 

1467: \frac{[({\overline\phi}+\ux)^{\rm T} \, b \, b^{\rm T}(\phi+\ux)]^{e}} {e!}

1468: \right|_{\phi,\overline\phi:=0 \,.}

1469: \end{aligned} \] 

1470: \subsection{A `Gaussian integral' on $\complex^2$} 

1471: We now introduce a term $\cZ$, which can be seen as the 

1472: combinatorial algebraic avatar of a Gaussian integral on $\complex^2$. 

1473: (Compare~\cite{Abdesselam,Bargmann}, where the ${\overline \phi}$ 

1474: are actual complex conjugates of the $\phi$.)

1475: 

1476: We will write $\complex \, [[\xi_1,\xi_2,\dots]]$ for 

1477: the ring of formal power series in variables $\xi_1,\xi_2$ etc. Define 

1478: $M = v \, a \, a^{\rm T}+ w \, b \, b^{\rm T}$, 

1479: a $2 \times 2$ matrix over $\complex[[v,w]]$. Let 

1480: \[ S = ({\overline\phi}+\ux)^{\rm T}(-u \, \epsilon +M)(\phi+\ux)  \in 

1481: \complex[[\phi_0, \phi_1,{\overline\phi}_0,{\overline\phi}_1,x_0,x_1,h,u,v,w]] 

1482: \] 

1483: and define 

1484: \[ \cZ = \left. \left\{ 

1485: \sum_{n\ge 0} \, \frac{h^n}{n!} \, 

1486: [\partial_\phi^{\rm T} \, \epsilon \, \partial_{\overline\phi}]^{n} \, 

1487: e^S \right\} \right|_{\phi,\overline\phi:=0}  \in 

1488: \complex \, [[x_0,x_1,h,u,v,w]]. \] 

1489: Then we have \[ G(\ux)=(2p')! \, (2p)! \, (re-2p)! \, e! \; 

1490: [h^{2p'} \, u^{2p} \, v^{re-2p} \, w^e]_\cZ, \] 

1491: where $[h^{2p'} \, u^{2p} \, v^{re-2p} \, w^e]_\cZ \in\complex \, [[x_0,x_1]]$

1492: denotes the coefficient of the monomial $h^{2p'} \, u^{2p} \, v^{re-2p} \, w^e$ in

1493: $\cZ$. With obvious notations, one can rewrite $\cZ$ as

1494: \[ \cZ= \left.

1495: \exp(h \, \partial_\phi^{\rm T} \, \epsilon \, \partial_{\overline\phi}) \, 

1496: \exp({\overline\phi}^{\rm T} \, A \, \phi+J^{\rm T} \phi+{\overline\phi}^{\rm T} \, K

1497: +S_0) \right|_{\phi, \overline\phi:=0}, \] 

1498: with 

1499: \[ \begin{array}{ll} 

1500: A = -u \, \epsilon +M, & J^{\rm T} = -u \, \ux^{\rm T} \, \epsilon+\ux^{\rm T} \, M, \\ 

1501: K=-u \, \epsilon \, \ux+M \, \ux, & 

1502: S_0 = v \, (\ux^{\rm T}\, a)^2+ w \, (\ux^{\rm T} \, b)^2. \end{array} \] 

1503: Therefore $\cZ=e^{S_0} \, {\widetilde\cZ}$ with

1504: \[ {\widetilde\cZ} = \left.

1505: \exp(h \, \partial_\phi^{\rm T} \, \epsilon \, \partial_{\overline\phi}) \, 

1506: \exp({\overline\phi}^{\rm T} \, A \, \phi+J^{\rm T}\, \phi+{\overline\phi}^{\rm T} \, K)

1507: \right|_{\phi, \overline\phi:=0 \,.} \] 

1508: 

1509: Now ${\widetilde\cZ}$ can be expressed as a sum over Feynman diagrams, 

1510: built as in Section \ref{diag.ampl}, from the following pieces 

1511: \[ \figplace{dessin21}{0 in}{0 in}

1512: \figplace{dessin22}{0 in}{0 in} \figplace{dessin23}{0 in}{0 in}

1513: \figplace{dessin24}{0 in}{0 in} \]

1514: by plugging the $\partial_\phi$ onto the $\phi$, and  

1515: the $\partial_{\overline\phi}$ onto the $\overline\phi$ in all possible ways.

1516: 

1517: More precisely, given any finite set $E$, we define a Feynman diagram

1518: on $E$ as a sextuple $\cF=(E_\phi,E_{\overline\phi}, \pi_A,\pi_J,\pi_K,\cC)$, 

1519: where \begin{itemize} 

1520: \item $E_\ph$, $E_{\Br\ph}$ are subsets of $E$, 

1521: \item $\pi_A$, $\pi_J$, $\pi_K$ are sets of subsets of $E$, and 

1522: \item $\cC$ is a map $E_{\overline\phi} \longrightarrow E_\phi$; 

1523: \end{itemize} 

1524: satisfying the following axioms:

1525: \begin{itemize}

1526: \item

1527: $E_\ph$ and $E_{\Br\ph}$

1528: have equal cardinality and they form a two set partition of $E$.

1529: \item

1530: The union of the elements in $\pi_A$, that of elements in $\pi_J$, 

1531: and that of elements in $\pi_K$ form a three set partition of $E$.

1532: \item 

1533: $\cC$ is bijective.

1534: \item

1535: Every element of $\pi_A$ has two elements, one in $E_\phi$ and 

1536: one in $E_{\overline\phi}$.

1537: \item

1538: Every element of $\pi_J$ has only one element which lies in $E_\phi$.

1539: \item

1540: Every element of $\pi_K$ has only one element which lies 

1541: in $E_{\overline\phi}$.

1542: \end{itemize}

1543: The set of Feynman diagrams on $E$

1544: is denoted by ${\mathsf{Fey}}(E)$. Given a Feynman 

1545: diagram $\cF$ on $E$ and a bijective map $\si:E\rightarrow E'$, there 

1546: is a natural way to transport $\cF$ along $\si$ in order to 

1547: obtain a Feynman diagram $\cF'={\mathsf{Fey}}(\si)(\cF)$ on $E'$. 

1548: Hence $E\rightarrow {\mathsf{Fey}}(E)$

1549: defines an endofunctor of the groupoid category of finite

1550: sets with bijections (cf.~\cite{Abdesselam,Bergeron,Fiorenza,Joyal}). 

1551: 

1552: \begin{Example} \rm 

1553: Let $E=\{1,2,\ldots,8\}$, $E_\ph=\{1,2,3,4\}$, 

1554: $E_{\Br\ph}=\{5,6,7,8\}$, $\pi_A=\{ \{2,6\},\{3,7\}, \{4,8\} \}$, 

1555: $\pi_J=\{\{1\}\}$, $\pi_K=\{\{5\}\}$, and $\cC$ given by $\cC(5)=1$, $\cC(6)=3$,

1556: $\cC(7)=4$ and $\cC(8)=2$. This corresponds to the diagram

1557: \[

1558: \figplace{dessin25}{0 in}{0.8 in}

1559: \figplace{dessin26}{0 in}{0 in}

1560: \]

1561: where we put the elements of $E$ next to the corresponding half-line.

1562: The amplitude of such a pair $(E,\cF)$ is 

1563: \[ 

1564: \cA(E,\cF)=(J^{\rm T} \, (h \, \epsilon) \, K) 

1565: \times \text{trace}([h \, \epsilon \, A]^3). \] 

1566: \end{Example} 

1567: There is a natural equivalence relation between pairs

1568: of finite sets equiped with a Feynman diagram. It is given by letting

1569: $(E,\cF)\sim(E',\cF')$ if and only if there exists a bijection

1570: $\si:E\rightarrow E'$ such that $\cF'={\mathsf{Fey}}(\si)(\cF)$.

1571: The automorphism group $\text{Aut}(E,\cF)$

1572: of a pair $(E,\cF)$ is the set of bijections $\si:E \longrightarrow E$ 

1573: such that ${\mathsf{Fey}}(\si)(\cF)=\cF$. Now, 

1574: \[ {\widetilde\cZ}=\sum_{[E,\cF]} \, \frac{\cA(E,\cF)}{|\text{Aut}(E,\cF)|}

1575: \]

1576: where the sum is quantified over equivalence classes of 

1577: pairs $(E,\cF)$. The term $\cA(E,\cF)$ is the amplitude, 

1578: and $|\text{Aut}(E,\cF)|$ is the cardinality of the automorphism group. 

1579: We leave it to the reader to check 

1580: (otherwise see~\cite{Abdesselam,Fiorenza}) that

1581: \[ \begin{aligned} 

1582: \log {\widetilde\cZ} & =  \sum_{[E,\cF]\ \rm connected} \,  

1583: \frac{\cA(E,\cF)}{|\text{Aut}(E,\cF)|} \\ 

1584: & = \sum_{n\ge 1} \, \frac{1}{n} \, \text{trace}((h \, \epsilon \, A)^n) +

1585: \sum_{n\ge 0} \, J^{\rm T} \, (h \, \epsilon \, A)^n \, (h \, \epsilon) \, K. 

1586: \end{aligned} \] 

1587: (This uses the fact that the only connected diagrams are pure $A$-cycles 

1588: or $A$-chains joining a $J$ to a $K$ vertex.) Hence 

1589: \[ {\widetilde\cZ}=\frac{1}{\det(I-h \, \epsilon \, A)} 

1590: \exp(J^{\rm T}\, (I-h\ep A)^{-1} \, (h \, \epsilon) \, K). 

1591: \] 

1592: After straightforward but tedious computations with $2 \times 2$ 

1593: matrices (which we spare the reader), one gets 

1594: \[ \cZ=\frac{1}{(1-h \, u)^2+h^2 \, v \, w \, (a^{\rm T} \, \epsilon \, b)^2}

1595: \exp \left( 

1596: \frac{v \, (\ux^{\rm T} \, a)^2+w \, (\ux^{\rm T} \, b)^2}

1597: {(1-h \, u)^2+h^2 \, v \, w \, (a^{\rm T} \, \epsilon \, b)^2} \right), 

1598: \] 

1599: or in classical notation

1600: \[ \cZ=\frac{1}{(1-h\, u)^2+h^2 \, v \, w \, (a \, b)^2}

1601: \exp\left(\frac{v \, a_\ux^2+w \, b_\ux^2}{(1-h\,u)^2+h^2 \, v \, w \, (a \, b)^2}

1602: \right). \] 

1603: Expanding this, 

1604: \[ \begin{aligned} 

1605: \cZ & =\sum_{\mu\ge 0} \, \frac{1}{\mu!} (v \, a_\ux^2+w \, b_\ux^2)^{\mu} 

1606: \left( 1-2 \, h \, u+h^2 \, u^2+h^2 \, v \, w \, (a \, b)^2 \right)^{-(\mu+1)} \\ 

1607: & = \sum_{\mu,\nu\ge 0} \frac{(-1)^\nu (\mu+\nu)!}{\mu!^2 \, \nu!}

1608: (v \, a_\ux^2+w \, b_\ux^2)^{\mu} 

1609: (-2 \, h \, u+h^2 \, u^2+h^2 \, v \, w \, (a \, b)^2)^{\nu} \\ 

1610: & =\sum_{\stackrel{m,n}{\alpha,\beta,\gamma}\ge 0}

1611: \frac{(-1)^{\alpha+\beta+\gamma}(m+n+\al+\beta+\ga)!} 

1612: {(m+n)! \, m! \, n! \, \alpha! \, \beta! \, \gamma!} \; \times \\ 

1613: & \qquad (v \, a_\ux^2)^m (w \, b_\ux^2)^n \, (-2h \, u)^\alpha (h^2 \, u^2)^\beta 

1614: \, (h^2 \, v \, w \, (a \, b)^2)^\gamma \\ 

1615: & =\sum_{\stackrel{m,n}{\alpha,\beta,\gamma} \ge 0}

1616: \frac{(-1)^{\beta+\ga} 2^\al (m+n+\al+\beta+\ga)! }

1617: {(m+n)! \, m! \, n! \alpha! \, \beta! \, \gamma!} \; \times \\ 

1618: & \qquad 

1619: h^{\alpha+2 \, \beta+2 \, \gamma} \, 

1620: u^{\alpha+2 \, \beta} \, v^{m+\gamma} \, w^{n+\gamma} \, a_\ux^{2m} \, 

1621: b_\ux^{2n} \, (a \, b)^{2 \, \gamma}. 

1622: \end{aligned} \] 

1623: The coefficient of $h^{2p'} \, u^{2p} \, v^{re-2p} \, w^e$

1624: is a sum over the single index $\beta$, $0\le \beta\le p$,

1625: as a result of solving for $\alpha=2p-2\beta$, $\gamma=p'-p$,

1626: $m=re-p'-p$, $n=e-p'+p$. Therefore

1627: \[ G(\ux)=\cN_{r,e,p',p}^{\, \rm III} \; 

1628: a_\ux^{2(re-p'-p)} \, b_\ux^{2(e-p'+p)} \, (a \, b)^{2(p'-p)},

1629: \] 

1630: where

1631: \[ \begin{aligned} {} & \cN_{r,e,p',p}^{\, \rm III} = 

1632: \bbbone_{\left\{ p'-p\ge 0, \, e-p'+p\ge 0, \, re-p'-p\ge 0 \right\}} \; 

1633: \times \\ 

1634: & \frac{(-1)^{p'-p} \, (2p)! \, (2p')! \, (re-2p)! \, e!}

1635: {(p'-p)! \, (e-p'+p)! \, (re-p'-p)! \, ((r+1)e-2p')!} \times \cJ_{s,p}. 

1636: \end{aligned} \] 

1637: Here $\bbbone_{\{\cdots\}}$ denotes the characteristic function

1638: of the condition between braces, and

1639: \[ \cJ_{s,p} = \sum_{\beta=0}^p \, 

1640: \frac{(-1)^\beta \, 2^{2p-2 \, \beta} \, (s+2p-\beta)!}

1641: {(2p-2 \, \beta)! \, \beta!} \] 

1642: with $s = (r+1)e-p'-p$. Note that $s\ge e$ whenever 

1643: the characteristic function is nonzero. Now $\cJ_{s,p}$ 

1644: can be rewritten as a Gauss hypergeometric series 

1645: and can be summed by the Chu-Vandermonde theorem (see~\cite[p.~28]{Slater}). 

1646: The result is 

1647: \[ \cJ_{s,p}=\frac{(s+p)! \, (s+\frac{3}{2})_p}{p! \, (\frac{1}{2})_p}  \] 

1648: As a result, the characteristic function alone dictates whether 

1649: $\cN_{r,e,p',p}^{\, \rm III}$ vanishes or not. 

1650: 

1651: Now for $r\ge 2$, $e\ge 1$ and $0\le p'\le \frac{(r+1)e}{2}$, 

1652: it is easy to see that one can always find an integer $p$ 

1653: with $0\le p\le \frac{re}{2}, p'-p\ge 0,e-p'+p\ge 0$ and $re-p'-p\ge 0$.

1654: Indeed, take $p=p'$ if $0\le p'\le \frac{re}{2}$,

1655: and otherwise take $p=p'-e$ if $\frac{re}{2}< p'\le \frac{(r+1)e}{2}$.

1656: In either case, this ensures that $G(\ux)$ does not vanish identically, 

1657: which proves Lemma~\ref{lemma.B}. \qed

1658: 

1659: \smallskip 

1660: 

1661: \noindent The proofs of Theorems~\ref{surj.alpha_r} 

1662: and~\ref{main.theorem}  are now complete. 

1663: \subsection{Proof of Proposition \ref{magic.squares}}

1664: Write $Q = \prod\limits_{i=1}^r ( l_{i,0} \, x_0 + l_{i,1} \, x_1)$, where 

1665: the $l_{i,-}$ are indeterminates. 

1666: By Proposition~\ref{key.transvect}, the polynomial 

1667: \[ (\prod_{i=1}^r  l_i^e,\prod_{j=1}^r l_j^e)_{2p} \]

1668: is not identically zero. Now, as in section \ref{first.proof.A}, 

1669: one can calculate the previous transvectant via the expression 

1670: \[ \frac{(re-2p)!^2}{(re)!^2} \left. 

1671: \Omega^{2p} (\prod_{i=1}^r  \, l_i(\ux)^e) 

1672: (\prod_{j=1}^r \, l_j(\uy)^e) \right|_{\uy:=\ux} \]

1673: by summing over the derivative actions. This

1674: generates a sum over bipartite graphs between two sets

1675: of $r$ elements which separately label the linear forms in each

1676: of the two products. The valences of the vertices are bounded by

1677: $e$ and the total number of edges is $2p$. Thus, 

1678: \[ \begin{aligned}

1679: {} & (\prod_{i=1}^r  l_i^e,\prod_{j=1}^r l_j^e)_{2p} 

1680: =\frac{(re-2p)!^2}{(re)!^2}\times \\ 

1681: & \sum_{N\in \cN} w_N \, (\prod_{1\le i,j\le r}

1682: (l_i \, l_j)^{n_{ij}} \prod_{1\le i\le r} l_i(\ux)^{e-l(N)_i}

1683: \prod_{1\le j\le r} l_j(\ux)^{e-c(N)_i}). \end{aligned} \]

1684: Here $\cN$ is the set of $r\times r$ matrices

1685: $N=(n_{ij})_{1\le i,j\le r}$ with nonnegative integer entries, 

1686: such that

1687: \begin{itemize} 

1688: \item $ \sum\limits_{1\le i, j\le r} n_{ij}=2p$, 

1689: \item for all $1\le i\le r$, the integer 

1690: $l(N)_i = \sum\limits_{1\le j\le r} n_{ij}$ is $\le e$, 

1691: \item 

1692: for all $1\le j\le r$, the integer 

1693: $c(N)_j = \sum\limits_{1\le i\le r} n_{ij}$ is $\le e$. 

1694: \end{itemize} 

1695: The combinatorial weight $w_N$ is given by

1696: \[ 

1697: \frac{(2p)!}{\prod\limits_{1\le i,j\le r} n_{ij}!}

1698: \times \prod_{1\le i\le r} \frac{e!}{(e-l(N)_i)!}

1699: \times \prod_{1\le j\le r} \frac{e!}{(e-c(N)_j)!}

1700: \] and the bracket factors $(l_i \, l_j)$ stand for

1701: $l_{i,0} \, l_{j,1}-l_{i,1} \, l_{j,0}$.

1702: For given edge multiplicities recorded in the matrix $N$,

1703: the combinatorial weight counts in how many ways one can obtain the 

1704: correponding configuration by differentiating. Among the $2p$ lines, 

1705: we have to choose which ones are assigned to each pair of vertices $(i,j)$, 

1706: this gives the first multinomial factor. Then one has to specify the 

1707: connections at each vertex, and this accounts for the other two factors.

1708: 

1709: Let us border the matrix $N$ by adding an extra row and column 

1710: to make an $(r+1)\times(r+1)$ matrix $M$. Insert the `defect' numbers 

1711: $\{e-c(N)_j\}$ into the $(r+1)$-th row, the $\{e-l(N)_i\}$ 

1712: into the $(r+1)$-th column, and a $0$ in the bottom right corner. 

1713: Then, keeping the notation of Proposition~\ref{magic.squares}, we have 

1714: \[ \begin{aligned} 

1715: {} & (\prod_{i=1}^r  \, l_i^e,\prod_{j=1}^r \, l_j^e)_{2p}

1716: =\frac{(re-2p)!^2 \, (2p)! \, e!^{2r}}{(re)!^2} \, \times\\

1717: & \sum_{M\in \cM}

1718: \frac{\prod\limits_{1\le i,j\le r} (l_i \, l_j)^{m_{ij}}

1719: \prod\limits_{1\le i\le r} l_i(\ux)^{m_{i,r+1}}

1720: \prod\limits_{1\le j\le r} l_j(\ux)^{m_{r+1,j}}}

1721: {\prod\limits_{1\le i,j\le r+1}m_{ij}!} 

1722: \end{aligned} \] 

1723: Dehomogenize the last expression by 

1724: substituting $l_{i,0}=z_i$, $l_{i,1}=1$ for every $1\le i\le r$, and 

1725: $x_0=-1, x_1=t$. This is a numerical multiple of the 

1726: expression~(\ref{tau}), hence we have shown 

1727: Proposition~\ref{key.transvect}. \qed 

1728: 

1729: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1730: \section{Binary Forms} \label{binarycase}

1731: Let $n=1$, then $X = X_{(1,d)}$ is the locus of 

1732: degree $d$ binary forms which are $e$-th powers of quadratic forms. 

1733: The following result for the $d=4$ case is classical 

1734: (see \cite[\S 3.5.2]{Glenn}): 

1735: \begin{Proposition} \sl 

1736: A binary quartic $F$ lies in $X$, iff $((F,F)_2,F)_1 = 0$. 

1737: \end{Proposition} 

1738: We will generalize this to any (even) $d$ by identifying  

1739: the covariants of binary $d$-ics which correspond to the generators 

1740: of the ideal 

1741: \[ I_X \subseteq \bigoplus\limits_{i \ge 0} S_i(S_d). \] 

1742: Since $m_0=3$ and $(I_X)_2=0$, all the generators are in degree $3$. 

1743: (It follows that the graded minimal resolution of $I_X$ is linear, 

1744: however we will make no use of this.) 

1745: 

1746: \subsection{Cubic Covariants} 

1747: We have a decomposition 

1748: \[ (I_X)_3 = \bigoplus\limits_m \, (S_m \otimes \complex^{\nu_m}) 

1749: \subseteq S_3(S_d) \] 

1750: of irreducible $SL_2$-modules. 

1751: Each equivariant inclusion $S_m \subseteq S_3(S_d)$ corresponds to 

1752: a covariant of degree $3$ and order $m$ of binary $d$-ics. (This 

1753: correspondence is explained in \cite{Chipalkatti1}.) Thus we have 

1754: $\nu_m$ linearly independent cubic covariants of order $m$ which vanish 

1755: on $X$. If we can list every covariant which occurs this way, 

1756: then $I_X$ is completely specified. 

1757: 

1758: For the generic binary $d$-ic $F$, define 

1759: \[ \U(i,j) = ((F,F)_{2i},F)_j, \] 

1760: a covariant of degree $3$ and order $3d-4i-2j$. Unless the conditions 

1761: \[ 0 \le i \le e, \quad 0 \le j \le \min \, \{d,2d-4i\} \qquad (\dagger), \] 

1762: hold, $\U(i,j)$ is identically zero; hence we always assume that the 

1763: pair $(i,j)$ satisfies $(\dagger)$. If $j$ is even, then write $j = 2k$, and 

1764: define a rational number 

1765: \[ \mu_{i,j} = (-1)^{i+k} \, \cN^{\, \rm II}_{e,e,i} \times 

1766: \cN^{\, \rm II}_{2e-2i,e,k},  \] 

1767: where $\cN^{\, \rm II}$ is defined by formula~(\ref{Lemmadixon2}).

1768: If $(i,j),(\tilde i, \tilde j)$ are two pairs such that 

1769: $2i + j = 2 \tilde i + \tilde j$, and 

1770: $j,\tilde j$ are even, then define 

1771: \[ \Phi(i,j,\tilde i, \tilde j) = \mu_{\tilde i, \tilde j} \;  \U(i,j) - 

1772: \mu_{i,j} \;  \U(\tilde i,\tilde j). \] 

1773: Now consider the following set of covariants: 

1774: \begin{equation} 

1775: \Se = \{ \U(i,j): \text{$j$ odd} \} 

1776: \cup \{ \Phi(i,j,\tilde i, \tilde j)\}. 

1777: \end{equation} 

1778: 

1779: \begin{Theorem} \sl 

1780: The subspace of $S_3(S_d)$ generated by all the coefficients of 

1781: all the elements in $\Se$ equals $(I_X)_3$. \emph{A fortiori}, a binary 

1782: $d$-ic $F$ can be written as the $e$-th power of a quadratic form, 

1783: iff all the elements of $\Se$ vanish on $F$. 

1784: \end{Theorem} 

1785: The second part of the theorem has a more classical flavour. It is an 

1786: instance of the theme that, any property of an algebraic form which is 

1787: invariant under a change of coordinates can be characterised by the 

1788: vanishing (or non-vanishing) of a set of concomitants. 

1789: 

1790: \smallskip 

1791: 

1792: \demo 

1793: Firstly we show that all elements in  $\Se$ vanish at a general 

1794: point $F \in X$. By a change 

1795: of variable, we may assume that $F = Q^e$, where $Q = x_0 \, x_1$. 

1796: By formula (\ref{Lemmadixon1}), 

1797: \[ (F,F)_{2i} = (-1)^i \, \cN^{\, \rm II}_{e,e,i} \; Q^{2e-2i}, \] 

1798: hence $\E(i,j) = 0$ for $j$ odd by Proposition~\ref{prop.hyper}.

1799: If $j= 2k$, then 

1800: \[ (Q^{2e-2i},F)_{2k} = (-1)^k \, 

1801: \cN^{\, \rm II}_{2e-2i,e,i} \; Q^{3e-2i-2k}, \] 

1802: which implies $\E(i,j) = \mu_{i,j} \, Q^{3e-2i-j}$. 

1803: Hence $\Phi(i,j,\tilde i, \tilde j)=0$ by definition. 

1804: 

1805: Let $J$ denote the subspace of $(I_X)_3$ generated by the 

1806: coefficients of all the elements in $\Se$. So far we have shown that 

1807: $J \subseteq (I_X)_3$. Let $S_m \subseteq (I_X)_3$ be an irreducible 

1808: submodule, and $\Psi$ the corresponding covariant. We have to 

1809: show that the coefficients of $\Psi$ are in $J$. Now it is a classical 

1810: result that each covariant of binary forms is a linear combination of 

1811: iterated transvectants of $F$ (see \cite[\S 86]{GrYo}). Since $\Psi$ is 

1812: a cubic covariant, 

1813: \begin{equation} 

1814: \Psi = \sum\limits_{3d-4i-2j=m} q_{i,j} \, \E(i,j) 

1815: \label{psi.sum} \end{equation}

1816: for some $q_{i,j} \in \complex$. By hypothesis $\Psi$ vanishes on $X$. 

1817: Hence if (\ref{psi.sum}) involves only one summand, then it must come from an 

1818: odd $j$ and the claim follows. 

1819: Alternately assume that $q_{i,j},q_{\, \tilde i,\tilde j} \neq 0$, then 

1820: the covariant 

1821: $\mu_{i,j} \, \Psi + q_{\, \tilde i,\tilde j} \,\Phi(i,j,\tilde i,\tilde j)$

1822: involves at least one fewer summand and vanishes on $X$. 

1823: Hence we are done by induction. \qed 

1824: 

1825: \medskip 

1826: 

1827: In general $\Se$ is not the smallest set which would make this theorem true. 

1828: Given a particular value of $d$, it can be pared down substantially using 

1829: properties of covariants specific to $d$. 

1830: \begin{Example} \rm 

1831: Assume $d=8$. Now 

1832: \[ \begin{aligned}

1833: S_3(S_8) & = S_{24} \oplus S_{20} \oplus S_{18} \oplus S_{16} \oplus 

1834: S_{14} \oplus S_{12}^2 \oplus S_{10} \oplus S_8^2 \oplus S_4 \oplus S_0, \\

1835: S_2(S_{12}) & = S_{24} \oplus S_{20} \oplus S_{16} \oplus S_{12} \oplus 

1836: S_8 \oplus S_6 \oplus S_4 \oplus S_0, 

1837: \end{aligned} \]

1838: hence by Corollary~\ref{gr}, 

1839: \[ (I_X)_3 = S_{18} \oplus S_{14} \oplus S_{12} \oplus S_{10} 

1840: \oplus S_8 \oplus S_6. \] 

1841: Hence it will suffice to choose a subset $\Te \subseteq \Se$, such that 

1842: $\Te$ contains only one covariant each of orders $\{18,14,12,10,8,6\}$. 

1843: Now, for instance, $\E(0,3) \in \Se$ is a covariant of order $18$ which can 

1844: be chosen as an element of $\Te$. (Of course, $\E(1,1)$ would do as well. 

1845: Observe that $S_3(S_8)$ contains only one copy of $S_{18}$, this implies that

1846: $\E(0,3)$ and $\E(1,1)$ are constant multiples of each other 

1847: for a generic $F$.) Similarly we select $\Phi(0,6,1,4)$ as 

1848: the order $12$ covariant. Continuing in this way, we may let 

1849: \[ \Te = \{\E(0,3),\E(0,5),\E(0,7),\Phi(0,6,1,4),\Phi(0,8,1,6),\E(3,3) \}, \] 

1850: and then the previous theorem is true verbatim with $\Se$ replaced by $\Te$. 

1851: Thus, a binary octavic $F$ is the fourth power of a quadratic form iff 

1852: the covariants 

1853: \[ \begin{array}{lll} 

1854: (F^2,F)_3, & (F^2,F)_5, & 13 \, (F^2,F)_6 - 63 \, ((F,F)_2,F)_4, \\ 

1855: (F^2,F)_7, & ((F,F)_6,F)_3, & 195 \, (F^2,F)_8 - 2744 \, ((F,F)_2,F)_6

1856: \end{array} \]

1857: are zero. We do not know if $\Te$ can be shortened any further while retaining this 

1858: property. 

1859: 

1860: Throughout, we have tacitly assumed that none of the elements in 

1861: $\Te$ vanishes identically. This can be checked by a simple 

1862: direct calculation, e.g., by specializing $F$ to $x_0^5 \, x_1^3$. 

1863: \end{Example} 

1864: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1865: \section{A note on terminology and history}

1866: In this paper we have adopted the term `Feynman diagrams' 

1867: following the usage of theoretical physicists. 

1868: However, the historical roots of this notion, especially 

1869: in the context of invariant theory, substantially predate Feynman's work.

1870: 

1871: Feynman diagrams, as known to physicists, seem to have first 

1872: appeared in print in the work of Dyson~\cite{Dyson}, who accredits them to the 

1873: unpublished work of Richard Feynman. 

1874: However, the idea of using discrete combinatorial structures 

1875: (for instance tree graphs) to describe the outcome of repeated

1876: applications of differential operators goes back to A.~Cayley~\cite{Cayley2}. 

1877: Classically, such a diagrammatic approach was used in invariant theory 

1878: by Sylvester~\cite{Sylvester}, Clifford~\cite{Clifford} and 

1879: Kempe~\cite{Kempe}. It is remarkable that Clifford used what would

1880: now be called Fermionic or Berezin integration in order to 

1881: explain the translation from graphs to actual covariants.

1882: The diagrams which we have used here directly mirror  

1883: the classical symbolic notation: arrows correspond to bracket factors,

1884: and each vertex corresponds to a symbolic letter, to be repeated

1885: as many times as the degree of the vertex. 

1886: The formalism used in Olver and Shakiban~\cite{OShakiban} 

1887: is somewhat different due to a normal ordering procedure 

1888: inspired by Gelfand~\cite{GelfandD}; it is also explained 

1889: in~\cite[Ch.~6]{Olver}. A generally excellent account of the history 

1890: of the diagrammatic notation in physics and group theory can be 

1891: found in \cite[Chapter 4]{Cvitanovic}. Finally, the interesting  pedagogical 

1892: work of computer graphics pioneer J.~F.~Blinn~\cite{Blinn},

1893: (who was inspired by Stedman's work~\cite{Stedman}) deserves 

1894: to be mentioned.

1895: 

1896: \medskip 

1897: 

1898: \noindent {{\sc Acknowledgements:} \smaller 

1899: The first author would like to express his gratitude to

1900: Professors David Brydges and Joel Feldman for the invitation to 

1901: visit the University of British Columbia. He gratefully

1902: acknowledges the support of the Centre National de la Recherche

1903: Scientifique during the academic year 2002-2003.

1904: The second author would like to thank Professor James Carrell for 

1905: his invitation to visit UBC. 

1906: We are indebted to the authors of the package Macaulay-2,

1907: the digital libraries maintained by the Universities of 

1908: Cornell, G{\"o}ttingen and Michigan, as well as J-Stor and 

1909: Project Gutenberg.} 

1910: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1911: \begin{thebibliography}{10}

1912: \bibitem{Abdesselam}

1913: A.~Abdesselam.

1914: \newblock Feynman diagrams in algebraic combinatorics.

1915: \newblock {\em S\'em.~Lothar.~Combin.}, vol.~49, Article B49c, 2003.

1916: %%%%

1917: \bibitem{Akin}

1918: K.~Akin, D.~Buchsbaum, and J.~Weyman.

1919: \newblock Schur functors and {S}chur complexes.

1920: \newblock {\em Adv.~in Math.}, vol.~44, pp.~207--278, 1982.

1921: %%%

1922: \bibitem{Bargmann}

1923: V.~Bargmann.

1924: \newblock On the representations of the rotation group.

1925: \newblock {\em Rev.~Modern Phys.}, vol.~34, pp.~829--845, 1962.

1926: %%

1927: \bibitem{Bergeron}

1928: F.~Bergeron, G.~ Labelle, and P.~Leroux.

1929: \newblock {\em Combinatorial species and tree-like structures}. 

1930: Encyclopedia of Mathematics and its Applications, vol.~67.

1931: Cambridge University Press, Cambridge, 1998.

1932: %% 

1933: \bibitem{Biedenharn1}

1934: L.~C.~Biedenharn, and J.~D.~Louck.

1935: \newblock {\em Angular Momentum in Quantum Physics}.

1936: \newblock Encyclopedia of Mathematics and its Applications, vol.~8.

1937: Addison-Wesley, Reading, Massachusetts, 1981.

1938: %% 

1939: \bibitem{Biedenharn2}

1940: L.~C.~Biedenharn, and J.~D.~Louck.

1941: \newblock {\em The Racah-Wigner Algebra in Quantum Theory}.

1942: \newblock Encyclopedia of Mathematics and its Applications, vol.~9.

1943: Addison-Wesley, Reading, Massachusetts, 1981.

1944: %% 

1945: \bibitem{Blinn}

1946: J.~F.~Blinn.

1947: \newblock Quartic discriminants and tensor invariants.

1948: \newblock {\em IEEE Computer Graphics and Applications}, 

1949: vol.~22 (2), pp.~86--91, 2002.

1950: %%

1951: \bibitem{Briand}

1952: E.~Briand.

1953: \newblock Polyn\^{o}mes multisymetriques.

1954: \newblock Th\`ese, Universit\'e de Rennes 1, 2002. 

1955: Available at http://tel.ccsd.cnrs.fr 

1956: %% 

1957: \bibitem{Brill1}

1958: A.~Brill. 

1959: \newblock Ueber symmetrische Functionen von Variabelnpaaren. 

1960: \newblock {\em G{\"o}ttinger Nachrichten}, No.~20, pp.~757--762, 1893. 

1961: %

1962: \bibitem{Brill2}

1963: A.~Brill. 

1964: \newblock Ueber die Zerf{\"a}llung einer Tern{\"a}rform in Linearfactoren.

1965: \newblock {\em Math.~Ann.}, vol.~50, pp.~157--182, 1897. 

1966: %%

1967: \bibitem{Brion1}

1968: M.~Brion.

1969: \newblock Stable properties of plethysm: on two conjectures of Foulkes. 

1970: \newblock {\em Manuscripta Math.}, vol.~80, no.~4, pp.~347--371, 1993. 

1971: %%

1972: \bibitem{Brion2}

1973: M.~Brion.

1974: \newblock Sur certains modules gradu\'es associ\'es aux produits

1975: sym\'etriques. 

1976: \newblock In {\em Alg\`ebre non commutative, groupes quantiques

1977: et invariants (Reims 1995)}, vol.~2 of {\em S\'emin.~Congr.}, 

1978: pp.~157--183, Soc.~Math.~France, Paris, 1997.

1979: %%

1980: \bibitem{Carter}

1981: J.~S.~Carter, D.~E.~Flath, and S.~Masahico.

1982: \newblock {\em The Classical and Quantum $6j$-symbols}.

1983: \newblock Mathematical Notes, 43. Princeton University Press, 1995.

1984: %%

1985: \bibitem{Cattaneo}

1986: A.~S.~Cattaneo, and G.~Felder.

1987: \newblock A path integral approach to the Kontsevich quantization formula. 

1988: \newblock {\em Comm.~Math.~Phys.}, vol.~212, pp.~591--611, 2000.

1989: %%

1990: \bibitem{Cayley1}

1991: A.~Cayley.

1992: \newblock A memoir on the conditions for the existence of given

1993: systems of equalities among the roots of an equation. 

1994: \newblock No.~150 in vol.~II of Collected Mathematical Works, 

1995: Cambridge University Press, 1889. 

1996: %%

1997: \bibitem{Cayley2}

1998: A.~Cayley.

1999: \newblock On the theory of the analytical forms called trees.

2000: \newblock No.~203 in vol.~III of Collected Mathematical Works, 

2001: Cambridge University Press, 1889. 

2002: %%

2003: \bibitem{Chen}

2004: Y.~Chen, A.~Garsia, and J.~Remmel.

2005: \newblock Algorithms for plethysm.

2006: \newblock In {\em Combinatorics and Algebra}, vol.~34 of 

2007: {\em Contemp.~Math.}, pp.~109--153. Amer.~Math.~Soc., 1984. 

2008: %%

2009: \bibitem{Chipalkatti1}

2010: J.~Chipalkatti.

2011: \newblock On equations defining coincident root loci.

2012: \newblock {\em J.~of Algebra}, vol.~267, pp.~246--271, 2003.

2013: %%

2014: \bibitem{Chipalkatti2}

2015: J.~Chipalkatti.

2016: \newblock Invariant equations defining coincident root loci.

2017: \newblock To appear in {\em Arch.~Math.~(Basel)}.

2018: %%

2019: \bibitem{Chipalkatti3}

2020: J.~Chipalkatti.

2021: \newblock Decomposable ternary cubics.

2022: \newblock {\em Experiment.~Math.}, vol.~11, no.~1, pp.~69--80, 2002.

2023: %%

2024: \bibitem{Clifford}

2025: W.~Clifford.

2026: \newblock Extract of a letter to Mr.~Sylvester from Prof.~Clifford

2027: of University College, London.

2028: \newblock {\em Amer.~J.~Math.}, vol.~1, pp.~126--128, 1878.

2029: %%

2030: \bibitem{Cvitanovic}

2031: P.~Cvitanovi\'c. 

2032: \newblock {\em Group Theory} (with contributions by H.~Elvang and T.~Kennedy).

2033: \newblock Available as a webbook at http://www.nbi.dk/GroupTheory

2034: %%

2035: \bibitem{Diaconis}

2036: P.~Diaconis, and A.~Gamburd.

2037: \newblock Random matrices, magic squares and matching polynomials.

2038: \newblock {\em Electron.~J.~Combinatorics}, vol.~11, no.~2, 2004.

2039: %%

2040: \bibitem{Dixmier1}

2041: J.~Dixmier.

2042: \newblock Sur les formes binaires dont certains covariants sont nuls.

2043: \newblock In {\em Aspects of mathematics and its applications}, 

2044: vol.~34 of {\em North-Holland Math.~Library}, pp.~321--334, North-Holland, 

2045: Amsterdam, 1986. 

2046: %%

2047: \bibitem{Dixmier2}

2048: J.~Dixmier.

2049: \newblock Transvectants des formes binaires et repr\'esentations

2050: des groupes binaires polyh\'edraux.

2051: \newblock {\em Portugal.~Math.}, vol.~49, pp.~349--396, 1992.

2052: %%

2053: \bibitem{Doran}

2054: W.~Doran, IV. 

2055: \newblock On Foulkes conjecture. 

2056: \newblock {\em J.~Pure Appl.~Algebra.}, vol.~130, no.~1, pp.~85--98, 1998.

2057: %%

2058: \bibitem{Dyson}

2059: F.~J.~Dyson.

2060: \newblock The radiation theories of Tomonaga, Schwinger, and Feynman.

2061: \newblock {\em Phys. Rev.}, vol.~75, pp.~486--502, 1949.

2062: %%

2063: \bibitem{Elliott}

2064: E.~B.~Elliott.

2065: \newblock {\em An Introduction to the Algebra of Quantics}.

2066: \newblock Oxford University Press, Oxford, 1913.

2067: %%

2068: \bibitem{Feher}

2069: L.~M.~Feher, A.~Nemethi, and R.~Rimanyi.

2070: \newblock Coincident root loci of binary forms.

2071: \newblock math.AG/0311312, Preprint, 2003.

2072: \bibitem{Fiorenza}

2073: D.~Fiorenza.

2074: \newblock Sums over graphs and integration over discrete groupoids.

2075: \newblock math.CT/0211389, Preprint, 2002.

2076: %% 

2077: \bibitem{Foulkes}

2078: H.~O.~Foulkes.

2079: \newblock Concomitants of the quintic and sextic up to degree

2080: four in the coefficients of the ground form. 

2081: \newblock {\em J.~London Math.~Soc.}, vol.~25, pp. 205--209, 1950.

2082: %%

2083: \bibitem{FH}

2084: W.~Fulton and J.~Harris.

2085: \newblock {\em Representation Theory, A First Course}.

2086: \newblock Graduate Texts in Mathematics. Springer--Verlag,\,New York, 1991.

2087: %%

2088: \bibitem{GelfandD}

2089: I.~M.~Gel'fand, and L.~A.~Diki\u\i.

2090: \newblock Asymptotic properties of the resolvent of Sturm-Liouville

2091: equations, and the algebra of Korteweg--de Vries equations. 

2092: \newblock {\em Russian Math.~Surveys}, vol.~30 , pp.~77--113, 1975.

2093: %% 

2094: \bibitem{GKZ}

2095: I.~M.~Gel'fand, M.~M.~Kapranov, and A.~V.~Zelevinsky.

2096: \newblock {\em Discriminants, Resultants and Multidimensional Determinants}.

2097: \newblock Birkh{\"a}user, Boston, 1994.

2098: %% 

2099: \bibitem{Glenn}

2100: O.~E.~Glenn.

2101: \newblock {\em A Treatise on the Theory of Invariants}.

2102: \newblock Ginn and Co., Boston, 1915.

2103: \newblock (Available from Project Gutenberg at

2104:  http://www.gutenberg.net )

2105: %%

2106: \bibitem{Gordan}

2107: P.~Gordan. 

2108: \newblock Das Zerfallen der Curven in gerade Linien. 

2109: \newblock {\em Math.~Ann.}, vol.~45, pp.~411--427, 1894. 

2110: %%

2111: \bibitem{GrYo}

2112: J.~H. Grace and A.~Young.

2113: \newblock {\em The Algebra of Invariants}, 1903.

2114: \newblock Reprinted by Chelsea Publishing Co., New York, 1965.

2115: %%

2116: \bibitem{Gustafson}

2117: R.~A.~Gustafson.

2118: \newblock Invariant theory and special functions.

2119: \newblock In {\em Invariant theory }, vol.~88 of {\em

2120: Contemp.~Math.}, pp.~125--144. Amer.~Math.~Soc., 1989.

2121: 

2122: 

2123: \bibitem{JoeH}

2124: J.~Harris.

2125: \newblock {\em Algebraic Geometry, A First Course}.

2126: \newblock Graduate Texts in Mathematics. Springer--Verlag, \, New York, 1992.

2127: %%

2128: \bibitem{Ha}

2129: R.~Hartshorne.

2130: \newblock {\em Algebraic Geometry}.

2131: \newblock Graduate Texts in Mathematics. Springer--Verlag,\,New York, 1977.

2132: 

2133: \bibitem{Howe}

2134: R.~Howe.

2135: \newblock $({\rm GL}_n,{\rm GL}_m)$-duality and symmetric plethysm. 

2136: \newblock {\em Proceedings of Indian Acad.~Sci.~(Math.~Sci.)}, 

2137: vol.~97, pp.~85--109, 1987.

2138: %%

2139: \bibitem{Joyal}

2140: A.~Joyal.

2141: \newblock Une th\'eorie combinatoire des s\'eries formelles.

2142: \newblock {\em Adv.~in Math.}, vol.~42, pp.~1--82, 1981.

2143: %%

2144: \bibitem{Kasatani}

2145: M.~Kasatani, T.~Miwa, A.~N.~Sergeev, and A.~P.~Veselov.

2146: \newblock Coincident root loci and Jack and Macdonald polynomials for

2147: special values of the parameters.

2148: \newblock math.QA/0404079, Preprint, 2004.

2149: 

2150: %%

2151: \bibitem{Kempe}

2152: A.~B.~Kempe.

2153: \newblock On the application of Clifford's graphs to ordinary

2154: binary quantics.

2155: \newblock {\em Proc.~London Math.~Soc.}, vol.~17, pp.~107--121, 1885.

2156: 

2157: \bibitem{Kontsevich}

2158: M.~Kontsevich.

2159: \newblock Deformation quantization of Poisson manifolds--I.

2160: \newblock math.QA/9709040, Preprint, 1997.

2161: %%

2162: \bibitem{KungRota}

2163: J.~P.~S. Kung, and G.-C.~ Rota.

2164: \newblock The invariant theory of binary forms.

2165: \newblock {\em Bull.~Amer.~Math.~Soc.}, vol.~10, pp.~27--85, 1984.

2166: %%

2167: \bibitem{Macdonald}

2168: I.~G. MacDonald.

2169: \newblock {\em Symmetric Functions and Hall Polynomials}.

2170: \newblock Oxford University Press, 2nd edition, 1995.

2171: %%

2172: \bibitem{Mum}

2173: D.~Mumford.

2174: \newblock {\em Lectures on Curves on an Algebraic Surface}.

2175: \newblock Ann.~of Math.~Studies, No.~59, Princeton University Press, 1966.

2176: 

2177: 

2178: \bibitem{Olver}

2179: P.~J.~Olver.

2180: \newblock {\em Classical Invariant Theory}.

2181: \newblock London Mathematical Society Student Texts. Cambridge University

2182: Press, 1999.

2183: 

2184: \bibitem{OShakiban}

2185: P.~J.~Olver, and C.~Shakiban.

2186: \newblock Graph theory and classical invariant theory.

2187: \newblock {\em Adv.~in Math.}, vol.~75, pp.~212--245, 1989.

2188: 

2189: \bibitem{Penrose}

2190: R.~Penrose.

2191: \newblock Angular momentum; an approach to combinatorial space time.

2192: \newblock In {\em Quantum theory and beyond}, (ed.~T.~Bastin)

2193: Cambridge University Press, 1971.

2194: 

2195: \bibitem{Plunkett1}

2196: S.~P.~O. Plunkett.

2197: \newblock On the plethysm of {S}-functions.

2198: \newblock {\em Canad.~J.~of Math.}, vol.~24, pp.~541--552, 1972.

2199: %%

2200: \bibitem{Rovelli}

2201: C.~Rovelli, and L.~Smolin.

2202: \newblock Spin networks and quantum gravity.

2203: \newblock {\em Phys.~Rev.~D}, vol.~52, pp.~5743--5759, 1995.

2204: %%

2205: \bibitem{Salmon}

2206: G.~Salmon.

2207: \newblock {\em Higher Algebra} (5th ed.), 1876.

2208: \newblock Reprinted by Chelsea Publishing Co., New York, 1960.

2209: %%

2210: \bibitem{Schwinger}

2211: J.~Schwinger.

2212: \newblock On angular momentum.

2213: \newblock {U.~S.~Atomic Energy Commission.} NYO-3071, 1952.

2214: \newblock Published in {Quantum Theory of Angular Momentum} (Compiled

2215: by L.~C.~Biedenharn and H.~van Dam), pp.~229--279, Academic Press,

2216: New York, 1965.

2217: %%

2218: \bibitem{Slater}

2219: L.~J.~Slater.

2220: \newblock {\em Generalized Hypergeometric Functions}. 

2221: \newblock Cambridge University Press, Cambridge, 1966.

2222: %%

2223: \bibitem{Stedman}

2224: G.~E.~Stedman.

2225: \newblock {\em A Diagram Technique in Group Theory}.

2226: \newblock Cambridge University Press, Cambridge, 1990.

2227: %%

2228: \bibitem{Sylvester}

2229: J.~J.~Sylvester.

2230: \newblock On an application of the new atomic theory to the graphical

2231: representation of the invariants and covariants of binary quantics,

2232: with three appendices.

2233: \newblock {\em  Amer.~J.~Math.}, vol.~1, pp.~64--125, 1878.

2234: %%

2235: \bibitem{Vessenes}

2236: R.~Vessenes.

2237: \newblock Generalized Foulkes conjecture and tableaux construction.

2238: \newblock {\em J.~of Algebra}, vol.~277, no.~2, pp.~579--614, 2004. 

2239: %%

2240: \bibitem{Weyman1}

2241: J.~Weyman.

2242: \newblock The equations of strata for binary forms.

2243: \newblock {\em J.~of Algebra}, vol.~122, pp.~244--249, 1989.

2244: %%

2245: \bibitem{Weyman2}

2246: J.~Weyman.

2247: \newblock On Hilbert functions of multiplicity ideals.

2248: \newblock {\em J.~of Algebra}, vol.~161, pp.~358--369, 1993.

2249: 

2250: \bibitem{Weyman3}

2251: J.~Weyman.

2252: \newblock Gordan ideals in the theory of binary forms.

2253: \newblock {\em J.~of Algebra}, vol.~161, pp.~370--391, 1993.

2254: %%

2255: \end{thebibliography}

2256: %%%%%%%%%%%%%%%%%%%%%%%%%%%%

2257: 

2258: \pagebreak 

2259: \parbox{6cm}{\small 

2260: {\sc Abdelmalek Abdesselam} \\ 

2261: Department of Mathematics\\

2262: University of British Columbia\\

2263: 1984 Mathematics Road \\

2264: Vancouver, BC V6T 1Z2 \\ Canada. \\ 

2265: {\tt abdessel@math.ubc.ca}} 

2266: \hfill 

2267: \parbox{5cm}{\small 

2268: LAGA, Institut Galil\'ee \\ CNRS UMR 7539\\

2269: Universit{\'e} Paris XIII\\

2270: 99 Avenue J.B. Cl{\'e}ment\\

2271: F93430 Villetaneuse \\ France.} 

2272: 

2273: \vspace{1.5cm} 

2274: 

2275: \parbox{6cm}{\small 

2276: {\sc Jaydeep Chipalkatti} \\ 

2277: Department of Mathematics\\

2278: University of Manitoba \\ 

2279: 433 Machray Hall \\ 

2280: Winnipeg MB R3T 2N2 \\ Canada. \\ 

2281: {\tt chipalka@cc.umanitoba.ca}}

2282: \end{document}

2283: 

2284:  

2285: 

2286: 

2287: 

2288: 

2289: