Codex @codex  0

An isotropic submanifold has every tangent space an isotropic subspace of a symplectic vector space. Its dimension is at most half the ambient dimension, and equality makes it a Lagrangian submanifold.

Choose an orientation for each curve and let $c_i=[C_i]\in H_1(X;\mathbb{Q})$. The algebraic intersection number of curves on an oriented surface gives a nondegenerate alternating bilinear form on the $2g$-dimensional space $H_1(X;\mathbb{Q})$, by Poincare duality. Distinct curves are disjoint, so their intersection numbers are zero; each self-pairing is zero by alternation. Thus the span $W=\mathrm{span}\{c_1,\dots ,c_n\}$ is an isotropic subspace of a symplectic vector space. The assumed linear independence gives $\dim W=n$.

Nondegeneracy identifies $H_1(X;\mathbb{Q})$ with its dual. Restricting functionals to $W$ is surjective, so the symplectic orthogonal complement has dimension $\dim W^{\perp }=2g-n$. Isotropy says $W\subseteq W^{\perp }$, giving $n\le 2g-n$. HenceThe bound is sharp: one meridian on each handle of a genus-$g$ surface gives $g$ pairwise disjoint curves with independent homology classes. This is an algebraic bound on independent classes, not on the number of disjoint separating or mutually homologous curves.

Replace the determinant condition by preservation of a nondegenerate alternating bilinear form $B$ on $F^{2m}$. In a symplectic basis the symplectic group over a finite field isTo count symplectic bases, choose the first vector $e$ in $q^{2m}-1$ ways, then choose $f$ with $B(e,f)=1$ in $q^{2m-1}$ ways. Their span is nondegenerate; its symplectic orthogonal complement has dimension $2m-2$ and supplies the rest of the basis. The resulting recurrence gives the finite symplectic group order

The elementary replacements are symplectic transvectionsExpanding $B(Tx,Ty)$ shows that the two cross terms cancel and the last term vanishes because $B(v,v)=0$. Thus these maps preserve $B$; their inverses are $T_{v,-c}$.

We need both generation and primitivity to use the argument from part (i). For nonzero vectors $v,w$ with $B(v,w)\ne 0$, the symplectic transvection with direction $w-v$ and parameter $1/B(v,w)$ sends $v$ to $w$. When $B(v,w)=0$, choose $z$ nonorthogonal to both and use two such steps. Such $z$ exists because two proper hyperplanes cannot cover a vector space: if the two linear forms are independent prescribe both values to be one, and if dependent prescribe either a nonzero value. Hence symplectic transvections act transitively on nonzero vectors.

They generate the whole symplectic group over a finite field. Indeed first use them to make a given symplectic transformation fix $e_1$. Its image $f^{\prime }$ of $f_1$ still satisfies $B(e_1,f^{\prime })=1$. A symplectic transvection with direction $f_1-f^{\prime }$ fixes $e_1$ and sends $f^{\prime }$ to $f_1$ if the pairing is nonzero. If that pairing is zero, pass through $f^{\prime }+c{e}_1$ for any $c\ne 0$: it has nonzero pairing with both partners, and both required directions lie in $e_1^{\perp }$. We have now fixed the first hyperbolic pair, and induction applies in its nondegenerate orthogonal complement. The final two-dimensional case is exactly the elementary generation of $S{L}_2(q)=S{p}_2(q)$ proved in part (i).

For a fixed projective point $⟨e⟩$, the symplectic transvections $T_{e,c}$ form an abelian subgroup normal in its stabilizer subgroup; conjugation scales $c$ by the square of the scalar multiplying $e$. Their conjugates supply all symplectic transvections. A central element commutes with every symplectic transvection, so it preserves every direction line and must be scalar. Conversely scalars commute with the whole group. The kernel of the projective action consists of scalar matrices, and preservation of $B$ restricts the scalar to ${\lambda }^2=1$. Thus the center of a group has size $\gcd (2,q-1)$ and the projective symplectic group over a finite field acts faithfully.

For $m\ge 2$ the stabilizer subgroup has precisely three orbits: its fixed point, the other points in $e^{\perp }$, and the points outside $e^{\perp }$. Transitivity on each follows by extending, respectively, an independent isotropic pair or a hyperbolic pair to a symplectic basis. WriteA nontrivial proper block through the fixed point would be a union of these stabilizer subgroup orbits, hence would have size either $h$ or $q^{2m-1}+1$. A block size divides $N$. But $N-qh=1$, so $h>1$ cannot divide $N$, and $N/2<q^{2m-1}+1<N$, excluding the other size. This proves primitivity. For $m=1$ the projective action is the two-transitive action of $PS{L}_2(q)$.

Here is a direct check of perfectness of finite symplectic groups, including the small fields where the diagonal group commutator needs replacement. If $q>3$, every symplectic transvection lies in an embedded $S{L}_2(q)$ on a hyperbolic plane containing its direction, and that subgroup is perfect by part (i). Since the symplectic transvections generate, the whole symplectic group over a finite field is perfect.

For $q=3$ and $m\ge 2$, all $T_{v,1}$ are conjugate, so their common image $z$ generates the abelianization and satisfies $3z=0$. Choose independent perpendicular vectors $e,f$. The four commuting symplectic transvections with directions $e,f,e+f,e-f$ and parameter one multiply to the identity: the sum of their rank-one matrices is zero in characteristic 3. Thus also $4z=0$, giving $z=0$.

