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

learn more… | top users | synonyms (1)

2
votes
0answers
66 views

Update on list of open problems for Cherednik/Symplectic Reflection Algebras

Background: There are two lists of open problems about Cherednik or Symplectic Reflection Algebras from 2007: Ian Gordon's Problems, Chapter 9 in Symplectic Reflection Algebras, and Ginzburg & ...
3
votes
1answer
57 views

$C^\infty$-vectors in general representations of Lie groups on locally convex spaces

This question is related to this one. Let $G$ be a real Lie group (I should emphasize I only care about ordinary Lie groups, not Lie groups modeled on locally convex spaces or anything like that). In ...
7
votes
1answer
191 views

If $G$ is compact, $H \leq G$ open, $V$ an irreducible $H$-rep, is $\text{Ind}_H^G$ semisimple?

Let $G$ be a compact group, $H$ a normal open subgroup, and $K$ a $p$-adic field (so that not all $G$-reps with coefficients in $K$ are semisimple). Let $V$ be a finite-dimensional topological ...
2
votes
0answers
66 views

$G$-invariant part of products of determinants of minors

Let $G = SL_n$; then for any tuple $\lambda$ such that $\sum \lambda_i = n$, define $f_\lambda(g)$ as the product of the determinants of successive minors of lengths $\lambda_i$ of $g$ (e.g. for ...
7
votes
0answers
140 views
+50

Hecke-module structure implicit in definition of automorphic forms in Borel-Jacquet's Corvallis article

Let $G$ be a connected reductive group over a number field $F$, $G_\infty=\prod_{v\mid\infty} G(F_v)$, $\mathbf{A}$ the adèles of $F$, $\mathbf{A}_f$ the finite adèles of $F$. Fix a maximal compact ...
1
vote
0answers
86 views

References for crystal bases and Demazure modules in representation theory

I was wondering what are some standard general references/books/survey articles about: (1) crystal bases, and string parameterizations and (2) Demazure modules, and Schubert varieties (containing ...
2
votes
2answers
164 views

Example of linearization for GIT

Take a vector space $V$ (finite dimensional, over the complex numbers), let $G=SL(V)$. The group $G$ acts on $\mathbb{P}V$ and we can linearize its action to an action on the line bundle ...
6
votes
1answer
147 views

Integrals of representations over geodesics

Let $G$ be a compact, connected Lie group and $\rho$ any of its irreducible, unitary representations. If $\gamma:S^1\to G$ is an injective homomorphism (a periodic geodesic passing through the ...
2
votes
1answer
85 views

Symmetric invariants of a Schur Module

Let $V\cong\mathbb C^n$ be a complex vector space of dimension $n$. Let $\lambda\in\mathbb Z^r$ be a generalized integer partition $\lambda_1\ge\cdots\ge\lambda_r$ with $r\le n$. Denote by $\mathbb ...
12
votes
0answers
222 views

Adams Operations on $K$-theory and $R(G)$

One of the slickest things to happen to topology was the proof of the Hopf invariant one using Adams operations in $K$-theory. The general idea is that the ring $K(X)$ admits operations $\psi^k$ that ...
-4
votes
1answer
58 views

How to find matrix representations of a boolean algebra? [closed]

Given a boolean algebra with a finite number of elements {a, b, c, ...}, and the usual operations: $\cup, \cap, \neg$. How to find matrix representations of the elements such that: boolean $\cup$ ...
0
votes
0answers
72 views

Is it possible to factor the tensor of two representations of a group $G$ through $G \otimes G$? [closed]

With direct sum there is a simple way to factor the representation through $G \oplus G$: $$ G \to G \oplus G \to GL(V \oplus W) $$ where the first map is the diagonal and the second is through the ...
4
votes
1answer
442 views

Is the Duflo polynomial conjecture open?

Let $G/K$ be a symmetric space. Let $\mathfrak{g}=\mathfrak{k}\oplus\mathfrak{p}$ be a Cartan decomposition, with the odd part $\mathfrak{p}$. It is well known that the algebra of invariant ...
6
votes
0answers
126 views

Sum over growing Young tableaux

Let $\lambda_0,\lambda_1,\lambda_2,\lambda_3,\ldots$ be a sequence of Young diagrams, such that each successive diagram is obtained from the prior by the addition of one box (don't forget that the row ...
9
votes
1answer
357 views

Vector bundles, Higgs bundles and the Langlands program

This question is somewhat vaguely structured. But, I hope someone can make it more precise (or) it is indeed possible to answer it in the form that I am stating it.  Background : I recently chanced ...
3
votes
0answers
100 views

Parshin's buildings for higher local fields

What is the status of the theory of buildings for higher local fields? I know that there are some papers of Parshin, in which he describes some examples, like $PGL_2$ and $PGL_3$ over ...
1
vote
1answer
67 views

Is it necessary for $\pi:H\to U(\mathcal{H}_{\pi})$ to be a homomorphism in order for $\text{ind}_H^G\pi$ to be weakly continuous?

Suppose $G$ is a locally compact group and $H$ is an open subgroup for simplicity. Further suppose $\pi$ is a representation of $H$ on some Hilbert space $\mathcal{H}_{\pi}$, i.e. $\pi(h)$ is unitary ...
3
votes
0answers
66 views

A canonical algebra of type $(2,2,r)$ is derived equivalent to a path algebra of type $\tilde{D}_{r+2}$ (references)

According to several articles I could find, a canonical algebra of type $(2,2,r)$ is derived equivalent to a path algebra of type $\tilde{D}_{r+2}$, where $r \geq 2$. I don't know how to obtain this ...
4
votes
1answer
211 views

Calculation with weights of $E_6$

Question: Consider the complex simple Lie group $E_6$. Let $\lambda_1$ and $\lambda_6$ be the fundamental weights defining the $27$-dimensional representation $V$ and $V^*$, resp. Consider the complex ...
1
vote
1answer
102 views

Fibers of the Bott-Samelson Resolution of Schubert Varieties

Is there an explicit (perhaps visual) description of the fibers of the Bott-Samelson Resolutions of Schubert Varieties? Let's fix $G$ to be $GL_n(\mathbb{C})$. Also, how would the answer to the ...
0
votes
0answers
92 views

Non-semisimple Lie algebra tensors

Let $\mathfrak{L}$ be a non-semisimple Lie algebra. Let $T_i$ be its generators. As usual, define the structure constants $C_{ij}^k$ by $[T_i,T_j]=C_{ij}^kT_k$ and the metric tensor $g_{jm}$ by ...
8
votes
0answers
129 views

Representations of orthogonal groups vs representations of reflection groups

Let $V$ be a finite dimensional inner product space and $O(V)$ the orthogonal group of $V$. Let $G$ be a (say, finite) reflection group on $V$, regarded as a subgroup of $O(V)$ ($G< O(V)$.) Let us ...
4
votes
0answers
91 views

Higman's Criterion

Higman's Criterion is a fundamental result in the representation theory of a finite group $G$ over a field $k$ of characteristic $p>0$. One version is the following (I hope the notation is standard ...
2
votes
1answer
458 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)$ ...
4
votes
2answers
389 views

What does Freed-Hopkins-Teleman say about finite groups?

The third in the "Loop groups and twisted K-theory" series by FHT treats compact Lie groups without any connectedness assumptions. I am trying to unwind what Theorem 2 of that paper (available here, ...
3
votes
0answers
119 views

Invariants of the symmetric group

Let $V_\lambda$ be an irreducible representation of the symmetric group $S_n$ as usual labeled by parition $\lambda$ of $n.$ Question. Is there any general information about the algebra of ...
5
votes
2answers
348 views

What is natural about the well-known bijection between conjugacy classes and irreps of a symmetric group?

Symmetric groups possess a well-known bijection between conjugacy classes and irreducible representations. More precisely, both sets are indexed by Young diagrams. Question: To what extent is this ...
5
votes
2answers
247 views

When is/isn't the monoidal unit compact projective?

I am interested in developing intuition for when the monoidal unit in a closed monoidal abelian category is or isn't compact projective. As such, my question is not looking for a yes/no answer, but ...
5
votes
0answers
164 views

Which L-functions are not “Langlands-Shahidi L-functions”?

The Langlands-Shahidi method, among other things, obtains certain L-functions from the constant term of Eisenstein series attached to so-called $(G,M)$ pairs, where $G$ is a reductive group, $M$ a ...
2
votes
0answers
109 views

Cohomology of Bott-Samelson varieties?

How is the cohomology of Bott-Samelson varieties (desingularizations of Schubert Varieties ) usually calculated? Let's fix the Lie group to be $GL_n(\mathbb{C})$ or $SL_n(\mathbb{C})$ here. Is there ...
9
votes
1answer
232 views

Decomposition of $\mathrm{O}(n)$-modules coming from differential geometry

Let $V$ be a $n$-dimensional real vector space equipped with a positively definite scalar product $g$ and let $\mathrm{O}(n)$ be the automorphism group of $(V,g)$. View $V^{\otimes k}$ as a ...
1
vote
2answers
341 views

Chinese Remainder Theorem backwards

I have the following situation, that is much alike the Chinese Remainder Theorem. Let $\phi_d(\alpha)$ be the $d^{th}$ cyclotomic polynomial in the variable $\alpha$ (I'm not specifying the ...
5
votes
1answer
168 views

Quadratic Casimir of fundamental irreps of simply-laced Lie algebras

I have the following question, motivated by the expression for the character of level 1 highest weight integrable representations of simply-laced affine algebras (in terms of the string function). It ...
5
votes
0answers
109 views

Generators for invariant tensors of lie algebras

EDITED FOR (hopeful) CLARITY: For a simple Lie algebra $\mathfrak{g}$ (over $\mathbb{C}$) and its adjoint group G, the $G$-invariant polynomials on $\mathfrak{g}$ are linear combinations of products ...
3
votes
1answer
163 views

Lie group GL(4) representation decomposition

Let $V$ be the defining representation of $GL(4,\mathbb C)\to GL(V)$ with $V=\mathbb{C}^4$. Let $Ext\;V$ be the exterior square of $V$ which is a 6-dim repsentation. My question: How does $$V\otimes ...
3
votes
1answer
64 views

Intersection of Maximal Left Ideals with Finite Dimensional Quotient

Let $\Gamma$ be a finitely generated group and let $A=\mathbb{C}[\Gamma]$ be the corresponding group algebra over $\mathbb{C}$. Let $X$ be the set of all maximal left ideals of $A$ and let $X_0=\{I ...
9
votes
1answer
227 views

Representation varieties of 3-manifold groups in SL(n,C)

I am looking at the variety of representations of the fundamental group of a hyperbolic 3-manifold into $SL(n,C)$: $$Hom(\pi_1M, SL(n,{\mathbb C}))$$ It is known that volume and Chern-Simons ...
2
votes
1answer
97 views

Invariants of polynomial algebras on infinite G-modules

Is there a reasonable characterization of the ring of $G$-invariants ($G$ - a finite dimensional simple Lie group) in the polynomial algebra on direct sum of infinite number of irreducible ...
3
votes
1answer
99 views

Is there a left-adjoint to the restriction of comodules?

If $f\colon C \to D$ is a homomorphism of coalgebras and $\rho\colon V \to V\otimes C$ is a $C$-comodule, then $(1\otimes f)\rho\colon V \to V\otimes D$ is the comodule restricted to $D$. In e.g. ...
2
votes
1answer
145 views

Computing tangent spaces of resolutions to Slodowy slices

This question is about (a special case of) the varieties discussed here: Does the preimage of the Slodowy slice in $T^*G/P$ have a name?. Let $G = SL_n(\mathbb{C}), \mathfrak{g} = ...
4
votes
2answers
198 views

What is the map from nodes of the E8 diagram to conjugacy classes in the binary icosahedral group?

Let $G \subset \mathrm{SL}_2(\mathbf{C}^2)$ be a finite subgroup isomorphic to the binary icosahedral group. Let $Y$ be the minimal resolution of $\mathbf{C}^2/G$. The irreducible components of the ...
5
votes
0answers
65 views

Contragredient via an involution?

So in reading about epsilon factors of pairs for $G=GL_n(F)$ over a local nonarchimedian field $F$, the following fact was used. If $\pi$ is an irreducible smooth (complex) $G$-representation, then ...
1
vote
1answer
115 views

classification of irreducible finite dimensional representation of affine hecke algebra of type A

Let $H_{n}$ be the affine Hecke algebra with parameter q, where q is not root of unity. The classification of irreducible finite dimensional representations has been given by Kazhdan-Lusztig in terms ...
2
votes
4answers
632 views

Are there natural examples of non-symmetric Frobenius algebras?

Symmetric Frobenius algebras arise everywhere, but the non-symmetric variety seem difficult to come by. Are there any natural examples/constructions that produce non-symmetric Frobenius algebras in ...
6
votes
1answer
117 views

About G-modules with good filtrations

Let $k$ be an algebraically closed field of positive characteristic, and let $G$ be a reductive algebraic group over $k$ (for instance a classical group). Let $V$ be a (rational) $G$-module. We say ...
9
votes
1answer
152 views

Fixed set of order p automorphism of Bruhat-Tits tree

I would like to know the structure of the fixed set of an order $p$ automorphism [Edit: induced by a matrix in $GL_2(K)$] on the Bruhat-Tits tree for a p-adic field $K$, specifically in the case where ...
3
votes
2answers
229 views

Algebraic Groups, Modules, and Comodules

Background: Let $H$ be a finitely generated commutative Hopf $k$-algebra, where $k$ is a field of non-zero characteristic. For $$ \widehat{H} := \text{Alg}_k\{H; k\}, $$ we recall (see Abe Chapter 4 ...
2
votes
1answer
169 views

R-linear representations of sl(2,C)

Is there some good reference for the classification of finite-dimensional ${\mathbb R}$-linear (as opposed to ${\mathbb C}$-linear) representations of $\mathfrak{sl}_2{\mathbb C}$? Equivalently, what ...
1
vote
2answers
240 views

A semisimple group ring

Let $n \in \mathbb{N}$, $p$ a prime number, and $G$ a finite group of order coprime to $p$. Let $R = \mathbb{Z} /p^n \mathbb{Z}$ be the ring of integers mod $p^n$. Must $R[G]$ be semisimple? As noted ...
1
vote
1answer
124 views

A Simple Bijective Proof Of Stanley's Hook-Content Formula for Hook Shapes

this is my first post on math overflow so I hope it goes well. I believe I have a fairly simple bijective proof for Stanley's Hook-Content Formula in the case of hook shapes. I wanted to see if ...