Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 39304

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

9 votes

Descent a representation over finite field

As stated, there is a non-semisimple counterexample: take $G$ to be the additive group $\mathbb{F}_q$ with a unipotent representation $\rho(a)=\left(\begin{matrix}1 & a\\ 0 & 1\end{matrix}\right)$. It …
SashaP's user avatar
  • 7,377
6 votes
2 answers
331 views

Multiplication in universal enveloping algebra in terms of PBW isomorphism

Let $\mathfrak g$ be a Lie algebra. Consider the multiplication map $m:\mathfrak g\otimes U(\mathfrak g)\to U(\mathfrak g)$ and $i:S(\mathfrak g)\to U(\mathfrak g)$ -- Poincare-Birkhoff-Witt isomorphi …
SashaP's user avatar
  • 7,377
5 votes
1 answer
479 views

Isomorphism classes of sheaves which arise as extensions

Let $X$ be a proper(say, smooth) variety and $E,F$ are coherent sheaves on it. Extensions of $E$ by $F$ are parametrised by a finite-dimensional vector space $\mathrm{Ext}^1(E,F)$. I am intersted in t …
SashaP's user avatar
  • 7,377
9 votes
Accepted

Multiplicativity twisted Hochschild Kostant Rosenberg isomorphism

I am far from being expert in this subject, but I will try to present my understading of there this multiplicativity comes from. I wiil refer to authors you mention but only to the parts which I hope …
SashaP's user avatar
  • 7,377
5 votes
Accepted

Harish-Chandra isomorphism for characteristic $p$

In the previous lines it is proven that $U(T)^W$ is integral over $\gamma(Z^{\mathcal G})$. Since $U(T)^W\subset Frac(U(T)^W)=Frac(\gamma(Z^{\mathcal G}))$ the equality follows from $\gamma(Z^{\mathca …
SashaP's user avatar
  • 7,377
6 votes
Accepted

Cohomological interpretation of G-equivariant line bundles

See Theorem 4.2.2 in https://www-fourier.ujf-grenoble.fr/~mbrion/lin.pdf In particular, in your example properness of $X=G/B$ simplifies the left part of the sequence, turning it into $$0\to \hat{G} …
SashaP's user avatar
  • 7,377
14 votes
0 answers
883 views

Local proof of Grothendieck-Riemann-Roch theorem

There is a theorem by Feigin and Tsygan(Theorem 1.3.3 here) which they call "Riemann-Roch" theorem. Given a smooth morphism $f:S\to N$ of relative dimension $n$ and a vector bundle $E/S$ of rank $k$ i …
SashaP's user avatar
  • 7,377