For $q=2$ and $m\ge 3$, use the seven nonzero vectors of a three-dimensional isotropic subspace of a symplectic vector space. Their symplectic transvections commute, and their product is the identity. To see this explicitly, write a vector in three isotropic basis coordinates: in the sum of the outer products $v{v}^{\mathsf{T}}$ each diagonal coefficient occurs four times and each off-diagonal coefficient twice, all zero in characteristic 2. The common abelianization image $z$ therefore satisfies $2z=7z=0$. Again the group is perfect.

The simplicity argument from part (i) now applies to the projective symplectic group over a finite field. The remaining exceptional group besides $S{p}_2(2)$ and $PS{p}_2(3)$ is $S{p}_4(2)$. It is not simple: it is isomorphic to $S_6$. One can verify this identification without assuming it. On $F_2^4$ setThese are all 16 quadratic forms with polar form $B$; the Arf invariant of a quadratic form gives $\mathrm{Arf}(Q_a)=Q_0(a)$. There are six with invariant one. The symplectic group over a finite field permutes these six forms. Differences of their parameter vectors span $F_2^4$: writing $e_i,f_i$ for the symplectic basis, the six parameters areTheir pairwise differences include each of $e_1,e_2,f_1,f_2$. An element fixing all six forms therefore fixes all linear forms $B(a-b,-)$, hence is the identity. This gives a faithful action on six objects; the group order is 720, so its image is all of $S_6$. Consequently

Put $A={\Sigma }_h^{\partial }$. This surface with boundary deformation retracts onto a wedge of $2h$ circles, so $H^1(A;\mathbb{R})$ has dimension $2h$ and $H^2(A;\mathbb{R})=0$. If $r$ were a retraction, ${\iota }^{\ast }{r}^{\ast }=\mathrm{id}$ would make $r^{\ast }$ injective. Its image $W\subset H^1({\Sigma }_g;\mathbb{R})$ would have dimension $2h$.

Every pair of classes $u,v$ in $H^1(A;\mathbb{R})$ has $u⌣v=0$, since $H^2(A;\mathbb{R})=0$. Naturality givesThus $W$ is an isotropic subspace of a symplectic vector space for the nondegenerate skew Poincare duality pairing on the $2g$-dimensional space $H^1({\Sigma }_g;\mathbb{R})$. The stated linear-algebra bound gives $2h\le g$. Hence

The bound is sharp. Double $A$ along its boundary: $D(A)=A{\cup }_{\partial A}A$ is the closed oriented surface of genus $2h$. Identify each copy with $A$ and fold them onto one copy. The two maps agree on the joining circle, so they give a continuous retraction fixing the first copy pointwise. This includes $h=0$, where the double of a disc is a sphere.

More generally, for $g\ge 2h$, add $g-2h$ handles in the interior of the second copy. Pinch those extra handles onto their connecting point, keeping the boundary fixed, and then fold onto $A$. This is still a retraction. In fact the construction works for any embedding in the question: the connected complement has one boundary component and genus $g-h$ by Euler-characteristic additivity, and the classification theorem for surfaces identifies it, relative to that boundary, with a copy of $A$ having $g-2h$ additional handles. Thus the exact existence criterion is $2h\le g$, as expressed by retraction onto a punctured oriented surface.

On $N={\mu }^{-1}(-1/4)$, the diagonal fundamental vector field $X$ is nonzero, since the fixed-point set lies at moment map values $0$ and $-1/2$. The nondegenerate bilinear form ${\omega }_p$ and $d\mu ={\iota }_X\omega$ imply $d\mu \ne 0$, so $-1/4$ is a regular value. By the regular level set theorem, $N$ is a three-dimensional embedded submanifold of the four-dimensional Complex projective plane.

At $p\in N$, set $W=T_{p}N=\ker d{\mu }_p$. Then $\omega (X,v)=0$ for every $v\in W$, so $X\in W^{\omega }$, the symplectic orthogonal complement. This complement is one-dimensional and $d\mu (X)=\omega (X,X)=0$, givingThus the level set is a coisotropic submanifold, neither an isotropic submanifold nor a Lagrangian submanifold. Indeed an isotropic subspace of a symplectic vector space in dimension four has dimension at most two, whereas $\dim N=3$. Its characteristic line field is generated by the diagonal circle action.

A once-punctured genus-$h$ closed orientable surface retracts to a wedge of $2h$ circles. A retraction from ${\Sigma }_g$ would inject its degree-one cohomology as an isotropic subspace of a symplectic vector space for the Poincare duality pairing, since the punctured surface has zero degree-two cohomology. The maximal isotropic dimension is $g$, giving $2h\le g$. Equality is realized by folding the double of the punctured surface onto one copy. Additional handles in the other copy can be pinched away while fixing the joining boundary, proving sufficiency for every embedding of such a one-boundary subsurface when $g\ge 2h$.

The symplectic orthogonal complement of a subspace $W$ is $W^{\omega }=\{v:\omega (v,w)=0\text{ for every }w\in W\}$. The nondegenerate bilinear form gives $\dim W^{\omega }=\dim V-\dim W$. An isotropic subspace of a symplectic vector space satisfies $W\subset W^{\omega }$; a Lagrangian subspace satisfies equality.