# A conjecture regarding odd perfect numbers

(Note: This question has now been cross-posted to MO.)

Let $\sigma(z)$ denote the sum of the divisors of $z \in \mathbb{N}$, the set of positive integers. Denote the deficiency of $z$ by $D(z):=2z-\sigma(z)$, and the sum of the aliquot divisors of $z$ by $s(z):=\sigma(z)-z$.

If $n$ is odd and $\sigma(n)=2n$, then $n$ is said to be an odd perfect number. Euler proved that an odd perfect number, if one exists, must have the form $n = p^k m^2$, where $p$ is the special / Euler prime satisfying $p \equiv k \equiv 1 \pmod 4$ and $\gcd(p,m)=1$.

Starting from the fundamental equality $$\frac{\sigma(m^2)}{p^k} = \frac{2m^2}{\sigma(p^k)}$$ one can derive $$\frac{\sigma(m^2)}{p^k} = \frac{2m^2}{\sigma(p^k)} = \gcd(m^2, \sigma(m^2))$$ so that we ultimately have $$\frac{D(m^2)}{s(p^k)} = \frac{2m^2 - \sigma(m^2)}{\sigma(p^k) - p^k} = \gcd(m^2, \sigma(m^2))$$ and $$\frac{s(m^2)}{D(p^k)/2} = \frac{\sigma(m^2) - m^2}{p^k - \frac{\sigma(p^k)}{2}} = \gcd(m^2, \sigma(m^2)),$$ whereby we obtain $$\frac{D(p^k)D(m^2)}{s(p^k)s(m^2)} = 2.$$ Note that we also have (Equation A) $$\frac{2D(m^2)s(m^2)}{D(p^k)s(p^k)} = \bigg(\gcd(m^2, \sigma(m^2))\bigg)^2.$$ Lastly, notice that we can easily get $$\sigma(p^k) \equiv k + 1 \equiv 2 \pmod 4$$ so that it remains to consider the possible equivalence classes for $\sigma(m^2)$ modulo $4$. Since $\sigma(m^2)$ is odd, we only need to consider two.

Here is my question:

Which equivalence class of $\sigma(m^2)$ modulo $4$ makes Equation A untenable?