All Questions
Tagged with rt.representation-theory ag.algebraic-geometry
782 questions
1
vote
0
answers
218
views
How to check that an ideal of $\mathbb{C}[GL_n]$ is a coideal or not?
Let $I$ be an ideal of $\mathbb{C}[GL_n]$. Are there effective methods or software to check whether $I$ is a coideal or not? Thank you very much.
For example, let I be the ideal of $\mathbb{C}[GL_3]$ ...
1
vote
0
answers
166
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 ...
1
vote
0
answers
203
views
How generic are Cayley graphs of non-Abelian groups with logarithmic girth?
Given a non-Abelian group $G$ I want to choose a symmetric generating set $S \subset G$ such that $Cay(G,S)$ has girth logarithmic in the size of the set. I want to know,
For which $G$ can the ...
1
vote
0
answers
106
views
G-Invariant Complete Intersection generated by G-representation
I have a smooth manifold $M$ with $G$-action and complete intersection of codimension $n$ given by ideal $I$ such that $gI=I$. I'm interested when I can choose a $n$-dimensional vector space of ...
1
vote
2
answers
360
views
When representation of two different coadjoint orbits are equivalent?
Let $G$ be a compact connected Lie group and $\mu:T\to S^1$ be a representation of a maximal torus $T \subset G$ and $\lambda=d\mu$ be a weight for some $\lambda\in\mathfrak{t}^*$ (where $\mathfrak{t}$...
1
vote
0
answers
284
views
Tilting object in derived category
I was wondering about something concerning tilting objects... Suppose we are given a split algebraic torus $G=\mathbb{G}^n_m$, that is a linearly reductive group with no semisimple part, and let $\...
1
vote
0
answers
119
views
global dimension II
Suppose we are given finite dimensional semisimple $k$-algebras $A_1,..., A_r$. now we consider the matrix algebra$A=\begin{pmatrix}
A_1 & M_{1,2} & \dots & M_{1,r} \\
0 & A_2 &...
1
vote
0
answers
358
views
Derived category of representations
Suppose we are given an algebraic group $G$ (linearly reductive). Let $D^b(Repr(G))$ be the bounded derived category of finite dimensional algebraic representations of $G$. I am intressted in tilting ...
1
vote
0
answers
554
views
Local System and Gauss-Manin connection
Fix a complex manifold $X$. Then if we have a line bundle $L=\mathcal{O}(D)$ together with Gauss-Manin connection $\nabla: L \rightarrow L \otimes \Omega^{1}_X$, we get the locally constant sheaf $F$ ...
1
vote
0
answers
168
views
Reference request for equivariant cohomology (of affine Grassmanians)
I was wondering what good references there are for equivariant cohomology.
Specifically, I am working through the computation of $\text{H}^{\bullet}_{G(\mathcal{O})}(\text{Gr}_G)$ in http://arxiv....
1
vote
0
answers
142
views
Relationship between stabilizers of a general point and a boundary point
Let $V$ be an n-dimensional complex vector space, and $u\in S^nV$ be a polynomial, $G(u)$ be the stabilizer of $u$ in $GL(V)$. Let $[v]\in\overline{GL(V)\cdot[u]}\subset\mathbb{P}(S^nV)$, but $v\notin ...
1
vote
0
answers
409
views
Pushforward of equivariant bundles via the Frobenius morphism
Let $G$ be a semisimple algebraic group over an algebraically closed field of positive characteristic $p$ and let $B \subseteq G$ be a Borel subgroup. Set $X := G/B$, the flag variety of $G$. Also let ...
0
votes
1
answer
197
views
number of simple representations
For a linearly reductive Group $G$ over a field $k$ one has that the category of finite dimensional representations of $G$ is semisimple. What can one say about the number of simple representations? ...
0
votes
2
answers
448
views
real orbits of highest weight vectors
Let $G_\mathbb{C}$ be a complex simple Lie group and let $V_\lambda$ be its finite dimensional irreducible representation with highest weight $\lambda$. Define $\mathcal{H}\_{\mathbb{C}} \subset V_\...
0
votes
1
answer
131
views
spectrum of an induced algebra
Let $G$ be a reductive group defined over an algebraically closed field $k$ and $B$ be a fixed Borel subgroup of $G$. Suppose $X=Spec(R)$ is an affine scheme with $B$ rationally acting on it; hence $B$...
0
votes
1
answer
105
views
About the connection between repellents and attractors under a $\mathbb{C}^{*}$ action on a projective variety
Let $X$ be a smooth projective variety with an action of $\mathbb{C}^{*}$. Let us suppose that the set $X^{\mathbb{C}^{*}}$ is finite. For $x \in X^{\mathbb{C}^{*}}$, let $A_{x}$ denote the attractor (...
0
votes
2
answers
211
views
Can one reconstruct a diagonalisable endomorphism from its action on the exterior algebra?
Let $K$ be a field. Let $V$ be a finite-dimensional $K$-vector space; and let $f$ be an automorphism of $V$. Assume that $f$ is diagonalisable over some extension of $K$. Form the exterior algebra $\...
0
votes
1
answer
455
views
Iwasawa theory for Mazur's deformation ring R
The ideal class group $\mathrm{Cl}({\cal O}_K)$ and Mazur's deformation ring $R(\overline{\rho})$ for a number field $K$ are said to be similar to each other.
Let ${\Bbb Q}_{\infty}$ be the unique ...
0
votes
1
answer
172
views
$I/N$ is finitely presented module
Let $R$ be a commutative ring and $N = Nil(R)$ the set of its nilpotent elements. Suppose that $N$ is a divided prime ideal, i.e. for any ideal $I$ of $R$ either $I \subseteq N$ or $N \subseteq I$.
...
0
votes
1
answer
160
views
subgroups of a $p$-solvable group and complete reducibility
1.
Let $G$ be a $p$-solvable group and $V$ be a finite dimensional
faithful $kG$-module, where the characteristic of $k$ is $p$. But
$V$ is not a semisimple $kG$-module. For every $n\geq 0$, we ...
0
votes
0
answers
97
views
Weight space decomposition of smooth representation of complex algebraic torus
Question: Let $T=(\mathbb{C}^{*})^{n}$ and $\pi:\mathcal{E}\to \mathbb{C}^{n}$ a smooth complex $T$-equivariant vector bundle (i.e. $\pi$ is $T$-equivariant and $T$ acts on the fibers linearly). The ...
0
votes
0
answers
82
views
The closure of the orbits of $\mathcal{F} \times \mathcal{F}$
Let $V$ be a finite-dimensional vector space over an algebraically closed field $F$, and $\dim V=d$. Let $G=GL(V)$, $P$ is the parabolic subgroup of $G$. Let $\mathcal{F}$ be the set of all partial ...
0
votes
0
answers
228
views
How do I detect whether a representation is (or is not) the adjoint representation?
Let $(\mathfrak{g},[\cdot,\cdot])$ be a Lie algebra. There is a God-given representation of $\mathfrak{g}$, namely, the adjoint representation $\operatorname{ad} : \mathfrak{g} \to \operatorname{Der}(\...
0
votes
0
answers
294
views
Reference: Irreducible components of the Steinberg variety are conormal bundles
The (partial) Springer resolution is defined as a map $\mu: T^*\mathcal{F} \to \mathcal{N}$, where $\mathcal{F}$ is the partial flag variety consisting of $n$-step partial flags of $\mathbb{C}^d$, and ...
0
votes
0
answers
197
views
'Adelic torus' not arising from a rational torus
Let $G$ be a reductive group over a global field $F$, and $\gamma$ a strongly regular semi-simple element of $G(F)$. Then the centralizer $G_\gamma$ is defines an $F$-torus $T$, and hence by base ...
0
votes
0
answers
346
views
on the Springer sheaf
Let $\pi:\tilde{\mathfrak{g}}\rightarrow \mathfrak{g}$, be the Grothendieck-Springer resolution, where $\mathfrak{g}$ is a semisimple Lie algebra over $\mathbb{C}$.
We know that $\pi$ is small thus $\...
0
votes
0
answers
283
views
Normalizer of non-split tori
Let $\mathbb{G}$ be a connected reductive group over $\mathbb{C}$. Let $G:=\mathbb{G}(\mathbb{C}(\!(t)\!))$. Let $T$ be a maximal torus in $G$.
Question: What do we know about the normalizer $N_G(T)$...
0
votes
0
answers
109
views
solve the singularities of parabolic orbits of schubert cells
Let G a semsisimple connect'ed group over $k$, $B$ a Borel and $P$ a parabolic subgroup of $G$ with Weyl group W_{P}.
For $w\in W_{P}\backslash W/W_{P}$, how can we solve the singularities of $X_{w}=\...
0
votes
0
answers
217
views
References needed for representation theory of certain unipotent algebraic groups in characteristic zero
Due to my preoccupation with characteristic p > 0 representation theory of algebraic groups, I am quite ignorant of some basic facts pertaining to their characteristic zero theory, mostly concerning ...
0
votes
0
answers
240
views
Orbits of Infinite Grassmannian
"Any $L^+G$-orbit in Gr is known to be an orbit of the form Oλ for some λ ∈ $X_*(T)$, and Oλ = Oμ iff λ and μ are conjugate by W and the orbits form a finite stratification of each of the $Gr_i$."
...
-1
votes
1
answer
789
views
irreducible subgroup of SL(n,R)
Suppose a subgroup of SL(n,R) is irreducible; i.e. R^n contains no proper invariant real subspaces except {0}. Then is it irreducible as a subgroup of SL(n,C)? i.e. Does C^n contain no proper ...
-1
votes
1
answer
230
views
proj of an Algebra [closed]
Let $\mathbb Z_2= \langle\sigma\rangle$ act on $\mathbb C^6$ by $(x_1,x_2,x_3,x_4,x_5,x_6)=-(x_6,x_5,x_3,x_4,x_2,x_1)$. Then what is $\operatorname{Proj}\left(\left(\frac{\mathbb C[x_1,x_2,x_3,x_4,x_5,...