We propose a conjecture of Shimura type that the level one part of the space of vector valued Siegel modular forms of degree two of half integral weight without character (Haupt type) corresponds bijectively, up to liftings, to the space of vector valued Siegel modular forms of integral weight of degree two of level one.This is a generalization of our previous conjecture for Neben type (with character).Together with the previous conjecture, this means that Siegel modular forms of degree two of half integral weight with character and without character should correspond bijectively and Hecke equivariantly up to liftings.The Harder conjecture on congruences for vector valued Siegel cusp forms of integral weight is now interpreted as a half-integral weight version which means the congruence between eigenvalues of Siegel cusp forms and non-cusp forms of half-integral weight of the same group.We give a concrete example that this congruence really holds.
Ibukiyama Tomoyoshi (Mon,) studied this question.