Exact results and approximation schemes for the Schwinger model with the overlap Dirac operator