The Grothendieck groups and stable equivalences of mesh algebras Sota Asai Graduate School of Mathematics, Nagoya University

March 31st, 2016

1 / 25

Quiver and algebra Consider the following quiver and relation

Q= 1

α / 2

Q0 = {1, 2, 3} (vertices) Q1 = {α, β} (arrows)

β / 3

!

αβ = 0 Then the algebra Λ has a basis e1 , e2 , e3 , α, β

x indec. proj. Px

indec. inj. Ix

1 / K /

/0

/

K

1 / K

K

0

/K

0

1 K 2

0

3

0

/

simple Sx

/0

K

1 / K /

0

0

/

1 / K

0

0 K

K

/

/

0

/

0

K

/

0

/0

/

K 2 / 25

Mesh algebras I I

We only consider stable translation quivers here

(Q, τ) with Q = (Q0 , Q1 ) quiver and τ ∈ Aut Q0 such that #Q1 (y → x) = #Q1 (τx → y) y ? 1

α1 I

Mesh: τx αm

I

α2

4 y2

.. .  ym

β1 β2

* ? βm

x (relation:

m X

αi βi = 0)

i=1

Example: Auslander-Reiten (AR) quiver I I

Vertices: indecomposable objects of the category Arrows: irreducible morphisms between objects

3 / 25

Z∆ is a translation quiver Let ∆ be a Dynkin diagram:

An : 1 Dn : 1

2 2

3 3

4 4

··· ···

n En : 1

2

n n−1 (n ≥ 4)

3 n

4

···

n−1 (n = 6, 7, 8)

We have a stable translation quiver Z∆ as follows

4 / 25

ZD7 If ∆ = D7 , then ZD7 is the following quiver; ?•



/

•  ?•

•  ?•

• 5 / 25

ZD7 If ∆ = D7 , then ZD7 is the following quiver; ?•

···

/



?•



 ?•

···





 ?•

•  ?•

···

/

?•





 ?•

•  ?•



/

?•



···

 ?•

···

•  ?•



/

 ?•



··· 5 / 25

ZD7 If ∆ = D7 , then ZD7 is the following quiver; ?•

···

/



/

?• 

?•

 ?•



/



?•

 ?•  ?•

···  ?•

···

/

?•





/



?•

 ?•  ?•

 ?• 

/

?•





/



·? · ·

 ?•  ?•

 ?• 

/



·? · ·



 ?•





··· 5 / 25

ZA6 If ∆ = A6 , then ZA6 is the following quiver; ?•

•  ?•

•  ?•

• 6 / 25

ZA6 If ∆ = A6 , then ZA6 is the following quiver; ?•

···

?•

•  ?•

···

•  ?•

•  ?•

···

?•



 ?•

···

•  ?•



···

•  ?•

 ?•



?•

 ?•



··· 6 / 25

ZA6 If ∆ = A6 , then ZA6 is the following quiver; ?•

?• 

···

 ?•

 ?•



 ?•

 ?•  ?•

 ?• 





·? · ·

?•  ?•

 ?• 

?• 

?•

 ?•

···

···



?•  ?•

?•



·? · ·



 ?•





··· 6 / 25

ZA6/hτ 3i ZA6/hτ 3 i is the following quiver; ?•

?•

A  ?•

 ?• 

 ?•







?•  ?•

 ?•

C

 ?• 

?•

B

A ?

 ?• 

 ?• 



B ?



?

C

• 7 / 25

ZA6/hτ 3/2i ZA6/hτ 3/2 i is the following quiver; ?•

A

?• 



?•

?• 

 ?•





 ?• 

A

B ?

 ?•

?B  ?•







?•

C

 ?•

?C 

B

A ?



?

C

• 8 / 25

ZA6/hτ 3/2i ZA6/hτ 3/2 i is the following quiver; ?•

A





?•

?C  ?•

B



 ?•

?B  ?•

C 





A 8 / 25

ZA5 If ∆ = A5 , then ZA5 is the following quiver; ?•

•  ?•

• 



9 / 25

ZA5 If ∆ = A5 , then ZA5 is the following quiver; ?•

···

?•

•  ?•

···

•  ?•

• 



?•



···

•  ?•

• 

?•

 ?•

···



• •





9 / 25

ZA5 If ∆ = A5 , then ZA5 is the following quiver; ?•

?• 

···



?•  ?•

 ?•









