An explicit construction of the dimension-9 operator basis in the standard model effective field theory

We investigate systematically dimension-9 operators in the standard model effective field theory which contains only standard model fields and respects its gauge symmetry. With the help of the Hilbert series approach to classifying operators according to their lepton and baryon numbers and their field contents, we construct the basis of operators explicitly. We remove redundant operators by employing various kinematic and algebraic relations including integration by parts, equations of motion, Schouten identities, Dirac matrix and Fierz identities, and Bianchi identities. We confirm counting of independent operators by analyzing their flavor symmetry relations. All operators violate lepton or baryon number or both, and are thus non-Hermitian. Including Hermitian conjugated operators there are $384|^{\Delta L=\pm 2}_{\Delta B=0}+10|^{\Delta L=0}_{\Delta B=\pm 2}+4|^{\Delta L=\pm3}_{\Delta B=\pm1}+236|^{\Delta L=\mp 1}_{\Delta B=\pm1}$ operators without referring to fermion generations, and $44874|^{\Delta L=\pm 2}_{\Delta B=0}+2862|^{\Delta L=0}_{\Delta B=\pm 2}+486|^{\Delta L=\pm3}_{\Delta B=\pm1}+42234|^{\Delta L=\pm 1}_{\Delta B=\mp1}$ operators when three generations of fermions are referred to, where $\Delta L,~\Delta B$ denote the net lepton and baryon numbers of the operators. Our result provides a starting point for consistent phenomenological studies associated with dimension-9 operators.