Raoul Bianchetti¹, Payam Danesh^2*
1Information Physics Institute, Gosport, Hampshire, United Kingdom.
²Department of Biosystems Engineering, University of Tehran, Tehran, Iran.
DOI: 10.4236/jamp.2026.148158   PDF    HTML   XML   5 Downloads   47 Views   Citations

Abstract

We formulate an arithmetic Viscous Time Theory framework around Selmer complexes of elliptic curves. The construction replaces the Sobolev field space by a finite split model of a Selmer complex, treats local conditions as anchors, and eliminates a finite memory block by a Schur complement. Under the stated splitting and invertibility hypotheses, the active soft sector is isomorphic to the Bloch-Kato Selmer group. Standard determinant-line bookkeeping identifies the finite correction with the $p$ -primary Tate-Shafarevich, Tamagawa, and torsion terms, while normalized Arakelov and nonarchimedean Green energies recover the Néron-Tate height pairing. These results establish an operator framework for organizing the arithmetic ingredients of the Birch-Swinnerton-Dyer formula. They do not prove the Birch-Swinnerton-Dyer conjecture. The rank and leading-term conclusions in Section 6 are obtained only under an explicit Comparison Hypothesis asserting that the active VTT determinant germ agrees with the central germ of the Hasse-Weil $L$ -function with the prescribed normalization. That comparison is not established here and remains the principal open problem.

Keywords

Birch-Swinnerton-Dyer Conjecture, Viscous Time Theory, Elliptic Curves, Selmer Complexes

Share and Cite:

1. Introduction

The arithmetic of elliptic curves links the finitely generated group $E\left(\mathbb{Q}\right)$ with the analytic behavior of its Hasse-Weil $L$ -function. Mordell established finite generation [1], Cassels developed the Selmer and Tate-Shafarevich groups [2], Birch and Swinnerton-Dyer formulated the rank and leading-term conjecture [3], and Tate clarified the local arithmetic entering the refined formula [4]. The Gross-Zagier height formula [5], the Bloch-Kato special-value framework [6], Kato’s Euler system [7], and Nekovář’s Selmer complexes [8] provide the principal arithmetic tools relevant to the present construction.

For the analytic rank, let $E/\mathbb{Q}$ be an elliptic curve with conductor $N$ :

$r_{\text{an}}\left(E\right)={\text{ord}}_{s=1}L\left(E,s\right),$ (1)

where $L\left(E,s\right)$ is the Hasse-Weil $L$ -function. The algebraic rank is the rank of the free part of $E\left(\mathbb{Q}\right)$ . BSD predicts that these two ranks agree and that the first nonzero Taylor coefficient is determined by the period, regulator, Tamagawa factors, torsion, and the Tate-Shafarevich group.

The present paper uses the VTT variational architecture developed in [9]-[11] to organize these arithmetic objects. It constructs a finite split model of the Selmer complex, realizes the active operator as a Schur complement, and identifies its soft sector with Selmer cohomology under explicit hypotheses. It also records how canonical heights and the finite arithmetic factors enter the same determinant-line bookkeeping. The paper does not prove BSD or any new case of BSD. Section 6 isolates an unproven Comparison Hypothesis between the active determinant germ and $L\left(E,s\right)$ ; Theorem 8 states only the formal conditional implication that this hypothesis would yield the BSD rank and leading-term formulas.

2. VTT for Arithmetic

The original VTT construction begins with a bounded Lipschitz domain $\Omega \subset {ℝ}^d$ , a Sobolev phase space $H_0^1\left(\Omega \right)$ , and finitely many anchored measurements. Point evaluation is not continuous on $H_0^1\left(\Omega \right)$ in general dimensions, so VTT replaces point anchors with mollified averages [10] [11]. If $a_i\in \Omega$ , $s_i\in ℝ$ , and ${\rho }_{\epsilon }$ is a standard mollifier, the anchor functional is

${\ell }_{i,\epsilon }\left(\Phi \right)={\displaystyle {\int }_{\Omega }{\rho }_{\epsilon }\left(x-a_i\right)\Phi \left(x\right)\text{d}x}.$ (2)

