Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [symplectic-group]

The tag has no usage guidance.

1
vote
1answer
77 views

Existence of symplectic basis

Let $R$ be a PID and $M$ a free, finite rank $R$-module with a perfect billinear form $\omega$ such that $\omega(v,v)=0$ for all $v \in M$. Does anyone know a reference for the fact that a symplectic ...
4
votes
1answer
123 views

Legendre's symbol in Schrödinger model for the Weil representation

I have a question concerning the Schrödinger model for the Weil representation over a finite field $\mathbb{F}_q$. The way to present the action of the Weil representation $\omega$ of $Sp(2n,\...
17
votes
2answers
614 views

The first unstable homotopy group of $Sp(n)$

Thanks to the fibrations \begin{align*} SO(n) \to SO(n+1) &\to S^n\\ SU(n) \to SU(n+1) &\to S^{2n+1}\\ Sp(n) \to Sp(n+1) &\to S^{4n+3} \end{align*} we know that \begin{align*} \pi_i(SO(...
4
votes
1answer
153 views

Are all these representations supercuspidal

Let $D$ a division quaternion algebra over a number field $F$, and consider $(V,q)$ be a $D$-hermitian space of $D$-dimension $2$, and introduce its group of isometries \begin{align*} \mathrm{GU}(V, q)...
1
vote
1answer
140 views

Invariant two form under symplectic group

Let $m,n\in\mathbb{N}$, $l$ be a prime number, let $J$ be the standard symplectic matrix $$J=\left[ \begin{array}[cc] \\0 & I_n \\ -I_n & 0\\ \end{array}\right]$$ Let $$\mathrm{Sp}(2n,\...
5
votes
1answer
208 views

A trace formula for $\mathrm{GSp(4)}$

The Arthur trace formula and its variations provide general results for reductive groups, however to the extent of my knowledge only few specific instances of the formula have been really worked out ...
2
votes
0answers
105 views

Do involutions always stabilize some transverse lagrangians?

Let $V$ be a vector space of dimension $2n\geq 4$ over a field $F$ of characteristic distinct from $2$. Assume that $V$ is equipped with a nondegenerate alternating form $b$. Let $Sp(V)$ denote the ...
0
votes
0answers
245 views

Group of symplectic matrices over the field of complex numbers

According to Wikipedia, there are two different definitions of a "complex symplectic matrix" $M\in\mathbb{C}^{2n\times 2n}$. I am interested in the relation between the groups that follow from those ...
6
votes
4answers
363 views

Zariski density of conjugates of $SL_2(\mathbb{Z})$ in $Sp_{2g}$

Let $Sp_2g$ be the symplectic group defined over $\mathbb{Q}$. Consider $SL_2(\mathbb{Z})$ as a subgroup of $Sp_{2g}(\mathbb{Z})$ (the embedding that I have in mind is $A\to \begin{pmatrix} A& 0\\...
1
vote
0answers
133 views

Explicit matrices of representation of symplectic group

I would like to obtain explicit matrices for the representations of the Symplectic group $Sp_2(Z)$. For a pair of weights $(a, b)$ I know that the highest weight representations are contained in the ...
14
votes
4answers
733 views

Subgroups of $SL_2(\mathbb R)$ which contain $SL_2(\mathbb Z)$ as a finite index subgroup

Let $G\subset \mathrm{SL}_2(\mathbb R)$ be a subgroup such that $\mathrm{SL}_2(\mathbb Z)\subset G$. What are the possible groups such that $\mathrm{SL}_2(\mathbb Z)\subset G$ is of finite index? Is $...
6
votes
0answers
234 views

Homology of symplectic groups in the unstable range

Let $Sp(2n,{\mathbb R})$ be the symplectic group and $H_3(Sp(2n,{\mathbb R});{\mathbb Z})$ its 3rd group homology (i.e., for the group with the discrete topology). It is known that $$H_3(Sp(2n,{\...
3
votes
1answer
101 views

Solution of the Yang-Baxter equation associated to the $U_q[osp(2n+2|2m)^{(2)}]$ Lie superalgebra

I have a solution (a $R$ matrix) of the Yang-Baxter equation, \begin{equation} R_{12}(x_{1})R_{13}(x_{1}x_{2})R_{23}(x_{2})=R_{23}(x_{2})R_{13}(x_{1}x_{2})R_{12}(x_{1}) \end{equation} that probably ...
3
votes
1answer
149 views

Generation of the symplectic by involutions

Let $G$ be a group. An involution is an element $g\in G$ such that $g^2=1$. Let $F$ be a field, $V$ an $F$-vector space and $b:V\times V \rightarrow F$ a nondegenerate alternating bilinear form. The ...
3
votes
1answer
313 views

Symplectic group over integers and finite fields

For $H=\left( \begin{smallmatrix} 0 & I_n \\ -I_n & 0 \end{smallmatrix} \right)$ and a commutative ring $F$, the symplectic group $Sp(2n,F)$ is the set of all matrices $M\in F^{2n\times 2n}$ ...
0
votes
1answer
106 views

Do tori in a symplectic group always have invariant maximal isotropic subspaces?

$\newcommand{\mbf}{\mathbf}$ Hi all, I've been thinking about the following question for a while now, and got a little stuck trying to solve it. Hopefully, someone here might be able to help. For ...
3
votes
0answers
147 views

Metaplectic groups over non-archimedean local fields of characteristic>2

Let $K$ be a non-archimedean local field of characteristic $>2$. Consider the double cover metaplectic extension of symplectic groups $p: Mp_{2n}(K)\rightarrow Sp_{2n}(...
2
votes
2answers
237 views

Symplectic form on the third symmetric power of a plane

Let $V$ a vector space of dimension $2$ over a field $k$ of characteristic different from $2$ and $3$. Let $S^{3}V$ the third symmetric power of $V$. How to construct a symplectic form on $S^{3}V$ ...
3
votes
1answer
186 views

Prescribed spherical representations, symplectic group $Sp(n)$

An irreducible representation $(\pi,V_\pi)$ of a compact group $G$ is called spherical with respect to the pair $(G,K)$, $K$ is closed subgroup of $G$, if $V_\pi$ has a non-zero vector invariant by $K$...
2
votes
0answers
76 views

explicit matrices for Weil ($p^2$ dimensional) representation of $Sp(4,\mathbb{F}_p)$, $p>3$

I am looking for more-or-less explicit matrices for the $p^2$ dimensional Weil representation of $Sp(4,\mathbb{F}_p)$, suitable for computer implementation. Ideally, I would like the images of the ...
5
votes
1answer
641 views

Structure of symplectic group over finite fields

We are working over the finite field $\mathbb{F}_{q}$ of odd prime characteristic $p$ and of cardinality $q$ some power of $p$. We recall the symplectic group $Sp(4,\mathbb{F}_{q})$ as the group of ...
7
votes
1answer
205 views

Exotic “non-linear” (but “almost linear”) automorphisms of symplectic vector space

Let $V$ be a vector space over a field $k$ equipped with a symplectic form $\omega$. Let $f:V \rightarrow V$ be a bijective set map such that the following hold. For all $v \in V$ and $c \in k$, we ...
2
votes
1answer
806 views

Symplectic block-diagonalization of a complex symmetric matrix

This is a follow-up question to the one asked here: Given a complex symmetric $2n\times2n$-matrix $A$, i.e., $A\in \mathbb{C}^{2n\times2n}$ with $A = A^T$. Is it possible, to block-diagonalize $A$ ...
4
votes
1answer
198 views

In H_2 of Sp(2g,Z), why does Meyer's signature cocycle give 4 times a generator?

Fix some $g \geq 2$, let $\Gamma_g$ be the mapping class group of a genus $g$ surface, and let $\pi : \Gamma_g \rightarrow Sp(2g,\mathbb{Z})$ be the projection. In Meyer, Werner Die Signatur von ...
13
votes
2answers
389 views

Bass's paper “Symplectic groups and modules”, used in proof of the congruence subgroup property for Sp

Let $R$ be the ring of integers in a number field. While studying the congruence subgroup property for $\text{Sp}_{2g}(R)$ in Bass, H.; Milnor, J.; Serre, J.-P. Solution of the congruence subgroup ...
0
votes
2answers
692 views

Is the metaplectic group not a matrix group - counterexample

Is the statement below false? "The metaplectic group Mp2(R) is not a matrix group: it has no faithful finite-dimensional representations." Possible "counterexample": Sp(2n,R) is a subgroup of O(4n,C)...
0
votes
1answer
421 views

$q_{S^*\omega}(X)=S^{\ast}q_{\omega}(X)$ ?

Definition: Let $(V,\Omega)$ be a symplectic vector space, we define $\perp:\Lambda ^k(V^*)\to\Lambda ^{k-2}(V^{\ast})$ by $\perp(\omega)=i_{X_{\Omega}}(\omega)$ here if $(e_1,e_2,...e_n,f_1,f_2,......
5
votes
3answers
605 views

Finding generators of matrix subgroups

I am particularly interested in Sp$(2n,\mathbb{Z})$, but I think an answer for a more general set of matrices would help. General question: Given a subgroup of a group of matrices, what tools or ...
6
votes
1answer
948 views

Symplectic groups $Sp_{2m}(2)$ as $2$-transitive permutation (i.e. Galois) groups

I am looking for information about the symplectic groups $Sp_{2m}(2)$ as permutation group acting on quadratic forms. Consider the block matrices $$e=\begin{pmatrix}0&1\\0&0\end{pmatrix}, \...
17
votes
4answers
2k views

Alternate and symmetric matrices

Greetings to all ! Let me first confess that this question was mentionned to me by Bernard Dacorogna, who doesn't sail on MO. Let $A\in M_{2n}(k)$ be an alternate matrix. Say that $A$ is non-...