Ask Your Question
2

Posets with infinite outer automorphism group

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

klaaa gravatar image

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

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 https://ask.sagemath.org/question/544... ), 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

Comments

Can this be computed using some kind of homology group ?

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

Yes it can be computed using graph theoretic data, see theorem 2 of http://www-math.mit.edu/%7Erstan/pubs... . 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 +0100 )edit

1 Answer

Sort by » oldest newest most voted
1

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

FrédéricC gravatar image

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

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:
            continue
        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

Comments

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 +0100 )edit
1

You can accept my answer, maybe ? Also consider sponsoring sage : https://github.com/sponsors/sagemath

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

Thanks again. I will become a sponsor.

klaaa gravatar imageklaaa ( 2020-12-02 10:27:39 +0100 )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

Stats

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

Seen: 333 times

Last updated: Dec 01 '20