Equivariant Grid Homology for Strongly Invertible Knots

We develop an equivariant version of grid homology for strongly invertible knots. We introduce symmetric grid diagrams encoding the strong inversion, prove that every strongly invertible knot admits such a representation, and establish the corresponding analogue of Cromwell's theorem. A symmetric grid induces an involution on the associated grid complex. We study the mapping cone of the sum of the identity and this involution, proving that its homology is an invariant of strongly invertible knots. Finally, we define equivariant analogues of the tau invariant and of the Legendrian grid invariants, and show that the former provide lower bounds for equivariant unknotting numbers and for the genus of simple equivariant cobordisms.