We state two families of trace
formulas for the Howe duality. We prove the matching of orbital integrals for the
trace formulas. The fundamental lemma (matching of orbital integrals for spherical
functions) turns out to be the consequence of local Howe duality. We use the local
Howe duality to prove the fundamental lemmas for another interesting family of trace
formulas.