This is born out of an attempt to find equivariant Lefschetz elements, so to have a combinatorial Lefschetz theorem that is a little less generic for some conjectures in geometric topology. Actually this succeeds to give some interesting results, and I will update in a second part. It will take me some days, in the meantime I made this here simple and clear.

Dear X,

so, Covid seems almost over (fingers crossed). I lost three I loved during the time (none of them due to covid, funny enough; two suicides and a heart failure), I had covid twice (fingers crossed for the hat trick) despite three vaccinations. I am in Sofia, at a inaugural conference of the ICMS.

But that’s not what this post is about. This post is about another proof of the g-conjecture. Well, the Lefschetz property for simplicial cycles, really. It is the simplest one yet, but that is not why it is important. It is also the third one (that is essentially different) and combines the ideas of three teams. (I count the original one by me here, and the characteristic two proof by Papadakis and Petrotou; our joint paper is a combination of the ideas from the former and yada yada yada creative counting to make the holy number work out. Deal with it.) If the first is a refined choreography of slashes and parries that is difficult to follow, and the second the equivalent of wooshing around with bloodhound step (using a miraculous formula that comes out of nowhere), then this is the equivalent of bonking the boss with a hammer: we write down a rational function and examine it, observing it has a pole to show it is nontrivial. Unfortunately it seems to be less general than either of the previous proofs, but I will see whether it can be pushed.