Tori cTopology
in2021
Os aka( Online )2021/3/26

theDignity
signwhom
Logical rigid Fly forOninain。

Hits hi( NaratoSlideequi

GKMgraphvariants

Yamanaka

Universitytopology

Tori cthe2021

inof Education )OS aka( Zoom ):https://researchmap.jp/AFT

https://researchmap.jp/AFTIContentIgraphい)GKMに)Equi variant

13)

Sign

rigid ity

ambigu.it yvariant Total

(4)

Equi

は)

Main

resultinequi

Chemvariant

class

rigid ity𡶡Torusequi variant•

T iCompact•

Xたi

cohomology

torus

rankof/•(X、X) i=Ti ={-(か)Lieasequi variant cohomology

HMETYXI.EEISequiミSpace△爴( Tr「xEX 1variantI

coefficient'=凹( s s s と なっdim た 。
--Skeletonr-I}-.-)

groups )𡶡

GKM theory
=1

with
Exact
sequences
cohomology
Puppy
Integral coefficient s for torus actions( Transform Groups 1 2 1 2 00 7 ) )Exact sequences for equi variant lyに1formal( C R Math Acad Sci Soc R CanいFranz-.

,( 20 1 1 1 )IfOneXCanSpacesisandescribe.

.

.

-.

.

.

33.

equi variant ly formalthe( X)

Image>一つHofGKM manifoldtheで 心)

Borel、,localization

[ 1 : o : o]EXT①

(rに,msn.in
見た"h)

=

(2 , 2)い2•けいた)i=<[ Z い Z 、 izz]

[ Zo、

-ついで 2)( け )に( Oil : 0]

[ 0 : 0 : 1]

七 、 Z い た が]( 13 )'2( hh )○×=(2=,3)③(tU影歳
までしにはFl (1 23 1 )(っ'rhst.LV 。 CV , CVi =」c。

c2CV 3 ]the the th ]GKM manifold Xnns^^cヽM'一 )^cっeGKMgraph Gxに3FranzFor

Pu p.pe-conditionsX

xe

any

Connectedeg'TorStabilizer T.ci

the、cyclic Group/たisdim

tonic

aofs

finiteOrder.

、( ぐ)

勵'(S l飇""へ(nN( 2n--dim

Equi variant formal をVariety )Sphere )

iHl )
e.

g

•

isTree/ 心 ( BT )、Spaces having

T invariant-affinePain gs

GKM localization / 2

川 ( Goreけ、If①Sky-z.co effientkottwitz

X

GKM manifold

aFranz-Puppets-condition

Mac Pliers

→on,

Franz

satis.fi es-

Puppetand② Equi variant Formal ity( the Image oftheBorel localization )2 11

畑 は lfe 吨 が 傑無袋缶 た な、 }(variant cohomology

1

へ、Graph equi。

/

Abstract
Grille minan-GKMgraph I

Zara

introduced

abs tract

graph

GKM

the notion of.

I Notation 1・G.

=

(VTvertex
•.

EITn:

valentOrientedmini

E な げ ( BT )s.

-t.tl E )Edget.am=graphfrom Et
apさん は )T orientation reversal-。

げ ( BT )211z いい一、、つ( r]deg が 2醺={ I } eeeeWhere{*={aFamily of by actions

Etienne9iiinitial:)-に)'PointeeElite)=

tamid*}

.

i

en
鯉fia-

鷹とくthe )

i>

.

.

.

Point

1 Def I
Thepair( な 、 L)graphabstract GKM
if①them exist
た (e )=

istacalledofanType( r, n)least on es.tn

E② みて い)'一人(e )

E

