# Perfect Cuboid Radical-FDRS R5

## Generic Three-Family Elliptic Decomposition and Exact Identification of the $n=7/32$ Factors

**Series:** Perfect Cuboid Global Closure  
**Branch:** Radical-FDRS / Geometry-Coupling Branch R  
**Phase:** R5 — Generic Elliptic-Family Identification  
**Date:** 2026-10-03  
**Status:** Exact structural theorem and specialization identification — not a proof of Perfect Cuboid existence or nonexistence

---

# 0. Executive summary

R4 decomposed the generic fixed-$n$ genus-$5$ Perfect Cuboid fiber into five explicit elliptic factors:

$$
\mathcal E_1(n),
\qquad
\mathcal E_2(n),
\qquad
\mathcal Q_0(n),
\qquad
\mathcal Q_+(n),
\qquad
\mathcal Q_-(n).
$$

R5 proves that these five factors are not generically distinct.

Let

$$
N=n^2.
$$

Then the binary-quartic invariants satisfy:

$$
\boxed{
I(\mathcal E_2)=16I(\mathcal E_1),
}
$$

and:

$$
\boxed{
J(\mathcal E_2)=64J(\mathcal E_1).
}
$$

Therefore their canonical Jacobians are $\mathbb Q$-isomorphic by the rational scaling:

$$
x\mapsto4x,
\qquad
y\mapsto8y.
$$

Likewise:

$$
\boxed{
I(\mathcal Q_+)=I(\mathcal Q_0),
}
$$

and:

$$
\boxed{
J(\mathcal Q_+)=J(\mathcal Q_0).
}
$$

Thus these two quotient curves have the same canonical Jacobian.

Consequently the generic fixed-fiber decomposition collapses to only three distinct elliptic families:

$$
\boxed{
\operatorname{Jac}(C_n)
\sim_{\mathbb Q}
E_f(n)^2
\times
E_0(n)^2
\times
E_-(n).
}
$$

This is therefore not a special accident of:

$$
n=\frac7{32}.
$$

It is the generic structure of the Radical-FDRS fixed fiber.

At the historical G2 slice:

$$
n=\frac7{32},
$$

the identification is exact:

$$
\boxed{
\mathcal E_1
\cong_{\mathbb Q}
E_f,
}
$$

$$
\boxed{
\mathcal E_2
\cong_{\mathbb Q}
E_f,
}
$$

$$
\boxed{
\operatorname{Jac}(\mathcal Q_0)
=
E_0,
}
$$

$$
\boxed{
\operatorname{Jac}(\mathcal Q_+)
=
E_0,
}
$$

and:

$$
\boxed{
\operatorname{Jac}(\mathcal Q_-)
=
E_-.
}
$$

Thus the previously certified decomposition:

$$
E_f^2\times E_0^2\times E_-
$$

is recovered exactly from the new Radical-FDRS / Twin-Psi construction.

---

# 1. Fixed-fiber recap

For fixed rational:

$$
0<n<1,
$$

the Twin-Psi fixed fiber is:

$$
C_n:
\qquad
Y_1^2=F_1(m;n),
$$

$$
Y_2^2=F_2(m;n),
$$

where:

$$
F_1
=
n^2m^4
+
(1+n^4)m^2
+
n^2,
$$

and:

$$
F_2
=
(1+n^2)^2(m^4+1)
-
2(1-6n^2+n^4)m^2.
$$

R4 showed:

$$
g(C_n)=5.
$$

The deck involutions give the three quadratic subcovers:

$$
Y_1^2=F_1,
$$

$$
Y_2^2=F_2,
$$

and:

$$
Y_3^2=F_1F_2.
$$

The first two have genus:

$$
1,
$$

while the product cover has genus:

$$
3.
$$

The genus-$3$ cover admits three further genus-$1$ quotients:

$$
\mathcal Q_0,
\qquad
\mathcal Q_+,
\qquad
\mathcal Q_-.
$$

Therefore:

$$
\operatorname{Jac}(C_n)
\sim
\mathcal E_1
\times
\mathcal E_2
\times
\mathcal Q_0
\times
\mathcal Q_+
\times
\mathcal Q_-.
$$

