Skip to main content

All Questions

Filter by
Sorted by
Tagged with
9 votes
1 answer
825 views

Forms of ${\rm SL}(2)$

I know all real forms of ${\rm SL}(2,{\Bbb C}$). They are ${\rm SL}(2,{\Bbb R})$ and ${\rm SU}(2)$. Moreover, ${\rm SL}(2,{\Bbb R})$ is isomorphic to ${\rm SU}(1,1)$. Thus I can say that all real ...
Mikhail Borovoi's user avatar
9 votes
1 answer
371 views

For which subgroups the transfer map kills a given element of a group?

$\newcommand{\ab}{{\rm ab}} \newcommand{\ord}{{\rm ord}} $Let $G$ be a finite or profinite group. Consider the abelianized group $$G^\ab=G/G'$$ where $G'$ is the commutator subgroup of $G$. Let $H\...
Mikhail Borovoi's user avatar
7 votes
2 answers
917 views

Is this exact sequence known?

$\newcommand{\Tors}{{\rm Tors}} \newcommand{\tf}{{\rm\, t.f.}} \newcommand{\Gt}{{\Gamma\!,\,\Tors}} \newcommand{\Gtf}{{\Gamma\!,\tf}} \newcommand{\Q}{{\mathbb Q}} \newcommand{\Z}{{\mathbb Z}} \...
Mikhail Borovoi's user avatar
7 votes
2 answers
995 views

Non-abelian Ext functor and non-abelian $H^2$

Let $G$ be a group and $$0\rightarrow K\rightarrow M\rightarrow N\rightarrow 0$$ a short exact sequence of groups. Now these are abelian groups, if I want to show that $\text{Hom}(G,M)\rightarrow \...
curious math guy's user avatar
6 votes
2 answers
366 views

Twisted forms with real points of a real Grassmannian

Let $X={\rm Gr}_{n,k,{\Bbb R}}$ denote the Grassmannian of $k$-dimensional subspaces in ${\Bbb R}^n$. We regard $X$ as an ${\Bbb R}$-variety with the set of complex points $X({\Bbb C})={\rm Gr}_{n,k,{\...
Mikhail Borovoi's user avatar
6 votes
2 answers
270 views

Group homology for a metacyclic group

Let $G$ be a finite group, and let $M$ be a finitely generated $G$-module, that is, a finitely generated abelian group on which $G$ acts. We work with the first homology group $$ H_1(G,M).$$ For any ...
Mikhail Borovoi's user avatar
6 votes
1 answer
179 views

Restriction vs. multiplication by $n$ in Tate cohomology

$\DeclareMathOperator{\Res}{Res} \DeclareMathOperator{\Cor}{Cor}$ This question was asked in MSE. It got no answers or comments, and so I post it here. Let $H$ be a subgroup of a finite group $G$, and ...
Mikhail Borovoi's user avatar
6 votes
1 answer
284 views

Classification of algebraic groups of the types $^1\! A_{n-1}$ and $^2\! A_{n-1}$

This seemingly elementary question was asked in Mathematics StackExchange.com: https://math.stackexchange.com/q/4779592/37763. It got upvotes, but no answers or comments, and so I ask it here. Let $G$ ...
Mikhail Borovoi's user avatar
6 votes
2 answers
353 views

The Tits classes of simply connected simple real groups

Let $G$ be a simply connected semisimple group over a perfect field $k$ (at the moment I am interested in the case $k=\mathbb R$). Then $G$ is an inner form of a quasi-split $k$-group $G_{\rm qs}$: ...
Mikhail Borovoi's user avatar
5 votes
2 answers
341 views

Non-commuting elements of finite orders in a reductive group over a p-adic field

Let $k$ be a $p$-adic field and $G$ be a connected non-abelian reductive algebraic group over $k$. I am asking for a proof of the following lemma: Lemma. Assuming that $p$ is "good" for $G$,...
Mikhail Borovoi's user avatar
5 votes
1 answer
618 views

Non-vanishing of the Tate-Shafarevich kernel in group cohomology

Let $G$ be a finite group. Let $M$ be a finite $G$-module (a finite abelian group with an action of $G$). We consider a special kind of $G$-modules; in particular, our $M$ is a finite dimensional ...
Mikhail Borovoi's user avatar
4 votes
0 answers
63 views

Possible questions about the Tate-Shafarevich subgroup of a Galois hypercohomology group?

$\newcommand{\wt}{\widetilde}$ Let $n=1,2$. There are infinite torsion abelian groups $H^1$, $H^2$ killed by some natural number $m$. There are finite subgroups $$ {\rm Sha}^1 \subset H^1,\quad ...
Mikhail Borovoi's user avatar
4 votes
0 answers
119 views

Neutral cohomology classes and restriction maps for $H^2$ in group cohomology

$\DeclareMathOperator\res{res}$ Let $G$ be a profinite group. Let $A$ be a finite $G$-group (a finite group on which $G$ acts continuously), not necessarily abelian, with center $Z=Z(A)$. We say that ...
Mikhail Borovoi's user avatar
4 votes
1 answer
238 views

No lifts in an exact sequence of profinite groups?

In pg. 24 of his book on Galois cohomology, Serre gives the following exercise: "Give an example of an extension $1 \to P \to E \to G \to 1$ of profinite groups with the following properties: (i) $...
user avatar
3 votes
1 answer
301 views

The torsion subgroup of the coinvariants for a $G$-module

Let $G$ be a finite group and $M$ be a finitely generated $G$-module, that is, a finitely generated abelian group on which $G$ acts. Consider the functor $$ (G,M)\rightsquigarrow F(G,M):= (M_G)_{\rm ...
Mikhail Borovoi's user avatar
3 votes
1 answer
201 views

Globalising tori and weak approximation

Let $G$ be a semi-simple and simply connected reductive group over $\mathbb{Q}$ and let $T \subset G_{\mathbb{Q}_p}$ be a maximal torus. A classical result of Harder tells us that we can find a ...
Pol van Hoften's user avatar
3 votes
1 answer
222 views

Real automorphisms of the "quaternionic" real group ${\rm SO}^*(4m)$

Let $m\ge 2$, and let $G={\rm SO}^*(4m)$ denote the "quaternionic" real form of the special orthogonal group ${\rm SO}(4m,\mathbb C)$ of type ${\sf D}_{2m}$. Let $\tau\in{\rm Aut}_{\Bbb R}(G)$ be a ...
Mikhail Borovoi's user avatar
3 votes
0 answers
127 views

explicit zero 2-cocycle

Let $G$ be a group which acts linearly on a vector space of dimension $n$ over a field $k$. Denote by $\rho$ this representation and consider the associated adjoint representation $Ad\rho$ which is ...
JWM's user avatar
  • 183
2 votes
1 answer
585 views

Additive form of Hilbert 90 for schemes?

First, I am by no means well-versed on cohomology so I apologize if this is too elementary. I have been going through some basics of etale cohomology, with my ultimate goal being an understanding of ...
Randall's user avatar
  • 801
1 vote
1 answer
211 views

Notation for the restriction map in Galois cohomology

My coauthors and I are writing a paper based on MO questions and answers: Friedrich Knop's answer, my answer 1 and my answer 2. For a linear algebraic group $G$ over a perfect field $k$, I consider a ...
Mikhail Borovoi's user avatar