·? · ·

?•  ?•

 ?• 

?• 

?•

 ?•

···

?•

 ?•



 ?•







·? · · •

9 / 25

ZA5/hτ 3i ZA5/hτ 3 i is the following quiver;

 ?•

 ?• 

 ?•

 ?•





?•  ?•



A ?



?•

B

C

?•

?•

A

B ?



 ?•





C

10 / 25

ZA5/hτ 3ψi ZA5/hτ 3 ψi (ψ 2 = id) is the following quiver;

 ?•

 ?• 



 ?•



B ?



?•

?• 



?• 

?•

C ?



?•

B

C

?•

?•

A







A

11 / 25

Finite-dimensional mesh algebra Theorem [Riedtmann] All fin.-dim. connected mesh algebras are given by

ZAn/hτ k i

ZAn/hτ k ψi (n < 2Z)

ZAn/hτ k ϕi (n ∈ 2Z)

ZDn/hτ k i

ZDn/hτ k ψi

ZD4/hτ k χi

ZE6/hτ k i

ZE6/hτ k ψi

ZE7/hτ k i

ZE8/hτ k i

where ψ 2 = id, ϕ2 = τ −1 , χ 3 = id

12 / 25

Projective resolution of Sx Proposition [Dugas] Let

Q: a quiver giving fin-dim. mesh algebra Λ I x ∈ Q0 (Sx : simple Λ-module) Then a projective resolution of Sx is given as M 0 → Sπτ−1 x → Pτ−1 x → Py → Px → Sx → 0 I

y∈x+

I I

x+ : the set of direct successors of x in Q π : the Nakayama permutation (Py  Iπy ) I

The nonzero longest paths from y end at πy 13 / 25

Projective resolution of Sx (ZA5) M

0 → Sπτ−1 x → Pτ−1 x →

Py → Px → Sx → 0

y∈x+

···  ?•

 ?•

···  ?

···

 ?•

 ?•  ?•

 ?•

x 



 ?•  ?•

 ?• 



·? · ·

?•

?•

?•



·? · ·



 ?•





··· 14 / 25

Projective resolution of Sx (ZA5) M

0 → Sπτ−1 x → Pτ−1 x →

Py → Px → Sx → 0

y∈x+

···  ?•

 ?•

···  ?

···

 ?•

 ?•  ?•

 ?•

x 



 ?•  ?•

 ?• 



·? · ·

?•

?•

?•



·? · ·



 ?•





··· 14 / 25

Projective resolution of Sx (ZA5) M

0 → Sπτ−1 x → Pτ−1 x →

Py → Px → Sx → 0

y∈x+

···  ?•

 ?•

···  ?

···

 ?•

 ?•  ?•

 ?•

x 



 ?•  ?•

 ?• 



·? · ·

?•

?•

?•



·? · ·



 ?•





··· 14 / 25

Projective resolution of Sx (ZA5) M

0 → Sπτ−1 x → Pτ−1 x →

Py → Px → Sx → 0

y∈x+

···

?•  ?•

 ?• 

 ?

···

 ?•  ?•

x+ ? 2

···

 ?•

x 

x1+

 ?•  ?•

 ?• 



·? · ·

?•

?•



·? · ·



 ?•





··· 14 / 25

Projective resolution of Sx (ZA5) M

0 → Sπτ−1 x → Pτ−1 x →

Py → Px → Sx → 0

y∈x+

···

?•  ?•

 ?• 

 ?

···

 ?•  ?•

x+ ? 2

···

 ?•

x 

x1+

 ?•  ?•

 ?• 



·? · ·

?•

?•



·? · ·



 ?•





··· 14 / 25

Projective resolution of Sx (ZA5) M

0 → Sπτ−1 x → Pτ−1 x →

Py → Px → Sx → 0

y∈x+

···

?•  ?•

 ?• 

 ?

···

 ?•  ?•

x+ ? 2

···

 ?•

x 

x1+

 ?•  ?•

 ?• 



·? · ·

?•

?•



·? · ·



 ?•





··· 14 / 25

Projective resolution of Sx (ZA5) M

0 → Sπτ−1 x → Pτ−1 x →

Py → Px → Sx → 0

y∈x+

···

?•  ?•

 ?• 

x+ ? 2

··· 

···



 ?•  ?•



x1+

 ?•  ?•

 ?•