This small regularization is mathematically important. It makes each anchor a bounded linear functional on the Sobolev space.

A basic passive VTT action has the form

${\mathcal{A}}_{\epsilon }\left(\Phi \right)=\frac{1}{2}{\displaystyle {\int }_{\Omega }{\left|\nabla \Phi \right|}^2\text{d}x}+\frac{\theta }{2}{\displaystyle {\int }_{\Omega }{\Phi }^2\text{d}x}+\frac{1}{2}{\displaystyle \sum _{i=1}^M{\alpha }_i{\left({\ell }_{i,\epsilon }\left(\Phi \right)-s_i\right)}^2}-{\displaystyle {\int }_{\Omega }C\Phi \text{d}x},$ (3)

where $\theta >0$ , ${\alpha }_i>0$ , and $C$ is a source density. The first two terms stabilize the field. The anchor terms impose coherent data without leaving the Hilbert-space setting.

The second variation of the passive action is the bilinear form

$B_{\text{pass}}\left(\varphi ,\psi \right)={\displaystyle {\int }_{\Omega }\nabla \varphi \cdot \nabla \psi \text{d}x}+\theta {\displaystyle {\int }_{\Omega }\varphi \psi \text{d}x}+{\displaystyle \sum }_{i=1}^M{\alpha }_i{\ell }_{i,\epsilon }\left(\varphi \right){\ell }_{i,\epsilon }\left(\psi \right).$ (4)

The last summand is nonnegative. Hence, the passive Hessian is coercive. This is the first structural lesson for BSD: a coercive passive form has no rank-producing kernel.

Theorem 1. The passive VTT Hessian associated with $B_{\text{pass}}$ is bounded, symmetric, and coercive on $H_0^1\left(\Omega \right)$ . In particular, the passive problem has a unique minimizer.

Proof of Theorem 1. Boundedness follows from the continuity of the mollified anchors and the Cauchy-Schwarz inequality. Symmetry is immediate from the definition of $B_{\text{pass}}$ . Since $\theta >0$ , the Poincaré inequality gives a constant $c>0$ such that

$B_{\text{pass}}\left(\varphi ,\varphi \right)\ge c{\Vert \varphi \Vert }_{H_0^1\left(\Omega \right)}^2.$ (5)

The Lax-Milgram theorem gives the unique critical point, and strict convexity identifies it as the unique minimizer.

The active step introduces memory. We set $X$ be the visible phase space and $M$ a finite-dimensional memory space. By supposing $P:X\to X^{\vee }$ is the visible Hessian block, $Q:M\to M^{\vee }$ is positive definite, and $L:X\to M^{\vee }$ loads visible perturbations into memory. Eliminating the memory variable gives the active operator

$H_{\text{act}}=P-L^{\vee }{Q}^{-1}L.$ (6)

The sign is the point. Memory does not merely add stiffness. After elimination, it subtracts a nonnegative finite-rank correction. This is how an initially stable passive system can develop isolated soft modes. In Figure 1, the passive spectrum remains uniformly positive. The active spectrum contains three small eigenvalues,

$0.025,0.061,0.112,$

all below the displayed cutoff of 0.15. The next active eigenvalue is approximately 1.53, so the soft sector is spectrally separated. This is the numerical picture behind the arithmetic claim that the active kernel should be identified with a Selmer space, while the passive form should remain stable.

Figure 1. Isolation of the active soft sector.

The one-mode model used in Figure 2 is

${\lambda }_{\text{act}}\left(\rho \right)=1.20-{\rho }^2,ℛ\left(\rho \right)=\frac{1}{{\lambda }_{\text{act}}\left(\rho \right)+0.03}.$ (7)

The soft threshold is ${\rho }_{*}=\sqrt{1.20}\approx 1.095$ . At $\rho =0$ , the response is $1/1.23\approx 0.813$ . Near the threshold, the regularized response approaches $1/0.03\approx 33.33$ . The active mode softens because of the Schur-complement correction.

