Ask Your Question

Posets with infinite outer automorphism group

asked 2020-11-29 19:19:10 +0200

klaaa gravatar image

updated 2020-11-29 19:20:47 +0200

This is probably very complicated, but is there a quick method to see whether the outer automorphism group of the incidence algebra of a finite connected poset over the rationals is finite using SAGE?

We can assume that the poset is additionally such that the underlying graph of the Hasse quiver is not a tree and such that there is no element x in the poset that is comparable to all other elements (see ), since in those cases the outer automorphism group is indeed finite or the incidence algebra is heredity (in which case it is rather boring).

Im interested in infinite outer automorphism groups to construct some exotic examples, but such posets seem to be rather rare.

edit retag flag offensive close merge delete


Can this be computed using some kind of homology group ?

FrédéricC gravatar imageFrédéricC ( 2020-11-30 09:39:35 +0200 )edit

Yes it can be computed using graph theoretic data, see theorem 2 of . By that result, the outer automorphism group should be finite iff r=t. Im not sure whether such functions exists in SAGE already.

klaaa gravatar imageklaaa ( 2020-11-30 11:18:58 +0200 )edit

1 Answer

Sort by » oldest newest most voted

answered 2020-11-30 11:35:16 +0200

FrédéricC gravatar image

updated 2020-12-01 14:45:07 +0200

Some code for the r-number, not tested.

def r_number(P): 
    H = P.hasse_diagram() 
    M = Matroid(H.to_undirected()) 
    b = FreeModule(GF(2), tuple(H.edges(labels=False))).basis() 
    vecs = [sum(b[e] for e in ci).to_vector() for ci in M.circuits()] 
    return matrix(vecs).rank()

Remains only to do the same thing for the subspace that defines s.

EDIT: here is a tentative, not tested either

def s_number(P):
    H = P.hasse_diagram()
    b = FreeModule(GF(2), tuple(H.edges(labels=False))).basis()
    vecs = []
    for x, y in P.relations():
        chains = H.all_paths(x, y, report_edges=True)
        if len(chains) <= 1:
        v0 = sum(b[e] for e in chains[0]).to_vector()
        vecs += [v0 + sum(b[e] for e in ci).to_vector() for ci in chains[1:]]
    return matrix(vecs).rank()
edit flag offensive delete link more


Thanks, I used this to search for posets with infinite outer automorphism group which have periodic coxeter matrix. For n<=7 there seem to be no such posets with n points.

klaaa gravatar imageklaaa ( 2020-12-01 16:12:29 +0200 )edit

You can accept my answer, maybe ? Also consider sponsoring sage :

FrédéricC gravatar imageFrédéricC ( 2020-12-02 08:33:50 +0200 )edit

Thanks again. I will become a sponsor.

klaaa gravatar imageklaaa ( 2020-12-02 10:27:39 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2020-11-29 19:19:10 +0200

Seen: 80 times

Last updated: Dec 01 '20