R5 now identifies the generic isomorphism classes among these five factors.

---

# 2. Binary-quartic invariant convention

For the binary quartic:

$$
f(x,z)
=
ax^4
+
bx^3z
+
cx^2z^2
+
dxz^3
+
ez^4,
$$

define:

$$
\boxed{
I
=
12ae
-
3bd
+
c^2,
}
$$

and:

$$
\boxed{
J
=
72ace
+
9bcd
-
27ad^2
-
27b^2e
-
2c^3.
}
$$

The canonical Jacobian is:

$$
\boxed{
Y^2
=
X^3
-
27IX
-
27J.
}
$$

If two invariant pairs satisfy:

$$
I_2=u^4I_1,
$$

and:

$$
J_2=u^6J_1
$$

for rational:

$$
u\ne0,
$$

their canonical Jacobians are $\mathbb Q$-isomorphic.

---

# 3. Replace $n$ by $N=n^2$

For generic invariant calculations define:

$$
\boxed{
N=n^2.
}
$$

Then:

$$
F_1
=
Nm^4
+
(1+N^2)m^2
+
N,
$$

and:

$$
F_2
=
(1+N)^2(m^4+1)
-
2(1-6N+N^2)m^2.
$$

This removes repeated even powers and exposes the actual parameter dependence.

---

# 4. First elliptic-family invariants

For:

$$
\mathcal E_1:
\qquad
Y^2=F_1,
$$

the binary-quartic invariants are:

$$
\boxed{
I_f(N)
=
N^4+14N^2+1,
}
$$

and:

$$
\boxed{
J_f(N)
=
-2
(N^2+1)
(N^2-6N+1)
(N^2+6N+1).
}
$$

Define the generic first family:

$$
\boxed{
E_f(N):
\quad
Y^2
=
X^3
-
27I_f(N)X
-
27J_f(N).
}
$$

---

# 5. Second gate has the same generic Jacobian

For:

$$
\mathcal E_2:
\qquad
Y^2=F_2,
$$

exact calculation gives:

$$
\boxed{
I(\mathcal E_2)
=
16I_f(N),
}
$$

and:

$$
\boxed{
J(\mathcal E_2)
=
64J_f(N).
}
$$

Since:

$$
16=2^4,
$$

and:

$$
64=2^6,
$$

the corresponding short Weierstrass coefficients differ by the standard rational scaling:

$$
x\mapsto2^2x,
$$

$$
y\mapsto2^3y.
$$

Therefore:

$$
\boxed{
\operatorname{Jac}(\mathcal E_2)
\cong_{\mathbb Q}
E_f(N).
}
$$

Thus the two Twin-Psi square gates always contribute the same generic elliptic isomorphism class.

---

# 6. Structural reason for the duplication

The second gate is not independent from the first gate.

It is obtained by the Möbius change:

$$
m
\mapsto
\mu(m)
=
\frac{1-m}{1+m}.
$$

The square denominator introduced by this fractional-linear transformation changes the quartic model but not its genus-$1$ Jacobian isomorphism class.

Therefore the multiplicity:

$$
E_f^2
$$

is already forced by the Twin-Psi symmetry.

It is not a specialization phenomenon.

---

# 7. First genus-$3$ quotient family

For the even involution quotient:

$$
m\mapsto-m,
$$

set:

$$
x=m^2.
$$

The genus-$1$ quotient is:

$$
\mathcal Q_0:
$$

$$
Y^2
=
\left[
Nx^2
+
(1+N^2)x
+
N
\right]
$$

$$
\qquad\qquad\cdot
\left[
(1+N)^2x^2
-
2(1-6N+N^2)x
+
(1+N)^2
\right].
$$

Its invariants factor as:

$$
\boxed{
I_0(N)
=
(N-1)^4
\left(
N^4
-
52N^3
-
90N^2
-
52N
+
1
\right),
}
$$

and:

$$
\boxed{
J_0(N)
=
-2
(N-1)^8
\left(
N^4
+
140N^3
+
294N^2
+
140N
+
1
\right).
}
$$

Define:

$$
\boxed{
E_0(N):
\quad
Y^2
=
X^3
-
27I_0(N)X
-
27J_0(N).
}
$$

---

# 8. Reciprocal quotient gives the same $E_0$ family

For the reciprocal involution:

$$
m\mapsto\frac1m,
$$

the quotient curve is:

$$
\mathcal Q_+:
$$

$$
W^2
=
\left[
Nz^2
+
(1-N)^2
\right]
$$

$$
\qquad\qquad\cdot
\left[
(1+N)^2z^2
-
4(1-N)^2
\right].
$$

Exact binary-quartic invariant computation gives:

$$
\boxed{
I(\mathcal Q_+)
=
I_0(N),
}
$$

and:

$$
\boxed{
J(\mathcal Q_+)
=
J_0(N).
}
$$

Therefore:

$$
\boxed{
\operatorname{Jac}(\mathcal Q_+)
=
E_0(N)
}
$$

in the canonical short Weierstrass model.

Thus the multiplicity:

$$
E_0^2
$$

also holds generically.

---

# 9. Final distinct quotient family

For the anti-reciprocal involution:

$$
m\mapsto-\frac1m,
$$

the quotient is:

$$
\mathcal Q_-:
$$

$$
W^2
=
\left[
Nw^2
+
(1+N)^2
\right]
$$

$$
\qquad\qquad\cdot
\left[
(1+N)^2w^2
+
16N
\right].
$$

Its invariants are:

$$
\boxed{
I_-(N)
=
N^8
+
8N^7
+
252N^6
+
952N^5
+
1670N^4
+
952N^3
+
252N^2
+
8N
+
1,
}
$$

and:

$$
\boxed{
J_-(N)
=
-2
P_1(N)
P_2(N)
P_3(N),
}
$$

where:

$$
\boxed{
P_1(N)
=
N^4
-
20N^3
-
26N^2
-
20N
+
1,
}
$$

$$
\boxed{
P_2(N)
=
N^4
+
4N^3
+
22N^2
+
4N
+
1,
}
$$

and:

$$
\boxed{
P_3(N)
=
N^4
+
28N^3
+
70N^2
+
28N
+
1.
}
$$

Define:

$$
\boxed{
E_-(N):
\quad
Y^2
=
X^3
-
27I_-(N)X
-
27J_-(N).
}
$$

This is the third generic elliptic family.

---

# 10. Generic three-family theorem

Combining the previous sections gives:

## Theorem — Generic Three-Family Decomposition

For every nondegenerate rational physical fiber:

$$
0<n<1,
$$

with:

$$
N=n^2,
$$

the genus-$5$ Perfect Cuboid fixed-fiber Jacobian satisfies:

$$
\boxed{
\operatorname{Jac}(C_n)
\sim_{\mathbb Q}
E_f(N)^2
\times
E_0(N)^2
\times
E_-(N).
}
$$

Therefore the multiplicity pattern:

$$
\boxed{
2+2+1
}
$$

is generic.

The historical:

$$
n=\frac7{32}
$$

decomposition is an exact specialization of this theorem.

---

# 11. Generic discriminants

Using:

$$
\Delta
=
4I^3-J^2,
$$

the three generic families have:

## First family

$$
\boxed{
\Delta_f(N)
=
432
N^2
(N-1)^4
(N+1)^4.
}
$$

## Second family

$$
\boxed{
\Delta_0(N)
=
-1728
N
(N-1)^{12}
(N+1)^2
(N^2+6N+1)^4.
}
$$

## Third family

$$
\boxed{
\Delta_-(N)
=
6912
N^2
(N-1)^8
(N+1)^4
(N^2+6N+1)^4.
}
$$

For the physical region:

$$
0<N<1,
$$

all three are nonzero.

Thus the entire positive rational Perfect-Cuboid search region lies inside the smooth part of all three generic elliptic families.

---

# 12. Generic $j$-invariant of $E_f$

Using:

$$
j
=
\frac{
6912I^3
}{
4I^3-J^2
},
$$

we obtain:

$$
\boxed{
j_f(N)
=
16
\frac{
(N^4+14N^2+1)^3
}{
N^2(N^2-1)^4
}.
}
$$