Figure 2. Schur-complement softening of one active mode.

For arithmetic purposes, the VTT dictionary is listed in Table 1. This table fixes the construction used in the rest of the paper.

Table 1. VTT objects and their arithmetic replacements.

VTT Object	Arithmetic Replacement
Sobolev Phase Field	Degree-One Selmer Cochain
Mollified Anchor	Local Bloch-Kato or NÉRon Condition
Passive Hessian	Stable Anchored Arithmetic Form
Memory Variable	Local Obstruction and Dual Selmer Data
Schur Complement	Active Selmer Hessian
Soft Sector	Bloch-Kato Selmer Group
Tensor Response	Height-Pairing Matrix
Finite Memory Determinant	Tate-Shafarevich, Tamagawa, and Torsion Factor
Determinant Germ	Central Expansion of $L\left(E,s\right)$ after Comparison

The entries in Table 1 arise from specific constructions. Degree-one Selmer cochains are the visible arithmetic variables because the mapping cone in Equation (9) records global cochains together with their local-condition defects. The local maps act as anchors because their simultaneous vanishing is precisely the Selmer condition. The soft-sector identification is proved, rather than assumed: after the finite split model is constructed in Section 3, Lemma 2 identifies the Schur-complement kernel with the projected harmonic subspace, and Proposition 3 identifies that subspace with first Selmer cohomology. The finite-memory entry comes from torsion cohomology in the integral Selmer complex and from the local Néron component groups, whose orders supply the Tate-Shafarevich and Tamagawa factors; the Mordell-Weil torsion normalization is explained in Proposition 5. The tensor-response entry is justified by Theorem 6, where the Green-energy pairing is identified with the Néron-Tate height. The last row is deliberately conditional: the determinant germ becomes an $L$ -function germ only under the Comparison Hypothesis of Section 6.

3. Selmer Complexes as the Arithmetic VTT Phase Space

We fix a prime $p$

$T=T_{p}E,V=T{\otimes }_{{\mathbb{Z}}_p}{\mathbb{Q}}_p.$ (8)

Consider $S$ contain $p$ , the infinite place, and every prime of bad reduction. Let $G_{\mathbb{Q},S}$ be the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside $S$ . For each $v\in S$ , let $G_v$ be the local absolute Galois group.

The Selmer complex is the arithmetic phase space. In Nekovář’s language, it is represented by a mapping cone

$C_E^{·}=\text{Cone}\left(R\Gamma \left(G_{\mathbb{Q},S},V\right)\oplus \underset{v\in S}{\oplus }{U}_v\to \underset{v\in S}{\oplus }R\Gamma \left(G_v,V\right)\right)\left[-1\right].$ (9)

The local complex $U_v$ imposes the chosen local condition. Away from $pN$ , it is unramified. At $p$ , it is the Bloch-Kato finite condition. At bad primes, it records the Néron local condition and component-group correction. At $\infty$ , it records the real compatibility condition.

The first cohomology of $C_E^{·}$ is the Bloch-Kato Selmer group,

$H^1\left(C_E^{·}\right)=H_f^1\left(\mathbb{Q},V\right).$ (10)

Under the standard finiteness hypotheses for Selmer complexes, $C_E^{•}$ is perfect over ${\mathbb{Q}}_p$ [8]. Choose a bounded complex $F_E^{•}$ of finite-dimensional ${\mathbb{Q}}_p$ -vector spaces and a quasi-isomorphism $F_E^{•}\to C_E^{•}$ . Write $B_E^i=\text{im}{d}_E^{i-1}$ and $Z_E^i=\ker d_E^i$ . Finite-dimensionality permits complements ${\mathscr{H}}_E^i$ and $A_E^i$ with $Z_E^i=B_E^i\oplus {\mathscr{H}}_E^i$ and $F_E^i=Z_E^i\oplus A_E^i$ ; the restriction $d_E^i:A_E^i\to B_E^{i+1}$ is then an isomorphism. In Equation (11), ${\left(d_E^i\right)}^{\text{*}}$ denotes the inverse of this restriction on $B_E^{i+1}$ and zero on ${\mathscr{H}}_E^{i+1}\oplus A_E^{i+1}$ . Thus $\ast$ is the splitting operator determined by these complements, not a canonical $p$ -adic metric adjoint. Any norm on the finite-dimensional terms makes the maps continuous; the VTT term “Hilbert model” refers to this finite normed realization.

