Integral existence of the plectic determinant

Prove that the plectic determinant \(D^{\mathrm{plec}}\) exists over the integral universal deformation ring \(R_{\bar D}\), without inverting \(p\), rather than only over \(R_{\bar D}[1/p]\).

Background

The paper constructs a continuous plectic determinant after inverting pp, obtaining a determinant on RDˉ[1/p][[GF,Splec]]R_{\bar D}[1/p][[G^{\mathrm{plec}}_{F,S}]]. This rational construction is sufficient for the applications developed in the paper.

The authors explicitly indicate that an integral construction is expected but is not established. The unresolved problem is therefore to remove the inversion of pp from the plectic determinant construction.

References

It is probably true that $D{plec}$ exists without inverting $p$ but we are satisfied with this rational statement here as it is enough for the purpose of this paper.

— Plectic Lie Algebra Action on Hilbert modular varieties  (2609.34465 - Jiang et al., 28 Sep 2026) in Remark following Proposition \ref{prop-plecinddet}, Section 3.2