τ? −1 x

?x





·? · ·

?•

?•



·? · ·



 ?•





··· 14 / 25

Projective resolution of Sx (ZA5) M

0 → Sπτ−1 x → Pτ−1 x →

Py → Px → Sx → 0

y∈x+

···

?•  ?•

 ?• 

x+ ? 2

··· 

···



 ?•  ?•



x1+

 ?•  ?•

 ?•

τ? −1 x

?x





·? · ·

?•

?•



·? · ·



 ?•





··· 14 / 25

Projective resolution of Sx (ZA5) M

0 → Sπτ−1 x → Pτ−1 x →

Py → Px → Sx → 0

y∈x+

···

?•  ?•

 ?• 

x+ ? 2

··· 

···



 ?•  ?•



x1+

 ?•  ?•

 ?•

τ? −1 x

?x





·? · ·

?•

?•



·? · ·



 ?•





··· 14 / 25

Projective resolution of Sx (ZA5) M

0 → Sπτ−1 x → Pτ−1 x →

Py → Px → Sx → 0

y∈x+

···

?• 



?• 

x+ ? 2

··· 

···



x1+

−1 x πτ ?

?•  ?•



 ?•  ?•

τ? −1 x

?x





?•





·? · ·

?•

?•



·? · ·



 ?•





··· 14 / 25

Triangulated category mod Λ Let I I I

Λ: the fin.-dim. mesh algebra given by Q mod Λ: the fin.-dim. module category mod Λ = mod Λ/proj Λ: the stable category

Then I I I

Λ is self-injective (proj Λ = inj Λ) mod Λ becomes a triangulated category The shift [1] : mod Λ → mod Λ is defined so that 0 → X → P → X[1] → 0 (P ∈ proj Λ) is exact in mod Λ

15 / 25

The Grothendieck group The Grothendieck group K0 (T ) is I

An abelian group for a triangulated category T

I

An important invariant of triangle equivalences

and defined as follows I

Generators: the isomorphic classes in T

I

Relations: If X → Y → Z → X[1] is a triangle in T , then [X] − [Y] + [Z] = 0

16 / 25

Explicit form of K0 (mod Λ) We have I

M

K0 (D (mod Λ))  b

Z[Sx ] [Happel]

x∈Q0 I

If X ∈ mod Λ, then [X] =

X

(dim Xex )[Sx ]

x∈Q0 I

mod Λ  Db (mod Λ)/K b (proj Λ) [Rickard]

and thus

L I

K0 (mod Λ)  X

x∈Q0

Z[Sx ]

h[Py ] | y ∈ Q0 i

[Py ] =

I

ey Λex is generated by the paths from y to x

x∈Q0

(dim ey Λex )[Sx ] in

M

I

Z[Sx ]

x∈Q0

17 / 25

Key idea of calculation Consider the following projective resolution of Sx ;

0 → Sπτ−1 x → Pτ−1 x →

M

Py → Px → Sx → 0

y∈x+

In K0 (Db (mod Λ)) we have

[Sπτ−1 x ] + [Sx ] = [Pτ−1 x ] −

X

[Py ] + [Px ]

y∈x+

There exists a “much smaller” subset Y ⊂ Q0 s.t.

h[Py ] | y ∈ Q0 i = h[Sπτ−1 x ] + [Sx ] | x ∈ Q0 i + h[Py ] | y ∈ Yi ⊂ K0 (Db (mod Λ)) 18 / 25

Main Theorem [A] Let I I

I

I I

Λ: the fin.-dim. mesh algebra of Q = Z∆/G c: the Coxeter number of ∆ Dn E6 E7 E8 ∆ An c n + 1 2n − 2 12 18 30   gcd(c, 2k − 1)/2 (ZAn/hτ k ϕi)  d= (otherwise)  gcd(c, k) r = c/d a, b (integers), H (an abelian group) as the following tables

We have K0 (mod Λ)  Za ⊕ (Z/2) b ⊕ H 19 / 25

Table for An [A] quiver

condition

ZAn /hτ k i

r ∈ 2Z r < 2Z r ∈ 4Z r ∈ 2+4Z r < 2Z

ZAn /hτ k ψi (n < 2Z, ψ 2 = id) ZAn /hτ k ϕi (n ∈ 2Z, ϕ2 = τ −1 )

a (nd−3d+2)/2 (nd−2d+2)/2 (nd−3d)/2 0 (nd−d)/4 0

