  In this paper, we rewrite the Stokes eigenvalue problem as an Elliptic
eigenvalue problem restricted to subspace, and introduce an abstract framework
of solving abstract elliptic eigenvalue problem to give the WG scheme, error
estimates and asymptotic lower bounds. Besides, we introduce a new stabilizer
and several inequalities to prove GLB properties. Some numerical examples are
provided to validate our theoretical analysis.
