Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
547 views

Aut/Inn/Out Automorphism Groups of the unitary group $𝑈(𝑁)$

Given a group $G$, we denote the center Z$(G)$, we like to know the automorphism group Aut($G$), the outer automorphism Out($G$) and the inner automorphism Inn($G$). They form short exact sequences: $$...
wonderich's user avatar
  • 10.5k
8 votes
1 answer
513 views

Equivariant (co)homology of flag manifolds, convolution algebra and nil hecke algebra?

For a complex reductive group $G$ and its Borel subgroup $B$, it seems to be well-known that the equivariant homology group $H^G_*(G/B\times G/B)$ forms a nil-Heck algebra $$NH=\Bbbk[y_i,\partial_{j}]...
Cubic Bear's user avatar
8 votes
0 answers
285 views

Are the braid groups good in the sense of Toën?

In this question it is asked whether the mapping class groups are 'good' in relation to pro-finite completion. Helpfully, one of the answers gives a link to a proof that the braid groups are good ...
Patrick Elliott's user avatar
15 votes
1 answer
629 views

Characteristic classes of symmetric group $S_4$

For the symmetric group $S_3$, it is classically known that \begin{equation} H^*(S_3;\mathbb{Z})\cong \mathbb{Z}[x,y]/(2x,6y,x^2-3y), \end{equation} where $|x|=2$ and $|y|=4$. Moreover, $x$ can be ...
Bob's user avatar
  • 439
7 votes
1 answer
2k views

Automorphism group of the special unitary group $SU(N)$

Let us consider the automorphism group of the special unitary group $G=SU(N)$. We know there is an exact sequence: $$ 0 \to \text{Inn}(G) \to \text{Aut}(G) \to \text{Out}(G) \to 0. $$ For $G=SU(2)...
annie marie cœur's user avatar
9 votes
1 answer
308 views

Projective resolutions of finite-dimensional representations of infinite groups

Let $G$ be a group and let $V$ be a finite-dimensional complex representation of $G$. Question: Under what circumstances can I find a projective resolution $$ \cdots \longrightarrow P_3 \...
Joan's user avatar
  • 91
-2 votes
1 answer
516 views

no classification of nilpotent lie groups

there is no classification of (simply connected) nilpotent lie groups, but I am tempted to try to generalize the construction of the Heisenberg group. For an upper triangular matrix: $$ \left( \...
john mangual's user avatar
  • 22.8k
14 votes
1 answer
704 views

What is the first Pontryagin class of the $n$-dimensional representation of $S_n$?

The symmetric group $S_n$ has an $n$-dimensional defining representation, which splits as $n = (n-1) + 1$. Although this representation exists integrally, I would like to think of this as a real ...
Theo Johnson-Freyd's user avatar
14 votes
0 answers
414 views

Does the category of G-spectra know G?

I was recently in the situation of having access to the category of $G$-modules (for some group $G$ which I had forgotten), as just a category, i.e. no monoidal structure, together with the forgetful ...
Vivek Shende's user avatar
  • 8,723
4 votes
0 answers
135 views

Exotic 2-adic lifts of mod $2$ Steinberg idempotent

Denote $B_n$ the Borel subgroup of $Gl_n(Z/2)$, i.e., the subgroup of upper triangular matrices, $\Sigma _n$ the subgroup of permutation matrices. The (conjugate) Steinberg idempotent is defined to be ...
user43326's user avatar
  • 3,051
20 votes
3 answers
1k views

Center of a simply-connected simple compact Lie group and McKay correspondence

Let $G$ be a simply-connected simple compact Lie group. Its center $Z(G)$ is a finite abelian group, say $Z(G) = \mathbb Z/k\mathbb Z$ for $G=SU(k)$. I find the following interpretation of $Z(G)$ in ...
Hiraku Nakajima's user avatar
5 votes
1 answer
964 views

1D TQFT in Freed-Hopkins-Lurie-Teleman

In the first section of Freed-Hopkins-Lurie-Teleman they construct a one-dimensional Topological Quantum Field Theory. $F(\circ_+)$ is a vector space and $F(\circ_-)$ is the dual. $F(\circ-\circ)$ is ...
john mangual's user avatar
  • 22.8k
8 votes
2 answers
632 views

Are torus knot groups linear?

The fundamental group $T(p,q)$ of the complement of a $(p,q)$-torus knot (in $S^3$) admits the presentation $\langle a, b \mid a^p=b^q \rangle $. Is $T(p,q)$ linear, i.e., is there a faithful ...
user41793's user avatar
10 votes
2 answers
497 views

Equivariant cohomology of the complement to the arrangement $\bigcup_{i\neq j}\vec x_i = \vec x_j$?

$\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}\DeclareMathOperator\Conf{Conf}$Let $V=\mathbb{R}^d$ be a $d$-dimensional (Euclidean) vector space over real numbers. Let $G=\SO(V)$ be the ...
Anton Khoroshkin's user avatar
5 votes
2 answers
754 views

explicit linear representations of fundamental groups of surfaces

I am looking for an explicit representation of the fundamental group of a closed orientable surface of genus >1. I guess they should be abundant in degree 2. Did anyone see the explicit matrix ...
mathreader's user avatar
  • 1,050