Linear representations of algebras and groups, Lie theory, associative algebras, multilinear algebra.

learn more… | top users | synonyms (1)

1
vote
1answer
147 views

Reference request for an introduction to deformation theory in algebraic geometry

I'd like some introductory references for deformation theory in algebraic geometry. I'm interested in survey articles too but I primarily want references which give all the definitions and go through ...
11
votes
1answer
134 views

Is there a finite test for isomorphisms of rigid monoidal abelian categories?

Let $G$ be a semisimple algebraic group. (I'm already interested in the case $G=SL_2$.) Let $\mathcal C$ be a semisimple rigid monoidal abelian category endowed with pair of exact tensor functors ...
1
vote
0answers
90 views

Conjugacy scheme, fppf versus GIT

I would be glad to have some guidance in the following. Let $k$ be an algebraically closed field. Let $G$ be a connected reductive group over $k$. Denote by $\mathfrak{c}$ the Zariski spectrum of the ...
7
votes
1answer
162 views

Invariants and stablizers for the $PGL(V)$ action on $End(V\otimes V)$

Let $K$ be a field of characteristic zero, and $V$ a finite dimensional vector space over $K$. Consider the action of the algebraic group $G:=PGL(V)$ on the vector space $W:=End_K(V^{\otimes 2})$ by ...
6
votes
0answers
62 views

Subquotients of Jantzen Filtration for Kac-Moody algebras

Let $\mathfrak{g}$ be a complex symmetrizable Kac-Moody algebra, with triangular decomposition $\mathfrak{n}^- \oplus \mathfrak{h} \oplus \mathfrak{n}^+$. Let $\lambda \in \mathfrak{h}^*$, and ...
1
vote
1answer
124 views

odd length Chevalley relations

The unipotent radicals $\text{N}$ of the Borel subgroups of the complex algebraic groups of type $A_2$, $B_2$, and $G_2$ can each be abstractly presented using two one-parameter subgroups $x_1, x_2: ...
5
votes
1answer
95 views

Does a $G$-structure on $M$ automatically descend to a contact $G$-structure on $\mathbb{P}T^*M$?

If $M$ is a real smooth manifold of dimension $n+1$, by $D\in\mathbb{P}T^*M$ I mean a tangent hyperplane at some point of $M$. I denote by $b$ the canonical projection of the $(2n+1)$-dimensional ...
4
votes
0answers
133 views

Representation theory and associated bundles

I am looking for a text or set of notes that discusses the relationship between the representation theory of Lie groups and associated vector bundles, preferably using modern categorical language. For ...
6
votes
0answers
98 views

Local character expansion for discrete series representations of $GL_n(F)$

I'm interested about what, if anything, is known about the local character expansion of discrete-series representations of $GL_n(F)$, where $F$ is a $p$-adic field. First, some notation: let $G$ be a ...
6
votes
1answer
192 views

How do I determine a real matrix form for a group representation?

Hello mathoverflow community, I am a little stucked working on my master thesis. For a representation on $\mathbb{Z}_p\ltimes\mathbb{Z}_p^*$ induced from the additive character $\chi$ of ...
0
votes
0answers
127 views

Equivariant Cohomology questions [closed]

Hello I am a beginner to Cohomology theory. I have the following question and I don't know if it will fit into Mathoverflow. Let $X$ be a (smooth) projective variety on which a finite group $G$ acts ...
4
votes
1answer
103 views

Bott-Samelson construction of a perfect Morse function on G/T

An undergraduate student of mine is interested in writing a "senior" thesis on the topology of Lie groups. Let $G$ be a simply connected compact Lie group and $T$ a maximal torus. One way of ...
3
votes
1answer
142 views

Existence of $SO(n)$-isotropic inner products which are not $O(n)$-isotropic

$\newcommand{\al}{\alpha}$ Let $M_n$ be the space of $n \times n$ real matrices. Question: For which $n$, is there an inner product on $M_n$ which satisfies: $$(*) \, \, \langle Q^TXQ,Q^TYQ ...
16
votes
2answers
517 views

Technical issue in the approach to Lie groups taken in Brian C. Hall's book

I'm teaching Lie groups and Lie Algebras out of Brian C. Hall's book, which I've enjoyed using. I'm confused about a technical hitch though that I'm not sure how to avoid. The approach taken in this ...
7
votes
2answers
200 views

What kind of geometric object is the Pauli spin matrix vector $\vec{\sigma} = (\sigma_1, \sigma_2, \sigma_3)$?

Physicists routinely wrote all 3 Pauli spin matrices as a vector. $$ \sigma_1 = \left( \begin{array}{cc} 0 & 1 \\ 1 & 0\end{array} \right) \hspace{0.25in} \sigma_2 = \left( ...
1
vote
0answers
41 views

Extra-Lorentzian Kac-Moody algebras

My question is about Kac-Moody (KM) algebras of finite rank with symmetrized Cartan matrices $B = C A$ ($A$ is Cartan matrix) of signatures $(-,-,+,...,+)$, $(-,-,-,+,...,+)$, etc. i.e. with ...
9
votes
3answers
231 views

Construct discrete series of SL(2,R) as kernel of twisted Dirac operators

I’m studying the paper of (Baum-Connes-Higson, ex 4.25), and I would like to give an explicit computation for the Connes-Kasparov conjecture for SL(2,R). The idea is that each non-trivial ...
0
votes
0answers
69 views

the linear span of all matrix coefficients is $C(G,\mathbb{C})$ where $G$ is a finite group

Theorem. Let $\{(R_{\alpha},V_{\alpha})\}$ be a complete set of inequivalent irreducible finite dimensional representations of a finite group $G$. Let $V_{R_{\alpha}}$ be the subspace generated by all ...
3
votes
0answers
50 views

Computing Springer action on the homology of affine Springer fibers

Lusztig defined (in Sec. 5, also Sage) a Springer action of the affine Weyl group on the homology of affine Springer fibers (Iwahori one, i.e. in an affine flag variety). In the regular semisimple ...
11
votes
1answer
402 views

Plugging $1-x$ into Schur polynomials

I have a symmetric Laurent polynomial $f$ in $k$ variables expressed as a linear combination of Schur polynomials. I'd like to know what happens when I make the substitution $p(x_1,\ldots,x_k)\mapsto ...
6
votes
0answers
122 views

An analogue of Deligne--Lusztig theory for real groups?

I am considering the following analogue of Deligne--Lusztig theory: Take e.g. $G=GL_n(\mathbb{C})$, and let $F$ be the complex conjugate, then we have $G^F=GL_n(\mathbb{R})$. Consider the ``Lang ...
4
votes
1answer
311 views

Birch's conjecture from Representation Theory

Birch has a conjecture about which automorphic forms on $PGL(2)$ are the lifts from nonsplit $O(3)$. Temporarily ignore global issues, and focus on the local nonarchimedian picture. The automorphic ...
0
votes
0answers
45 views

How to compute $t_0$ and $r^0$ in Belavin-Drinfeld's classification of solutions of classical Yang-Baxter equations?

I tried to understand Belavin-Drinfeld's classification of solutions of classical Yang-Baxter equations. In the book a guide to quantum groups, on page 83, there is an example of solutions of the ...
3
votes
1answer
168 views

Affine analog of the theory of sheets

In the study of adjoint orbits in a complex semi-simple lie algebra, there is a well known object known as a "sheet". These are the irreducible components of the union of orbits of the same dimension. ...
3
votes
1answer
81 views

Weingarten function for unitary group

Studying integration over unitary group I came across this function, the Weingarten function Wg, such that $$ \int_{\mathcal{U}(N)} \prod_{k=1}^{n} U_{i_kj_k} U^*_{m_k r_k} dU=\sum_{\tau,\sigma\in ...
3
votes
1answer
116 views

Must normalizing field outer automorphisms “divide” the dimension?

Imprecise question: To get a normalizing field outer automorphism of order $r$, must we multiply the dimension by $r$? Precise hypothesis: Let $p\geqslant 5$ be a prime, let $q$ be a power of $p$ and ...
9
votes
1answer
229 views

Invariant ring of $S_5$

The irreducible representations of the Symmetric group $S_5$ are classified by the partitions of $5$. For the standard representation which corresponds to the partition (4,1) the ring of invariants is ...
4
votes
1answer
399 views

What are local spaces and what are they good for?

Factorization structures have been popular in the past decade. Recently a variant of this structure has been suggested by Ivan Mirkovic (and possibly collaborators). This variant, which goes under the ...
4
votes
0answers
69 views

Generalization of a 1D unitary representation

Probably a very naive question, but I'd be grateful for any input. Consider 1D representations of finite group $G$: $\chi(g) \chi(h) = \chi(g h)$ with $\chi(g)\in \text{U}(1)$, and $\chi(1)=1$. The ...
0
votes
0answers
24 views

A class of unimodular parametrization

Is there a parametrization of set of matrices $\mathcal M\subseteq\Bbb Z[x_1,\dots,x_{m}]^{n\times n}$ such that $\forall f:\{-1,+1\}^{m}\rightarrow\{-1,+1\}$ $\exists M\in\mathcal M$ such that ...
5
votes
0answers
228 views

Sporadic and Exceptional

I have been reading this recent paper of J.McKay and YH. He (they've written a number of papers recently, including a fun and joking one on 42 which overflow commented on) called "Sporadic and ...
8
votes
2answers
448 views

Interpret Fourier transform as limit of Fourier series

Let $V=\mathbb{R}^n$, $\Lambda_r=2\pi r \mathbb{Z}^n \subset V (r>0)$ a lattice; $V^*\cong\mathbb{R}^n$ the dual vector space of $V$, and $\Lambda_r^*=\frac{1}{2\pi r} \mathbb{Z}^n ...
12
votes
2answers
394 views

Is the Steinberg representation always irreducible?

Let $\mathbb{F}$ be a field. The Tits building for $\text{SL}_n(\mathbb{F})$, denoted $T_n(\mathbb{F})$, is the simplicial complex whose $k$-simplices are flags $$0 \subsetneq V_0 \subsetneq \cdots ...
6
votes
1answer
123 views

The positive cone of the standard representation of a Von Neumann algebra

Let $A$ be a von Neumann algebra, let $L^2(A)$ be the underlying Hilbert space of the standard form of $A$, and $P \subset L^2(A)$ the canonical positive cone (see for example this paper by Haagerup). ...
1
vote
1answer
86 views

Questions about Sklyanin bracket

For every classical r-matrix $r$, there is a Poisson bracket called Sklyanin bracket associated to $r$. It is defined in (3.3) of page 5 in (http://arxiv.org/pdf/1101.0015v2.pdf) as follows. ...
7
votes
0answers
79 views

Degree of GL(n,C) irreducible representations for Young diagrams with less than r rows

Let $\mathsf Y_{N,r}$ be the set of all Young diagrams with $N$ boxes and no more than $r$ rows. Let $d_y$ be the degree of the irreducible representation of GL(n) corresponding to the Young diagram ...
8
votes
2answers
224 views

Irreducible reps and characters of $G \rtimes A$

Is there a theorem which classifies irreducible representations of semi-direct product of finite groups $G \rtimes A$, where $A$ is a finite abelian group and hence write down the character table for ...
3
votes
1answer
152 views

Finite-dimensional representations of DAHA

It is shown by Berest-Etingof-Ginzburg that there exist finite-dimensional irreducible representations of rational Cherednik algebra $H_c(S_n)$ of $A_{n-1}$ type if and only if the deformation ...
10
votes
2answers
226 views

Can one describe the multiplication of two Bruhat cells?

For $G$ a simple linear algebraic group and $B$ a fixed Borel subgroup, we have the Bruhat decomposition $G = \coprod_{w \in W} B\dot{w}B$, where $W$ is the Weyl group and $\dot{w}$ is any ...
2
votes
1answer
213 views

Is there a link between $H_2(G,\mathbb{Z})$, the Schur Multiplier of a group, and the “other” Schur multipliers of a group?

The name for the the following 2 mathematical objects: $$H_2(G,\mathbb{Z})$$ and $$\{K:G\times G\longrightarrow\mathbb{C}\ |\ \forall T\in B(l^2(G))\text{we have that}~S:G\times ...
5
votes
1answer
89 views

Reference request: normalization of intertwining operators for GL(2, C)

Take $F$ a local field and $\chi_1, \chi_2$ two characters, write $M(\chi_1, \chi_2)$ for the standard intertwining integral $$M(\chi_1. \chi_2).f(g) := \int_{F} f\left( \begin{pmatrix} 0&-1\\ ...
0
votes
0answers
57 views

Relation between quantum affine algebras and W-algebras

In the paper, there is a concept $qq$-characters for W-algebras $W_{q_1,q_2}$. The usual $q$-character is defined for quantum affine algebra in the paper. A $q$-character can be obtained from a ...
5
votes
1answer
116 views

The action of $GL_{\infty}$ on the infinite wedge space

This is a question from the book "Highest weight representations of infinite dimensional Lie algebras, 2nd ed" by V. G. Kac, A. K. Raina, and N. Rozhkovskaya. Consider the following objects: the ...
3
votes
0answers
70 views

Shifts in the decomposition of Bott-Samelson bimodules

Let $k$ be an algebraically closed field of characteristic $0$, let $V=k^n$ be a $k$ vector space of dimension $n$, and let $R=k[V]$ be the ring of polynomial functions on $V$. Suppose that ...
16
votes
5answers
521 views

Is there a formula for the Frobenius-Schur indicator of a rep of a Lie group?

Let $G$ be a simple algebraic group group over $\mathbb C$. Let $V$ be a self-dual representation of $G$. Let $\lambda$ be the highest weight of $V$. Write $\lambda$ as a sum of fundamental weights: ...
7
votes
1answer
237 views

Ring of invariants for the regular representation

The symmetric group $S_n$ acts on $\mathbb C^n$ by permuting the coordinates. In this case the ring of invariants is generated by elementary symmetric polynomials in n-variables. Now consider the ...
3
votes
0answers
97 views

The left regular representation of the Jacobi groups over local fields of characteristic >2 is type I?

Let $K$ be a non-archimedean local field of characteristic $>2$. Consider the Jacobi group $G=H_{2n+1}(K)\rtimes Sp_{2n}(K)$, which is the semidirect product of the Heisenberg group $H_{2n+1}(K)$ ...
1
vote
0answers
88 views

Functional composition of Hadamard product

Let $\Bbb K$ be a ring. Are there universal functions $$f,h:\Bbb K^{n\times n}\times\Bbb K^{n\times n}\times\Bbb K^{n\times n}\times\Bbb K^{n\times n}\rightarrow\Bbb K^{n\times n}$$ $$g:\Bbb ...
14
votes
2answers
453 views

factorization of the regular representation of the symmetric group

Let $\mathbb{C}[S_n]$ be the regular representation of the symmetric group $S_n$, and let $\mathbb{C}^n$ be the vector representation. Question: Does there exist a representation $V$ (of dimension ...
3
votes
0answers
92 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 ...