# Questions tagged [symplectic-group]

The symplectic-group tag has no usage guidance.

57
questions

1
vote

1
answer

141
views

### The canonical identification of the orthogonal symplectic group

$\DeclareMathOperator\Sp{Sp}$We have the identification of $\Sp(n) \cap O(2n,\mathbb{R})$ with $U(n, \mathbb{C})$, where
$$
\Sp(n)= \{A: A^T J A = J\}
\;\text{ with }\;J = \begin{bmatrix}
0_n & ...

7
votes

0
answers

48
views

### Expositions of symplectic reflection groups

We will work over $\mathbb{C}$.
Remember that a finite subgroup $G$ of $\operatorname{GL}_n(\mathbb{C})$ is called a complex reflection group if it is generated by complex reflections $r$, which are ...

4
votes

0
answers

80
views

### Pre-Symplectic Mapping

I have been studying symplectic integrators and their pre-symplectic extensions for dissipative systems. According to França, Jordan, and Vidal - On dissipative symplectic integration with ...

2
votes

0
answers

86
views

### Subrepresentation of a representation of $\text{Sp}(2n,\mathbb{R})$ spanned by specific elements

$\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\Sym{Sym}$Let $V = \mathbb{R}^{2n}$ be the standard representation of the symplectic group $\Sp(2n,\mathbb{R})$, and let $\{a_1,b_1,\dotsc,a_n,b_n\}$ be ...

1
vote

0
answers

53
views

### Maximal subgroups of classical groups

Let G be a finite symplectic group Sp(4, GF(2^n)).
Is the smallest maximal subgroup of G known for all integers n?

3
votes

1
answer

197
views

### Normalisers and stabilisers in classical groups $\operatorname{PGL}_{4}$