${\text{Δ}}_E^1=d_E^0{\left(d_E^0\right)}^{*}+{\left(d_E^1\right)}^{*}{d}_E^1.$ (11)

By construction, ${\Delta }_E^1$ acts as the identity on $B_E^1\oplus A_E^1$ and as zero on ${\mathscr{H}}_E^1$ . Consequently, $F_E^1=B_E^1\oplus {\mathscr{H}}_E^1\oplus A_E^1$ is a degree-one Hodge decomposition, $\ker {\Delta }_E^1={\mathscr{H}}_E^1$ , and the quotient map $Z_E^1\to Z_E^1/B_E^1$ identifies ${\mathscr{H}}_E^1$ with $H^1\left(F_E^{·}\right)\cong H^1\left(C_E^{·}\right)$ . The representative harmonic subspace depends on the chosen complements, but the resulting cohomology group and its dimension do not.

Lemma 2. Let $X$ and $M$ be finite-dimensional vector spaces over a field $K$ , equipped with fixed nondegenerate pairings, and let $L^{\text{*}}$ denote the corresponding transpose. Set

$ℬ=\left(\begin{array}{cc}P& L^{*}\\ L& Q\end{array}\right)$

where $P$ , $Q$ , and $L$ are the indicated block maps and $Q$ is invertible. Then, the projection of $\ker ℬ$ onto $X$ is an isomorphism onto $\text{ker}\left(P-L^{\text{*}}{Q}^{-1}L\right)$ .

Proof of Lemma 2. A vector $\left(x,m\right)$ lies in $\ker ℬ$ exactly when $Px+L^{\text{*}}m=0$ and $Lx+Qm=0$ . Since $Q$ is invertible, the second equation gives $m=-Q^{-1}Lx$ . Substitution into the first gives $\left(P-L^{\text{*}}{Q}^{-1}L\right)x=0$ . Conversely, every vector in this Schur-complement kernel determines the unique memory coordinate $m=-Q^{-1}Lx$ . □

Choose a decomposition $F_E^1=X_E\oplus M_E$ into visible and memory coordinates. When the memory block $Q_E$ of ${\Delta }_E^1$ is invertible, define the active arithmetic Hessian to be the Schur complement $H_{\text{act},E}=P_E-L_E^{\ast }{Q}_E^{-1}{L}_E$ on $X_E$ .

Proposition 3. Let $F_E^{•}$ be the finite split model constructed above. Assume that $F_E^1=X_E\oplus M_E$ is chosen so that the memory block $Q_E$ of ${\Delta }_E^1$ is invertible, and define $H_{\text{act},E}$ as its Schur complement. Then, the projection induces an isomorphism $\ker H_{\text{act},E}\cong H_f^1\left(\mathbb{Q},V\right)$ .

Proof of Proposition 3. The split construction gives $\ker {\Delta }_E^1={\mathscr{H}}_E^1$ and ${\mathscr{H}}_E^1\cong H^1\left(F_E^{·}\right)\cong H^1\left(C_E^{·}\right)=H_f^1\left(\mathbb{Q},V\right)$ . In the visible-memory coordinates, Lemma 2 identifies $\ker H_{\text{act},E}$ with the projection of $\ker {\Delta }_E^1$ onto $X_E$ . Invertibility of $Q_E$ makes the memory coordinate unique, so that projection is an isomorphism. The representative isomorphism depends on the selected splittings, whereas the cohomology space and its dimension are intrinsic. □

The resulting cohomological identification is

${\mathcal{S}}_E^{\text{act}}\simeq H_f^1\left(\mathbb{Q},V\right).$ (12)

Thus, the active soft modes represent Selmer cohomology classes.

