On the Siegel-Weil formula for quaternionic unitary groups

We extend the Siegel-Weil formula to all quaternion dual pairs. Applications include the classification problem of skew hermitian forms over a quaternion algebra over a number field and a product formula for the weighted average of the representation numbers of a skew hermitian form by another skew hermitian form.