In $G=\operatorname{PGL}(4,5)$ there are two elementary abelian $2$-subgroups of order $16$ denoted by $E_{1}$ and $E_{2}$ with $N_{G}(E_{1})=E_{1}.\operatorname{Sp}(4,2)$ and $N_{G}(E_{2})=E_{2}.(2^{...

4
votes

1
answer

140
views

### CW structure for $\mathrm{BSp}(n,\mathbb{C})$ and $\mathrm{BPSp}(n,\mathbb{C})$ in degrees $4i$

$\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\PSp{PSp}\DeclareMathOperator\USp{USp}\DeclareMathOperator\BSp{BSp}\DeclareMathOperator\BUSp{BUSp}\DeclareMathOperator\BPSp{BPSp}$Let $\USp(n,\mathbb{C})...

5
votes

1
answer

226
views

### Motive associated to a cuspidal representation of $GSp_{4}$

In the paper by L.Clozel in this book (a French text), there is this conjecture (conjecture 4.5 p139)
Conjecture: Given $\pi$ an algebraic cuspidal representation of $Gl(n)$ of weight $w$ and denote ...

2
votes

0
answers

83
views

### Order of the symplectic group over $\mathbb{Z}/4\mathbb{Z}$ [duplicate]

Let $p$ be a prime number and $q$ some power of it. It is well-known that the order of the symplectic group $\text{Sp}_{2g}(\mathbb{F}_q)$ over the finite field $\mathbb{F}_q$ equals $q^{g^2}\prod_{i=...

1
vote

1
answer

348
views

### The principal congruence subgroup of the symplectic group over the integers

Consider the symplectic group $\text{Sp}_{2g}(\mathbb{Z})$ over the integers. It has a classical root system $C_g$ and associated root subgroups $U_\varphi$ for $\varphi\in C_g$. These subgroups are ...

2
votes

0
answers

193
views

### Errata in N. A'Campo's "Tresses, monodromie et le groupe symplectique"

There are many small mistakes in this article. A great amount of them are concentrated in Lemma 2.
The setup for this lemma is the following. Let $R$ be a commutative ring and $n=2g+1$ or $n=2g$ a ...

2
votes

1
answer

194
views

### When is the symplectic group over a commutative ring generated by its root subgroups and a maximal torus?

This is related to Symplectic group over $\mathbb{Z}/p\mathbb{Z}$ is generated by its root subgroups. There I was told that in general, the symplectic group $\text{Sp}_{2n}(R)$ is not generated by its ...

3
votes

1
answer

260
views

### Symplectic group over $\mathbb{Z}/p\mathbb{Z}$ is generated by its root subgroups

This is a question about the answer in this other post: Symplectic group over integers and finite fields.
In general, for any ring $R$, the symplectic group $\text{Sp}(2n,R)$ is generated by its root ...

2
votes

0
answers

131
views

### The number of orbits of a two-point stabilizer of the symplectic group $Sp(2m,2)$

I am trying to figure out the number of orbits of a two-point stabilizer of the action of $Sp(2m,2)$ on its two orbits $\Omega^+$ and $\Omega^-$ as detailed in Dixon and Mortimer's "Permutation ...

1
vote

0
answers

80
views

### Upper triangular similitude for symplectic matrices

It is known that given any matrix $M$ in $Sp(2,\mathbb{Z})$ with eigenvalue $+1$, we can find a real symplectic matrix $S$ such that $S^{-1}MS$ is upper triangular with diagonal entries equal to $+1$.
...

1
vote

0
answers

83
views

### Maslov cycle for the Conley-Zehnder index - what are its regular points?

I'm looking at the definition of the Conley-Zehnder index, where it is important to look at the group $$\text{Sp}(2n)^* := \{ A \in \text{Sp}(2n) | \det (A-\text{Id}) \neq 0 \}$$and its complement $$\...

3
votes

1
answer

282
views

### Showing the positivity of the determinant of $\mathfrak{sp}(n)$ without making use of diagonalization

Let $\mathfrak{sp}(n)$ be the lie algebra of compact symplectic group $\mathrm{SP}(n)$, regarded as a compact form of $\mathfrak{sp}(2n,\mathbb{C})$, so we can talk about its (complex) determinant.
...

4
votes

1
answer

182
views

### Is every $M\in \mathfrak{s}\mathfrak{p}_4(F)$ conjugate to an "upper triangular" matrix?

Let $F$ be a field and write $$\mathfrak{s}\mathfrak{p}_4(F)=\left\{\left(\begin{array}{cc} A & B \\ C & -A^T \\ \end{array}\right)\mid A,B,C\in M_2(F), B=B^T, C=C^T\right\}$$ for the ...

7
votes

2
answers

315
views

### Representations of $\operatorname{Sp}(2g,\mathbb{Z}_3)$

Let $V$ be a $2g$-dimensional vector space over $\mathbb{Z}_3 := \mathbb{Z}/3\mathbb{Z}$. First, $\operatorname{Sp}(2g,\mathbb{Z}_3)$ acts on $\Lambda^2(V)$, and this decomposition is reducible, as ...

8
votes

1
answer

313
views

### Subgroups of Sp(2g,Z) that map onto all Sp(2g,Z/m)

I stumbled into the following problem. I apologize for being a bit naive.
For $g\geq 3$, consider the group $\mathrm{Sp}(2g,\mathbb{Z})$ of symplectic square matrices of order $2g$ with integral ...

6
votes

0
answers

54
views

### Definition of modular Howe correspondence

Let $(G,G')$ be a pair of mutually centralized subgroups of a symplectic group $Sp_n(\mathbb{F}_q)$ (called a dual pair), and let $\omega_{G,G'}$ be the restriction of the Weil representation (with ...

9
votes

2
answers

743
views

### Bender-Knuth involutions for symplectic (King) tableaux

First let me recall the combinatorial theory of the characters of $\mathfrak{gl}_m$, a.k.a., Schur polynomials. For a partition $\lambda$, a semistandard Young tableaux of shape $\lambda$ is a filling ...

2
votes

1
answer

126
views

### Lifting one parameter subgroup $e^{t K}$ to the universal cover of $\mathrm{Sp}(2N,\mathbb{R})$

I would like to lift an arbitrary one-parameter subgroup $e^{t K}$ with $K\in\mathfrak{sp}(2N,\mathbb{R})$ to the universal cover $\widetilde{\mathrm{Sp}}(2N,\mathbb{R})$ (or at least its two-fold ...

6
votes

1
answer

123
views

### Paramodular newvectors and twists

In the book Local Newforms for GSp(4), Roberts and Schmidt have defined a theory of "new vectors" for smooth representations of $GSp_4$ over a nonarchimedean local field $F$ with trivial central ...

1
vote

1
answer

177
views

### On the number of involutions in some groups

How many involutions are there in $O_7(11)$ and $PSp_6(11)$ respectively? (Note that the sizes of the two groups mentioned here are the same.)

4
votes

0
answers

98
views

### $\mathrm{Sp}_n(q)$-conjugacy classes in $\mathrm{GL}_{2n}(q)$

The symplectic group $\mathrm{Sp}_n(q)$ acts on $\mathrm{GL}_{2n}(q)$ by conjugation. All the literature I have found concerning the orbits of action of this kind is "Unipotent conjugacy classes in ...

6
votes

2
answers

627
views

### Conjugacy classes of symplectic group $\mathrm{Sp}(4,q)$

$\DeclareMathOperator\Sp{Sp}$I was reading the famous paper of Bhama Srinivasan "The characters of the finite symplectic group $\Sp(4,q)$". An AMS link for the paper is here. $\Sp(4,q)$ is ...

1
vote

1
answer

213
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

1
answer

220
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,\...

20
votes

2
answers

1k
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

1
answer

223
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

1
answer

175
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

1
answer

288
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

0
answers

128
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 ...

2
votes

0
answers

1k
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 ...

7
votes

4
answers

594
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

0
answers

203
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 ...

15
votes

4
answers

1k
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 $...

7
votes

1
answer

376
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,{\...

4
votes

1
answer

139
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

1
answer

216
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 ...

5
votes

1
answer

2k
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

1
answer

240
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

0
answers

217
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

2
answers

363
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

1
answer

278
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

0
answers

89
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 ...

6
votes

1
answer

1k
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

1
answer

237
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 ...

3
votes

1
answer

1k
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$ ...