4. Mordell-Weil Rank and Tate-Shafarevich Memory

The Tate-Shafarevich group is the global obstruction group

$\text{Sha}\left(E/\mathbb{Q}\right)=\text{ker}\left(H^1\left(\mathbb{Q},E\right)\to {\displaystyle \prod _v{H}^1\left({\mathbb{Q}}_v,E\right)}\right).$ (13)

An element of $\text{Sha}\left(E/\mathbb{Q}\right)$ is represented by a torsor under $E$ that has points over every completion of $\mathbb{Q}$ , but not necessarily over $\mathbb{Q}$ itself. In the VTT language, $\text{Sha}$ is hidden arithmetic memory which satisfies every local test, yet it is not a visible rational point.

The Kummer sequence gives the relation between rational points, Selmer classes, and $\text{Sha}$ :

$0\to E\left(\mathbb{Q}\right)\otimes {\mathbb{Q}}_p\to H_f^1\left(\mathbb{Q},V\right)\to V_p\text{Sha}\left(E/\mathbb{Q}\right)\to 0.$ (14)

Here, $V_p\text{Sha}\left(E/\mathbb{Q}\right)$ is the rational $p$ -adic Tate module of the $p$ -primary part of $\text{Sha}$ .

Theorem 4. Let $E/\mathbb{Q}$ and $p$ be as in Section 3, and assume the hypotheses of Proposition 3. Then ${\dim }_{{\mathbb{Q}}_p}\ker H_{act,E}=\text{rank}E\left(\mathbb{Q}\right)+{\dim }_{{\mathbb{Q}}_p}{V}_p\text{Sha}\left(E/\mathbb{Q}\right)$ . If $\text{Sha}\left(E/\mathbb{Q}\right)\left[p^{\infty }\right]$ is finite, the second term vanishes, and the active soft dimension equals the Mordell-Weil rank.

Proof of Theorem 4. Proposition 3 identifies the active soft sector with $H_f^1\left(\mathbb{Q},V\right)$ . Exactness of Equation (14) gives the stated dimension formula. When $\text{Sha}\left(E/\mathbb{Q}\right)\left[p^{\infty }\right]$ is finite, its rational $p$ -adic Tate module is zero, so only $\text{rank}E\left(\mathbb{Q}\right)$ remains. □

The finite part is the arithmetic memory determinant. On the integral side, the finite memory contribution is recorded by

${\mathfrak{m}}_E=\frac{\left|\text{Sha}\left(E/\mathbb{Q}\right)\right|{\displaystyle {\prod }_{\ell }{c}_{\ell }}}{{\left|E{\left(\mathbb{Q}\right)}_{\text{tors}}\right|}^2},$ (15)

whenever $\text{Sha}\left(E/\mathbb{Q}\right)$ is finite. The integer $c_{\ell }$ is the Tamagawa number at $\ell$ .

Proposition 5. Let $p$ be a prime. Assume that $\text{Sha}\left(E/\mathbb{Q}\right)\left[p^{\infty }\right]$ is finite and that the integral Selmer complex is equipped with the standard Néron local conditions and the usual BSD determinant-line normalization. Then the $p$ -adic valuation of the finite arithmetic memory factor is given by Equation (16), where $v_p\left(\left|\text{Sha}\left(E/\mathbb{Q}\right)\right|\right)$ means the valuation of its $p$ -primary part.

${\ell }_p\left({ℳ}_{E,p}\right)=v_p\left(\left|\text{Sha}\left(E/\mathbb{Q}\right)\right|\right)+{\displaystyle \sum _{\ell }{v}_p\left(c_{\ell }\right)}-2v_p\left(\left|E{\left(\mathbb{Q}\right)}_{\text{tors}}\right|\right).$ (16)

