I am a little bit confused with the definition of an unramified unitary group.


Let $F$ be a local field of characteristic zero whose residue field is finite field of characteristic $p$.


Then for a connected reductive group $G$ defined over $F$, recall that $G$ is unramified if it is quasi-split and split over maximal unramified extension of $F$.


Let $E/F$ be an unramified quadratic field extension and $V$ is a hermitian space over $E$. Then unitary group $U(V)$ which is a subgroup of $GL\_E$ perserving hermitian form of $V$.


Then I am wondering whether $U(V)$ is unramified reductive group. If not, what conditions ensures $U(V)$ unramified?


Any comments will be highly appreciated.



What condition makes unitary reductive group unramified?
As Mikhail Borovoi explained in a comment, the question reduces to "when is a unitary group over a non-Archimedean local field quasi-split"? The answer does not distinguish between ramified or unramified separable quadratic extensions.


Let $E/F$ be a separable quadratic extension of non-Archimedean local fields. Isomorphism classes of pairs $(V,h)$ where $V$ is a finite-dimensional vector space over $E$ and $h$ is a non-degenerate hermitian form on $V$ are classified by $(\dim V, \mathrm{disc}(h))$ where $\mathrm{disc} (h) = \det H \mod N\_{E/F}(E^{\times})$ with $H$ the matrix of $h$ in some basis of $V$ over $E$. This is the analogue of the classification of quadratic forms (see Jacobson, A note on hermitian forms <https://projecteuclid.org/euclid.bams/1183502551> ). In positive dimension every discriminant in $F^{\times} / N\_{E/F}(E^{\times}) = \mathbb{Z} / 2 \mathbb{Z}$ occurs.


As Mikhail Borovoi pointed out, in odd dimension these two forms $h\_1,h\_2$ have the same unitary group, in fact $h\_2 \simeq \lambda h\_1$ where $\lambda \in F^{\times} \smallsetminus N\_{E/F}(E^{\times})$.


In even dimension only one of the two forms gives rise to a quasi-split unitary group, i.e. Mikhail Borovoi's counterexample generalizes to arbitrary even dimension (although in even dimension greater than 2 the group is not anisotropic). There are probably several ways to see this. For example you can show that Borel subgroups of $U(V,h)$ defined over $F$ correspond bijectively to flags $V\_1 \subset \dots \subset V\_n$ where $\dim\_E V = 2n$, $\dim\_E V\_1 = 1$, $\dim\_E V\_{i+1}/V\_i = 1$ for $1 \leq i \leq n-1$, and $V\_n$ is totally isotropic. Or you can argue by taking Galois cohomology of the short exact sequence of algebraic groups over $F$ (for the étale topology)
$$ U(1) \rightarrow U(V,h) \rightarrow PSU(V,h) $$
and using $H^2(F, U(1)) = 0$ (a consequence of Tate-Nakayama) and the fact that the only inner form of a quasi-split group that is also quasi-split is the trivial one, which follows from the existence of a pinning defined over $F$.


In fact all of this can be understood in the context of Galois cohomology of reductive groups. For example the classification of hermitian forms is essentially equivalent to the Hasse principle (vanishing of $H^1$ of a special unitary group).


