Every Lens space contains a genus one homologically fibered knot (Q669475)

Using the Chebotarev density theorem and a well-known fact about binary quadratic forms, this paper constructs a surface whose complement is a requisite homology cobordism to prove that every lens space contains a genus one homologically fibered knot, despite the fact that some lens spaces contain no genus one fibered knot. It also characterizes homologically fibered knots in a rational homology 3-sphere in terms of their Alexander polynomial, using linking numbers [\textit{L. Rozansky}, Adv. Math. 134, No. 1, 1--31 (1998; Zbl 0949.57006)] to determine the Seifert matrix with respect to curves on the surface depicted in Figure 2. The author acknowledges helpful comments from T. Sakasai, G. Massuyeau, M. Somekawa, I. Nagamachi, J. Ueki and, of course, ``the referees''.