Proof of Proposition 5. For every $n\ge 1$ , the Kummer sequence gives $0\to E\left(\mathbb{Q}\right)/p^{n}E\left(\mathbb{Q}\right)\to {\text{Sel}}_{p^n}\left(E/\mathbb{Q}\right)\to \text{Sha}\left(E/\mathbb{Q}\right)\left[p^n\right]\to 0$ [2]. After stabilization, the finite global obstruction therefore contributes $v_p\left(\left|\text{Sha}\left(E/\mathbb{Q}\right)\left[p^{\infty }\right]\right|\right)$ . At a bad prime $\ell$ , the quotient occurring in the Néron local condition is the $p$ -primary part of the component group ${\Phi }_{\ell }\left({\mathbb{F}}_{\ell }\right)$ ; its order is the Tamagawa number $c_{\ell }$ , so determinant multiplicativity contributes $v_p\left(c_{\ell }\right)$ [8] [12] [13]. Finally, the BSD determinant-line trivialization uses the Mordell-Weil lattice together with its dual. Replacing $E\left(\mathbb{Q}\right)$ by its free quotient contributes $-v_p\left(\left|E{\left(\mathbb{Q}\right)}_{\text{tors}}\right|\right)$ in each of these two dual factors, hence the term $-2v_p\left(\left|E{\left(\mathbb{Q}\right)}_{\text{tors}}\right|\right)$ [6] [8] [12]. Additivity of lengths in exact sequences and exact triangles yields Equation (16). This bookkeeping identity does not prove the finiteness of $\text{Sha}$ . □

5. Height Energy and the Regulator

The refined BSD formula contains the regulator. In VTT, this regulator is the determinant of the soft height-energy pairing.

First, we let $P\in E\left(\mathbb{Q}\right)$ , and let $D_P=\left(P\right)-\left(O\right)$ . At the Archimedean place, we choose the normalized Green potential on $E\left(ℂ\right)$ . At a nonarchimedean place, use the corresponding admissible Green function on the regular model or Berkovich skeleton. For rational points $P,Q$ , define the local VTT height energy by

${ℰ}_v\left(P,Q\right)={\displaystyle {\int }_{{\mathcal{X}}_v}\text{d}{g}_{P,v}\text{d}{g}_{Q,v}}+{\iota }_v\left(D_P,D_Q\right),$ (17)

where ${\mathcal{X}}_v$ denotes the analytic surface at $v=\infty$ and the reduction graph or Berkovich skeleton at finite $v$ . The term ${\iota }_v$ is the local intersection correction. When divisors meet, the value is defined by the standard limiting procedure used in Arakelov theory.

The global VTT height pairing is the sum over all places,

${\langle P,Q\rangle }_{\text{VTT}}={\displaystyle \sum _v{ℰ}_v}\left(P,Q\right).$ (18)

Theorem 6. Let $E/\mathbb{Q}$ be an elliptic curve. At the archimedean place, use the normalized Arakelov Green function; at every finite place, use the normalized Néron local height represented on a regular model, equivalently by the admissible Green function on the associated Berkovich skeleton after semistable reduction, together with the local intersection correction. For intersecting divisors, use the standard regularization. Under these normalizations, the pairing in Equation (18) is well defined and equals the Néron-Tate height pairing on $E\left(\mathbb{Q}\right)$ .

Proof of Theorem 6. The stated local Green functions define the normalized Néron local pairings: they are symmetric and bilinear on degree-zero divisors, are compatible with principal divisors, and incorporate the required intersection correction. The product formula removes the remaining additive ambiguity when the local terms are summed. The resulting global pairing is therefore the canonical Néron-Tate height pairing [13] [14]. □

By letting $P_1,\cdots ,P_r$ as a basis of $E\left(\mathbb{Q}\right)/E{\left(\mathbb{Q}\right)}_{\text{tors}}$ , the VTT regulator is

${\text{Reg}}_{\text{VTT}}\left(E\right)=\text{det}{\left({\langle P_i,P_j\rangle }_{\text{VTT}}\right)}_{1\le i,j\le r}.$ (19)

Corollary 7. The VTT regulator is the classical Néron-Tate regulator.

Proof of Corollary 7. By Theorem 6, every entry of the matrix in (19) is the corresponding Néron-Tate height pairing. Taking the determinant gives the usual regulator.

