Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k...
Transcript of Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k...
![Page 1: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/1.jpg)
Algebraic stacks in the representation theoryof finite-dimensional algebras
Daniel Chanjoint work with Boris Lerner
University of New South Walesweb.maths.unsw.edu.au/∼danielch
October 2015
Daniel Chan joint work with Boris Lerner
![Page 2: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/2.jpg)
Introduction
always work over base field k algebraically closed of char 0.
Motto
Moduli stacks are a fruitful way to study non-commutative algebra,because they are a machine to construct functors.
Plan of talk
Recall the variety of representations of a quiver with relations.
Brief user’s guide to stacks in representation theory.
Question
Given a finite dimensional algebra A, how do you find an algebraic stackwhich is derived equivalent to it?
We finally,
introduce a new moduli stack of “Serre stable representations”,which gives a first approximation to answering this question.
Daniel Chan joint work with Boris Lerner
![Page 3: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/3.jpg)
Introduction
always work over base field k algebraically closed of char 0.
Motto
Moduli stacks are a fruitful way to study non-commutative algebra,because they are a machine to construct functors.
Plan of talk
Recall the variety of representations of a quiver with relations.
Brief user’s guide to stacks in representation theory.
Question
Given a finite dimensional algebra A, how do you find an algebraic stackwhich is derived equivalent to it?
We finally,
introduce a new moduli stack of “Serre stable representations”,which gives a first approximation to answering this question.
Daniel Chan joint work with Boris Lerner
![Page 4: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/4.jpg)
Introduction
always work over base field k algebraically closed of char 0.
Motto
Moduli stacks are a fruitful way to study non-commutative algebra,because they are a machine to construct functors.
Plan of talk
Recall the variety of representations of a quiver with relations.
Brief user’s guide to stacks in representation theory.
Question
Given a finite dimensional algebra A, how do you find an algebraic stackwhich is derived equivalent to it?
We finally,
introduce a new moduli stack of “Serre stable representations”,which gives a first approximation to answering this question.
Daniel Chan joint work with Boris Lerner
![Page 5: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/5.jpg)
Introduction
always work over base field k algebraically closed of char 0.
Motto
Moduli stacks are a fruitful way to study non-commutative algebra,because they are a machine to construct functors.
Plan of talk
Recall the variety of representations of a quiver with relations.
Brief user’s guide to stacks in representation theory.
Question
Given a finite dimensional algebra A, how do you find an algebraic stackwhich is derived equivalent to it?
We finally,
introduce a new moduli stack of “Serre stable representations”,which gives a first approximation to answering this question.
Daniel Chan joint work with Boris Lerner
![Page 6: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/6.jpg)
Introduction
always work over base field k algebraically closed of char 0.
Motto
Moduli stacks are a fruitful way to study non-commutative algebra,because they are a machine to construct functors.
Plan of talk
Recall the variety of representations of a quiver with relations.
Brief user’s guide to stacks in representation theory.
Question
Given a finite dimensional algebra A, how do you find an algebraic stackwhich is derived equivalent to it?
We finally,
introduce a new moduli stack of “Serre stable representations”,which gives a first approximation to answering this question.
Daniel Chan joint work with Boris Lerner
![Page 7: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/7.jpg)
Introduction
always work over base field k algebraically closed of char 0.
Motto
Moduli stacks are a fruitful way to study non-commutative algebra,because they are a machine to construct functors.
Plan of talk
Recall the variety of representations of a quiver with relations.
Brief user’s guide to stacks in representation theory.
Question
Given a finite dimensional algebra A, how do you find an algebraic stackwhich is derived equivalent to it?
We finally,
introduce a new moduli stack of “Serre stable representations”,which gives a first approximation to answering this question.
Daniel Chan joint work with Boris Lerner
![Page 8: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/8.jpg)
Introduction
always work over base field k algebraically closed of char 0.
Motto
Moduli stacks are a fruitful way to study non-commutative algebra,because they are a machine to construct functors.
Plan of talk
Recall the variety of representations of a quiver with relations.
Brief user’s guide to stacks in representation theory.
Question
Given a finite dimensional algebra A, how do you find an algebraic stackwhich is derived equivalent to it?
We finally,
introduce a new moduli stack of “Serre stable representations”,which gives a first approximation to answering this question.
Daniel Chan joint work with Boris Lerner
![Page 9: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/9.jpg)
Quivers and representations
We use the following notation
quiver Q = (Q0 = vertices,Q1 = edges) without oriented cycles
kQ the path algebra & I / kQ an admissible ideal of relations
M = ⊕v∈Q0Mv is a (right) A = kQ/I -module i.e. a representationof Q with relations I .
The dimension vector of M is~dimM = (dimk Mv )v∈Q0 ∈ ZQ0 ' K0(A).
Daniel Chan joint work with Boris Lerner
![Page 10: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/10.jpg)
Quivers and representations
We use the following notation
quiver Q = (Q0 = vertices,Q1 = edges) without oriented cycles
kQ the path algebra & I / kQ an admissible ideal of relations
M = ⊕v∈Q0Mv is a (right) A = kQ/I -module i.e. a representationof Q with relations I .
The dimension vector of M is~dimM = (dimk Mv )v∈Q0 ∈ ZQ0 ' K0(A).
Daniel Chan joint work with Boris Lerner
![Page 11: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/11.jpg)
Quivers and representations
We use the following notation
quiver Q = (Q0 = vertices,Q1 = edges) without oriented cycles
kQ the path algebra & I / kQ an admissible ideal of relations
M = ⊕v∈Q0Mv is a (right) A = kQ/I -module i.e. a representationof Q with relations I .
The dimension vector of M is~dimM = (dimk Mv )v∈Q0 ∈ ZQ0 ' K0(A).
Daniel Chan joint work with Boris Lerner
![Page 12: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/12.jpg)
Quivers and representations
We use the following notation
quiver Q = (Q0 = vertices,Q1 = edges) without oriented cycles
kQ the path algebra & I / kQ an admissible ideal of relations
M = ⊕v∈Q0Mv is a (right) A = kQ/I -module i.e. a representationof Q with relations I .
The dimension vector of M is~dimM = (dimk Mv )v∈Q0 ∈ ZQ0 ' K0(A).
Daniel Chan joint work with Boris Lerner
![Page 13: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/13.jpg)
Quivers and representations
We use the following notation
quiver Q = (Q0 = vertices,Q1 = edges) without oriented cycles
kQ the path algebra & I / kQ an admissible ideal of relations
M = ⊕v∈Q0Mv is a (right) A = kQ/I -module i.e. a representationof Q with relations I .
The dimension vector of M is~dimM = (dimk Mv )v∈Q0 ∈ ZQ0 ' K0(A).
Daniel Chan joint work with Boris Lerner
![Page 14: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/14.jpg)
Representation variety
Let’s classify representations with dim vector ~d = (dv ). Consider onesuch M.
Picking bases i.e. isomorphisms Mv ' kdv gives a unique point of
Rep(Q, ~d) :=∏
v→w∈Q1
Homk(kdv , kdw ).
Choice of basis is up to group GL(~d) :=∏
v∈Q0
GL(dv ).
If I 6= 0, then kQ/I -modules correspond to some closed subscheme
Rep(Q, I , ~d) ⊆ Rep(Q, ~d).
GL(~d) acts on Rep(Q, I , ~d) and orbits correspond to isomorphism
classes of modules (with dim vector ~d),
stabilisers correspond to automorphism groups of M.
The diagonal copy of k× acts trivially so PGL(~d) := GL(~d)/k× alsoacts.
Daniel Chan joint work with Boris Lerner
![Page 15: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/15.jpg)
Representation variety
Let’s classify representations with dim vector ~d = (dv ). Consider onesuch M.
Picking bases i.e. isomorphisms Mv ' kdv gives a unique point of
Rep(Q, ~d) :=∏
v→w∈Q1
Homk(kdv , kdw ).
Choice of basis is up to group GL(~d) :=∏
v∈Q0
GL(dv ).
If I 6= 0, then kQ/I -modules correspond to some closed subscheme
Rep(Q, I , ~d) ⊆ Rep(Q, ~d).
GL(~d) acts on Rep(Q, I , ~d) and orbits correspond to isomorphism
classes of modules (with dim vector ~d),
stabilisers correspond to automorphism groups of M.
The diagonal copy of k× acts trivially so PGL(~d) := GL(~d)/k× alsoacts.
Daniel Chan joint work with Boris Lerner
![Page 16: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/16.jpg)
Representation variety
Let’s classify representations with dim vector ~d = (dv ). Consider onesuch M.
Picking bases i.e. isomorphisms Mv ' kdv gives a unique point of
Rep(Q, ~d) :=∏
v→w∈Q1
Homk(kdv , kdw ).
Choice of basis is up to group GL(~d) :=∏
v∈Q0
GL(dv ).
If I 6= 0, then kQ/I -modules correspond to some closed subscheme
Rep(Q, I , ~d) ⊆ Rep(Q, ~d).
GL(~d) acts on Rep(Q, I , ~d) and orbits correspond to isomorphism
classes of modules (with dim vector ~d),
stabilisers correspond to automorphism groups of M.
The diagonal copy of k× acts trivially so PGL(~d) := GL(~d)/k× alsoacts.
Daniel Chan joint work with Boris Lerner
![Page 17: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/17.jpg)
Representation variety
Let’s classify representations with dim vector ~d = (dv ). Consider onesuch M.
Picking bases i.e. isomorphisms Mv ' kdv gives a unique point of
Rep(Q, ~d) :=∏
v→w∈Q1
Homk(kdv , kdw ).
Choice of basis is up to group GL(~d) :=∏
v∈Q0
GL(dv ).
If I 6= 0, then kQ/I -modules correspond to some closed subscheme
Rep(Q, I , ~d) ⊆ Rep(Q, ~d).
GL(~d) acts on Rep(Q, I , ~d) and orbits correspond to isomorphism
classes of modules (with dim vector ~d),
stabilisers correspond to automorphism groups of M.
The diagonal copy of k× acts trivially so PGL(~d) := GL(~d)/k× alsoacts.
Daniel Chan joint work with Boris Lerner
![Page 18: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/18.jpg)
Representation variety
Let’s classify representations with dim vector ~d = (dv ). Consider onesuch M.
Picking bases i.e. isomorphisms Mv ' kdv gives a unique point of
Rep(Q, ~d) :=∏
v→w∈Q1
Homk(kdv , kdw ).
Choice of basis is up to group GL(~d) :=∏
v∈Q0
GL(dv ).
If I 6= 0, then kQ/I -modules correspond to some closed subscheme
Rep(Q, I , ~d) ⊆ Rep(Q, ~d).
GL(~d) acts on Rep(Q, I , ~d) and orbits correspond to isomorphism
classes of modules (with dim vector ~d),
stabilisers correspond to automorphism groups of M.
The diagonal copy of k× acts trivially so PGL(~d) := GL(~d)/k× alsoacts.
Daniel Chan joint work with Boris Lerner
![Page 19: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/19.jpg)
Representation variety
Let’s classify representations with dim vector ~d = (dv ). Consider onesuch M.
Picking bases i.e. isomorphisms Mv ' kdv gives a unique point of
Rep(Q, ~d) :=∏
v→w∈Q1
Homk(kdv , kdw ).
Choice of basis is up to group GL(~d) :=∏
v∈Q0
GL(dv ).
If I 6= 0, then kQ/I -modules correspond to some closed subscheme
Rep(Q, I , ~d) ⊆ Rep(Q, ~d).
GL(~d) acts on Rep(Q, I , ~d) and orbits correspond to isomorphism
classes of modules (with dim vector ~d),
stabilisers correspond to automorphism groups of M.
The diagonal copy of k× acts trivially so PGL(~d) := GL(~d)/k× alsoacts.
Daniel Chan joint work with Boris Lerner
![Page 20: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/20.jpg)
Representation variety
Let’s classify representations with dim vector ~d = (dv ). Consider onesuch M.
Picking bases i.e. isomorphisms Mv ' kdv gives a unique point of
Rep(Q, ~d) :=∏
v→w∈Q1
Homk(kdv , kdw ).
Choice of basis is up to group GL(~d) :=∏
v∈Q0
GL(dv ).
If I 6= 0, then kQ/I -modules correspond to some closed subscheme
Rep(Q, I , ~d) ⊆ Rep(Q, ~d).
GL(~d) acts on Rep(Q, I , ~d) and orbits correspond to isomorphism
classes of modules (with dim vector ~d),
stabilisers correspond to automorphism groups of M.
The diagonal copy of k× acts trivially so PGL(~d) := GL(~d)/k× alsoacts.
Daniel Chan joint work with Boris Lerner
![Page 21: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/21.jpg)
Representation variety
Let’s classify representations with dim vector ~d = (dv ). Consider onesuch M.
Picking bases i.e. isomorphisms Mv ' kdv gives a unique point of
Rep(Q, ~d) :=∏
v→w∈Q1
Homk(kdv , kdw ).
Choice of basis is up to group GL(~d) :=∏
v∈Q0
GL(dv ).
If I 6= 0, then kQ/I -modules correspond to some closed subscheme
Rep(Q, I , ~d) ⊆ Rep(Q, ~d).
GL(~d) acts on Rep(Q, I , ~d) and orbits correspond to isomorphism
classes of modules (with dim vector ~d),
stabilisers correspond to automorphism groups of M.
The diagonal copy of k× acts trivially so PGL(~d) := GL(~d)/k× alsoacts.
Daniel Chan joint work with Boris Lerner
![Page 22: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/22.jpg)
Motivating example a la King
Q = Kronecker quiver v //// w ,
~d = ~1 = (1 1).
kx //y// k ∈ Rep(Q,~1) ' k2 = A2
PGL(~1) = k×2/k× ' k× acts by scaling, so if we omit (x , y) = (0, 0)(explain later) have quotient (Rep(Q,~1)− (0, 0))/PGL ' P1.
We get a family of modules M(x :y) = M(x :y),v
x //y// M(x :y),w
parametrised by (x : y) ∈ P1 which gives “the” universal representation
U = OP1
x //y// OP1 (1)
Interesting Fact
U is an OP1 −A-bimodule whose dual ATOP1 = HomP1 (U ,O) inducesinverse derived equivalences
RHomP1 (T ,−) : Db(P1) −→ Db(A), −⊗LA T : Db(A) −→ Db(P1)
Daniel Chan joint work with Boris Lerner
![Page 23: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/23.jpg)
Motivating example a la King
Q = Kronecker quiver v //// w , ~d = ~1 = (1 1).
kx //y// k ∈ Rep(Q,~1) ' k2 = A2
PGL(~1) = k×2/k× ' k× acts by scaling, so if we omit (x , y) = (0, 0)(explain later) have quotient (Rep(Q,~1)− (0, 0))/PGL ' P1.
We get a family of modules M(x :y) = M(x :y),v
x //y// M(x :y),w
parametrised by (x : y) ∈ P1 which gives “the” universal representation
U = OP1
x //y// OP1 (1)
Interesting Fact
U is an OP1 −A-bimodule whose dual ATOP1 = HomP1 (U ,O) inducesinverse derived equivalences
RHomP1 (T ,−) : Db(P1) −→ Db(A), −⊗LA T : Db(A) −→ Db(P1)
Daniel Chan joint work with Boris Lerner
![Page 24: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/24.jpg)
Motivating example a la King
Q = Kronecker quiver v //// w , ~d = ~1 = (1 1).
kx //y// k ∈ Rep(Q,~1) ' k2 = A2
PGL(~1) = k×2/k× ' k× acts by scaling, so if we omit (x , y) = (0, 0)(explain later) have quotient (Rep(Q,~1)− (0, 0))/PGL ' P1.
We get a family of modules M(x :y) = M(x :y),v
x //y// M(x :y),w
parametrised by (x : y) ∈ P1 which gives “the” universal representation
U = OP1
x //y// OP1 (1)
Interesting Fact
U is an OP1 −A-bimodule whose dual ATOP1 = HomP1 (U ,O) inducesinverse derived equivalences
RHomP1 (T ,−) : Db(P1) −→ Db(A), −⊗LA T : Db(A) −→ Db(P1)
Daniel Chan joint work with Boris Lerner
![Page 25: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/25.jpg)
Motivating example a la King
Q = Kronecker quiver v //// w , ~d = ~1 = (1 1).
kx //y// k ∈ Rep(Q,~1) ' k2 = A2
PGL(~1) = k×2/k× ' k× acts by scaling,
so if we omit (x , y) = (0, 0)(explain later) have quotient (Rep(Q,~1)− (0, 0))/PGL ' P1.
We get a family of modules M(x :y) = M(x :y),v
x //y// M(x :y),w
parametrised by (x : y) ∈ P1 which gives “the” universal representation
U = OP1
x //y// OP1 (1)
Interesting Fact
U is an OP1 −A-bimodule whose dual ATOP1 = HomP1 (U ,O) inducesinverse derived equivalences
RHomP1 (T ,−) : Db(P1) −→ Db(A), −⊗LA T : Db(A) −→ Db(P1)
Daniel Chan joint work with Boris Lerner
![Page 26: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/26.jpg)
Motivating example a la King
Q = Kronecker quiver v //// w , ~d = ~1 = (1 1).
kx //y// k ∈ Rep(Q,~1) ' k2 = A2
PGL(~1) = k×2/k× ' k× acts by scaling, so if we omit (x , y) = (0, 0)(explain later) have quotient (Rep(Q,~1)− (0, 0))/PGL ' P1.
We get a family of modules M(x :y) = M(x :y),v
x //y// M(x :y),w
parametrised by (x : y) ∈ P1 which gives “the” universal representation
U = OP1
x //y// OP1 (1)
Interesting Fact
U is an OP1 −A-bimodule whose dual ATOP1 = HomP1 (U ,O) inducesinverse derived equivalences
RHomP1 (T ,−) : Db(P1) −→ Db(A), −⊗LA T : Db(A) −→ Db(P1)
Daniel Chan joint work with Boris Lerner
![Page 27: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/27.jpg)
Motivating example a la King
Q = Kronecker quiver v //// w , ~d = ~1 = (1 1).
kx //y// k ∈ Rep(Q,~1) ' k2 = A2
PGL(~1) = k×2/k× ' k× acts by scaling, so if we omit (x , y) = (0, 0)(explain later) have quotient (Rep(Q,~1)− (0, 0))/PGL ' P1.
We get a family of modules M(x :y) = M(x :y),v
x //y// M(x :y),w
parametrised by (x : y) ∈ P1 which gives “the” universal representation
U = OP1
x //y// OP1 (1)
Interesting Fact
U is an OP1 −A-bimodule whose dual ATOP1 = HomP1 (U ,O) inducesinverse derived equivalences
RHomP1 (T ,−) : Db(P1) −→ Db(A), −⊗LA T : Db(A) −→ Db(P1)
Daniel Chan joint work with Boris Lerner
![Page 28: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/28.jpg)
Motivating example a la King
Q = Kronecker quiver v //// w , ~d = ~1 = (1 1).
kx //y// k ∈ Rep(Q,~1) ' k2 = A2
PGL(~1) = k×2/k× ' k× acts by scaling, so if we omit (x , y) = (0, 0)(explain later) have quotient (Rep(Q,~1)− (0, 0))/PGL ' P1.
We get a family of modules M(x :y) = M(x :y),v
x //y// M(x :y),w
parametrised by (x : y) ∈ P1 which gives “the” universal representation
U = OP1
x //y// OP1 (1)
Interesting Fact
U is an OP1 −A-bimodule whose dual ATOP1 = HomP1 (U ,O) inducesinverse derived equivalences
RHomP1 (T ,−) : Db(P1) −→ Db(A), −⊗LA T : Db(A) −→ Db(P1)
Daniel Chan joint work with Boris Lerner
![Page 29: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/29.jpg)
Motivating example a la King
Q = Kronecker quiver v //// w , ~d = ~1 = (1 1).
kx //y// k ∈ Rep(Q,~1) ' k2 = A2
PGL(~1) = k×2/k× ' k× acts by scaling, so if we omit (x , y) = (0, 0)(explain later) have quotient (Rep(Q,~1)− (0, 0))/PGL ' P1.
We get a family of modules M(x :y) = M(x :y),v
x //y// M(x :y),w
parametrised by (x : y) ∈ P1 which gives “the” universal representation
U = OP1
x //y// OP1 (1)
Interesting Fact
U is an OP1 −A-bimodule whose dual ATOP1 = HomP1 (U ,O) inducesinverse derived equivalences
RHomP1 (T ,−) : Db(P1) −→ Db(A), −⊗LA T : Db(A) −→ Db(P1)
Daniel Chan joint work with Boris Lerner
![Page 30: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/30.jpg)
Motivating example a la King
Q = Kronecker quiver v //// w , ~d = ~1 = (1 1).
kx //y// k ∈ Rep(Q,~1) ' k2 = A2
PGL(~1) = k×2/k× ' k× acts by scaling, so if we omit (x , y) = (0, 0)(explain later) have quotient (Rep(Q,~1)− (0, 0))/PGL ' P1.
We get a family of modules M(x :y) = M(x :y),v
x //y// M(x :y),w
parametrised by (x : y) ∈ P1 which gives “the” universal representation
U = OP1
x //y// OP1 (1)
Interesting Fact
U is an OP1 −A-bimodule whose dual ATOP1 = HomP1 (U ,O) inducesinverse derived equivalences
RHomP1 (T ,−) : Db(P1) −→ Db(A), −⊗LA T : Db(A) −→ Db(P1)
Daniel Chan joint work with Boris Lerner
![Page 31: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/31.jpg)
Stacks: via categorifying Grothendieck’s functor of points
To generalise this eg, need to enlarge category of schemes.
A scheme Xis not determined by its k-points, but is determined by all its R-points (Rcomm ring). More precisely, it’s determined by
Functor of points
the functor of points of X , which is the covariant functorhX = HomScheme(Spec (−),X ) : CommRing −→ Setso hX (R) = f : Spec R −→ X
Remark Compare with maximal atlas defn of a manifold.We “categorify” this defn, and let Gpd be the category of groupoids =small categories with all morphisms invertible.
“Definition” (Stack)
A stack is a pseudo-functor h : CommRing −→ Gpd + lots of axioms.
Think of the isomorphism classes of objects in the category h(k) as the“k-points” & the category now remembers automorphisms.
Daniel Chan joint work with Boris Lerner
![Page 32: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/32.jpg)
Stacks: via categorifying Grothendieck’s functor of points
To generalise this eg, need to enlarge category of schemes. A scheme Xis not determined by its k-points, but is determined by all its R-points (Rcomm ring). More precisely, it’s determined by
Functor of points
the functor of points of X , which is the covariant functorhX = HomScheme(Spec (−),X ) : CommRing −→ Setso hX (R) = f : Spec R −→ X
Remark Compare with maximal atlas defn of a manifold.We “categorify” this defn, and let Gpd be the category of groupoids =small categories with all morphisms invertible.
“Definition” (Stack)
A stack is a pseudo-functor h : CommRing −→ Gpd + lots of axioms.
Think of the isomorphism classes of objects in the category h(k) as the“k-points” & the category now remembers automorphisms.
Daniel Chan joint work with Boris Lerner
![Page 33: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/33.jpg)
Stacks: via categorifying Grothendieck’s functor of points
To generalise this eg, need to enlarge category of schemes. A scheme Xis not determined by its k-points, but is determined by all its R-points (Rcomm ring). More precisely, it’s determined by
Functor of points
the functor of points of X , which is the covariant functorhX = HomScheme(Spec (−),X ) : CommRing −→ Set
so hX (R) = f : Spec R −→ X
Remark Compare with maximal atlas defn of a manifold.We “categorify” this defn, and let Gpd be the category of groupoids =small categories with all morphisms invertible.
“Definition” (Stack)
A stack is a pseudo-functor h : CommRing −→ Gpd + lots of axioms.
Think of the isomorphism classes of objects in the category h(k) as the“k-points” & the category now remembers automorphisms.
Daniel Chan joint work with Boris Lerner
![Page 34: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/34.jpg)
Stacks: via categorifying Grothendieck’s functor of points
To generalise this eg, need to enlarge category of schemes. A scheme Xis not determined by its k-points, but is determined by all its R-points (Rcomm ring). More precisely, it’s determined by
Functor of points
the functor of points of X , which is the covariant functorhX = HomScheme(Spec (−),X ) : CommRing −→ Setso hX (R) = f : Spec R −→ X
Remark Compare with maximal atlas defn of a manifold.We “categorify” this defn, and let Gpd be the category of groupoids =small categories with all morphisms invertible.
“Definition” (Stack)
A stack is a pseudo-functor h : CommRing −→ Gpd + lots of axioms.
Think of the isomorphism classes of objects in the category h(k) as the“k-points” & the category now remembers automorphisms.
Daniel Chan joint work with Boris Lerner
![Page 35: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/35.jpg)
Stacks: via categorifying Grothendieck’s functor of points
To generalise this eg, need to enlarge category of schemes. A scheme Xis not determined by its k-points, but is determined by all its R-points (Rcomm ring). More precisely, it’s determined by
Functor of points
the functor of points of X , which is the covariant functorhX = HomScheme(Spec (−),X ) : CommRing −→ Setso hX (R) = f : Spec R −→ X
Remark Compare with maximal atlas defn of a manifold.
We “categorify” this defn, and let Gpd be the category of groupoids =small categories with all morphisms invertible.
“Definition” (Stack)
A stack is a pseudo-functor h : CommRing −→ Gpd + lots of axioms.
Think of the isomorphism classes of objects in the category h(k) as the“k-points” & the category now remembers automorphisms.
Daniel Chan joint work with Boris Lerner
![Page 36: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/36.jpg)
Stacks: via categorifying Grothendieck’s functor of points
To generalise this eg, need to enlarge category of schemes. A scheme Xis not determined by its k-points, but is determined by all its R-points (Rcomm ring). More precisely, it’s determined by
Functor of points
the functor of points of X , which is the covariant functorhX = HomScheme(Spec (−),X ) : CommRing −→ Setso hX (R) = f : Spec R −→ X
Remark Compare with maximal atlas defn of a manifold.We “categorify” this defn, and let Gpd be the category of groupoids =small categories with all morphisms invertible.
“Definition” (Stack)
A stack is a pseudo-functor h : CommRing −→ Gpd + lots of axioms.
Think of the isomorphism classes of objects in the category h(k) as the“k-points” & the category now remembers automorphisms.
Daniel Chan joint work with Boris Lerner
![Page 37: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/37.jpg)
Stacks: via categorifying Grothendieck’s functor of points
To generalise this eg, need to enlarge category of schemes. A scheme Xis not determined by its k-points, but is determined by all its R-points (Rcomm ring). More precisely, it’s determined by
Functor of points
the functor of points of X , which is the covariant functorhX = HomScheme(Spec (−),X ) : CommRing −→ Setso hX (R) = f : Spec R −→ X
Remark Compare with maximal atlas defn of a manifold.We “categorify” this defn, and let Gpd be the category of groupoids =small categories with all morphisms invertible.
“Definition” (Stack)
A stack is a pseudo-functor h : CommRing −→ Gpd + lots of axioms.
Think of the isomorphism classes of objects in the category h(k) as the“k-points” & the category now remembers automorphisms.
Daniel Chan joint work with Boris Lerner
![Page 38: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/38.jpg)
Stacks: via categorifying Grothendieck’s functor of points
To generalise this eg, need to enlarge category of schemes. A scheme Xis not determined by its k-points, but is determined by all its R-points (Rcomm ring). More precisely, it’s determined by
Functor of points
the functor of points of X , which is the covariant functorhX = HomScheme(Spec (−),X ) : CommRing −→ Setso hX (R) = f : Spec R −→ X
Remark Compare with maximal atlas defn of a manifold.We “categorify” this defn, and let Gpd be the category of groupoids =small categories with all morphisms invertible.
“Definition” (Stack)
A stack is a pseudo-functor h : CommRing −→ Gpd + lots of axioms.
Think of the isomorphism classes of objects in the category h(k) as the“k-points” & the category now remembers automorphisms.
Daniel Chan joint work with Boris Lerner
![Page 39: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/39.jpg)
Example: Stacky group quotients
Let G be an algebraic group acting on a k-variety X .
Want a “stacky” group quotient [X/G ] st “k-points” are the G -orbitsG .x , & the automorphism group of such a point is StabG x < G .
Recall A scheme morphism U −→ U is a G -torsor or G -bundle if G actson U and trivially on U, is G -equivariant and locally on U is the trivialG -torsor pr : G × U −→ U.
Motivation There should be a G -torsor π : X −→ [X/G ] so an object off ∈ [X/G ](R) gives a Cartesian square
Uφ−−−−→ X
q
y yπU := Spec R −−−−→
f[X/G ]
=⇒ objects of [X/G ](R) are pairs (φ, q) stq : U −→ Spec R is a G -torsor & φ : U −→ X is G -equivariant.
Daniel Chan joint work with Boris Lerner
![Page 40: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/40.jpg)
Example: Stacky group quotients
Let G be an algebraic group acting on a k-variety X .
Want a “stacky” group quotient [X/G ] st “k-points” are the G -orbitsG .x , & the automorphism group of such a point is StabG x < G .
Recall A scheme morphism U −→ U is a G -torsor or G -bundle if G actson U and trivially on U, is G -equivariant and locally on U is the trivialG -torsor pr : G × U −→ U.
Motivation There should be a G -torsor π : X −→ [X/G ] so an object off ∈ [X/G ](R) gives a Cartesian square
Uφ−−−−→ X
q
y yπU := Spec R −−−−→
f[X/G ]
=⇒ objects of [X/G ](R) are pairs (φ, q) stq : U −→ Spec R is a G -torsor & φ : U −→ X is G -equivariant.
Daniel Chan joint work with Boris Lerner
![Page 41: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/41.jpg)
Example: Stacky group quotients
Let G be an algebraic group acting on a k-variety X .
Want a “stacky” group quotient [X/G ] st “k-points” are the G -orbitsG .x ,
& the automorphism group of such a point is StabG x < G .
Recall A scheme morphism U −→ U is a G -torsor or G -bundle if G actson U and trivially on U, is G -equivariant and locally on U is the trivialG -torsor pr : G × U −→ U.
Motivation There should be a G -torsor π : X −→ [X/G ] so an object off ∈ [X/G ](R) gives a Cartesian square
Uφ−−−−→ X
q
y yπU := Spec R −−−−→
f[X/G ]
=⇒ objects of [X/G ](R) are pairs (φ, q) stq : U −→ Spec R is a G -torsor & φ : U −→ X is G -equivariant.
Daniel Chan joint work with Boris Lerner
![Page 42: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/42.jpg)
Example: Stacky group quotients
Let G be an algebraic group acting on a k-variety X .
Want a “stacky” group quotient [X/G ] st “k-points” are the G -orbitsG .x , & the automorphism group of such a point is StabG x < G .
Recall A scheme morphism U −→ U is a G -torsor or G -bundle if G actson U and trivially on U, is G -equivariant and locally on U is the trivialG -torsor pr : G × U −→ U.
Motivation There should be a G -torsor π : X −→ [X/G ] so an object off ∈ [X/G ](R) gives a Cartesian square
Uφ−−−−→ X
q
y yπU := Spec R −−−−→
f[X/G ]
=⇒ objects of [X/G ](R) are pairs (φ, q) stq : U −→ Spec R is a G -torsor & φ : U −→ X is G -equivariant.
Daniel Chan joint work with Boris Lerner
![Page 43: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/43.jpg)
Example: Stacky group quotients
Let G be an algebraic group acting on a k-variety X .
Want a “stacky” group quotient [X/G ] st “k-points” are the G -orbitsG .x , & the automorphism group of such a point is StabG x < G .
Recall A scheme morphism U −→ U is a G -torsor or G -bundle if G actson U and trivially on U, is G -equivariant and locally on U is the trivialG -torsor pr : G × U −→ U.
Motivation There should be a G -torsor π : X −→ [X/G ] so an object off ∈ [X/G ](R) gives a Cartesian square
Uφ−−−−→ X
q
y yπU := Spec R −−−−→
f[X/G ]
=⇒ objects of [X/G ](R) are pairs (φ, q) stq : U −→ Spec R is a G -torsor & φ : U −→ X is G -equivariant.
Daniel Chan joint work with Boris Lerner
![Page 44: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/44.jpg)
Example: Stacky group quotients
Let G be an algebraic group acting on a k-variety X .
Want a “stacky” group quotient [X/G ] st “k-points” are the G -orbitsG .x , & the automorphism group of such a point is StabG x < G .
Recall A scheme morphism U −→ U is a G -torsor or G -bundle if G actson U and trivially on U, is G -equivariant and locally on U is the trivialG -torsor pr : G × U −→ U.
Motivation There should be a G -torsor π : X −→ [X/G ] so an object off ∈ [X/G ](R) gives a Cartesian square
Uφ−−−−→ X
q
y yπU := Spec R −−−−→
f[X/G ]
=⇒ objects of [X/G ](R) are pairs (φ, q) stq : U −→ Spec R is a G -torsor & φ : U −→ X is G -equivariant.
Daniel Chan joint work with Boris Lerner
![Page 45: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/45.jpg)
Example: Stacky group quotients
Let G be an algebraic group acting on a k-variety X .
Want a “stacky” group quotient [X/G ] st “k-points” are the G -orbitsG .x , & the automorphism group of such a point is StabG x < G .
Recall A scheme morphism U −→ U is a G -torsor or G -bundle if G actson U and trivially on U, is G -equivariant and locally on U is the trivialG -torsor pr : G × U −→ U.
Motivation There should be a G -torsor π : X −→ [X/G ] so an object off ∈ [X/G ](R) gives a Cartesian square
Uφ−−−−→ X
q
y yπU := Spec R −−−−→
f[X/G ]
=⇒ objects of [X/G ](R) are pairs (φ, q) stq : U −→ Spec R is a G -torsor & φ : U −→ X is G -equivariant.
Daniel Chan joint work with Boris Lerner
![Page 46: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/46.jpg)
Example: Stacky group quotients
Let G be an algebraic group acting on a k-variety X .
Want a “stacky” group quotient [X/G ] st “k-points” are the G -orbitsG .x , & the automorphism group of such a point is StabG x < G .
Recall A scheme morphism U −→ U is a G -torsor or G -bundle if G actson U and trivially on U, is G -equivariant and locally on U is the trivialG -torsor pr : G × U −→ U.
Motivation There should be a G -torsor π : X −→ [X/G ] so an object off ∈ [X/G ](R) gives a Cartesian square
Uφ−−−−→ X
q
y yπU := Spec R −−−−→
f[X/G ]
=⇒ objects of [X/G ](R) are pairs (φ, q) st
q : U −→ Spec R is a G -torsor & φ : U −→ X is G -equivariant.
Daniel Chan joint work with Boris Lerner
![Page 47: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/47.jpg)
Example: Stacky group quotients
Let G be an algebraic group acting on a k-variety X .
Want a “stacky” group quotient [X/G ] st “k-points” are the G -orbitsG .x , & the automorphism group of such a point is StabG x < G .
Recall A scheme morphism U −→ U is a G -torsor or G -bundle if G actson U and trivially on U, is G -equivariant and locally on U is the trivialG -torsor pr : G × U −→ U.
Motivation There should be a G -torsor π : X −→ [X/G ] so an object off ∈ [X/G ](R) gives a Cartesian square
Uφ−−−−→ X
q
y yπU := Spec R −−−−→
f[X/G ]
=⇒ objects of [X/G ](R) are pairs (φ, q) stq : U −→ Spec R is a G -torsor & φ : U −→ X is G -equivariant.
Daniel Chan joint work with Boris Lerner
![Page 48: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/48.jpg)
Effect of stabiliser groups
Define category of coherent sheaves Coh[X/G ] = category ofG -equivariant coherent sheaves on X e.g. if X smooth, ω[X/G ] := ωX .
Consider case X = A1x & G = µp = 〈ζ = p
√1〉 acts by multn, so action
free on x 6= 0 but StabG 0 = µp.
k-points are parametrised by y = xp.
If y 6= 0 then k[x ]/(xp − y) is a simple sheaf on [X/G ].
If y = 0, then k[x ]/(xp) is non-split extension of p non-isomorphicsimples k[x ]/(x) with µp-action given by the p characters of µp.
General Fact
If U −→ U is a G -torsor, then [U/G ] ' U. Here [(A1x − 0)/µp] ' A1
y − 0.
ωX = k[x ]dx & ω[X/G ] ⊗[X/G ] − permutes the simples with x = 0cyclically.
Daniel Chan joint work with Boris Lerner
![Page 49: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/49.jpg)
Effect of stabiliser groups
Define category of coherent sheaves Coh[X/G ] = category ofG -equivariant coherent sheaves on X e.g. if X smooth, ω[X/G ] := ωX .
Consider case X = A1x & G = µp = 〈ζ = p
√1〉 acts by multn,
so actionfree on x 6= 0 but StabG 0 = µp.
k-points are parametrised by y = xp.
If y 6= 0 then k[x ]/(xp − y) is a simple sheaf on [X/G ].
If y = 0, then k[x ]/(xp) is non-split extension of p non-isomorphicsimples k[x ]/(x) with µp-action given by the p characters of µp.
General Fact
If U −→ U is a G -torsor, then [U/G ] ' U. Here [(A1x − 0)/µp] ' A1
y − 0.
ωX = k[x ]dx & ω[X/G ] ⊗[X/G ] − permutes the simples with x = 0cyclically.
Daniel Chan joint work with Boris Lerner
![Page 50: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/50.jpg)
Effect of stabiliser groups
Define category of coherent sheaves Coh[X/G ] = category ofG -equivariant coherent sheaves on X e.g. if X smooth, ω[X/G ] := ωX .
Consider case X = A1x & G = µp = 〈ζ = p
√1〉 acts by multn, so action
free on x 6= 0 but StabG 0 = µp.
k-points are parametrised by y = xp.
If y 6= 0 then k[x ]/(xp − y) is a simple sheaf on [X/G ].
If y = 0, then k[x ]/(xp) is non-split extension of p non-isomorphicsimples k[x ]/(x) with µp-action given by the p characters of µp.
General Fact
If U −→ U is a G -torsor, then [U/G ] ' U. Here [(A1x − 0)/µp] ' A1
y − 0.
ωX = k[x ]dx & ω[X/G ] ⊗[X/G ] − permutes the simples with x = 0cyclically.
Daniel Chan joint work with Boris Lerner
![Page 51: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/51.jpg)
Effect of stabiliser groups
Define category of coherent sheaves Coh[X/G ] = category ofG -equivariant coherent sheaves on X e.g. if X smooth, ω[X/G ] := ωX .
Consider case X = A1x & G = µp = 〈ζ = p
√1〉 acts by multn, so action
free on x 6= 0 but StabG 0 = µp.
k-points are parametrised by y = xp.
If y 6= 0 then k[x ]/(xp − y) is a simple sheaf on [X/G ].
If y = 0, then k[x ]/(xp) is non-split extension of p non-isomorphicsimples k[x ]/(x) with µp-action given by the p characters of µp.
General Fact
If U −→ U is a G -torsor, then [U/G ] ' U. Here [(A1x − 0)/µp] ' A1
y − 0.
ωX = k[x ]dx & ω[X/G ] ⊗[X/G ] − permutes the simples with x = 0cyclically.
Daniel Chan joint work with Boris Lerner
![Page 52: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/52.jpg)
Effect of stabiliser groups
Define category of coherent sheaves Coh[X/G ] = category ofG -equivariant coherent sheaves on X e.g. if X smooth, ω[X/G ] := ωX .
Consider case X = A1x & G = µp = 〈ζ = p
√1〉 acts by multn, so action
free on x 6= 0 but StabG 0 = µp.
k-points are parametrised by y = xp.
If y 6= 0 then k[x ]/(xp − y) is a simple sheaf on [X/G ].
If y = 0, then k[x ]/(xp) is non-split extension of p non-isomorphicsimples k[x ]/(x) with µp-action given by the p characters of µp.
General Fact
If U −→ U is a G -torsor, then [U/G ] ' U. Here [(A1x − 0)/µp] ' A1
y − 0.
ωX = k[x ]dx & ω[X/G ] ⊗[X/G ] − permutes the simples with x = 0cyclically.
Daniel Chan joint work with Boris Lerner
![Page 53: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/53.jpg)
Effect of stabiliser groups
Define category of coherent sheaves Coh[X/G ] = category ofG -equivariant coherent sheaves on X e.g. if X smooth, ω[X/G ] := ωX .
Consider case X = A1x & G = µp = 〈ζ = p
√1〉 acts by multn, so action
free on x 6= 0 but StabG 0 = µp.
k-points are parametrised by y = xp.
If y 6= 0 then k[x ]/(xp − y) is a simple sheaf on [X/G ].
If y = 0, then k[x ]/(xp) is non-split extension of p non-isomorphicsimples k[x ]/(x) with µp-action given by the p characters of µp.
General Fact
If U −→ U is a G -torsor, then [U/G ] ' U. Here [(A1x − 0)/µp] ' A1
y − 0.
ωX = k[x ]dx & ω[X/G ] ⊗[X/G ] − permutes the simples with x = 0cyclically.
Daniel Chan joint work with Boris Lerner
![Page 54: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/54.jpg)
Effect of stabiliser groups
Define category of coherent sheaves Coh[X/G ] = category ofG -equivariant coherent sheaves on X e.g. if X smooth, ω[X/G ] := ωX .
Consider case X = A1x & G = µp = 〈ζ = p
√1〉 acts by multn, so action
free on x 6= 0 but StabG 0 = µp.
k-points are parametrised by y = xp.
If y 6= 0 then k[x ]/(xp − y) is a simple sheaf on [X/G ].
If y = 0, then k[x ]/(xp) is non-split extension of p non-isomorphicsimples k[x ]/(x) with µp-action given by the p characters of µp.
General Fact
If U −→ U is a G -torsor, then [U/G ] ' U.
Here [(A1x − 0)/µp] ' A1
y − 0.
ωX = k[x ]dx & ω[X/G ] ⊗[X/G ] − permutes the simples with x = 0cyclically.
Daniel Chan joint work with Boris Lerner
![Page 55: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/55.jpg)
Effect of stabiliser groups
Define category of coherent sheaves Coh[X/G ] = category ofG -equivariant coherent sheaves on X e.g. if X smooth, ω[X/G ] := ωX .
Consider case X = A1x & G = µp = 〈ζ = p
√1〉 acts by multn, so action
free on x 6= 0 but StabG 0 = µp.
k-points are parametrised by y = xp.
If y 6= 0 then k[x ]/(xp − y) is a simple sheaf on [X/G ].
If y = 0, then k[x ]/(xp) is non-split extension of p non-isomorphicsimples k[x ]/(x) with µp-action given by the p characters of µp.
General Fact
If U −→ U is a G -torsor, then [U/G ] ' U. Here [(A1x − 0)/µp] ' A1
y − 0.
ωX = k[x ]dx & ω[X/G ] ⊗[X/G ] − permutes the simples with x = 0cyclically.
Daniel Chan joint work with Boris Lerner
![Page 56: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/56.jpg)
Effect of stabiliser groups
Define category of coherent sheaves Coh[X/G ] = category ofG -equivariant coherent sheaves on X e.g. if X smooth, ω[X/G ] := ωX .
Consider case X = A1x & G = µp = 〈ζ = p
√1〉 acts by multn, so action
free on x 6= 0 but StabG 0 = µp.
k-points are parametrised by y = xp.
If y 6= 0 then k[x ]/(xp − y) is a simple sheaf on [X/G ].
If y = 0, then k[x ]/(xp) is non-split extension of p non-isomorphicsimples k[x ]/(x) with µp-action given by the p characters of µp.
General Fact
If U −→ U is a G -torsor, then [U/G ] ' U. Here [(A1x − 0)/µp] ' A1
y − 0.
ωX = k[x ]dx & ω[X/G ] ⊗[X/G ] − permutes the simples with x = 0cyclically.
Daniel Chan joint work with Boris Lerner
![Page 57: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/57.jpg)
Families through stacky points
Note there is also a “birational” map [A1x/µp] −→ A1
y . The rational
inverse φ : A1y − 0 −→ [A1
x/µp] given by
A1x − 0 −−−−→ A1
x
x 7→xp=y
yA1
y − 0
Important Phenomenon
You can’t extend φ to all of A1y , except by first passing to to an etale
cover of A1y − 0 as below.
Have tautological quotient map A1x −→ [A1
x/µp] defined by
µp × A1x
action−−−−→ A1x
pr
yA1
x
This process is called “stable reduction”.
Daniel Chan joint work with Boris Lerner
![Page 58: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/58.jpg)
Families through stacky points
Note there is also a “birational” map [A1x/µp] −→ A1
y .
The rational
inverse φ : A1y − 0 −→ [A1
x/µp] given by
A1x − 0 −−−−→ A1
x
x 7→xp=y
yA1
y − 0
Important Phenomenon
You can’t extend φ to all of A1y , except by first passing to to an etale
cover of A1y − 0 as below.
Have tautological quotient map A1x −→ [A1
x/µp] defined by
µp × A1x
action−−−−→ A1x
pr
yA1
x
This process is called “stable reduction”.
Daniel Chan joint work with Boris Lerner
![Page 59: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/59.jpg)
Families through stacky points
Note there is also a “birational” map [A1x/µp] −→ A1
y . The rational
inverse φ : A1y − 0 −→ [A1
x/µp] given by
A1x − 0 −−−−→ A1
x
x 7→xp=y
yA1
y − 0
Important Phenomenon
You can’t extend φ to all of A1y , except by first passing to to an etale
cover of A1y − 0 as below.
Have tautological quotient map A1x −→ [A1
x/µp] defined by
µp × A1x
action−−−−→ A1x
pr
yA1
x
This process is called “stable reduction”.
Daniel Chan joint work with Boris Lerner
![Page 60: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/60.jpg)
Families through stacky points
Note there is also a “birational” map [A1x/µp] −→ A1
y . The rational
inverse φ : A1y − 0 −→ [A1
x/µp] given by
A1x − 0 −−−−→ A1
x
x 7→xp=y
yA1
y − 0
Important Phenomenon
You can’t extend φ to all of A1y , except by first passing to to an etale
cover of A1y − 0 as below.
Have tautological quotient map A1x −→ [A1
x/µp] defined by
µp × A1x
action−−−−→ A1x
pr
yA1
x
This process is called “stable reduction”.
Daniel Chan joint work with Boris Lerner
![Page 61: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/61.jpg)
Families through stacky points
Note there is also a “birational” map [A1x/µp] −→ A1
y . The rational
inverse φ : A1y − 0 −→ [A1
x/µp] given by
A1x − 0 −−−−→ A1
x
x 7→xp=y
yA1
y − 0
Important Phenomenon
You can’t extend φ to all of A1y ,
except by first passing to to an etale
cover of A1y − 0 as below.
Have tautological quotient map A1x −→ [A1
x/µp] defined by
µp × A1x
action−−−−→ A1x
pr
yA1
x
This process is called “stable reduction”.
Daniel Chan joint work with Boris Lerner
![Page 62: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/62.jpg)
Families through stacky points
Note there is also a “birational” map [A1x/µp] −→ A1
y . The rational
inverse φ : A1y − 0 −→ [A1
x/µp] given by
A1x − 0 −−−−→ A1
x
x 7→xp=y
yA1
y − 0
Important Phenomenon
You can’t extend φ to all of A1y , except by first passing to to an etale
cover of A1y − 0 as below.
Have tautological quotient map A1x −→ [A1
x/µp] defined by
µp × A1x
action−−−−→ A1x
pr
yA1
x
This process is called “stable reduction”.
Daniel Chan joint work with Boris Lerner
![Page 63: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/63.jpg)
Families through stacky points
Note there is also a “birational” map [A1x/µp] −→ A1
y . The rational
inverse φ : A1y − 0 −→ [A1
x/µp] given by
A1x − 0 −−−−→ A1
x
x 7→xp=y
yA1
y − 0
Important Phenomenon
You can’t extend φ to all of A1y , except by first passing to to an etale
cover of A1y − 0 as below.
Have tautological quotient map A1x −→ [A1
x/µp] defined by
µp × A1x
action−−−−→ A1x
pr
yA1
x
This process is called “stable reduction”.
Daniel Chan joint work with Boris Lerner
![Page 64: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/64.jpg)
Families through stacky points
Note there is also a “birational” map [A1x/µp] −→ A1
y . The rational
inverse φ : A1y − 0 −→ [A1
x/µp] given by
A1x − 0 −−−−→ A1
x
x 7→xp=y
yA1
y − 0
Important Phenomenon
You can’t extend φ to all of A1y , except by first passing to to an etale
cover of A1y − 0 as below.
Have tautological quotient map A1x −→ [A1
x/µp] defined by
µp × A1x
action−−−−→ A1x
pr
yA1
x
This process is called “stable reduction”.
Daniel Chan joint work with Boris Lerner
![Page 65: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/65.jpg)
Families through stacky points
Note there is also a “birational” map [A1x/µp] −→ A1
y . The rational
inverse φ : A1y − 0 −→ [A1
x/µp] given by
A1x − 0 −−−−→ A1
x
x 7→xp=y
yA1
y − 0
Important Phenomenon
You can’t extend φ to all of A1y , except by first passing to to an etale
cover of A1y − 0 as below.
Have tautological quotient map A1x −→ [A1
x/µp] defined by
µp × A1x
action−−−−→ A1x
pr
yA1
x
This process is called “stable reduction”.Daniel Chan joint work with Boris Lerner
![Page 66: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/66.jpg)
Weighted projective lines
Can define stacks via gluing just as for schemes.
Let y1, . . . , yn ∈ P1 and p1, . . . , pn ≥ 2 be integer weights.There is a stack W = P1(
∑piyi ) and map π : P1(
∑piyi ) −→ P1 which
is
an isomorphism away from the yi ,
locally near yi , it looks like [A1x/µpi ] −→ A1
y
We call P1(∑
piyi ) a weighted projective line.
π∗ induces an isomorphism
k2 = HomP1 (O,O(1)) −→ HomW(π∗O, π∗O(1)).
If fi ∈ HomW(π∗O, π∗O(1)) corresponds to yi , then
coker (fi : π∗O −→ π∗O(1))
is the non-split extension of pi non-isomorphic simples on previous slide.
Daniel Chan joint work with Boris Lerner
![Page 67: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/67.jpg)
Weighted projective lines
Can define stacks via gluing just as for schemes.
Let y1, . . . , yn ∈ P1 and p1, . . . , pn ≥ 2 be integer weights.
There is a stack W = P1(∑
piyi ) and map π : P1(∑
piyi ) −→ P1 whichis
an isomorphism away from the yi ,
locally near yi , it looks like [A1x/µpi ] −→ A1
y
We call P1(∑
piyi ) a weighted projective line.
π∗ induces an isomorphism
k2 = HomP1 (O,O(1)) −→ HomW(π∗O, π∗O(1)).
If fi ∈ HomW(π∗O, π∗O(1)) corresponds to yi , then
coker (fi : π∗O −→ π∗O(1))
is the non-split extension of pi non-isomorphic simples on previous slide.
Daniel Chan joint work with Boris Lerner
![Page 68: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/68.jpg)
Weighted projective lines
Can define stacks via gluing just as for schemes.
Let y1, . . . , yn ∈ P1 and p1, . . . , pn ≥ 2 be integer weights.There is a stack W = P1(
∑piyi ) and map π : P1(
∑piyi ) −→ P1 which
is
an isomorphism away from the yi ,
locally near yi , it looks like [A1x/µpi ] −→ A1
y
We call P1(∑
piyi ) a weighted projective line.
π∗ induces an isomorphism
k2 = HomP1 (O,O(1)) −→ HomW(π∗O, π∗O(1)).
If fi ∈ HomW(π∗O, π∗O(1)) corresponds to yi , then
coker (fi : π∗O −→ π∗O(1))
is the non-split extension of pi non-isomorphic simples on previous slide.
Daniel Chan joint work with Boris Lerner
![Page 69: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/69.jpg)
Weighted projective lines
Can define stacks via gluing just as for schemes.
Let y1, . . . , yn ∈ P1 and p1, . . . , pn ≥ 2 be integer weights.There is a stack W = P1(
∑piyi ) and map π : P1(
∑piyi ) −→ P1 which
is
an isomorphism away from the yi ,
locally near yi , it looks like [A1x/µpi ] −→ A1
y
We call P1(∑
piyi ) a weighted projective line.
π∗ induces an isomorphism
k2 = HomP1 (O,O(1)) −→ HomW(π∗O, π∗O(1)).
If fi ∈ HomW(π∗O, π∗O(1)) corresponds to yi , then
coker (fi : π∗O −→ π∗O(1))
is the non-split extension of pi non-isomorphic simples on previous slide.
Daniel Chan joint work with Boris Lerner
![Page 70: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/70.jpg)
Weighted projective lines
Can define stacks via gluing just as for schemes.
Let y1, . . . , yn ∈ P1 and p1, . . . , pn ≥ 2 be integer weights.There is a stack W = P1(
∑piyi ) and map π : P1(
∑piyi ) −→ P1 which
is
an isomorphism away from the yi ,
locally near yi , it looks like [A1x/µpi ] −→ A1
y
We call P1(∑
piyi ) a weighted projective line.
π∗ induces an isomorphism
k2 = HomP1 (O,O(1)) −→ HomW(π∗O, π∗O(1)).
If fi ∈ HomW(π∗O, π∗O(1)) corresponds to yi , then
coker (fi : π∗O −→ π∗O(1))
is the non-split extension of pi non-isomorphic simples on previous slide.
Daniel Chan joint work with Boris Lerner
![Page 71: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/71.jpg)
Weighted projective lines
Can define stacks via gluing just as for schemes.
Let y1, . . . , yn ∈ P1 and p1, . . . , pn ≥ 2 be integer weights.There is a stack W = P1(
∑piyi ) and map π : P1(
∑piyi ) −→ P1 which
is
an isomorphism away from the yi ,
locally near yi , it looks like [A1x/µpi ] −→ A1
y
We call P1(∑
piyi ) a weighted projective line.
π∗ induces an isomorphism
k2 = HomP1 (O,O(1)) −→ HomW(π∗O, π∗O(1)).
If fi ∈ HomW(π∗O, π∗O(1)) corresponds to yi , then
coker (fi : π∗O −→ π∗O(1))
is the non-split extension of pi non-isomorphic simples on previous slide.
Daniel Chan joint work with Boris Lerner
![Page 72: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/72.jpg)
Weighted projective lines
Can define stacks via gluing just as for schemes.
Let y1, . . . , yn ∈ P1 and p1, . . . , pn ≥ 2 be integer weights.There is a stack W = P1(
∑piyi ) and map π : P1(
∑piyi ) −→ P1 which
is
an isomorphism away from the yi ,
locally near yi , it looks like [A1x/µpi ] −→ A1
y
We call P1(∑
piyi ) a weighted projective line.
π∗ induces an isomorphism
k2 = HomP1 (O,O(1)) −→ HomW(π∗O, π∗O(1)).
If fi ∈ HomW(π∗O, π∗O(1)) corresponds to yi , then
coker (fi : π∗O −→ π∗O(1))
is the non-split extension of pi non-isomorphic simples on previous slide.
Daniel Chan joint work with Boris Lerner
![Page 73: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/73.jpg)
Canonical Algebra
Factorising fi into pi inclusions gives
O( y1
p1) // O( 2y1
p1) // . . . // O( (p1−1)y1
p1)
8888888888888888888
O( y2
p2) // O( 2y2
p2) // . . . // O( (p2−1)y2
p2)
%%JJJJJJJJJJJ
π∗O
x1
FFx2
==
xn
!!CCCCCCCCCC...
......
... π∗O(1)
O( ynpn
) // O( 2ynpn
) // . . . // O( (pn−1)ynpn
)
99ttttttttttt
Thm(Geigle-Lenzing) The above is a tilting bundle on P1(∑
piyi ) withendomorphism ring the corresponding canonical algebra.
Daniel Chan joint work with Boris Lerner
![Page 74: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/74.jpg)
Canonical Algebra
Factorising fi into pi inclusions gives
O( y1
p1) // O( 2y1
p1) // . . . // O( (p1−1)y1
p1)
8888888888888888888
O( y2
p2) // O( 2y2
p2) // . . . // O( (p2−1)y2
p2)
%%JJJJJJJJJJJ
π∗O
x1
FFx2
==
xn
!!CCCCCCCCCC...
......
... π∗O(1)
O( ynpn
) // O( 2ynpn
) // . . . // O( (pn−1)ynpn
)
99ttttttttttt
Thm(Geigle-Lenzing) The above is a tilting bundle on P1(∑
piyi ) withendomorphism ring the corresponding canonical algebra.
Daniel Chan joint work with Boris Lerner
![Page 75: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/75.jpg)
Moduli stack of isomorphism classes of A = kQ/I -modules
Fix dim vector ~d ∈ K0(A).
There’s a stack Iso(A, ~d) with k-points the iso
classes of A-modules dim vector ~d & automorphisms = moduleautomorphisms.Iso(A, ~d)(R) = category of (R,A)-modules M = ⊕Mv , with
Mv loc free rank dv/R,
Morphisms = bimodule isomorphism
Important Facts
Iso(A, ~d) ' [Rep(Q, I , ~d)/GL(~d)].
Tautologically, there is a universal A-module U = ⊕Uv overIso(A, ~d).
Note These will never be weighted projective lines because all moduleshave k× in their automorphism group!
Daniel Chan joint work with Boris Lerner
![Page 76: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/76.jpg)
Moduli stack of isomorphism classes of A = kQ/I -modules
Fix dim vector ~d ∈ K0(A). There’s a stack Iso(A, ~d) with k-points the iso
classes of A-modules dim vector ~d & automorphisms = moduleautomorphisms.
Iso(A, ~d)(R) = category of (R,A)-modules M = ⊕Mv , with
Mv loc free rank dv/R,
Morphisms = bimodule isomorphism
Important Facts
Iso(A, ~d) ' [Rep(Q, I , ~d)/GL(~d)].
Tautologically, there is a universal A-module U = ⊕Uv overIso(A, ~d).
Note These will never be weighted projective lines because all moduleshave k× in their automorphism group!
Daniel Chan joint work with Boris Lerner
![Page 77: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/77.jpg)
Moduli stack of isomorphism classes of A = kQ/I -modules
Fix dim vector ~d ∈ K0(A). There’s a stack Iso(A, ~d) with k-points the iso
classes of A-modules dim vector ~d & automorphisms = moduleautomorphisms.Iso(A, ~d)(R) = category of (R,A)-modules M = ⊕Mv , with
Mv loc free rank dv/R,
Morphisms = bimodule isomorphism
Important Facts
Iso(A, ~d) ' [Rep(Q, I , ~d)/GL(~d)].
Tautologically, there is a universal A-module U = ⊕Uv overIso(A, ~d).
Note These will never be weighted projective lines because all moduleshave k× in their automorphism group!
Daniel Chan joint work with Boris Lerner
![Page 78: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/78.jpg)
Moduli stack of isomorphism classes of A = kQ/I -modules
Fix dim vector ~d ∈ K0(A). There’s a stack Iso(A, ~d) with k-points the iso
classes of A-modules dim vector ~d & automorphisms = moduleautomorphisms.Iso(A, ~d)(R) = category of (R,A)-modules M = ⊕Mv , with
Mv loc free rank dv/R,
Morphisms = bimodule isomorphism
Important Facts
Iso(A, ~d) ' [Rep(Q, I , ~d)/GL(~d)].
Tautologically, there is a universal A-module U = ⊕Uv overIso(A, ~d).
Note These will never be weighted projective lines because all moduleshave k× in their automorphism group!
Daniel Chan joint work with Boris Lerner
![Page 79: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/79.jpg)
Moduli stack of isomorphism classes of A = kQ/I -modules
Fix dim vector ~d ∈ K0(A). There’s a stack Iso(A, ~d) with k-points the iso
classes of A-modules dim vector ~d & automorphisms = moduleautomorphisms.Iso(A, ~d)(R) = category of (R,A)-modules M = ⊕Mv , with
Mv loc free rank dv/R,
Morphisms = bimodule isomorphism
Important Facts
Iso(A, ~d) ' [Rep(Q, I , ~d)/GL(~d)].
Tautologically, there is a universal A-module U = ⊕Uv overIso(A, ~d).
Note These will never be weighted projective lines because all moduleshave k× in their automorphism group!
Daniel Chan joint work with Boris Lerner
![Page 80: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/80.jpg)
Moduli stack of isomorphism classes of A = kQ/I -modules
Fix dim vector ~d ∈ K0(A). There’s a stack Iso(A, ~d) with k-points the iso
classes of A-modules dim vector ~d & automorphisms = moduleautomorphisms.Iso(A, ~d)(R) = category of (R,A)-modules M = ⊕Mv , with
Mv loc free rank dv/R,
Morphisms = bimodule isomorphism
Important Facts
Iso(A, ~d) ' [Rep(Q, I , ~d)/GL(~d)].
Tautologically, there is a universal A-module U = ⊕Uv overIso(A, ~d).
Note These will never be weighted projective lines because all moduleshave k× in their automorphism group!
Daniel Chan joint work with Boris Lerner
![Page 81: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/81.jpg)
Moduli stack of isomorphism classes of A = kQ/I -modules
Fix dim vector ~d ∈ K0(A). There’s a stack Iso(A, ~d) with k-points the iso
classes of A-modules dim vector ~d & automorphisms = moduleautomorphisms.Iso(A, ~d)(R) = category of (R,A)-modules M = ⊕Mv , with
Mv loc free rank dv/R,
Morphisms = bimodule isomorphism
Important Facts
Iso(A, ~d) ' [Rep(Q, I , ~d)/GL(~d)].
Tautologically, there is a universal A-module U = ⊕Uv overIso(A, ~d).
Note These will never be weighted projective lines because all moduleshave k× in their automorphism group!
Daniel Chan joint work with Boris Lerner
![Page 82: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/82.jpg)
Rigidified moduli stack of A-modules
We rigidify the stack to remove this common copy of k×. Define (whensome dv = 1 else need stackification)
RigIso(A, ~d)(R) has same objects as Iso(A, ~d)(R), but
a morphism in Hom(M,N ) is an equivalence class of(R,A)-bimodule isomorphisms ψ :M−→ L⊗R N where L is a linebundle on R,
ψ :M−→ L⊗R N , ψ′ :M−→ L′ ⊗R N are equivalent if there’s aniso l : L −→ L′ st ψ′ = (l ⊗ 1)ψ.
Important Facts
RigIso(A, ~d) ' [Rep(Q, I , ~d)/PGL(~d)].
Tautologically, there is a universal A-module U = ⊕Uv overRigIso(A, ~d), unique up to line bundle.
Daniel Chan joint work with Boris Lerner
![Page 83: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/83.jpg)
Rigidified moduli stack of A-modules
We rigidify the stack to remove this common copy of k×. Define (whensome dv = 1 else need stackification)
RigIso(A, ~d)(R) has same objects as Iso(A, ~d)(R), but
a morphism in Hom(M,N ) is an equivalence class of(R,A)-bimodule isomorphisms ψ :M−→ L⊗R N where L is a linebundle on R,
ψ :M−→ L⊗R N , ψ′ :M−→ L′ ⊗R N are equivalent if there’s aniso l : L −→ L′ st ψ′ = (l ⊗ 1)ψ.
Important Facts
RigIso(A, ~d) ' [Rep(Q, I , ~d)/PGL(~d)].
Tautologically, there is a universal A-module U = ⊕Uv overRigIso(A, ~d), unique up to line bundle.
Daniel Chan joint work with Boris Lerner
![Page 84: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/84.jpg)
Rigidified moduli stack of A-modules
We rigidify the stack to remove this common copy of k×. Define (whensome dv = 1 else need stackification)
RigIso(A, ~d)(R) has same objects as Iso(A, ~d)(R), but
a morphism in Hom(M,N ) is an equivalence class of(R,A)-bimodule isomorphisms ψ :M−→ L⊗R N where L is a linebundle on R,
ψ :M−→ L⊗R N , ψ′ :M−→ L′ ⊗R N are equivalent if there’s aniso l : L −→ L′ st ψ′ = (l ⊗ 1)ψ.
Important Facts
RigIso(A, ~d) ' [Rep(Q, I , ~d)/PGL(~d)].
Tautologically, there is a universal A-module U = ⊕Uv overRigIso(A, ~d), unique up to line bundle.
Daniel Chan joint work with Boris Lerner
![Page 85: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/85.jpg)
Rigidified moduli stack of A-modules
We rigidify the stack to remove this common copy of k×. Define (whensome dv = 1 else need stackification)
RigIso(A, ~d)(R) has same objects as Iso(A, ~d)(R), but
a morphism in Hom(M,N ) is an equivalence class of(R,A)-bimodule isomorphisms ψ :M−→ L⊗R N where L is a linebundle on R,
ψ :M−→ L⊗R N , ψ′ :M−→ L′ ⊗R N are equivalent if there’s aniso l : L −→ L′ st ψ′ = (l ⊗ 1)ψ.
Important Facts
RigIso(A, ~d) ' [Rep(Q, I , ~d)/PGL(~d)].
Tautologically, there is a universal A-module U = ⊕Uv overRigIso(A, ~d), unique up to line bundle.
Daniel Chan joint work with Boris Lerner
![Page 86: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/86.jpg)
Rigidified moduli stack of A-modules
We rigidify the stack to remove this common copy of k×. Define (whensome dv = 1 else need stackification)
RigIso(A, ~d)(R) has same objects as Iso(A, ~d)(R), but
a morphism in Hom(M,N ) is an equivalence class of(R,A)-bimodule isomorphisms ψ :M−→ L⊗R N where L is a linebundle on R,
ψ :M−→ L⊗R N , ψ′ :M−→ L′ ⊗R N are equivalent if there’s aniso l : L −→ L′ st ψ′ = (l ⊗ 1)ψ.
Important Facts
RigIso(A, ~d) ' [Rep(Q, I , ~d)/PGL(~d)].
Tautologically, there is a universal A-module U = ⊕Uv overRigIso(A, ~d), unique up to line bundle.
Daniel Chan joint work with Boris Lerner
![Page 87: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/87.jpg)
Rigidified moduli stack of A-modules
We rigidify the stack to remove this common copy of k×. Define (whensome dv = 1 else need stackification)
RigIso(A, ~d)(R) has same objects as Iso(A, ~d)(R), but
a morphism in Hom(M,N ) is an equivalence class of(R,A)-bimodule isomorphisms ψ :M−→ L⊗R N where L is a linebundle on R,
ψ :M−→ L⊗R N , ψ′ :M−→ L′ ⊗R N are equivalent if there’s aniso l : L −→ L′ st ψ′ = (l ⊗ 1)ψ.
Important Facts
RigIso(A, ~d) ' [Rep(Q, I , ~d)/PGL(~d)].
Tautologically, there is a universal A-module U = ⊕Uv overRigIso(A, ~d), unique up to line bundle.
Daniel Chan joint work with Boris Lerner
![Page 88: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/88.jpg)
Serre functor map RigIso− → RigIso
Assume now gl. dimA <∞ & write DA = Homk(A, k).
Recall we have a Serre functor ν = −⊗LA DA on Db
fg (A). Defineνd = ν [−d ].
Given a k-point of RigIso(A, ~d) i.e. A-module M, νdM may or may not
define a k-point of RigIso(A, ~d).
Proposition
The locus of modules where it does, defines a locally closed substackRigIso(A, ~d)0 of RigIso(A, ~d). It is open if d = pdDA or pdDA− 1.
We hence obtain a partially defined self-map
νd : RigIso(A, ~d)0 −→ RigIso(A, ~d)
Daniel Chan joint work with Boris Lerner
![Page 89: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/89.jpg)
Serre functor map RigIso− → RigIso
Assume now gl. dimA <∞ & write DA = Homk(A, k).
Recall we have a Serre functor ν = −⊗LA DA on Db
fg (A).
Defineνd = ν [−d ].
Given a k-point of RigIso(A, ~d) i.e. A-module M, νdM may or may not
define a k-point of RigIso(A, ~d).
Proposition
The locus of modules where it does, defines a locally closed substackRigIso(A, ~d)0 of RigIso(A, ~d). It is open if d = pdDA or pdDA− 1.
We hence obtain a partially defined self-map
νd : RigIso(A, ~d)0 −→ RigIso(A, ~d)
Daniel Chan joint work with Boris Lerner
![Page 90: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/90.jpg)
Serre functor map RigIso− → RigIso
Assume now gl. dimA <∞ & write DA = Homk(A, k).
Recall we have a Serre functor ν = −⊗LA DA on Db
fg (A). Defineνd = ν [−d ].
Given a k-point of RigIso(A, ~d) i.e. A-module M, νdM may or may not
define a k-point of RigIso(A, ~d).
Proposition
The locus of modules where it does, defines a locally closed substackRigIso(A, ~d)0 of RigIso(A, ~d). It is open if d = pdDA or pdDA− 1.
We hence obtain a partially defined self-map
νd : RigIso(A, ~d)0 −→ RigIso(A, ~d)
Daniel Chan joint work with Boris Lerner
![Page 91: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/91.jpg)
Serre functor map RigIso− → RigIso
Assume now gl. dimA <∞ & write DA = Homk(A, k).
Recall we have a Serre functor ν = −⊗LA DA on Db
fg (A). Defineνd = ν [−d ].
Given a k-point of RigIso(A, ~d) i.e. A-module M, νdM may or may not
define a k-point of RigIso(A, ~d).
Proposition
The locus of modules where it does, defines a locally closed substackRigIso(A, ~d)0 of RigIso(A, ~d). It is open if d = pdDA or pdDA− 1.
We hence obtain a partially defined self-map
νd : RigIso(A, ~d)0 −→ RigIso(A, ~d)
Daniel Chan joint work with Boris Lerner
![Page 92: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/92.jpg)
Serre functor map RigIso− → RigIso
Assume now gl. dimA <∞ & write DA = Homk(A, k).
Recall we have a Serre functor ν = −⊗LA DA on Db
fg (A). Defineνd = ν [−d ].
Given a k-point of RigIso(A, ~d) i.e. A-module M, νdM may or may not
define a k-point of RigIso(A, ~d).
Proposition
The locus of modules where it does, defines a locally closed substackRigIso(A, ~d)0 of RigIso(A, ~d).
It is open if d = pdDA or pdDA− 1.
We hence obtain a partially defined self-map
νd : RigIso(A, ~d)0 −→ RigIso(A, ~d)
Daniel Chan joint work with Boris Lerner
![Page 93: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/93.jpg)
Serre functor map RigIso− → RigIso
Assume now gl. dimA <∞ & write DA = Homk(A, k).
Recall we have a Serre functor ν = −⊗LA DA on Db
fg (A). Defineνd = ν [−d ].
Given a k-point of RigIso(A, ~d) i.e. A-module M, νdM may or may not
define a k-point of RigIso(A, ~d).
Proposition
The locus of modules where it does, defines a locally closed substackRigIso(A, ~d)0 of RigIso(A, ~d). It is open if d = pdDA or pdDA− 1.
We hence obtain a partially defined self-map
νd : RigIso(A, ~d)0 −→ RigIso(A, ~d)
Daniel Chan joint work with Boris Lerner
![Page 94: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/94.jpg)
The Serre stable moduli stack
The Serre stable moduli stack RigIso(A, ~d)S is the fixed point stack i.e.
fibre product
RigIso(A, ~d)S −−−−→ RigIso(A, ~d)0y yΓνd
RigIso(A, ~d)∆−−−−→ RigIso(A, ~d)× RigIso(A, ~d)
The category of k-points RigIso(A, ~d)S(k) has
Objects: isomorphisms M∼−→ νdM where M is an A-module dim
vector ~d
Morphisms: diagrams of isomorphisms which commute up to scalar
M −−−−→ νdM
θ
y yνdθN −−−−→ νdN
Objects of RigIso(A, ~d)S(R) are (R,A)-bimodule isomorphismsM' L⊗RM⊗L
A DA[−d ], where L is a line bundle.
Daniel Chan joint work with Boris Lerner
![Page 95: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/95.jpg)
The Serre stable moduli stack
The Serre stable moduli stack RigIso(A, ~d)S is the fixed point stack i.e.fibre product
RigIso(A, ~d)S −−−−→ RigIso(A, ~d)0y yΓνd
RigIso(A, ~d)∆−−−−→ RigIso(A, ~d)× RigIso(A, ~d)
The category of k-points RigIso(A, ~d)S(k) has
Objects: isomorphisms M∼−→ νdM where M is an A-module dim
vector ~d
Morphisms: diagrams of isomorphisms which commute up to scalar
M −−−−→ νdM
θ
y yνdθN −−−−→ νdN
Objects of RigIso(A, ~d)S(R) are (R,A)-bimodule isomorphismsM' L⊗RM⊗L
A DA[−d ], where L is a line bundle.
Daniel Chan joint work with Boris Lerner
![Page 96: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/96.jpg)
The Serre stable moduli stack
The Serre stable moduli stack RigIso(A, ~d)S is the fixed point stack i.e.fibre product
RigIso(A, ~d)S −−−−→ RigIso(A, ~d)0y yΓνd
RigIso(A, ~d)∆−−−−→ RigIso(A, ~d)× RigIso(A, ~d)
The category of k-points RigIso(A, ~d)S(k) has
Objects: isomorphisms M∼−→ νdM where M is an A-module dim
vector ~d
Morphisms: diagrams of isomorphisms which commute up to scalar
M −−−−→ νdM
θ
y yνdθN −−−−→ νdN
Objects of RigIso(A, ~d)S(R) are (R,A)-bimodule isomorphismsM' L⊗RM⊗L
A DA[−d ], where L is a line bundle.
Daniel Chan joint work with Boris Lerner
![Page 97: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/97.jpg)
The Serre stable moduli stack
The Serre stable moduli stack RigIso(A, ~d)S is the fixed point stack i.e.fibre product
RigIso(A, ~d)S −−−−→ RigIso(A, ~d)0y yΓνd
RigIso(A, ~d)∆−−−−→ RigIso(A, ~d)× RigIso(A, ~d)
The category of k-points RigIso(A, ~d)S(k) has
Objects: isomorphisms M∼−→ νdM where M is an A-module dim
vector ~d
Morphisms: diagrams of isomorphisms which commute up to scalar
M −−−−→ νdM
θ
y yνdθN −−−−→ νdN
Objects of RigIso(A, ~d)S(R) are (R,A)-bimodule isomorphismsM' L⊗RM⊗L
A DA[−d ], where L is a line bundle.
Daniel Chan joint work with Boris Lerner
![Page 98: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/98.jpg)
The Serre stable moduli stack
The Serre stable moduli stack RigIso(A, ~d)S is the fixed point stack i.e.fibre product
RigIso(A, ~d)S −−−−→ RigIso(A, ~d)0y yΓνd
RigIso(A, ~d)∆−−−−→ RigIso(A, ~d)× RigIso(A, ~d)
The category of k-points RigIso(A, ~d)S(k) has
Objects: isomorphisms M∼−→ νdM where M is an A-module dim
vector ~d
Morphisms: diagrams of isomorphisms which commute up to scalar
M −−−−→ νdM
θ
y yνdθN −−−−→ νdN
Objects of RigIso(A, ~d)S(R) are (R,A)-bimodule isomorphismsM' L⊗RM⊗L
A DA[−d ], where L is a line bundle.Daniel Chan joint work with Boris Lerner
![Page 99: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/99.jpg)
Serre stability alters points: eg Kronecker algebra
Q = Kronecker quiver v //// w ,
~d = ~1 = (1 1). A = kQ, d = 1.
M : k0 //0// k
has a projective summand 0 //// k so M 6' ν1M
=⇒ no corresponding point of RigIso(A,~1)S .
However, for the universal representation
U = OP1
x //y// OP1 (1)
we have U ⊗LA DA[−1] ' ωP1 ⊗P1 U & in fact
Proposition
RigIso(A,~1)S ' P1.
A similar result holds for the Beilinson algebra derived equivalent to Pd .
Daniel Chan joint work with Boris Lerner
![Page 100: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/100.jpg)
Serre stability alters points: eg Kronecker algebra
Q = Kronecker quiver v //// w , ~d = ~1 = (1 1). A = kQ, d = 1.
M : k0 //0// k
has a projective summand 0 //// k so M 6' ν1M
=⇒ no corresponding point of RigIso(A,~1)S .
However, for the universal representation
U = OP1
x //y// OP1 (1)
we have U ⊗LA DA[−1] ' ωP1 ⊗P1 U & in fact
Proposition
RigIso(A,~1)S ' P1.
A similar result holds for the Beilinson algebra derived equivalent to Pd .
Daniel Chan joint work with Boris Lerner
![Page 101: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/101.jpg)
Serre stability alters points: eg Kronecker algebra
Q = Kronecker quiver v //// w , ~d = ~1 = (1 1). A = kQ, d = 1.
M : k0 //0// k
has a projective summand 0 //// k so M 6' ν1M
=⇒ no corresponding point of RigIso(A,~1)S .
However, for the universal representation
U = OP1
x //y// OP1 (1)
we have U ⊗LA DA[−1] ' ωP1 ⊗P1 U & in fact
Proposition
RigIso(A,~1)S ' P1.
A similar result holds for the Beilinson algebra derived equivalent to Pd .
Daniel Chan joint work with Boris Lerner
![Page 102: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/102.jpg)
Serre stability alters points: eg Kronecker algebra
Q = Kronecker quiver v //// w , ~d = ~1 = (1 1). A = kQ, d = 1.
M : k0 //0// k
has a projective summand 0 //// k so M 6' ν1M
=⇒ no corresponding point of RigIso(A,~1)S .
However, for the universal representation
U = OP1
x //y// OP1 (1)
we have U ⊗LA DA[−1] ' ωP1 ⊗P1 U & in fact
Proposition
RigIso(A,~1)S ' P1.
A similar result holds for the Beilinson algebra derived equivalent to Pd .
Daniel Chan joint work with Boris Lerner
![Page 103: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/103.jpg)
Serre stability alters points: eg Kronecker algebra
Q = Kronecker quiver v //// w , ~d = ~1 = (1 1). A = kQ, d = 1.
M : k0 //0// k
has a projective summand 0 //// k so M 6' ν1M
=⇒ no corresponding point of RigIso(A,~1)S .
However, for the universal representation
U = OP1
x //y// OP1 (1)
we have U ⊗LA DA[−1] ' ωP1 ⊗P1 U & in fact
Proposition
RigIso(A,~1)S ' P1.
A similar result holds for the Beilinson algebra derived equivalent to Pd .
Daniel Chan joint work with Boris Lerner
![Page 104: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/104.jpg)
Serre stability alters points: eg Kronecker algebra
Q = Kronecker quiver v //// w , ~d = ~1 = (1 1). A = kQ, d = 1.
M : k0 //0// k
has a projective summand 0 //// k so M 6' ν1M
=⇒ no corresponding point of RigIso(A,~1)S .
However, for the universal representation
U = OP1
x //y// OP1 (1)
we have U ⊗LA DA[−1] ' ωP1 ⊗P1 U & in fact
Proposition
RigIso(A,~1)S ' P1.
A similar result holds for the Beilinson algebra derived equivalent to Pd .
Daniel Chan joint work with Boris Lerner
![Page 105: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/105.jpg)
Serre stability alters points: eg Kronecker algebra
Q = Kronecker quiver v //// w , ~d = ~1 = (1 1). A = kQ, d = 1.
M : k0 //0// k
has a projective summand 0 //// k so M 6' ν1M
=⇒ no corresponding point of RigIso(A,~1)S .
However, for the universal representation
U = OP1
x //y// OP1 (1)
we have U ⊗LA DA[−1] ' ωP1 ⊗P1 U & in fact
Proposition
RigIso(A,~1)S ' P1.
A similar result holds for the Beilinson algebra derived equivalent to Pd .
Daniel Chan joint work with Boris Lerner
![Page 106: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/106.jpg)
Serre stability alters points: eg Kronecker algebra
Q = Kronecker quiver v //// w , ~d = ~1 = (1 1). A = kQ, d = 1.
M : k0 //0// k
has a projective summand 0 //// k so M 6' ν1M
=⇒ no corresponding point of RigIso(A,~1)S .
However, for the universal representation
U = OP1
x //y// OP1 (1)
we have U ⊗LA DA[−1] ' ωP1 ⊗P1 U & in fact
Proposition
RigIso(A,~1)S ' P1.
A similar result holds for the Beilinson algebra derived equivalent to Pd .
Daniel Chan joint work with Boris Lerner
![Page 107: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/107.jpg)
Serre stability alters automorphism groups
A = canonical algebra of P1(3y). Let d = 1, ~d = ~1.
M := k0 // k
0
>>>>>>>>
k
0
@@ 1 // k
is the direct sum of a ν1-orbit corresponding to the 3 simple sheaves aty = 0.
automorphisms of M in RigIso are (k×)3/k× ' (k×)2.
automorphisms of M in RigIsoS are µ3!
Why
M −−−−→ ν1M
θ∈(k×)3
y yνdθM −−−−→ ν1M
, νdθ =
0 1 00 0 11 0 0
θ
commutes up to scalar ⇐⇒ θ is an e-vector of the permutation matrix.
Daniel Chan joint work with Boris Lerner
![Page 108: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/108.jpg)
Serre stability alters automorphism groups
A = canonical algebra of P1(3y). Let d = 1, ~d = ~1.
M := k0 // k
0
>>>>>>>>
k
0
@@ 1 // k
is the direct sum of a ν1-orbit corresponding to the 3 simple sheaves aty = 0.
automorphisms of M in RigIso are (k×)3/k× ' (k×)2.
automorphisms of M in RigIsoS are µ3!
Why
M −−−−→ ν1M
θ∈(k×)3
y yνdθM −−−−→ ν1M
, νdθ =
0 1 00 0 11 0 0
θ
commutes up to scalar ⇐⇒ θ is an e-vector of the permutation matrix.
Daniel Chan joint work with Boris Lerner
![Page 109: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/109.jpg)
Serre stability alters automorphism groups
A = canonical algebra of P1(3y). Let d = 1, ~d = ~1.
M := k0 // k
0
>>>>>>>>
k
0
@@ 1 // k
is the direct sum of a ν1-orbit corresponding to the 3 simple sheaves aty = 0.
automorphisms of M in RigIso are (k×)3/k× ' (k×)2.
automorphisms of M in RigIsoS are µ3!
Why
M −−−−→ ν1M
θ∈(k×)3
y yνdθM −−−−→ ν1M
, νdθ =
0 1 00 0 11 0 0
θ
commutes up to scalar ⇐⇒ θ is an e-vector of the permutation matrix.
Daniel Chan joint work with Boris Lerner
![Page 110: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/110.jpg)
Serre stability alters automorphism groups
A = canonical algebra of P1(3y). Let d = 1, ~d = ~1.
M := k0 // k
0
>>>>>>>>
k
0
@@ 1 // k
is the direct sum of a ν1-orbit corresponding to the 3 simple sheaves aty = 0.
automorphisms of M in RigIso are (k×)3/k× ' (k×)2.
automorphisms of M in RigIsoS are µ3!
Why
M −−−−→ ν1M
θ∈(k×)3
y yνdθM −−−−→ ν1M
, νdθ =
0 1 00 0 11 0 0
θ
commutes up to scalar ⇐⇒ θ is an e-vector of the permutation matrix.
Daniel Chan joint work with Boris Lerner
![Page 111: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/111.jpg)
Serre stability alters automorphism groups
A = canonical algebra of P1(3y). Let d = 1, ~d = ~1.
M := k0 // k
0
>>>>>>>>
k
0
@@ 1 // k
is the direct sum of a ν1-orbit corresponding to the 3 simple sheaves aty = 0.
automorphisms of M in RigIso are (k×)3/k× ' (k×)2.
automorphisms of M in RigIsoS are µ3!
Why
M −−−−→ ν1M
θ∈(k×)3
y yνdθM −−−−→ ν1M
, νdθ =
0 1 00 0 11 0 0
θ
commutes up to scalar ⇐⇒ θ is an e-vector of the permutation matrix.
Daniel Chan joint work with Boris Lerner
![Page 112: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/112.jpg)
Serre stability alters automorphism groups
A = canonical algebra of P1(3y). Let d = 1, ~d = ~1.
M := k0 // k
0
>>>>>>>>
k
0
@@ 1 // k
is the direct sum of a ν1-orbit corresponding to the 3 simple sheaves aty = 0.
automorphisms of M in RigIso are (k×)3/k× ' (k×)2.
automorphisms of M in RigIsoS are µ3!
Why
M −−−−→ ν1M
θ∈(k×)3
y yνdθM −−−−→ ν1M
, νdθ =
0 1 00 0 11 0 0
θ
commutes up to scalar ⇐⇒ θ is an e-vector of the permutation matrix.
Daniel Chan joint work with Boris Lerner
![Page 113: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/113.jpg)
The k-points of RigIsoS
Note νd induces a (shifted) Coxeter transformation on K0(A).
If M ∈ modA is Serre stable in sense M ' νdM, then ~d := ~dimM is fixedby νd . We say ~d is Coxeter stable.
Proposition
Let M be a Serre stable module with ~dimM minimal Coxeter stable. IfEndA M is semisimple then
Any two isomorphisms θ : M −→ νdM, θ′ : M −→ νdM areisomorphic in RigIsoS .
The automorphism group in RigIsoS(k) of any such θ is µp wherep = no. Wedderburn components of EndA M.
Daniel Chan joint work with Boris Lerner
![Page 114: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/114.jpg)
The k-points of RigIsoS
Note νd induces a (shifted) Coxeter transformation on K0(A).
If M ∈ modA is Serre stable in sense M ' νdM, then ~d := ~dimM is fixedby νd . We say ~d is Coxeter stable.
Proposition
Let M be a Serre stable module with ~dimM minimal Coxeter stable. IfEndA M is semisimple then
Any two isomorphisms θ : M −→ νdM, θ′ : M −→ νdM areisomorphic in RigIsoS .
The automorphism group in RigIsoS(k) of any such θ is µp wherep = no. Wedderburn components of EndA M.
Daniel Chan joint work with Boris Lerner
![Page 115: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/115.jpg)
The k-points of RigIsoS
Note νd induces a (shifted) Coxeter transformation on K0(A).
If M ∈ modA is Serre stable in sense M ' νdM, then ~d := ~dimM is fixedby νd .
We say ~d is Coxeter stable.
Proposition
Let M be a Serre stable module with ~dimM minimal Coxeter stable. IfEndA M is semisimple then
Any two isomorphisms θ : M −→ νdM, θ′ : M −→ νdM areisomorphic in RigIsoS .
The automorphism group in RigIsoS(k) of any such θ is µp wherep = no. Wedderburn components of EndA M.
Daniel Chan joint work with Boris Lerner
![Page 116: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/116.jpg)
The k-points of RigIsoS
Note νd induces a (shifted) Coxeter transformation on K0(A).
If M ∈ modA is Serre stable in sense M ' νdM, then ~d := ~dimM is fixedby νd . We say ~d is Coxeter stable.
Proposition
Let M be a Serre stable module with ~dimM minimal Coxeter stable. IfEndA M is semisimple then
Any two isomorphisms θ : M −→ νdM, θ′ : M −→ νdM areisomorphic in RigIsoS .
The automorphism group in RigIsoS(k) of any such θ is µp wherep = no. Wedderburn components of EndA M.
Daniel Chan joint work with Boris Lerner
![Page 117: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/117.jpg)
The k-points of RigIsoS
Note νd induces a (shifted) Coxeter transformation on K0(A).
If M ∈ modA is Serre stable in sense M ' νdM, then ~d := ~dimM is fixedby νd . We say ~d is Coxeter stable.
Proposition
Let M be a Serre stable module with ~dimM minimal Coxeter stable.
IfEndA M is semisimple then
Any two isomorphisms θ : M −→ νdM, θ′ : M −→ νdM areisomorphic in RigIsoS .
The automorphism group in RigIsoS(k) of any such θ is µp wherep = no. Wedderburn components of EndA M.
Daniel Chan joint work with Boris Lerner
![Page 118: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/118.jpg)
The k-points of RigIsoS
Note νd induces a (shifted) Coxeter transformation on K0(A).
If M ∈ modA is Serre stable in sense M ' νdM, then ~d := ~dimM is fixedby νd . We say ~d is Coxeter stable.
Proposition
Let M be a Serre stable module with ~dimM minimal Coxeter stable. IfEndA M is semisimple then
Any two isomorphisms θ : M −→ νdM, θ′ : M −→ νdM areisomorphic in RigIsoS .
The automorphism group in RigIsoS(k) of any such θ is µp wherep = no. Wedderburn components of EndA M.
Daniel Chan joint work with Boris Lerner
![Page 119: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/119.jpg)
The k-points of RigIsoS
Note νd induces a (shifted) Coxeter transformation on K0(A).
If M ∈ modA is Serre stable in sense M ' νdM, then ~d := ~dimM is fixedby νd . We say ~d is Coxeter stable.
Proposition
Let M be a Serre stable module with ~dimM minimal Coxeter stable. IfEndA M is semisimple then
Any two isomorphisms θ : M −→ νdM, θ′ : M −→ νdM areisomorphic in RigIsoS .
The automorphism group in RigIsoS(k) of any such θ is µp wherep = no. Wedderburn components of EndA M.
Daniel Chan joint work with Boris Lerner
![Page 120: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/120.jpg)
The k-points of RigIsoS
Note νd induces a (shifted) Coxeter transformation on K0(A).
If M ∈ modA is Serre stable in sense M ' νdM, then ~d := ~dimM is fixedby νd . We say ~d is Coxeter stable.
Proposition
Let M be a Serre stable module with ~dimM minimal Coxeter stable. IfEndA M is semisimple then
Any two isomorphisms θ : M −→ νdM, θ′ : M −→ νdM areisomorphic in RigIsoS .
The automorphism group in RigIsoS(k) of any such θ is µp wherep = no. Wedderburn components of EndA M.
Daniel Chan joint work with Boris Lerner
![Page 121: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/121.jpg)
Some theorems
Theorem (C.-Lerner)
Let W be a weighted projective line which is Fano or anti-Fano
i.e. ω∓1W
is ample or equiv, is not tubular. Let
T = ⊕Tv be a basic tilting bundle on WA = EndW T .
Then RigIso(A, ~dimT )S 'W & T is dual to the universal representation.
Remark Higher dimensional versions hold.
Theorem (C.-Lerner)
Let A = canonical algebra. Then RigIso(A,~1)S is a weighted projectiveline derived equivalent to A & the universal representation is dual to thetilting bundle given earlier.
Abdelghadir-Ueda have also exhibited weighted projective lines asmoduli spaces, but of enriched quiver representations.The proof of the derived equivalence is via Bridgeland-King-Reidtheory and is independent of Geigle-Lenzing’s.
Daniel Chan joint work with Boris Lerner
![Page 122: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/122.jpg)
Some theorems
Theorem (C.-Lerner)
Let W be a weighted projective line which is Fano or anti-Fano i.e. ω∓1W
is ample or equiv, is not tubular.
Let
T = ⊕Tv be a basic tilting bundle on WA = EndW T .
Then RigIso(A, ~dimT )S 'W & T is dual to the universal representation.
Remark Higher dimensional versions hold.
Theorem (C.-Lerner)
Let A = canonical algebra. Then RigIso(A,~1)S is a weighted projectiveline derived equivalent to A & the universal representation is dual to thetilting bundle given earlier.
Abdelghadir-Ueda have also exhibited weighted projective lines asmoduli spaces, but of enriched quiver representations.The proof of the derived equivalence is via Bridgeland-King-Reidtheory and is independent of Geigle-Lenzing’s.
Daniel Chan joint work with Boris Lerner
![Page 123: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/123.jpg)
Some theorems
Theorem (C.-Lerner)
Let W be a weighted projective line which is Fano or anti-Fano i.e. ω∓1W
is ample or equiv, is not tubular. Let
T = ⊕Tv be a basic tilting bundle on W
A = EndW T .
Then RigIso(A, ~dimT )S 'W & T is dual to the universal representation.
Remark Higher dimensional versions hold.
Theorem (C.-Lerner)
Let A = canonical algebra. Then RigIso(A,~1)S is a weighted projectiveline derived equivalent to A & the universal representation is dual to thetilting bundle given earlier.
Abdelghadir-Ueda have also exhibited weighted projective lines asmoduli spaces, but of enriched quiver representations.The proof of the derived equivalence is via Bridgeland-King-Reidtheory and is independent of Geigle-Lenzing’s.
Daniel Chan joint work with Boris Lerner
![Page 124: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/124.jpg)
Some theorems
Theorem (C.-Lerner)
Let W be a weighted projective line which is Fano or anti-Fano i.e. ω∓1W
is ample or equiv, is not tubular. Let
T = ⊕Tv be a basic tilting bundle on WA = EndW T .
Then RigIso(A, ~dimT )S 'W & T is dual to the universal representation.
Remark Higher dimensional versions hold.
Theorem (C.-Lerner)
Let A = canonical algebra. Then RigIso(A,~1)S is a weighted projectiveline derived equivalent to A & the universal representation is dual to thetilting bundle given earlier.
Abdelghadir-Ueda have also exhibited weighted projective lines asmoduli spaces, but of enriched quiver representations.The proof of the derived equivalence is via Bridgeland-King-Reidtheory and is independent of Geigle-Lenzing’s.
Daniel Chan joint work with Boris Lerner
![Page 125: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/125.jpg)
Some theorems
Theorem (C.-Lerner)
Let W be a weighted projective line which is Fano or anti-Fano i.e. ω∓1W
is ample or equiv, is not tubular. Let
T = ⊕Tv be a basic tilting bundle on WA = EndW T .
Then RigIso(A, ~dimT )S 'W &
T is dual to the universal representation.
Remark Higher dimensional versions hold.
Theorem (C.-Lerner)
Let A = canonical algebra. Then RigIso(A,~1)S is a weighted projectiveline derived equivalent to A & the universal representation is dual to thetilting bundle given earlier.
Abdelghadir-Ueda have also exhibited weighted projective lines asmoduli spaces, but of enriched quiver representations.The proof of the derived equivalence is via Bridgeland-King-Reidtheory and is independent of Geigle-Lenzing’s.
Daniel Chan joint work with Boris Lerner
![Page 126: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/126.jpg)
Some theorems
Theorem (C.-Lerner)
Let W be a weighted projective line which is Fano or anti-Fano i.e. ω∓1W
is ample or equiv, is not tubular. Let
T = ⊕Tv be a basic tilting bundle on WA = EndW T .
Then RigIso(A, ~dimT )S 'W & T is dual to the universal representation.
Remark Higher dimensional versions hold.
Theorem (C.-Lerner)
Let A = canonical algebra. Then RigIso(A,~1)S is a weighted projectiveline derived equivalent to A & the universal representation is dual to thetilting bundle given earlier.
Abdelghadir-Ueda have also exhibited weighted projective lines asmoduli spaces, but of enriched quiver representations.The proof of the derived equivalence is via Bridgeland-King-Reidtheory and is independent of Geigle-Lenzing’s.
Daniel Chan joint work with Boris Lerner
![Page 127: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/127.jpg)
Some theorems
Theorem (C.-Lerner)
Let W be a weighted projective line which is Fano or anti-Fano i.e. ω∓1W
is ample or equiv, is not tubular. Let
T = ⊕Tv be a basic tilting bundle on WA = EndW T .
Then RigIso(A, ~dimT )S 'W & T is dual to the universal representation.
Remark Higher dimensional versions hold.
Theorem (C.-Lerner)
Let A = canonical algebra. Then RigIso(A,~1)S is a weighted projectiveline derived equivalent to A & the universal representation is dual to thetilting bundle given earlier.
Abdelghadir-Ueda have also exhibited weighted projective lines asmoduli spaces, but of enriched quiver representations.The proof of the derived equivalence is via Bridgeland-King-Reidtheory and is independent of Geigle-Lenzing’s.
Daniel Chan joint work with Boris Lerner
![Page 128: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/128.jpg)
Some theorems
Theorem (C.-Lerner)
Let W be a weighted projective line which is Fano or anti-Fano i.e. ω∓1W
is ample or equiv, is not tubular. Let
T = ⊕Tv be a basic tilting bundle on WA = EndW T .
Then RigIso(A, ~dimT )S 'W & T is dual to the universal representation.
Remark Higher dimensional versions hold.
Theorem (C.-Lerner)
Let A = canonical algebra. Then RigIso(A,~1)S is a weighted projectiveline derived equivalent to A
& the universal representation is dual to thetilting bundle given earlier.
Abdelghadir-Ueda have also exhibited weighted projective lines asmoduli spaces, but of enriched quiver representations.The proof of the derived equivalence is via Bridgeland-King-Reidtheory and is independent of Geigle-Lenzing’s.
Daniel Chan joint work with Boris Lerner
![Page 129: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/129.jpg)
Some theorems
Theorem (C.-Lerner)
Let W be a weighted projective line which is Fano or anti-Fano i.e. ω∓1W
is ample or equiv, is not tubular. Let
T = ⊕Tv be a basic tilting bundle on WA = EndW T .
Then RigIso(A, ~dimT )S 'W & T is dual to the universal representation.
Remark Higher dimensional versions hold.
Theorem (C.-Lerner)
Let A = canonical algebra. Then RigIso(A,~1)S is a weighted projectiveline derived equivalent to A & the universal representation is dual to thetilting bundle given earlier.
Abdelghadir-Ueda have also exhibited weighted projective lines asmoduli spaces, but of enriched quiver representations.The proof of the derived equivalence is via Bridgeland-King-Reidtheory and is independent of Geigle-Lenzing’s.
Daniel Chan joint work with Boris Lerner
![Page 130: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/130.jpg)
Some theorems
Theorem (C.-Lerner)
Let W be a weighted projective line which is Fano or anti-Fano i.e. ω∓1W
is ample or equiv, is not tubular. Let
T = ⊕Tv be a basic tilting bundle on WA = EndW T .
Then RigIso(A, ~dimT )S 'W & T is dual to the universal representation.
Remark Higher dimensional versions hold.
Theorem (C.-Lerner)
Let A = canonical algebra. Then RigIso(A,~1)S is a weighted projectiveline derived equivalent to A & the universal representation is dual to thetilting bundle given earlier.
Abdelghadir-Ueda have also exhibited weighted projective lines asmoduli spaces,
but of enriched quiver representations.The proof of the derived equivalence is via Bridgeland-King-Reidtheory and is independent of Geigle-Lenzing’s.
Daniel Chan joint work with Boris Lerner
![Page 131: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/131.jpg)
Some theorems
Theorem (C.-Lerner)
Let W be a weighted projective line which is Fano or anti-Fano i.e. ω∓1W
is ample or equiv, is not tubular. Let
T = ⊕Tv be a basic tilting bundle on WA = EndW T .
Then RigIso(A, ~dimT )S 'W & T is dual to the universal representation.
Remark Higher dimensional versions hold.
Theorem (C.-Lerner)
Let A = canonical algebra. Then RigIso(A,~1)S is a weighted projectiveline derived equivalent to A & the universal representation is dual to thetilting bundle given earlier.
Abdelghadir-Ueda have also exhibited weighted projective lines asmoduli spaces, but of enriched quiver representations.
The proof of the derived equivalence is via Bridgeland-King-Reidtheory and is independent of Geigle-Lenzing’s.
Daniel Chan joint work with Boris Lerner
![Page 132: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/132.jpg)
Some theorems
Theorem (C.-Lerner)
Let W be a weighted projective line which is Fano or anti-Fano i.e. ω∓1W
is ample or equiv, is not tubular. Let
T = ⊕Tv be a basic tilting bundle on WA = EndW T .
Then RigIso(A, ~dimT )S 'W & T is dual to the universal representation.
Remark Higher dimensional versions hold.
Theorem (C.-Lerner)
Let A = canonical algebra. Then RigIso(A,~1)S is a weighted projectiveline derived equivalent to A & the universal representation is dual to thetilting bundle given earlier.
Abdelghadir-Ueda have also exhibited weighted projective lines asmoduli spaces, but of enriched quiver representations.The proof of the derived equivalence is via Bridgeland-King-Reidtheory and is independent of Geigle-Lenzing’s.
Daniel Chan joint work with Boris Lerner
![Page 133: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/133.jpg)
Reminder on Bridgeland-King-Reid theory
Let W be a smooth weighted projective variety.
Then the set Ω of simplesheaves is a spanning class for CohW.
Let T be an (OW,A)-bimodule for some fin dim algebra A which is leftlocally free &
F = RHomW(T ,−) : Dbc (W) −→ Db
fg (A)
Theorem(Bridgeland-King-Reid)
Suppose for all S,S ′ ∈ Ω we have
F : ExtiW(S,S ′) −→ ExtiA(FS,FS ′) is an isomorphism, and
ν(FS) ' F (ωW ⊗W S).
Then F is a derived equivalence.
Remark Serre stability condition makes checking the 2nd condition easy.
Daniel Chan joint work with Boris Lerner
![Page 134: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/134.jpg)
Reminder on Bridgeland-King-Reid theory
Let W be a smooth weighted projective variety. Then the set Ω of simplesheaves is a spanning class for CohW.
Let T be an (OW,A)-bimodule for some fin dim algebra A which is leftlocally free &
F = RHomW(T ,−) : Dbc (W) −→ Db
fg (A)
Theorem(Bridgeland-King-Reid)
Suppose for all S,S ′ ∈ Ω we have
F : ExtiW(S,S ′) −→ ExtiA(FS,FS ′) is an isomorphism, and
ν(FS) ' F (ωW ⊗W S).
Then F is a derived equivalence.
Remark Serre stability condition makes checking the 2nd condition easy.
Daniel Chan joint work with Boris Lerner
![Page 135: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/135.jpg)
Reminder on Bridgeland-King-Reid theory
Let W be a smooth weighted projective variety. Then the set Ω of simplesheaves is a spanning class for CohW.
Let T be an (OW,A)-bimodule for some fin dim algebra A which is leftlocally free &
F = RHomW(T ,−) : Dbc (W) −→ Db
fg (A)
Theorem(Bridgeland-King-Reid)
Suppose for all S,S ′ ∈ Ω we have
F : ExtiW(S,S ′) −→ ExtiA(FS,FS ′) is an isomorphism, and
ν(FS) ' F (ωW ⊗W S).
Then F is a derived equivalence.
Remark Serre stability condition makes checking the 2nd condition easy.
Daniel Chan joint work with Boris Lerner
![Page 136: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/136.jpg)
Reminder on Bridgeland-King-Reid theory
Let W be a smooth weighted projective variety. Then the set Ω of simplesheaves is a spanning class for CohW.
Let T be an (OW,A)-bimodule for some fin dim algebra A which is leftlocally free &
F = RHomW(T ,−) : Dbc (W) −→ Db
fg (A)
Theorem(Bridgeland-King-Reid)
Suppose for all S,S ′ ∈ Ω we have
F : ExtiW(S,S ′) −→ ExtiA(FS,FS ′) is an isomorphism, and
ν(FS) ' F (ωW ⊗W S).
Then F is a derived equivalence.
Remark Serre stability condition makes checking the 2nd condition easy.
Daniel Chan joint work with Boris Lerner
![Page 137: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/137.jpg)
Reminder on Bridgeland-King-Reid theory
Let W be a smooth weighted projective variety. Then the set Ω of simplesheaves is a spanning class for CohW.
Let T be an (OW,A)-bimodule for some fin dim algebra A which is leftlocally free &
F = RHomW(T ,−) : Dbc (W) −→ Db
fg (A)
Theorem(Bridgeland-King-Reid)
Suppose for all S,S ′ ∈ Ω we have
F : ExtiW(S,S ′) −→ ExtiA(FS,FS ′) is an isomorphism, and
ν(FS) ' F (ωW ⊗W S).
Then F is a derived equivalence.
Remark Serre stability condition makes checking the 2nd condition easy.
Daniel Chan joint work with Boris Lerner
![Page 138: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/138.jpg)
Reminder on Bridgeland-King-Reid theory
Let W be a smooth weighted projective variety. Then the set Ω of simplesheaves is a spanning class for CohW.
Let T be an (OW,A)-bimodule for some fin dim algebra A which is leftlocally free &
F = RHomW(T ,−) : Dbc (W) −→ Db
fg (A)
Theorem(Bridgeland-King-Reid)
Suppose for all S,S ′ ∈ Ω we have
F : ExtiW(S,S ′) −→ ExtiA(FS,FS ′) is an isomorphism,
and
ν(FS) ' F (ωW ⊗W S).
Then F is a derived equivalence.
Remark Serre stability condition makes checking the 2nd condition easy.
Daniel Chan joint work with Boris Lerner
![Page 139: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/139.jpg)
Reminder on Bridgeland-King-Reid theory
Let W be a smooth weighted projective variety. Then the set Ω of simplesheaves is a spanning class for CohW.
Let T be an (OW,A)-bimodule for some fin dim algebra A which is leftlocally free &
F = RHomW(T ,−) : Dbc (W) −→ Db
fg (A)
Theorem(Bridgeland-King-Reid)
Suppose for all S,S ′ ∈ Ω we have
F : ExtiW(S,S ′) −→ ExtiA(FS,FS ′) is an isomorphism, and
ν(FS) ' F (ωW ⊗W S).
Then F is a derived equivalence.
Remark Serre stability condition makes checking the 2nd condition easy.
Daniel Chan joint work with Boris Lerner
![Page 140: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/140.jpg)
Reminder on Bridgeland-King-Reid theory
Let W be a smooth weighted projective variety. Then the set Ω of simplesheaves is a spanning class for CohW.
Let T be an (OW,A)-bimodule for some fin dim algebra A which is leftlocally free &
F = RHomW(T ,−) : Dbc (W) −→ Db
fg (A)
Theorem(Bridgeland-King-Reid)
Suppose for all S,S ′ ∈ Ω we have
F : ExtiW(S,S ′) −→ ExtiA(FS,FS ′) is an isomorphism, and
ν(FS) ' F (ωW ⊗W S).
Then F is a derived equivalence.
Remark Serre stability condition makes checking the 2nd condition easy.
Daniel Chan joint work with Boris Lerner
![Page 141: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/141.jpg)
Reminder on Bridgeland-King-Reid theory
Let W be a smooth weighted projective variety. Then the set Ω of simplesheaves is a spanning class for CohW.
Let T be an (OW,A)-bimodule for some fin dim algebra A which is leftlocally free &
F = RHomW(T ,−) : Dbc (W) −→ Db
fg (A)
Theorem(Bridgeland-King-Reid)
Suppose for all S,S ′ ∈ Ω we have
F : ExtiW(S,S ′) −→ ExtiA(FS,FS ′) is an isomorphism, and
ν(FS) ' F (ωW ⊗W S).
Then F is a derived equivalence.
Remark Serre stability condition makes checking the 2nd condition easy.
Daniel Chan joint work with Boris Lerner
![Page 142: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/142.jpg)
A fresh look at the canonical algebra A
Step 1 Choose ~d : For RigIsoS 6= ∅ need ~d fixed by Coxetertransformation = ν1 on K0(A). Use ~d = ~1 ∵ it works and generates allsuch vectors if A is non-tubular.
Step 2 Compute Serre functor on some modules: eg for
M := kb // k
c
>>>>>>>>
k
a
@@ 1 // k
, ν1M := ka // k
b
>>>>>>>>
k
c
@@ 1 // k
Note iso class determined by product abc
Step 3 Guess a universal family/moduli space:
k[x ]x // k[x ]
x
!!DDDDDDDD
k[x ]
x
==zzzzzzzz1 // k[x ]
is a µ3-equivariant family on A1x . See RigIsoS ' P1(3y).
Daniel Chan joint work with Boris Lerner
![Page 143: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/143.jpg)
A fresh look at the canonical algebra A
Step 1 Choose ~d : For RigIsoS 6= ∅ need ~d fixed by Coxetertransformation = ν1 on K0(A).
Use ~d = ~1 ∵ it works and generates allsuch vectors if A is non-tubular.
Step 2 Compute Serre functor on some modules: eg for
M := kb // k
c
>>>>>>>>
k
a
@@ 1 // k
, ν1M := ka // k
b
>>>>>>>>
k
c
@@ 1 // k
Note iso class determined by product abc
Step 3 Guess a universal family/moduli space:
k[x ]x // k[x ]
x
!!DDDDDDDD
k[x ]
x
==zzzzzzzz1 // k[x ]
is a µ3-equivariant family on A1x . See RigIsoS ' P1(3y).
Daniel Chan joint work with Boris Lerner
![Page 144: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/144.jpg)
A fresh look at the canonical algebra A
Step 1 Choose ~d : For RigIsoS 6= ∅ need ~d fixed by Coxetertransformation = ν1 on K0(A). Use ~d = ~1 ∵ it works and generates allsuch vectors if A is non-tubular.
Step 2 Compute Serre functor on some modules: eg for
M := kb // k
c
>>>>>>>>
k
a
@@ 1 // k
, ν1M := ka // k
b
>>>>>>>>
k
c
@@ 1 // k
Note iso class determined by product abc
Step 3 Guess a universal family/moduli space:
k[x ]x // k[x ]
x
!!DDDDDDDD
k[x ]
x
==zzzzzzzz1 // k[x ]
is a µ3-equivariant family on A1x . See RigIsoS ' P1(3y).
Daniel Chan joint work with Boris Lerner
![Page 145: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/145.jpg)
A fresh look at the canonical algebra A
Step 1 Choose ~d : For RigIsoS 6= ∅ need ~d fixed by Coxetertransformation = ν1 on K0(A). Use ~d = ~1 ∵ it works and generates allsuch vectors if A is non-tubular.
Step 2 Compute Serre functor on some modules: eg for
M := kb // k
c
>>>>>>>>
k
a
@@ 1 // k
, ν1M := ka // k
b
>>>>>>>>
k
c
@@ 1 // k
Note iso class determined by product abc
Step 3 Guess a universal family/moduli space:
k[x ]x // k[x ]
x
!!DDDDDDDD
k[x ]
x
==zzzzzzzz1 // k[x ]
is a µ3-equivariant family on A1x . See RigIsoS ' P1(3y).
Daniel Chan joint work with Boris Lerner
![Page 146: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/146.jpg)
A fresh look at the canonical algebra A
Step 1 Choose ~d : For RigIsoS 6= ∅ need ~d fixed by Coxetertransformation = ν1 on K0(A). Use ~d = ~1 ∵ it works and generates allsuch vectors if A is non-tubular.
Step 2 Compute Serre functor on some modules: eg for
M := kb // k
c
>>>>>>>>
k
a
@@ 1 // k
, ν1M := ka // k
b
>>>>>>>>
k
c
@@ 1 // k
Note iso class determined by product abc
Step 3 Guess a universal family/moduli space:
k[x ]x // k[x ]
x
!!DDDDDDDD
k[x ]
x
==zzzzzzzz1 // k[x ]
is a µ3-equivariant family on A1x . See RigIsoS ' P1(3y).
Daniel Chan joint work with Boris Lerner
![Page 147: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/147.jpg)
A fresh look at the canonical algebra A
Step 1 Choose ~d : For RigIsoS 6= ∅ need ~d fixed by Coxetertransformation = ν1 on K0(A). Use ~d = ~1 ∵ it works and generates allsuch vectors if A is non-tubular.
Step 2 Compute Serre functor on some modules: eg for
M := kb // k
c
>>>>>>>>
k
a
@@ 1 // k
, ν1M := ka // k
b
>>>>>>>>
k
c
@@ 1 // k
Note iso class determined by product abc
Step 3 Guess a universal family/moduli space:
k[x ]x // k[x ]
x
!!DDDDDDDD
k[x ]
x
==zzzzzzzz1 // k[x ]
is a µ3-equivariant family on A1x . See RigIsoS ' P1(3y).
Daniel Chan joint work with Boris Lerner
![Page 148: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/148.jpg)
Remark on stable reduction in this case
For c ∈ k − 0, we get a Serre stable family
Mc := k1 // k
1
>>>>>>>>
k
c
@@ 1 // k
which does not immediately extend to c = 0. Need first adjoin 3√c to get
M 3√c := k
3√c // k
3√c
>>>>>>>>
k
3√c@@ 1 // k
Daniel Chan joint work with Boris Lerner
![Page 149: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/149.jpg)
Remark on stable reduction in this case
For c ∈ k − 0, we get a Serre stable family
Mc := k1 // k
1
>>>>>>>>
k
c
@@ 1 // k
which does not immediately extend to c = 0. Need first adjoin 3√c to get
M 3√c := k
3√c // k
3√c
>>>>>>>>
k
3√c@@ 1 // k
Daniel Chan joint work with Boris Lerner
![Page 150: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/150.jpg)
Remark on stable reduction in this case
For c ∈ k − 0, we get a Serre stable family
Mc := k1 // k
1
>>>>>>>>
k
c
@@ 1 // k
which does not immediately extend to c = 0.
Need first adjoin 3√c to get
M 3√c := k
3√c // k
3√c
>>>>>>>>
k
3√c@@ 1 // k
Daniel Chan joint work with Boris Lerner
![Page 151: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/151.jpg)
Remark on stable reduction in this case
For c ∈ k − 0, we get a Serre stable family
Mc := k1 // k
1
>>>>>>>>
k
c
@@ 1 // k
which does not immediately extend to c = 0. Need first adjoin 3√c to get
M 3√c := k
3√c // k
3√c
>>>>>>>>
k
3√c@@ 1 // k
Daniel Chan joint work with Boris Lerner
![Page 152: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/152.jpg)
Extra Comments
Method “works” because Serre stable moduli stack of “skyscrapersheaves” is the tautological moduli problem that recovers manystacks.
Ideally we can apply Bridgeland-King-Reid theory to obtainindependently many derived equivalences. Problem is we don’t havemany general results about the Serre stable moduli stack e.g. need astable reduction theorem.
For tame hereditary algebras, the preprojective algebra arisesnaturally in attempting to construct Serre stable objects.
Case where you insert weights on intersecting divisors fails. Perhapscan be fixed by using the cotangent bundle.
Daniel Chan joint work with Boris Lerner
![Page 153: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/153.jpg)
Extra Comments
Method “works” because Serre stable moduli stack of “skyscrapersheaves” is the tautological moduli problem that recovers manystacks.
Ideally we can apply Bridgeland-King-Reid theory to obtainindependently many derived equivalences. Problem is we don’t havemany general results about the Serre stable moduli stack e.g. need astable reduction theorem.
For tame hereditary algebras, the preprojective algebra arisesnaturally in attempting to construct Serre stable objects.
Case where you insert weights on intersecting divisors fails. Perhapscan be fixed by using the cotangent bundle.
Daniel Chan joint work with Boris Lerner
![Page 154: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/154.jpg)
Extra Comments
Method “works” because Serre stable moduli stack of “skyscrapersheaves” is the tautological moduli problem that recovers manystacks.
Ideally we can apply Bridgeland-King-Reid theory to obtainindependently many derived equivalences.
Problem is we don’t havemany general results about the Serre stable moduli stack e.g. need astable reduction theorem.
For tame hereditary algebras, the preprojective algebra arisesnaturally in attempting to construct Serre stable objects.
Case where you insert weights on intersecting divisors fails. Perhapscan be fixed by using the cotangent bundle.
Daniel Chan joint work with Boris Lerner
![Page 155: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/155.jpg)
Extra Comments
Method “works” because Serre stable moduli stack of “skyscrapersheaves” is the tautological moduli problem that recovers manystacks.
Ideally we can apply Bridgeland-King-Reid theory to obtainindependently many derived equivalences. Problem is we don’t havemany general results about the Serre stable moduli stack e.g. need astable reduction theorem.
For tame hereditary algebras, the preprojective algebra arisesnaturally in attempting to construct Serre stable objects.
Case where you insert weights on intersecting divisors fails. Perhapscan be fixed by using the cotangent bundle.
Daniel Chan joint work with Boris Lerner
![Page 156: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/156.jpg)
Extra Comments
Method “works” because Serre stable moduli stack of “skyscrapersheaves” is the tautological moduli problem that recovers manystacks.
Ideally we can apply Bridgeland-King-Reid theory to obtainindependently many derived equivalences. Problem is we don’t havemany general results about the Serre stable moduli stack e.g. need astable reduction theorem.
For tame hereditary algebras, the preprojective algebra arisesnaturally in attempting to construct Serre stable objects.
Case where you insert weights on intersecting divisors fails. Perhapscan be fixed by using the cotangent bundle.
Daniel Chan joint work with Boris Lerner
![Page 157: Algebraic stacks in the representation theory of finite ...Introduction always work over base eld k algebraically closed of char 0. Motto Moduli stacks are a fruitful way to study](https://reader035.fdocuments.net/reader035/viewer/2022070717/5edc09a0ad6a402d66668800/html5/thumbnails/157.jpg)
Extra Comments
Method “works” because Serre stable moduli stack of “skyscrapersheaves” is the tautological moduli problem that recovers manystacks.
Ideally we can apply Bridgeland-King-Reid theory to obtainindependently many derived equivalences. Problem is we don’t havemany general results about the Serre stable moduli stack e.g. need astable reduction theorem.
For tame hereditary algebras, the preprojective algebra arisesnaturally in attempting to construct Serre stable objects.
Case where you insert weights on intersecting divisors fails. Perhapscan be fixed by using the cotangent bundle.
Daniel Chan joint work with Boris Lerner