b d−1 0 d−1 nd−2d+1 0 nd−2d+1

H 0 0 Z/4 0 0 0

20 / 25

Table for Dn [A] quiver

condition

ZDn /hτ k i

k ∈ 2Z, r ∈ 2Z k ∈ 2Z, r < 2Z k < 2Z, r ∈ 4Z k < 2Z, r < 4Z k ∈ 2Z, r ∈ 4Z k ∈ 2Z, r ∈ 2+4Z k ∈ 2Z, r < 2Z k < 2Z k ∈ 2Z k < 2Z

ZDn /hτ k ψi (ψ 2 = id) ZD4 /hτ k χi ( χ 3 = id)

a d−1 (nd−d−2)/2 d 0 d 0 (nd−2d)/2 d−1 4 0

b nd−3d 0 nd−3d nd−d−1 nd−3d nd−d−1 0 nd−3d 0 4

H Z/r Z/r 0 0 0 0 0 Z/r 0 0

21 / 25

Table for En [A] quiver

condition

ZE6 /hτ k i

d = 1, 3 d = 2, 6 d = 4, 12 d = 1, 3 d = 2, 6 d = 4, 12 d=1 d = 3, 9 d=2 d = 6, 18 d = 1, 3, 5 d = 15 d = 2, 6, 10 d = 30

ZE6 /hτ k ψi (ψ 2 = id) ZE7 /hτ k i

ZE8 /hτ k i

a d+1 (3d+2)/2 (9d+12)/4 2d 0 (3d+4)/2 0 0 6 3d+2 0 0 4d 112

b d+1 (3d+2)/2 0 d+1 (9d+6)/2 0 6 6d+2 0 0 8d 112 0 0

H (Z/4) d−1 0 0 0 0 0 0 0 Z/3 0 0 0 0 0 22 / 25

Why Coxeter number c? We can observe I

[Sπτ−1 x ] = −[Sx ] in K0 (mod Λ) I

Because [Sπτ−1 x ] + [Sx ] ∈ h[Py ] | y ∈ Q0 i in

K0 (Db (mod Λ))

I

(πτ −1 ) 2 = τ −c I

By straight forward calculation

Thus I

[Sτ−c x ] = [Sx ] in K0 (mod Λ) I

We can identify x and τ −c x to consider K0 (mod Λ)

23 / 25

Stable equivalences [A] Let I I I

Λ: the fin.-dim. mesh algebra of Q = Z∆/G Λ0: the fin.-dim. mesh algebra of Q0 = Z∆0/G0 mod Λ  mod Λ0 as triangulated categories I I

Thus we have K0 (mod Λ)  K0 (mod Λ0 ) There exist other invariants

Then (A) or (B) holds: I

(A) ∆ = ∆0 = A1 (mod Λ  mod Λ0  0)

I

(B) Q  Q0 and Λ  Λ0

24 / 25

Thank you for your attention.

25 / 25

The Grothendieck groups and stable equivalences of ...

Mar 31, 2016 - En : 1. 2. 3. 4. ··· n−1 n. (n = 6,7,8). We have a stable translation quiver Z∆ as follows ... ZA6/〈τ3. 〉 ZA6/〈τ3〉 is the following quiver;. A. B. C.

166KB Sizes 0 Downloads 190 Views

Recommend Documents

DERIVED EQUIVALENCES OF K3 SURFACES AND ... - Math.utah.edu
the heart of a bounded t-structure on Db(XK)), an easy modification of ..... As an illustration of the techniques, let us next prove that OXK is the only spherical ...

DERIVED EQUIVALENCES OF K3 SURFACES AND ORIENTATION ...
As the image of a Kähler class is again a Kähler class, one actually has f∗(CX) = CX. In other words, f∗ respects the connected components of the set of (1,1)-classes α with (α, α) > 0. If one wants to avoid the existence of Kähler structur

DERIVED EQUIVALENCES OF K3 SURFACES AND ... - Math.utah.edu
plexes in families in terms of Kodaira–Spencer and Atiyah classes which is of independent .... Db(X) be an exact autoequivalence of the bounded derived cate-.

A spectral estimation of tempered stable stochastic ... -
Nov 11, 2010 - Stochastic volatility and jumps in the stock price process are well ..... moment conditions by firstly dividing the domain of the characteristic index into ..... We refer to this model as LTS-SVJD, with which we can compare the ...