2 人 (et( VeT

iscalledaConnection of ( な'、Eメ)

Eid、11III ( FranzGKM

Twois o morph ic哺4。
st、.

graph

20 1 9 1

した がsn→V1,d ( 4 、 ( et ).

)V:~(1=,2鵢o=4,iareENTEさん ( e ))y•な、( ち ! メリgraph isomorphism

ヨe.g.lvY-恚い・たが、1y

In

the rest ofth is t.lk

thecoefficientfor( Recall•

GC D

any:ofEEE*.

We

as sameofd (e )isI.

H ( BT )三区 にいい っい)ption reflects Franz
Stabilizer soncondition

Thisthatas sum.

-Puppets

Equi variant rigid Fly
of、TypeThmH( r.

( Franzn-)

はYandMediatedresultbeGKM

graphs、.

( 201911湉 ノ 三 Hf ば)⇐飇(だ よ)は 人 ) andLeton

Sbyas

graded は ( BT )'areisomorphism'

Masuda s-algebra.

rigid ity

Eric manifold s.

sy1 Signambiguityl

GeneralinthesignIn

✓

,

One

cannotthed ( 4 、 (e ) )e.

removeEquality=さん ( e )gなhave the鍼same

な給graph equivariant&cohomology、

Question

How Canfrom its

graphvariant cohomology ?
graph equi
were CoverGKMs

Ananswer

The notion"

reequiIofvariant

solve stheTotalChem

signambiguity

classes、"Construction I

Ist ep IIFor

each

EV.wegireanordering~nndp.li
p-_-

、of

element s

dp.in

I Nellie )

ini

※.

.

.
.

.

.

=p }

、

Istep 21••Let

PE 2 はGn-.-、,、yn]beavariables

symmetric polynomialwithP ( dpiげ ( BT )

.

.

.

.

.

dpis

Independenton{ Nellie ). n)E

theof=p}、n-Ordering.314lstepeml ( Y ).

Themafpp:

Upprovides•Forits》-HM BT )、一つanProofP は p.li は pin )element,

HY ば、yNeed sOne

the existence ofofaConnection、

step 4
Def(Y 1equiTheof.

fisvariant Total

theChemclass で は )mapV>Associated with theP はい ほ り=HT BT )symmetric polynomial

武( けい、yKey・•'GKM

from× manifold
compile.mnでaCan

GKMsy

arise

almost'が自!

ofOnegraphnon| t.ir•natura llSome、iswhich4)

in grapharis.esfromで は ) for suchdefinegrapha.

!

Mainresult I

画
TwoGKMgraph

geometric ally特s( なか、しな ! メリareiso morph ic

graph isomorphism

ヨVAN ,E

Est
メ( )
(()4。
.

:

d4、

et=4,iし,っーe、(Recall:isomorphism の 1 4 心 )=さん (e )y)𡶡は 人 ) and ( GLetof'、typeir.in )

'M be

GKM

graphs、Im ( Y )-」gradedHTM-

algebraは1

preservingば>

isomorphism

ぼば

dな and G'aregeometricakyisomorphic.lt

Remark I•OneshowCan

Suchmoreisomorphism
Hill )HT 丿an-is:inducedbya'geometric isomorphism( Strongrigid ity )lt•Thanksathe lemma

toringhomomor.phHTM [ y i,

•Since

Zは 、-.-、、

Elementary sym
ヨが→とプ

Hで は)

→

"nitric

咋 (ち ) こ ぼ ば )ヨCandefineismy」

.

One,

is

性 は1generated bypolynomialpreserving

トけ ば )[y iHTM
graded,.

s、

Eof、

い た algebra s"Digress.in•Torusequi

be have s飋.

OurvariantLikeatheorem

natura Ito( Likeaconsider

SpaceaSpace

indicate s( Hi は 1ascohomology frequently

symp.

with.

thattheでは 1 )ifispairgeometric structure

lactic manifold ( X,W))'//

graphTorus

Followings

Maeda

torus

considerWe-

MasudagraphsPana ( Adv-.

2007)

:

1 DeflAgraphGKM

calledatypeln.nl

of

torus

graph

ないform sa2-basisile )

of

if=is

eachforpEVp }HT BT )、

11••Thegraph
torus graphofGKM

isaInhisCI (restrict ed=degree

manifold、

case2tonica,

Part

Only

were edofじ)、( T.tl andLetofTypeIT'',d 丿 befee graphs( nth )は 川 ( Y)-うgradedHT BT )-algebra

H門 →isomorphism

脳がpreserving CI⇐) T and The geometric dlyisomorph.ie

Summerygraphcohomology

graph equivariant

①

GKMs

②

Sign

ambiguity③

Definition of torus equi variantChem④

andclasses

itsin

では

rigid ity.

thesign
Resdving
via

equi

variant

ambiguity