This is the common $j$-invariant of:

$$
\mathcal E_1
$$

and:

$$
\mathcal E_2.
$$

---

# 13. Generic $j$-invariant of $E_0$

Let:

$$
P_0(N)
=
N^4
-
52N^3
-
90N^2
-
52N
+
1.
$$

Then:

$$
\boxed{
j_0(N)
=
-4
\frac{
P_0(N)^3
}{
N
(N+1)^2
(N^2+6N+1)^4
}.
}
$$

This is the common $j$-invariant of:

$$
\mathcal Q_0
$$

and:

$$
\mathcal Q_+.
$$

---

# 14. Generic $j$-invariant of $E_-$

The third family has:

$$
\boxed{
j_-(N)
=
\frac{
I_-(N)^3
}{
N^2
(N-1)^8
(N+1)^4
(N^2+6N+1)^4
}.
}
$$

Generically:

$$
j_-(N)
$$

is distinct from both:

$$
j_f(N)
$$

and:

$$
j_0(N).
$$

Thus the generic fixed fiber contains exactly three elliptic isomorphism types.

---

# 15. Specialize to $n=7/32$

For the historical G2 fixed slice:

$$
\boxed{
n=\frac7{32},
}
$$

we have:

$$
\boxed{
N=\frac{49}{1024}.
}
$$

The previous research independently obtained:

$$
\boxed{
\operatorname{Jac}(C_{7/32})
\sim_{\mathbb Q}
E_f^2
\times
E_0^2
\times
E_-.
}
$$

R5 now identifies every R4 quotient factor with these historical factors.

---

# 16. Historical first factor

The previously certified first factor is:

$$
\boxed{
E_f:
\quad
y^2
=
(x-2)(x+2)
\left(
x+\frac{1050977}{50176}
\right).
}
$$

Its three rational $2$-torsion roots are:

$$
2,
$$

$$
-2,
$$

and:

$$
-\frac{1050977}{50176}.
$$

Its Mordell-Weil rank was certified as:

$$
\boxed{
\operatorname{rank}E_f(\mathbb Q)=1.
}
$$

---

# 17. $\mathcal E_1$ matches $E_f$

At:

$$
N=\frac{49}{1024},
$$

let the canonical short Weierstrass coefficients of the quartic:

$$
Y^2=F_1
$$

be:

$$
A_1,
\qquad
B_1.
$$

Let the short Weierstrass coefficients of the historical:

$$
E_f
$$

be:

$$
A_f,
\qquad
B_f.
$$

Exact computation gives:

$$
\boxed{
\frac{A_1}{A_f}
=
\left(
\frac{21}{32}
\right)^4,
}
$$

and:

$$
\boxed{
\frac{B_1}{B_f}
=
\left(
\frac{21}{32}
\right)^6.
}
$$

Therefore the rational scaling:

$$
x
\mapsto
\left(
\frac{21}{32}
\right)^2x,
$$

$$
y
\mapsto
\left(
\frac{21}{32}
\right)^3y
$$

gives a $\mathbb Q$-isomorphism.

Hence:

$$
\boxed{
\operatorname{Jac}(\mathcal E_1)
\cong_{\mathbb Q}
E_f.
}
$$

---

# 18. $\mathcal E_2$ also matches $E_f$

For the second Twin-Psi gate quartic:

$$
Y^2=F_2,
$$

the corresponding short coefficients satisfy:

$$
\boxed{
\frac{A_2}{A_f}
=
\left(
\frac{21}{16}
\right)^4,
}
$$

and:

$$
\boxed{
\frac{B_2}{B_f}
=
\left(
\frac{21}{16}
\right)^6.
}
$$

Therefore:

$$
\boxed{
\operatorname{Jac}(\mathcal E_2)
\cong_{\mathbb Q}
E_f.
}
$$

This recovers the historical multiplicity:

$$
\boxed{
E_f^2.
}
$$

---

# 19. Historical common factor $E_0$

The historical binary-quartic Jacobian invariants were:

$$
\boxed{
I_0
=
-\frac{
1689198832011869237109375
}{
1208925819614629174706176
},
}
$$

and:

$$
\boxed{
J_0
=
-\frac{
7531518971347664160183300933837890625
}{
664613997892457936451903530140172288
}.
}
$$

Its canonical short Weierstrass form is:

$$
\boxed{
Y^2
=
X^3
-
27I_0X
-
27J_0.
}
$$

The historical fixed-slice analysis showed that:

$$
E_0
$$

and:

$$
E_+
$$

share these same invariants.

Thus they have the same Jacobian elliptic curve.

---

# 20. $\mathcal Q_0$ matches $E_0$ exactly

At:

$$
N=\frac{49}{1024},
$$

the R4 quotient:

$$
\mathcal Q_0
$$

has:

$$
\boxed{
I(\mathcal Q_0)=I_0,
}
$$

and:

$$
\boxed{
J(\mathcal Q_0)=J_0.
}
$$

No additional invariant scaling is required.

Therefore its canonical Jacobian is exactly:

$$
\boxed{
E_0.
}
$$

---

# 21. $\mathcal Q_+$ also matches $E_0$ exactly

The reciprocal quotient:

$$
\mathcal Q_+
$$

satisfies:

$$
\boxed{
I(\mathcal Q_+)=I_0,
}
$$

and:

$$
\boxed{
J(\mathcal Q_+)=J_0.
}
$$

Hence:

$$
\boxed{
\operatorname{Jac}(\mathcal Q_+)
=
E_0.
}
$$

Therefore the historical multiplicity:

$$
\boxed{
E_0^2
}
$$

is recovered exactly.

---

# 22. Relation to the $2$-isogenous model $E_0'$

The historical rank proof often used the full-$2$-torsion curve:

$$
\boxed{
E_0':
\quad
Y^2
=
X
(X-448^2)
(X+1073^2).
}
$$

This curve is:

$$
2
$$

-isogenous to:

$$
E_0.
$$

R5 identifies:

$$
\mathcal Q_0
$$

and:

$$
\mathcal Q_+
$$

with:

$$
E_0,
$$

not directly with:

$$
E_0'.
$$

The earlier explicit quartic-to-$E_0'$ maps therefore include the known:

$$
2
$$

-isogeny step.

This resolves the apparent difference between the two coordinate systems.

---

# 23. Historical final factor $E_-$

The historical final distinct factor had canonical binary-quartic invariants:

$$
\boxed{
I_-
=
\frac{
2506275714994464684481921
}{
1208925819614629174706176
},
}
$$

and:

$$
\boxed{
J_-
=
\frac{
77505146247523133440975975283702719
}{
664613997892457936451903530140172288
}.
}
$$

An integral full-$2$-torsion model used in the rank proof was:

$$
\boxed{
Y^2
=
(X-e_1)(X-e_2)(X-e_3),
}
$$

with:

$$
e_1=-8195043371142,
$$

$$
e_2=8256895726659,
$$

and:

$$
e_3=-61852355517.
$$

Its rank was certified as:

$$
\boxed{
\operatorname{rank}E_-(\mathbb Q)=1.
}
$$

---

# 24. $\mathcal Q_-$ matches $E_-$ exactly

At:

$$
N=\frac{49}{1024},
$$

the anti-reciprocal R4 quotient satisfies:

$$
\boxed{
I(\mathcal Q_-)=I_-,
}
$$

and:

$$
\boxed{
J(\mathcal Q_-)=J_-.
}
$$

Therefore:

$$
\boxed{
\operatorname{Jac}(\mathcal Q_-)
=
E_-.
}
$$

This completes the exact identification of all five R4 factors.

---

# 25. Exact factor dictionary

The complete specialization dictionary is:

| R4 factor | Historical factor |
|---|---|
| $\mathcal E_1$ | $E_f$ |
| $\mathcal E_2$ | $E_f$ |
| $\mathcal Q_0$ | $E_0$ |
| $\mathcal Q_+$ | $E_0$ |
| $\mathcal Q_-$ | $E_-$ |

Therefore:

$$
\boxed{
\mathcal E_1
\times
\mathcal E_2
\times
\mathcal Q_0
\times
\mathcal Q_+
\times
\mathcal Q_-
}
$$

is exactly:

$$
\boxed{
E_f^2
\times
E_0^2
\times
E_-.
}
$$

---

# 26. Exact recovery of the historical rank count

The historical rank theorems established:

$$
\operatorname{rank}E_f(\mathbb Q)=1,
$$

$$
\operatorname{rank}E_0(\mathbb Q)=1,
$$

and:

$$
\operatorname{rank}E_-(\mathbb Q)=1.
$$

Therefore the R4/R5 five-factor system has total Mordell-Weil rank:

$$
2(1)+2(1)+1
=
\boxed{
5.
}
$$

Since:

$$
g(C_{7/32})=5,
$$

the equality:

$$
\boxed{
r=g=5
}
$$

is recovered in the new decomposition without introducing any new rank computation.

---

# 27. Why ordinary Chabauty still fails on this slice

Classical Chabauty-Coleman requires:

$$
r<g.
$$

But:

$$
r=g=5.
$$

Therefore the new FDRS derivation does not magically remove the historical fixed-slice obstruction.

What it changes is the structural interpretation.

The equality:

$$
r=g
$$

is now understood as:

$$
\boxed{
2r_f+2r_0+r_-=5
}
$$

with three distinct rank-one families.

Thus compatibility between quotient images remains the natural target.

---

# 28. Generic origin of the old factor multiplicities

The historical decomposition originally appeared after a specialized high-genus calculation.

R5 reverses the interpretation.

The multiplicities arise before specialization:

- the two Twin-Psi gate covers have the same Jacobian:
  $$
  E_f(N);
  $$

- two of the genus-$3$ involution quotients have the same Jacobian:
  $$
  E_0(N);
  $$

- the third quotient contributes:
  $$
  E_-(N).
  $$

Therefore:

$$
\boxed{
E_f^2E_0^2E_-
}
$$

is a symmetry theorem of the generic fixed fiber.

It is not a numerical coincidence of:

$$
\frac7{32}.
$$

---

# 29. Generic symmetry interpretation

The multiplicity:

$$
E_f^2
$$

comes from the Twin-Psi Möbius symmetry:

$$
m
\leftrightarrow
\mu(m).
$$

The multiplicity:

$$
E_0^2
$$

comes from two distinct involution quotients of the palindromic genus-$3$ product curve:

$$
m\mapsto-m,
$$

and:

$$
m\mapsto\frac1m.
$$

The final:

$$
E_-
$$

comes from the anti-reciprocal quotient:

$$
m\mapsto-\frac1m.
$$

Thus the full multiplicity pattern is controlled by the move/involution algebra of the flattened one-dimensional coordinate.

This directly links the elliptic decomposition back to the original FDRS / Magic-Cube motivation.

---

# 30. The two G2 outer fibers are not the same specialization

The G2 seed also gives the second rational outer parameter:

$$
n=\frac{11}{45}.
$$

It is tempting to assume that the complete fiber:

$$
C_{11/45}
$$

is $\mathbb Q$-isomorphic to:

$$
C_{7/32}.
$$

R5 does not make this claim.

Direct comparison of the three generic elliptic-family $j$-invariants at:

$$
n=\frac7{32}
$$

and:

$$
n=\frac{11}{45}
$$

shows that none of the three same-type or cross-type $j$-invariants coincide.

Therefore the two fixed fibers are genuinely different specializations of the same global parent family.

They share one geometric seed point through different FDRS charts, but their entire arithmetic fibers are not trivially identical.

---

# 31. Correct interpretation of the two seed fibers

The two values:

$$
\frac7{32},
$$

and:

$$
\frac{11}{45}
$$

should therefore be understood as:

$$
\boxed{
\text{two different one-dimensional fibers crossing the same G2 state}.
}
$$

They are analogous to two coordinate curves through one point on the same two-dimensional parent surface.

This explains simultaneously why:

- both recover the same defect:
  $$
  \frac{233}{1913};
  $$

- both arise from the same cuboid;
- yet their generic elliptic packets are different.

---

# 32. Parent-surface versus fiber arithmetic

The hierarchy is now:

$$
\boxed{
\text{global Twin-Psi surface}
}
$$

$$
\Downarrow
$$