A spectral estimation of tempered stable stochastic ... -
Nov 11, 2010 - ... moment conditions by firstly dividing the domain of the characteristic .... a collection of continuously-compounded zero-coupon interest rates ...

Complementary inputs and the existence of stable outcomes in large ...
Jun 22, 2017 - However, Azevedo and Hatfield's (2013) conditions do not define a maximal domain for the existence of stable outcomes in large two-sided ...

Complementary inputs and the existence of stable ...
Jun 22, 2017 - conceptual perspective, contracts specify what goods or services are ..... Figure 1: The trading networks described in Examples 1, 2, and 3.

Behavioral Syndromes in Stable Social Groups
quently isolated the same roosters and conducted tests in a 'virtual environment,' using ... these systems, but much less is known about how they evolved.

Stable Marriage and Search Frictions
Jul 5, 2012 - Define x(m,m) = 1− ∑ w∈W x(m,w) and x(w,w) = 1− ∑ m∈M x(m,w). .... Definition (Steady State Matching) .... Utilities given by the bi-matrix w1.

Diagnosis and Management of Stable Chronic Obstructive Pulmonary ...
Nov 6, 2007 - Targeted use of spirometry for diagnosis of AO is ben- eficial for .... Wilt TJ, Niewoehner D, Kim CB, Kane RL, Linabery A, Tacklind J, et al.

Procedurally Fair and Stable Matching
stable matchings in which he/she is not matched to his/her best partner in the reduced set of .... is better off as well, then we would expect this mutually beneficial “trade” to be carried out, rendering the given ... private schools and univers

Stable and efficient coalitional networks - Springer Link
Sep 9, 2012 - made to the coalitional network needs the consent of both the deviating players and their original coalition partners. Requiring the consent of ...

Stable Matchings and Preferences of Couples
mine a natural preference domain, the domain of weakly responsive ... stability. Under a restricted unemployment aversion condition we show that this domain is.

Social Benefits of Homeownership and Stable Housing - REALTOR ...
homeownership brings substantial social benefits for .... The second most popular reason cited was ..... subsidized or locally assisted homeownership sites and ... discusses the importance of social networks and given ... 10. Social Benefits of Homeo

Procedurally Fair and Stable Matching
The first procedurally fair and stable matching mechanism we consider, called ... P(m) = w3 w2 mw1 ... w4 indicates that m prefers w3 to w2 and he prefers .... and uses survey data to analyze various hypotheses on different aspects of ...

Download Horse and Stable Management ...
Download Horse and Stable Management. (Incorporating ... The BHS Complete Manual of Stable Management · The Course Companion for BHS Stages I & II.

Cobordism and Stable Homotopy Talk.pdf
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. Cobordism and ...

TANNAKA DUALITY AND STABLE INFINITY ...
Then by the semi-simplicity of representations of G, the pair (GG,H) is a flat descent structure in the sense of [10]. Consequently, there exists a combinatorial ...

Diagnosis and Management of Stable Chronic Obstructive Pulmonary ...
Nov 6, 2007 - American College of Physicians' Clinical Practice Guidelines Grading System .... Evidence on other inhaled therapies used for at least 1 year found little or no ..... CA. Ram. FS. Inhaled tiotropium for stable chronic obstructive ...

Synthesis and structural characterization of a stable betaine ... - Arkivoc
more than one moiety of a stable radical are called polyradicals, and they .... following typical settings: number of scans 1, centre field 3350 G, sweep field ..... 20. http://www.niehs.nih.gov/research/resources/software/tox-pharm/tools/index.cfm.

Impossibility of Stable and Nonbossy Matching ...
A (one-to-one) matching problem is tuple (S, C,У). S and C are finite and disjoint sets of students and colleges. For each student s ∈ S, Уs is a strict preference ...

Stable Matchings and Preferences of Couples
Abstract: Couples looking for jobs in the same labor market may cause instabilities. ... stable matchings.1 In order to explain stability, let us assume for the moment that one side ... the couple can still live together, then the couple is better of

Computational chemistry comparison of stable ...
Apr 20, 2007 - Some of most used connectivity indices include first (M1) and second (M2) Zagreb ... First, the data is split at random in two parts, a training series. (t) used for model ..... CambridgeSoft Corporation. Chem3D Ultra software.