All Questions
Tagged with rt.representation-theory ag.algebraic-geometry
307 questions with no upvoted or accepted answers
24
votes
0
answers
730
views
What is the status of a result of Kontsevich and Rosenberg?
In their influential paper Noncommutative Smooth Spaces (https://arxiv.org/abs/math/9812158), Kontsevich and Rosenberg define the notion of a noncommutative projective space. In Section 3.3 they ...
- 331
17
votes
0
answers
402
views
Number of $F_p$-matrices ac=ca, bd = db , ad - da = cb - bc is polynomial in p ? ("Manin matrix variety" - normal ? Cohen–Macaulay ? )
Consider four $n\times n$ matrices $a,b,c,d$ over finite field $F_q$ (or $F_p$ for simplicity), such that they satisfy three equations: $ac=ca,bd=db, ad-da=cb-bc $. Thus an affine algebraic manifold ...
- 24.9k
17
votes
0
answers
1k
views
Symmetries of local systems on the punctured sphere
Let $X=S^2\setminus D$, for $D\subset S^2$ some finite set of points, say with $|D|=n\geq 1$. The category of locally constant sheaves of $\mathbb{C}$-vector spaces on $X$ (equivalently, complex ...
- 23k
17
votes
0
answers
704
views
When is the determinant an $8$-th power?
I am working over $\mathbb{R}$ (though most of the story goes over any field). I am looking for linear spaces of matrices such that the restriction of the determinant to this spaces can be written (...
- 7,300
16
votes
0
answers
530
views
Comparing the Kazhdan-Lusztig and Steinberg pre-orders
Both Kazhdan-Lusztig and Steinberg have defined pairs of preorders on $S_n$. Kazhdan and Lusztig's preorders come from their basis:
We write $x\leq_L y$ if any left ideal spanned by K-L basis ...
- 44.7k
16
votes
0
answers
605
views
Division fields of abelian varieties over function fields
Let $k$ be a finitely generated field (for example a finite field or a number field) and $K/k$ a finitely generated regular extension with $trdeg(K/k)=1$. Let $A/K$ be a principally polarized abelian ...
- 1,673
15
votes
0
answers
541
views
Applications of character sheaves
There are many important recent works (for example, by Lusztig, Bezrukavnikov-Finkelberg-Ostrik, Ben-Zvi-Nadler, Boyarchenko-Drinfeld, Lusztig-Yun, Vilonen-Xue) on character sheaves (which are certain ...
- 2,964
14
votes
0
answers
891
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 ...
- 7,377
13
votes
0
answers
2k
views
Calculation-free proof of the Weyl Integral formula for U(n)
The Weyl integral formula states that if $f$ is a class function on $U(n),$ $T$ is the torus of diagonal matrices in $U(n)$, and $dU(n)$ and $dT$ are the standard Haar measures on $U(n)$ and $T,$ then:...
- 28.1k
13
votes
0
answers
943
views
Beilinson-Bernstein localization in positive characteristic
This is a follow-up to this question; in particular, I'm wondering if anyone can expand upon the interesting answers given by Kevin McGerty and David Ben-Zvi there. (In particular, in this question I'...
- 3,637
12
votes
0
answers
388
views
Perverse sheaves and representation theory
At my university we are having a working group on perverse sheaves, with the aim of applying them to representation theory (Lusztig canonical bases for quivers/quantum groups etc). We are still ...
- 1,061
12
votes
0
answers
555
views
Representation theory of finite groups with additional structures
Let $H$ be a finite group, representation theory of $H$ over $\Bbb C$ essentially determines $\operatorname{Hom}(H,GL_n(\Bbb C))$ up to conjugation action of $GL_n(\Bbb C)$ for each $n$. If we replace ...
- 6,622
12
votes
0
answers
273
views
Has Kac's conjecture (*), from "Infinite root systems, representations of graphs and invariant theory", been proved?
Let $k$ be an algebraically closed field of characteristic zero, $V$ a finite dimensional $k$ vector space, $V^{\ast}$ the dual space, and $G$ an algebraic subgroup of $GL(V)$. Let $V_0$ be the points ...
- 156k
12
votes
0
answers
216
views
Failure of surjectivity in Hotta-Springer specialization: examples for special unipotents?
Last weekend's workshop on Springer theory and its generalizations at UMass demonstrated how far the subject has expanded over four decades, but the original set-up for the Springer correspondence ...
- 52.9k
12
votes
0
answers
343
views
Hodge Decompositions and Gamma Factors of Hasse--Weil L-Functions
Let $X$ be a projective variety over a number field $K$. If $\mathfrak{p}\unlhd\mathcal{O}_K$ is a prime ideal we can regard the Euler factor of its $m$th Hasse-Weil $L$-Function at $\mathfrak{p}$ as ...
- 643
12
votes
0
answers
2k
views
Recommendation textbooks on D-module
I am going to take part in a seminar on D-modules and applications, the textbooks that will be used are : D-modules, Perverse Sheaves, and Representation Theory, A Primer of Algebraic D-Modules
...
11
votes
0
answers
436
views
A rather strange algebra
Let $k$ be an algebraic closed field of zero characteristic and $X$ an affine smooth variety, with $A=\mathcal{O}(X)$ the algebra of regular functions and $\mathcal{V}$ the Lie algebra of vector ...
- 3,318
11
votes
0
answers
451
views
Semistability of tensor products under automorphisms of tensored vector spaces
Let $A,B,C,D,E,F$ be vector spaces over a field.
Let $x\in A \otimes B \otimes C$ and $y \in D \otimes E \otimes F$ be tensors that are semistable with respect to the natural actions of $\text{SL}(A) ...
- 148k
10
votes
0
answers
436
views
Commuting matrix variety $[A,B]=0$ - can one geometrically explain divisibility of $F_ q$ point count by high powers of $q$?
$\DeclareMathOperator\Comm{Comm}\DeclareMathOperator\Id{Id}$Consider the variety $\Comm$ of commuting matrices $[A,B]=0$ over some field $K$. It is much studied, and interesting for various reasons.
...
- 24.9k
10
votes
0
answers
343
views
What are the analogs of a Levi/Parabolic/Borel/Bruhat over the field with 1 element?
This is inevitably an imprecise question, but there are already several questions like this on the site so I thought i'd try anyway.
If I understand correctly, for any reductive algebraic group $G$ ...
- 7,789
10
votes
0
answers
264
views
Is there a classification of differential equations over the field of fractions of formal power series? (characteristic 0)
Let $k$ be an algebraically closed field of characteristic 0. Consider the field of fractions of formal power series $K:= Frac(k[[T_1,...,T_n]])$. We have the corresponding algebra of differential ...
- 7,789
10
votes
0
answers
450
views
Vanishing theorems in algebraic geometry and representation theory
Garland proved vanishing theorems for the cohomology of a discrete subgroup with coefficients in a finite dimensional complex representation. As I understand it, Casselman reproved them using the ...
10
votes
0
answers
653
views
On cyclic homology of Ginzburg's DG algebra
Let $(Q,W)$ be a quiver with potential, and $D$ be Ginzburg's DG algebra associated to it (as explained in http://arxiv.org/abs/math/0612139 and other places), so that it is a 3-Calabi-Yau algebra. I ...
- 6,123
10
votes
0
answers
881
views
Invariance of Euler characteristic under base change for sheaf cohomology of flag varieties
BACKGROUND:
Over an algebraically closed field of arbitrary characteristic, most of the basic structure theory of affine (= linear) algebraic groups can be developed concretely without quoting ...
- 52.9k
9
votes
0
answers
256
views
Intersection of Springer fibre and Schubert cell
Let us consider intersections of Springer fibres and Schubert cells in type A.
Let $ Y : \mathbb C^n \rightarrow \mathbb C^n $ be a nilpotent operator. Let
$$
F_Y = \{ V_0 = 0 \subset V_1 \subset \...
- 4,612
9
votes
0
answers
247
views
Degree of a cone over the set of rank $r$ $n\times n$ matrices
Let $X_r\subset Mat_{n\times n}(C)$ denote the variety of rank at most $r$ matrices, set $k=n-r$ and assume $n\geq k^2-1$. Consider the cone over $X_r$ with vertex spanned by the first $k^2-1$ entries ...
- 835
9
votes
0
answers
389
views
Twisted Springer fibers
In the study of certain moduli spaces of $p$-divisible groups I came across the following twisted version of a Springer fiber, and I was wondering whether some expert on algebraic groups/algebraic ...
- 1,645
9
votes
0
answers
543
views
Status of Borho and Brylinski's irreducibility conjectures?
In Differential Operators on Homogeneous Spaces, III, Section 6.7, Borho and Brylinski make a long series of equivalent conjectures which they show are all equivalent. Perhaps the easiest statement ...
- 44.7k
9
votes
0
answers
668
views
Role of nontrivial component groups in Springer Correspondence?
Set-up for classical Springer Correspondence:
$G$ = reductive group (usually assumed to be semisimple of adjoint type) over $\mathbb{C}$, with Borel subgroup and
maximal torus $B \supset T$, Weyl ...
- 52.9k
8
votes
0
answers
388
views
Character stack and character variety
Let $\Sigma$ be a Riemann surface of genus $g$. We can consider two different type of objects associated to it parametrising representations of its fundamental groups. On one side we have the ...
- 1,061
8
votes
0
answers
150
views
Equivariant coherent sheaf category for unipotent group actions
Suppose $U$ is a complex algebraic unipotent group. Let $X$ be a projective variety with a $U$-action. For simplicity, we may assume that there are only finite many $U$ orbits on $X$. The primary ...
- 163
8
votes
0
answers
1k
views
Ramified Geometric Langlands
Is the following a reasonable formulation of (a part of) the geometric Langlands conjecture for $\mathrm{GL}_n$ over a curve $X$?
(*) Let $\mathcal{L}$ be an irreducible rank $n$ $\ell$-adic local ...
- 2,751
8
votes
0
answers
173
views
On constructible Hall algebra and instantons
I heard in a talk by Yan Soibelman that by starting with a quiver $Q$ with a set of vertices $I$ we can either symmetrize or anti-symmetrize its Euler-Ringel form $\chi_Q$. He claims that anti-...
- 661
8
votes
0
answers
372
views
$p$-adic representations of the fundamental group of a smooth proper curve over a finite field
This question is very general. Let $C$ be a smooth and proper curve over a finite field ${\bf F}_p$. Are there any general results or conjectures on continuous non abelian representations
$$
\pi_1(C)\...
- 3,076
8
votes
0
answers
636
views
Chern Classes of Exterior Products of a vector bundle.
This is mostly a question in combinatorics. Is there a clean way in terms of determinantal identities to write down $c(\wedge^k V)$ i.e. the individual summands in terms of the individual summands of $...
- 327
8
votes
1
answer
382
views
Action of the endomorphism monoid on an irreducible GL-module
Let $G=\mathrm{Gl}_n(\mathbb C)$ and $V$ an irreducible $G$-module on which $G$ acts polynomially. In other words, the algebraic group action of $G$ on the affine space $V$ extends to an algebraic ...
- 4,902
7
votes
0
answers
1k
views
What's the point of geometric representation theory?
Please forgive the provocative title, what I mean is the following:
One can find representations of Lie algebras in geometric settings, the most famous being the Bott–Borel–Weil theory. However, ...
- 157
7
votes
0
answers
259
views
Status of the Luna's conjecture
In the famous IHES paper <Variétés Sphériques de Type A> of D. Luna, he proposed a conjecture asserting that wonderful varieties of an adjoint semisimple group $G$ are bijective to spherical ...
- 291
7
votes
0
answers
250
views
$D(\mathcal{O}(n))$ via generators and relations
Let $V$ be a complex vector space. Consider the algebra $D(\mathbb{P}(V),\mathcal{O}(n)))$ of global differential operators from line bundle $\mathcal{O}(n)$ to itself, here $n \in \mathbb{Z}_{\...
- 143
7
votes
0
answers
237
views
$X$ with $H^*(X)=$affine Verma module?
Let $\mathfrak{g}$ be a finite dimensional simple Lie algebra over $\mathbf{C}$, and $\widehat{\mathfrak{g}}_\kappa$ the associated affine Lie algebra. It is the central extension of the loop algebra $...
- 5,701
7
votes
0
answers
261
views
Explicit form of raising and lowering operators in spherical gl(n) DAHA
I am working with polynomial representations of spherical subalgebra of double affine Hecke algebra (DAHA) for $\mathfrak{gl}_n$.
Let's call this algebra $\mathfrak{A}_n$ for short. Typically we think ...
- 765
7
votes
0
answers
597
views
Reference for shtuka and trace formula
I really want to learn the work of Laurent Lafforgue and the joint work of Zhiwei Yun and Wei Zhang. They both involve shtuka and trace formula, which I only know the basic idea. So I would like to ...
- 409
7
votes
0
answers
428
views
Monodromy group from semisimple local system is reductive
Let $X$ be a smooth projective variety over $\mathbb{C}$. Let $\rho: \pi_1(X,x)\rightarrow Gl(n,\mathbb{C})$ be a semisimple representation of fundamental group of $X$. The monodromy group $M(\rho, x)$...
- 1,081
7
votes
0
answers
642
views
Automorphisms of semistable $G$-bundles
Let $X$ be a projective smooth curve over an algebraically closed field $\mathbb k$ of any characteristic. Let also $G$ be a reductive group over $\mathbb k$. (Probably) following Ramanathan, a $G$-...
- 790
7
votes
0
answers
602
views
What's the relationship between the different versions of the BBD decomposition theorem?
I have a few questions relating to the BBD decomposition theorem.
I have come across the following two versions of the decomposition theorem.
Version 1. Let $f : X \to Y$ be a proper map of ...
7
votes
0
answers
1k
views
Torsors and twists of algebraic groups
Let $G/S$ be an affine group scheme. Then the automorphism group of every $G$-torsor over $S$ is a twist of $G$, but it this functor isn't essentially surjective in general (It may be not full nor ...
- 4,484
7
votes
0
answers
315
views
What is known about the locus of zero-divisors in the group ring of a (non-abelian) finite group?
Let $G$ be a finite group and $\mathbb{C}G$ its group ring. Left multiplication by $\alpha\in \mathbb{C}G$ is a linear map $\alpha:\mathbb{C}G \to \mathbb{C}G$, and so $\alpha$ has a left determinant ...
- 459
7
votes
0
answers
325
views
Algebra A with Spec(A) reduced and Rep_n(A) non-reduced
As always, corrections to my misconceptions/misstatements are appreciated. This question is related to the following one, but in this question the algebras considered are commutative: Non-smooth ...
- 2,869
6
votes
0
answers
230
views
Fourier transform for perverse sheaves
I am interested in studying the Fourier transform for perverse sheaves on "nice" spaces, say affine complex space stratified by the action of an algebraic group into finitely many orbits.
In ...
- 71
6
votes
0
answers
138
views
Springer fibers in exceptional types
Cohomology ring of Springer fibers can be calculated for ADE types and a subregular nilpotent. Also for classical types cohomology ring of Springer fibers can be calculated for two-block nilpotents. ...
- 2,964