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

learn more… | top users | synonyms (1)

3
votes
0answers
88 views

extending local systems on a neighbourhood

Let $Y$ an affine finite type scheme over an algebraically closed field $k$. Let $S$ be a closed subscheme of $Y$ and $Y'$ the henselization of $Y$ along $S$. If we have a $\mathbb{Z}_{\ell}$ local ...
1
vote
1answer
164 views

l-adic local system. on hensel schemes

Let $k$ be a field, $\ell$ a prime different from the characteristic. If I take $S$ a closed subscheme of $Y$, which is a $k$-scheme of finite type, is it true that any $\mathbb{Z}_{\ell}$-local ...
6
votes
0answers
119 views

Is there a finite test for isomorphisms of rigid monoidal abelian categories, part II

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 an additive tensor functor $Rep_G ...
1
vote
1answer
303 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 ...
12
votes
1answer
189 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
111 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 ...
9
votes
1answer
246 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
89 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 $M(\...
4
votes
2answers
278 views

odd length Chevalley relations (in rank two)

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
115 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
158 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
119 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
213 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 $\mathbb{Z}...
5
votes
1answer
134 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
154 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 \...
7
votes
2answers
235 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( \begin{array}{cc}...
1
vote
0answers
45 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 $2$,...
12
votes
1answer
149 views

An inequality for the minimal number of generators of a finite group

Let $G$ be a finite group, $n(G)$ the minimal number of generators and $m(G)$ the minimal number of irreducible complex representations generating (with $\otimes$ and $\oplus$) the left regular ...
9
votes
3answers
276 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
75 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
65 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
472 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
140 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 map''...
4
votes
1answer
343 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 ...
2
votes
1answer
125 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
215 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
98 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 S_n}...
3
votes
1answer
181 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 ...
10
votes
1answer
257 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
472 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
76 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
31 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
238 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
528 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 =\text{Hom}(\...
13
votes
2answers
506 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 \...
7
votes
1answer
148 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
118 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. \begin{...
7
votes
0answers
85 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
253 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 $...
4
votes
1answer
179 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
238 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
227 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 G\longrightarrow\...
5
votes
1answer
101 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\\ 1&...
0
votes
0answers
72 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 $qq$-...
5
votes
1answer
163 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
85 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 $W\subset\...
16
votes
5answers
556 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
261 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
108 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)$ ...
0
votes
0answers
99 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 K^{n\...