This completes the height-theoretic part of the framework. The VTT tensor layer has a precise arithmetic meaning: it is the height matrix on the free Mordell-Weil group.

6. Conditional Determinant Comparison and BSD Implication

Let us ${\mathcal{S}}_E^{\text{act}}$ be the active soft sector and let $r=\dim {\mathcal{S}}_E^{\text{act}}$ . On the complement of the soft sector, the active Hessian is invertible, and the determinant germ at the central point is

$D_E^{\text{VTT}}\left(t\right)=t^r{\det }^{\#}\left(H_{\text{act},E}\right)\left(1+O\left(t\right)\right),t\to 0,$ (20)

where ${\det }^{\#}$ denotes the determinant of the non-soft component.

The determinant germ has order $r$ at $t=0$ . Transferring this spectral order to the analytic rank requires an independent comparison with $L\left(E,s\right)$ ; no such comparison follows from Sections 2 - 5.

Comparison Hypothesis. There is a holomorphic function $u_E\left(s\right)$ , nonzero at $s=1$ , such that

$L\left(E,s\right)=u_E\left(s\right)D_E^{\text{VTT}}\left(s-1\right),$ (21)

and the nonzero leading factor satisfies

$u_E\left(1\right){\det }^{\#}\left(H_{\text{act},E}\right)={\Omega }_E{\text{Reg}}_{\text{VTT}}\left(E\right){\mathfrak{m}}_E.$ (22)

The Comparison Hypothesis is not proved in this paper and is not a consequence of the VTT-Selmer construction. It contains the unresolved analytic step. Accordingly, the result below is a conditional compatibility statement only and does not establish BSD for any elliptic curve.

Figure 3 explains the multiplicative leading coefficient on a logarithmic scale. The plotted template uses

$-0.35+0.62+0.69+1.10-0.88=1.18,$

so the corresponding illustrative coefficient is ${\text{e}}^{1.18}\approx 3.25$ . In a curve-specific computation, those five numbers must be replaced by the actual logarithms of the period, regulator, Tate-Shafarevich order, Tamagawa product, and torsion denominator.

Figure 3. Logarithmic balance of the BSD leading coefficient.

Theorem 8 (conditional implication). Let $E/\mathbb{Q}$ be an elliptic curve. Assume the hypotheses of Proposition 3, the finiteness of $\text{Sha}\left(E/\mathbb{Q}\right)$ , the local-height normalizations of Theorem 6, and the Comparison Hypothesis in Equations (21)-(22). Then the BSD rank equality and the refined leading-coefficient formula follow for $E$ .

Proof of Theorem 8. Under the Comparison Hypothesis, Equation (20) shows that $D_E^{\text{VTT}}\left(t\right)$ has a zero of order $r$ at $t=0$ , and Equation (21) transfers that order to $L\left(E,s\right)$ at $s=1$ . Proposition 3 and Theorem 4 identify $r$ with $\text{rank}E\left(\mathbb{Q}\right)$ under the stated finiteness assumption. Expanding Equation (21) at $s=1$ and using Equation (22) identifies the first nonzero coefficient with the period, VTT regulator, and finite memory factor.

Corollary 7 replaces the VTT regulator with the Néron-Tate regulator, while Proposition 5 expands the memory term into the Tate-Shafarevich, Tamagawa, and torsion factors. Hence,

$\frac{L^{\left(r\right)}\left(E,1\right)}{r!}={\Omega }_E{\text{Reg}}_E\frac{\left|\text{Sha}\left(E/\mathbb{Q}\right)\right|{\displaystyle {\prod }_{\ell }{c}_{\ell }}}{{\left|E{\left(\mathbb{Q}\right)}_{\text{tors}}\right|}^2}.$ (23)

Under the stated hypotheses, this is the refined BSD formula in the normalization fixed in this paper. Without the Comparison Hypothesis, neither the analytic-rank conclusion nor the leading-coefficient identity follows from the preceding sections. The unresolved step is therefore the following open problem.

Open comparison problem. Construct and prove the determinant comparison in Equations (21) and (22) for elliptic curves $E/\mathbb{Q}$ , with the prescribed period, regulator, Tate-Shafarevich, Tamagawa, and torsion normalization. Until this problem is solved, the present construction remains a framework with a conditional implication, not a proof of BSD.

7. Conclusion

This paper develops a VTT-inspired operator framework for organizing Selmer cohomology, canonical heights, and the finite arithmetic terms in the BSD leading coefficient. Its unconditional content is the finite split-model construction, the Schur-complement kernel identification under an invertible memory block, the standard local-height realization of the regulator, and the determinant-line bookkeeping of the finite factors under the stated finiteness and normalization hypotheses. The paper does not prove the Birch-Swinnerton-Dyer conjecture or any new case of it. Theorem 8 is a formal conditional implication: BSD follows only after the Comparison Hypothesis in Equations (21) and (22) has been established independently. That comparison remains open and contains the central analytic difficulty. Future work must therefore construct the determinant germ from arithmetic data and prove its equality with the central Hasse-Weil $L$ -function germ before the framework can yield an unconditional BSD result.

Author Contributions

Raoul Bianchetti contributed to the mathematical development, verification of the arithmetic framework, and refinement of the manuscript. Payam Danesh developed the main VTT-BSD concept and overall theoretical structure.

Acknowledgements

We are grateful to the Viscous Time Theory (VTT) team for their valuable feedback on this version. Their comments helped improve the clarity, structure, and presentation of this work.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Mordell, L.J. (1922) On the Rational Solutions of the Indeterminate Equations of the Third and Fourth Degrees. Proceedings of the Cambridge Philosophical Society, 21, 179-192.
[2]	Cassels, J.W.S. (1962) Arithmetic on Curves of Genus 1: III. The Tate-Šafarevič and Selmer Groups. Proceedings of the London Mathematical Society, 3, 259-296.[CrossRef]
[3]	Birch, B.J. and Swinnerton-Dyer, H.P.F. (1965) Notes on Elliptic Curves. II. Journal für die reine und angewandte Mathematik, 218, 79-108.[CrossRef]
[4]	Tate, J.T. (1974) The Arithmetic of Elliptic Curves. Inventiones Mathematicae, 23, 179-206.[CrossRef]
[5]	Gross, B.H. and Zagier, D.B. (1986) Heegner Points and Derivatives of L-Series. Inventiones Mathematicae, 84, 225-320.[CrossRef]
[6]	Bloch, S. and Kato, K. (2007) L-Functions and Tamagawa Numbers of Motives. In: Cartier, P., et al., Eds., The Grothendieck Festschrift, Volume I, Birkhäuser, 333-400.[CrossRef]
[7]	Kato, K. (2004) p-Adic Hodge Theory and Values of Zeta Functions of Modular Forms. Astérisque, No. 295, 117-290.
[8]	Nekovář, J. (2006) Selmer Complexes, Astérisque, No. 310. Société Mathématique de France.
[9]	Danesh, P. and Bianchetti, R. (2026) Viscous Time Theory (VTT): A Mathematical Proposal for Coherence-Dependent Temporal Response. Journal of Applied Mathematics and Physics, 14, 2307-2316.[CrossRef]
[10]	Bianchetti, R. and Danesh, P. (2026) A Regularized Variational Framework for Metric-Type Geometry from Discrete Anchors. IPI Letters, 4, 21-40.[CrossRef]
[11]	Danesh, P. and Bianchetti, R. (2026) Viscous Time Theory as a Variational Source Geometry. IPI Letters, 4, 26-41.[CrossRef]
[12]	Milne, J.S. (2006) Arithmetic Duality Theorems. 2nd Edition, BookSurge.
[13]	Silverman, J.H. (2009) The Arithmetic of Elliptic Curves. Graduate Texts in Mathematics, Vol. 106. 2nd Edition, Springer.
[14]	Zhang, S. (1993) Admissible Pairing on a Curve. Inventiones Mathematicae, 112, 171-193.[CrossRef]