choose:

$$
n\in\mathbb Q
$$

$$
\Downarrow
$$

$$
\boxed{
\text{genus-5 fixed fiber }C_n
}
$$

$$
\Downarrow
$$

$$
\boxed{
E_f(N)^2
\times
E_0(N)^2
\times
E_-(N).
}
$$

The same global rational point can lie on different chart fibers depending on which face is selected as the already closed outer face.

This is the correct geometric relation between the:

$$
7/32
$$

and:

$$
11/45
$$

programs.

---

# 33. Generic elliptic packet

Define:

$$
\boxed{
\mathfrak P(N)
=
\left(
E_f(N),
E_0(N),
E_-(N)
\right).
}
$$

The full fixed-fiber Jacobian is reconstructed from the packet by multiplicities:

$$
\boxed{
\operatorname{Jac}(C_n)
\sim
E_f(N)^2
\times
E_0(N)^2
\times
E_-(N).
}
$$

Therefore a fixed slice can be studied by three distinct elliptic families rather than five unrelated curves.

This reduces the generic bookkeeping by:

$$
40\%.
$$

More importantly, it exposes the source of every repeated factor.

---

# 34. Generic family rank question

The next natural problem is no longer only:

> What are the ranks at $n=7/32$?

The global question becomes:

$$
\boxed{
\operatorname{rank}
E_f(\mathbb Q(n)),
\qquad
\operatorname{rank}
E_0(\mathbb Q(n)),
\qquad
\operatorname{rank}
E_-(\mathbb Q(n)).
}
$$

Even partial information about generic ranks or rational sections could strongly constrain specializations.

One should distinguish carefully between:

- generic rank over:
  $$
  \mathbb Q(n);
  $$

- specialization rank at a rational:
  $$
  n;
  $$

- rank jumps on exceptional fibers.

---

# 35. Generic torsion and isogeny targets

The next phase should determine for each family:

$$
E_f(N),
$$

$$
E_0(N),
$$

$$
E_-(N):
$$

1. generic rational torsion;
2. rational $2$-isogenies;
3. generic $2$-Selmer structure;
4. generic discriminant support;
5. possible modular relations among:
   $$
   j_f,
   j_0,
   j_-;
   $$
6. rational sections inherited from the boundary of the genus-$5$ fiber.

This will show which parts of the historical rank-one behavior are generic and which are special to:

$$
N=\frac{49}{1024}.
$$

---

# 36. Compatibility remains the real fixed-fiber obstruction

Even when every elliptic factor has positive rank, this does not imply that:

$$
C_n(\mathbb Q)
$$

contains a nondegenerate Perfect Cuboid point.

A rational point on the original genus-$5$ curve must map to five quotient points satisfying simultaneous compatibility conditions.

At:

$$
n=\frac7{32},
$$

this is exactly why the historical program moved from rank certification to:

- dual-quotient Mordell-Weil sieves;
- local compatibility;
- elliptic Chabauty on auxiliary covers.

R5 confirms that this strategy is structurally natural.

---

# 37. New global compatibility idea

Because the five quotient maps reduce to only three elliptic isomorphism classes, compatibility data may be organized by:

$$
\boxed{
E_f\times E_0\times E_-,
}
$$

plus multiplicity constraints inside:

$$
E_f^2
$$

and:

$$
E_0^2.
$$

This suggests separating compatibility into two layers:

## Internal multiplicity compatibility

Compare the two maps into:

$$
E_f,
$$

and the two maps into:

$$
E_0.
$$

## Cross-family compatibility

Then compare their common lifts with:

$$
E_-.
$$

This may be more efficient than treating all five quotient coordinates independently.

---

# 38. A potential diagonal reduction

Since:

$$
\mathcal E_1
$$

and:

$$
\mathcal E_2
$$

have the same generic Jacobian, a point on:

$$
C_n
$$

produces a pair:

$$
(P_{f,1},P_{f,2})
\in
E_f(N)^2.
$$

Likewise:

$$
(P_{0,1},P_{0,2})
\in
E_0(N)^2.
$$

The original curve imposes algebraic relations between each pair.

One can therefore search for lower-dimensional correspondences:

