Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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]$ ...
Jianrong Li's user avatar
  • 6,201
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 ...
Sasha's user avatar
  • 5,562
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 ...
user6818's user avatar
  • 1,893
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 ...
Karamba's user avatar
  • 23
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}$...
user avatar
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 $\...
user45766's user avatar
  • 165
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 &...
user45766's user avatar
  • 165
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 ...
Aleksa's user avatar
  • 741
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$ ...
Pierre MATSUMI's user avatar
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....
Puraṭci Vinnani's user avatar
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 ...
JYQ's user avatar
  • 105
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 ...
Chuck Hague's user avatar
  • 3,637
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? ...
Aleksa's user avatar
  • 741
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_\...
Vít Tuček's user avatar
  • 8,597
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$...
NN guest's user avatar
  • 127
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 (...
Din's user avatar
  • 103
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 $\...
user100824's user avatar
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 ...
Pierre's user avatar
  • 87
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$. ...
Bacem's user avatar
  • 1
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 ...
sife's user avatar
  • 491
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 ...
Acorn's user avatar
  • 101
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 ...
zhichengzhang's user avatar
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}(\...
AmorFati's user avatar
  • 1,379
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 ...
mi.f.zh's user avatar
  • 159
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 ...
Tian An's user avatar
  • 3,799
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 $\...
prochet's user avatar
  • 3,472
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)$...
Dr. Evil's user avatar
  • 2,751
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}=\...
prochet's user avatar
  • 3,472
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 ...
Mike Crumley's user avatar
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$." ...
yingjin bi's user avatar
-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 ...
user8617's user avatar
-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,...
Mark's user avatar
  • 95

1
12 13 14 15
16