$$
\Gamma_f
\subset
E_f\times E_f,
$$

and:

$$
\Gamma_0
\subset
E_0\times E_0.
$$

If either correspondence has low degree or is governed by a simple endomorphism relation, the five-factor compatibility problem may collapse substantially.

This becomes a central R6 target.

---

# 39. Why this may improve the Mordell-Weil sieve

The historical sieve checked whether images on distinct elliptic quotients could arise from the same genus-$3$ or genus-$5$ point.

R5 provides the missing generic organization.

Instead of arbitrary quotient pairs, one may first test whether:

$$
P_{f,2}
=
\varphi_f(P_{f,1})
$$

for some algebraic correspondence:

$$
\varphi_f,
$$

and similarly:

$$
P_{0,2}
=
\varphi_0(P_{0,1}).
$$

Even if:

$$
\varphi_f
$$

or:

$$
\varphi_0
$$

is not a group endomorphism, an explicit correspondence may greatly strengthen local residue sieves.

---

# 40. R5 canonical theorem

The central theorem of R5 is:

> The generic Radical-FDRS fixed-$n$ Perfect Cuboid genus-$5$ fiber has only three distinct elliptic Jacobian factors. Its Jacobian decomposes as two copies of a Twin-Psi gate family, two copies of a reciprocal-quotient family, and one anti-reciprocal family.

Formally:

$$
\boxed{
\operatorname{Jac}(C_n)
\sim_{\mathbb Q}
E_f(n^2)^2
\times
E_0(n^2)^2
\times
E_-(n^2).
}
$$

At:

$$
n=\frac7{32},
$$

these specialize exactly to the previously certified historical factors:

$$
\boxed{
E_f^2
\times
E_0^2
\times
E_-.
}
$$

---

# 41. R6 proposed program

R6 should prioritize generic correspondences and rank geometry rather than another isolated fixed-slice search.

## R6-A — Internal $E_f^2$ correspondence

Derive the explicit rational map between the two Twin-Psi gate quotient maps after both are identified with:

$$
E_f(N).
$$

Determine whether the image pair lies on a simple correspondence:

$$
\Gamma_f
\subset
E_f\times E_f.
$$

## R6-B — Internal $E_0^2$ correspondence

Do the same for:

$$
\mathcal Q_0
$$

and:

$$
\mathcal Q_+.
$$

Because their canonical invariants are exactly equal, this correspondence may be especially simple.

## R6-C — Generic torsion and rational sections

Study:

$$
E_f,
\quad
E_0,
\quad
E_-
$$

over:

$$
\mathbb Q(N).
$$

Compute explicit rational sections if present.

## R6-D — Generic modular/isogeny relations

Test whether the three:

$$
j
$$

-functions satisfy low-degree modular polynomial relations.

A generic isogeny between two distinct families would further reduce the arithmetic packet.

## R6-E — Compatibility sieve on the parent surface

Translate quotient compatibility back into the global:

$$
(m,n)
$$

Twin-Psi surface.

The goal is to derive conditions on:

$$
n
$$

before constructing or solving a genus-$5$ specialization.

---

# 42. Final conclusion

R5 completely identifies the R4 five-factor decomposition.

The historical decomposition:

$$
E_f^2
\times
E_0^2
\times
E_-
$$

is not merely recovered at:

$$
n=\frac7{32}.
$$

Its multiplicity pattern is generic.

The two Twin-Psi gates always share one elliptic Jacobian family.

Two of the three genus-$3$ involution quotients always share a second family.

The final anti-reciprocal quotient contributes the third family.

Therefore the fixed-fiber Perfect Cuboid arithmetic has the canonical three-family form:

$$
\boxed{
E_f(N)^2
\times
E_0(N)^2
\times
E_-(N),
\qquad
N=n^2.
}
$$

At the G2 historical slice, every factor agrees exactly with the previously certified elliptic objects.

This unifies the Radical-FDRS derivation with the earlier genus-$5$/elliptic-rank program at the level of exact Jacobian factors.

The next opportunity is to exploit the duplicated factors as correspondences rather than treating the five quotient maps independently.

That is the canonical starting point for R6.