Submitted:
21 October 2026
Posted:
21 October 2026
You are already at the latest version
Abstract
We study extension-sensitive Hecke transport of conifold mixed-Hodge modules through elementary \(GL_2\) modifications of Higgs bundles. For the determinantal threefold node, an invariant-line incidence family realizes two small resolutions and their \(A_1\) Springer intersection. Smooth Higgs evaluation and a codimension-two Gysin calculation preserve the source Yoneda class, while first-jet vanishing theorems establish nonempty admissible loci in explicit genus and determinant ranges. On a rank-one modified-Higgs target open \(U\), a canonical kernel-branch inverse proves nonvanishing of both ordinary and exceptional unit-kernel pushforwards. On a smaller saturated open $U'$, the unframed inverse correspondence is finite flat of degree two. Under specified equivariant mixed-Hodge and descent hypotheses, the surviving morphism defines a nonzero degree-two derived class, giving a nontrivial Postnikov attachment between adjacent perverse cohomology objects. We further identify the Springer intersection with a bounded affine-Grassmannian convolution slice and establish morphism-level compatibility under explicit specialization hypotheses.
Keywords:
Mixed Hodge modules
; conifold degenerations
; Hecke correspondences
; Higgs bundles
; Yoneda extensions
; higher derived attachments
; perverse sheaves
; derived transport
; invariant-line incidence
; Gysin morphisms
; equivariant descent
; Springer resolution
; affine Grassmannians
; Hecke convolution
; nearby and vanishing cycles
MSC: 14F43; 14D23; 14D06; 14H60; 14M15; 14F08; 32S40
1. Introduction
1.1. Motivation: Singular Hodge Data Under Hecke Modification
The functorial transport of singular mixed-Hodge data through a Hecke correspondence is sensitive to maps , not only to direct-image objects. A short exact sequence in mixed Hodge modules, , carries a connecting morphism that is invisible in the additive identity in . An exact derived correspondence functor preserves its distinguished triangle, but can annihilate the connecting morphism even when none of the three transported objects vanishes. Nearby and vanishing cycles contribute their own canonical, variation, and monodromy maps, with types and Tate twists that cannot be inferred from the numerical decomposition of stalks [1,2,3,4,5].
The source of our calculation is the corrected forward conifold mixed-Hodge extension developed in [6,7], not a hypothetical extension inferred from conifold topology. We attach it to the actual lower elementary Hecke correspondence on Higgs bundles by smooth evaluation into the universal determinant singularity . This gives a geometrically defined source realization, retains the varying invariant line and its framing groupoid, and produces a specified morphism before and after target pushforward. An arbitrary global nodal threefold requires an additional source-realization functor; the local construction does not supply one automatically.
Three geometric mechanisms enter. The determinant on invariant-line incidence factors as a normal crossing whose components are the kernel- and image-line small resolutions. Their intersection is the Springer resolution; it is also the transverse slice of bounded two-step minuscule convolution [8,9,10]. On the source-node stratum the modified Higgs value is controlled by a first-jet quadratic in . Finally, on the kernel-line small resolution the corrected extension becomes a codimension-two Gysin morphism. The auxiliary projection to the line parameter space kills it under but detects it under . This is a diagnostic of information loss, not the result for the genuine modified-Higgs target.
The central result comes from the genuine unframed correspondence. Over an admissible rank-one target open U , the intrinsic image line recovers the inverse upper modification on the kernel branch. Its source-node locus becomes a regular codimension-two immersion, and the selected equivariant Gysin morphism survives both ordinary and exceptional target direct images (Theorem 8). A stronger conclusion holds on the saturated open : the complete inverse-eigenline correspondence is a finite flat double cover, and the transported class has a nonzero degree-two derived realization with explicit perverse Postnikov placement, subject to the quotient-stack MHM comparison hypotheses (Theorem 9). These statements distinguish the genuine Hecke map, its nonproper framing atlas, and the auxiliary line-projection benchmark.
Our motivation also interfaces with the author’s singular Hodge-atom and BPS program [11] and with geometric Hecke operators in the Kapustin–Witten picture [12]. Neither physical line operators nor a spectral-atom realization is identified here; the object of study is the corrected MHM extension and its specified geometric transport.
1.2. The Corrected Conifold Coefficient
Let be a one-parameter degeneration of smooth complex threefolds whose reduced central fiber has ordinary double points . For the inclusions , the corrected source package of [6,7] is
together with the specified short exact sequence in
Its forward Yoneda class is represented by
The subobject is , the quotient is , and is the already corrected mixed-Hodge coefficient; it is not defined here by an uncorrected variation cone.
The node-interface object has a different Tate normalization:
For the perverse-normalized unipotent nearby and vanishing Hodge modules, we write
The weights of and are 2 and 4. The monodromy factorization through , where supplied by the source construction, is therefore kept apart from the forward extension. The input is the morphism-bearing package
with the node-interface factorization retained as additional specified data. Local node contributions are not identified with their globally independent vanishing-cycle span: relations among the vanishing cycles remain possible.
For the incidence calculations, is the universal local conifold, with selected nonzero generator . A global requires a separate source realization.
1.3. The Geometric Hecke Transport Problem
Let C be a smooth projective complex curve, a marked point, and a rank-two Higgs bundle. For a line , the lower elementary modification is
The field is regular precisely when . Its leading value depends on the first source Higgs jet and its complete first jet on the second. The genuine correspondence is
with distinct invariant-line, framed-jet, and unframed stack levels.
Write , , , and . The modified fiber fits into the canonical exact sequence (Lemma 13). For the induced target line , the eigenvalues on the marked line and quotient exchange: and (Proposition 27). On , the potentially nonzero target value is the intrinsic quadratic section of Proposition 28; its roots encode the invariant lines of the first source jet.
On a nonempty stable-bundle locus satisfying , framed Higgs evaluation is smooth and surjective. Its incidence base change is Cartesian and defines the genuine modified-Higgs map to the Higgs moduli stack (Section 4.6). The stronger first-jet evaluation condition is
Section 4.6 proves existence for every odd-degree determinant when and , as well as for even-degree determinants when or when and . The genus-three even-degree theta-characteristic case is obstructed; genus two is excluded by Riemann–Roch. These existence assertions use the specified curve and marked-point hypotheses, not an unconditional statement for arbitrary .
On the rank-one target open, the intrinsic line canonically determines the inverse upper modification on the kernel branch. The decisive map is an isomorphism of unframed moduli groupoids, not an inverse to the framing-forgetting torsor. The complete inverse incidence has two scheme-theoretic eigenlines away from the nilpotent locus and a length-two nonreduced fiber at a nonzero nilpotent value. Imposing admissibility of both inverse sources gives a saturated open over which the full correspondence is finite locally free of degree two (Proposition 59).
For a chosen source realization , kernel , and bounded six-functor operations, write
The choice of direct image, shift and Tate twist is part of the specified correspondence, not inferred from a desired result. The local class survives evaluation and incidence pullback, and its genuine unit-kernel target images are nonzero on U . On the smaller saturated , finite pushforward and the perverse-degree calculation identify their common derived attachment as a nonzero element of , with the exact equivariant normalization stated in Theorem 9. Outside these opens, or for an unrelated realization or general kernel, the image remains a separate morphism-level problem.
1.4. Principal Results and Proof Strategy
The central assertions are localized derived survival on U and the nonzero degree-two extension on . The geometric input, first-jet existence theorem, and auxiliary Gysin calculation are stated separately; Springer convolution and conditional fusion supply a bounded comparison. We distinguish a proved result from a theorem subject to specified quotient-stack MHM or specialization-exchange hypotheses, and do not assert complete global perverse amplitudes or arbitrary-kernel transport.
Proposition 1
(Invariant-line incidence and its Springer intersection). Let , , and . The projection is projective, is a smooth fourfold, and in adapted coordinates. The central fiber is the normal-crossing union of the kernel-line and image-line small resolutions, meeting in . The induced is the minimal Springer resolution; its direct image contains a point-supported term, distinct from the determinant vanishing-cycle contribution .
These assertions follow from Propositions 16, 18, and 20.
Lemma 1
(Transport of a distinguished extension). If an exact derived correspondence functor is defined on the corrected source triangle, then
is distinguished and splits exactly when . If both endpoints lie in , the triangle is a heart-level Yoneda extension; otherwise its connecting arrow is retained with its derived Postnikov data.
This is Proposition 38 and Lemma 22.
Theorem 1
(Evaluation-regular conifold–Hecke realization, branch exchange, and first-jet existence). On a nonempty locus of framed stable bundles satisfying , framed Higgs evaluation is smooth and surjective. The varying-line correspondence and its determinant restriction are Cartesian, and elementary lower modification defines an algebraic map to the modified-Higgs stack.
The modified fiber fits into ; its marked eigenvalues satisfy and . On the source-node fiber the transformed leading Higgs value is nilpotent, with its potentially nonzero component a section of . Its root scheme is for a scalar source first jet, two reduced points for distinct eigenvalues, and one length-two nonreduced point for a nonscalar repeated eigenvalue.
If and , first-jet evaluation-regular stable bundles exist with every prescribed odd-degree determinant . They also exist with prescribed even-degree determinant for , and for provided . For and , the even-degree vanishing is obstructed; for it is impossible. In the existence ranges there are Higgs fields with and nonzero intrinsic quadratic, and hence admissible regular-nilpotent target values.
The incidence, intrinsic fiber, and marked branch calculations are proved in Propositions 23, 24, 27, and 28. The first-jet criterion and existence results are Lemma 11, Theorems 6 and 7, and Corollary 3. The target and source branches are marked ; the result is neither a flop equivalence nor a realization of an arbitrary global nodal .
Theorem 2
(Derived reconstruction and local Gysin transport). For the kernel-line small resolution , the nonzero local forward class pulls back to a nonzero scalar multiple of the codimension-two Gysin morphism, where . Its direct images satisfy and . The stalk, costalk, perverse-degree, and boundary-residual calculations identify the two outcomes. For a verified Hecke transform, recollement, MacPherson–Vilonen attaching maps, and Hom/Ext constraints govern its target arrow without reducing that arrow to the endpoint multiplicities.
The local morphism calculations are Propositions 31 and 33; the derived reconstruction is in Section 6. The octahedral comparison morphism is not identified with the forward Yoneda class.
Proposition 2
(Fixed-source Hecke curves and Higgs normal data). For a fixed stable satisfying , the elementary Hecke curve is pointwise noncontracted and infinitesimally injective in the bundle moduli stack, even when the source Higgs first jet is scalar. Its determinant is . When is even, all modified bundles are stable; the Hecke curve embeds in the stable-bundle moduli space, and its normal bundle in the stable-underlying-bundle Higgs locus has rank and determinant .
The noncontraction geometry is classical [13,14,15,16]. The explicit differential and normal calculations needed here are Propositions 51– 53; by themselves they do not establish survival of a Hecke-pushed MHM extension.
Theorem 3
(Localized survival of the forward class on the genuine Hecke target). Let U be the admissible rank-one target open of Proposition 55, meeting the source-node image. The distinguished target line is reconstructed from , and the inverse upper modification is an isomorphism of unframed kernel-branch Hecke groupoids over U. The source-node image is a regular codimension-two immersion. For the unit Hecke kernel, the selected equivariant lift of the nonzero universal determinant-conifold forward class, and the compatible mixed-Hodge normalization, its two genuine target images satisfy
Both transformed distinguished triangles are derived nonsplit on U. The first-jet existence theorem supplies a nonempty such node image in its stated genus and determinant ranges. Neither conclusion refers to the auxiliary line projection or to an unrelated global nodal source.
The decisive inputs are the actual rank-one branch inverse, the equivariant forward costalk lift, and the closed-branch Gysin detector (Proposition 55 and Lemmas 23, 25). Their combination is Theorem 8; Corollary 7 supplies nonempty global Higgs examples. No perverse-heart concentration follows from derived nonsplitting alone.
Theorem 4
(Finite degree-two transport and the higher extension class). Let be the nonempty saturated admissible open of Proposition 59. The complete unframed inverse-eigenline correspondence is finite locally free of degree two; its two inverse eigenlines merge into a length-two scheme over the nonzero nilpotent locus. In particular, on the selected coefficients.
Assume the unit kernel and the equivariant quotient-stack MHM formalism, descent comparison, and normalized smooth-atlas exchange specified in Theorem 9. Writing and for the two transported perverse objects, the connecting arrow is a nonzero higher extension
Its middle coefficient has
and is their nontrivial Postnikov attachment. These are statements about a finite unframed correspondence, not about a finite framing atlas or an unconditional global Hecke functor.
The source-side perverse calculation on the complete reducible incidence fiber is Proposition 30 and Corollary 4. Finite transport, nonvanishing, and compatible smooth-atlas witnesses are proved in Theorem 9 and Corollary 9. The source forward Yoneda and this target degree-two derived morphism are not identified as heart-level short exact sequences.
Theorem 5
(Springer slice and extension-sensitive bounded convolution). The Springer resolution is the Cartesian pullback of the bounded two-step affine-Grassmannian convolution resolution to the nilpotent transverse slice. The full convolution surface is , while the Springer slice is nonproper. The point-supported pure Hodge term has Tate type , distinct from the source forward quotient .
For selected Hecke kernels satisfying the support, base-change and family-specialization hypotheses of Theorem 13, the natural equivalence satisfies
Its family comparison also intertwines , , and with the appropriate Tate twist. This formal compatibility does not assert nonvanishing of the image.
The geometric statements are Theorem 12, Corollary 12, and Lemma 32. The derived fusion theorem is conditional on the specified correspondence and kernel exchanges in Section 9.
1.5. Relation to the Existing Literature
The argument draws on intersection complexes and perverse gluing [1,4,5], Saito’s mixed Hodge modules and specialization functors [2,3], and the classical topology of isolated singularities and monodromy [17,18]. Springer geometry and type- A affine Grassmannians supply the small-resolution and lattice frameworks [8,19] and [9,10]; see also [20]. The present problem is not to reprove the general theory, but to retain its morphisms and Tate normalizations for one corrected singular coefficient.
Hodge refinements of Satake and convolution.
Fedorov’s Hodge-theoretic Satake equivalence [21] equips spherical convolution with a tensor formalism for equivariant polarizable pure Hodge modules. Its purity and semisimplicity are important normalization checks, but do not transport an arbitrary nonsplit mixed conifold extension into a pure heart. The motivic Satake construction of Richarz and Scholbach [22] offers a complementary six-functor and Tate-sensitive framework. Cautis, Dodd, and Kamnitzer [23] study associated-graded Hodge modules and categorical structures; associated-graded identifications do not recover the connecting Yoneda arrow. The Springer summand remains distinct from the forward quotient.
Specialization and centrality.
Gaitsgory’s nearby-cycle construction of central sheaves [24] motivates the compatibility problem between specialization and affine-Hecke composition. Higher unipotent nearby cycles and their iteration comparisons in Achar–Riche [25,26] supply the relevant exchange machinery, but such comparisons require their precise existence and base-change hypotheses; they are not uniform isomorphisms for arbitrary singular coefficients. Salmon’s general-base analysis [27] provides related specialization context. At the diagrammatic level, Elias [28] constructs centrality-related chain complexes and compatibility data in affine Soergel settings. That work underscores why natural maps and homotopies, rather than only matching objects, are essential to convolution coherence. Here the maps are constructed using MHM adjunction, recollement, and proper base change, with no claim to a new central object.
Classical Hecke curves and genuine Hecke–Higgs geometry.
Elementary modification curves on moduli of stable bundles are classical: Narasimhan–Ramanan’s Hecke-cycle geometry [13], Hwang’s tangent-vector calculations [14], Hwang–Ramanan’s relation to the Hitchin discriminant [15], and Sun’s minimal rational-curve results [16] provide the appropriate precedents. In particular, Hwang–Ramanan [15] prove relevant generic vanishings for twisted traceless endomorphisms in higher genus. Our fixed-point and genus-three parity refinements are used to establish the required first-jet evaluation locus, not to claim discovery of generic vanishing or the underlying Hecke curve. Our fixed-source rigidity argument is used to control the additional Higgs deformation and the correction from noncontraction to the rank-one inverse needed for the selected extension morphism. The fixed-determinant identity is retained, while normal-data assertions are made only under the stability and degree conditions stated in Section 7.
Donagi, Pantev, and Simpson [29] study rank-two Hecke–Higgs geometry with rigidifications, spectral and Prym structures, and direct-image calculations. Their work is the closest geometric comparator for a true modified-Higgs target, but does not compute the image of our selected conifold Yoneda class. The lower modification and invariant-line orientation must also be compared with [30]; related extended-Bogomolny geometry is described in [31]. The equivariant mixed-Hodge comparison is formulated in the selected stack-theoretic six-functor framework [32]. Crucially, the finite inverse-eigenline correspondence is defined after unframed descent; there is no finiteness claim for the higher-jet framing group. Smooth-atlas pullback is normalized separately from finite direct image.
Theta-characteristic obstruction.
The exceptional even-degree genus-three first-jet phenomenon is governed by the parity result for orthogonal bundles and theta characteristics [33]. Section 4.6 spells out the obstruction and constructive nonemptiness conditions; they are not inferred from a generic-dimension count.
BPS and geometric Langlands interfaces.
The geometric-Langlands framework of [34] and the Kapustin–Witten line-operator picture [12] explain why a morphism-sensitive Hecke calculus may have broader significance. The Hecke operators on BPS cohomology studied by Davison and collaborators [35] concern different moduli spaces, coefficients, and operator constructions; no identification with our conifold extension is used. The author’s singular Hodge-atom work supplies the conifold and global-gluing input [6,7] and [11,36], while Bivariant Hodge Atoms I supplies a separate Hecke collision benchmark [37]. The contribution is the evaluation-based incidence realization of the corrected extension, intrinsic marked branch exchange, and explicit first-jet existence ranges; the localized survival of its actual unit-kernel target morphism; and, on the finite saturated open, the nonzero degree-two extension controlling the perverse Postnikov attachment. The Springer–convolution slice remains a distinct geometric and representation-theoretic comparison.
1.6. Notation and Conventions
All varieties, curves, and algebraic stacks are over ; , , and denote the usual coefficient rings. The degeneration parameter is t (or s for a specified family); is the Hecke point, w its local parameter, and its cotangent line. The conifold node set is , while X is the local determinantal model and a central fiber of a possibly unrelated degeneration. The maps denote the source extension arrows; denote correspondence projections with subscripts indicating which correspondence is intended.
For a finite-type variety Z , put , with heart and perverse cohomology . The rational realization is . On a smooth d -fold, is perverse normalized, and is the intersection-complex Hodge module. We write for cohomological shifts and for Tate twists. Derived pullback, ordinary and exceptional pushforward, and extraordinary pullback are , , , and ; and are not identified for nonproper maps. The equalities are used for heart objects and .
We reserve for the forward extension and for an octahedral connecting arrow. The maps , , and retain their normalization in (5). The symbol is reserved for the small-resolution projection to , while denotes an actual modified-Higgs map. Superscripts and distinguish fiber- or jet-framing atlases from quotient-stack coefficients. The admissible rank-one target open is U when the context is the kernel-branch inverse, and is its saturated admissible finite-cover open. Neither should be confused with the complement of an arbitrary recollement stratum. We write for the finite unframed inverse incidence on , never for the nonproper target framing atlas. All stack-level MHM operations and smooth-atlas normalizations are made in a specified compatible formalism [32].
1.7. Organization of the Paper
Section 2 fixes the conifold extension and MHM normalizations. Section 3 and Section 4 construct the invariant-line modification, smooth evaluation realization, and Cartesian correspondence. Section 5 computes the local Gysin and ordinary/exceptional pushforward contrast; Section 6 retains the varying-line transport and derived gluing maps. Section 7 and Section 8 compute the Hecke-curve and inverse-fiber geometry, prove localized survival on U , establish finite degree-two transport and the degree-two derived result on , and verify normalized framing compatibility. Section 9 proves the Springer–convolution slice identification and formulates the specialization-compatible bounded fusion result; Section 10 records the consequences. The appendices preserve coordinate, Hodge-degree, cone, and map-index verification data.
2. Conifold Mixed-Hodge Modules and Hecke Foundations
We fix the corrected forward conifold extension, its separate nearby/vanishing-cycle interface, and the mixed-Hodge-module conventions for the actual Hecke correspondence. The local costalk, functorial, recollement, and lower-modification normalizations are specified here; Section 4.6 proves first-jet existence in explicit genus and determinant ranges. We distinguish three increasingly stronger assertions for the universal determinant conifold: nonzero incidence pullback, localized unit-kernel survival on the unframed modified-Higgs target U , and finite degree-two transport on a smaller admissible open , where the surviving arrow has a specified degree-two derived placement. None gives an automatic transform of an unrelated global nodal coefficient. We use the conventions of Section 1.6.
2.1. One-Parameter Conifold Degenerations
Definition 1
(Nodal degeneration). Let Δ be a sufficiently small complex disk with coordinate t. A nodal threefold degeneration is a proper flat morphism whose general fiber is a smooth complex threefold and whose reduced central fiber has finitely many ordinary double points . Whenever constant pure Hodge coefficients on the total space are used, assume that is smooth of complex dimension four near , and that the local family at each node is analytically equivalent to
Write , with inclusions , , and .
Remark 1
(Local and global vanishing cycles). The Milnor fiber of (15) has the homotopy type of , so and for . Choosing vanishing cycles determines by . Its rank may be strictly smaller than r. This global homological relation does not replace the node-supported direct sum in by its quotient.
2.2. The Corrected Forward Extension
Definition 2
(Source coefficient and forward orientation). Set
We take as specified source data the corrected mixed-Hodge module and exact sequence
as normalized in [6] and [7]. Its forward class is
Reversing the roles of subobject and quotient defines a different extension problem.
In the derived category the specified sequence is
Neither nor is defined by silently substituting an uncorrected cone of the variation map.
Lemma 2
(Local costalk and forward extension space). For any , with , the intersection complex of the ordinary double point satisfies
Consequently,
The isomorphism does not choose a preferred nonzero generator.
Proof.
The link of an ordinary double point of complex dimension three has homotopy type . Small-resolution base change, or the intersection-complex calculation on the link, gives . The pure weight-three intersection complex obeys ; Verdier duality therefore gives the corresponding costalk components and . This yields (20), with the same Tate convention as [3,7].
Closed-point adjunction identifies the left side of (21) with . The target has degree-zero cohomology and no negative-degree cohomology; its remaining cohomology lies in positive degree two. Standard truncation therefore identifies this Hom with . Both endpoints are in the MHM heart, so this derived Hom is the claimed Yoneda . □
Remark 2
(Rational realization and nonvanishing). The exact faithful realization sends (17) to the corresponding short exact sequence of rational perverse sheaves. It does not recover the Hodge filtration or Tate normalization. Moreover, faithfulness on the abelian heart is not a blanket assertion about derived Hom groups. Nonvanishing of the source class and nonvanishing after a particular correspondence pushforward are distinct questions.
2.3. Nearby Cycles, Vanishing Cycles, and Monodromy
Under Definition 1, set
and use the perverse-normalized unipotent functors
Definition 3
(Specialization and node-interface diagrams). The canonical and variation maps have the types
Separately, the specified corrected source package carries the node-interface coefficient
and its provided factorization
Equality with the full is used only where this factorization is established by the imported source construction.
Remark 3
(Distinct Tate channels). The point-supported fibers of and have weights 2 and 4, respectively: as Hodge structures. Thus the Yoneda arrow , interface arrows , and specialization arrows retain their distinct types. On the universal fourfold determinant smoothing, the local unipotent vanishing coefficient is by Lemma 6; this observation does not identify that coefficient with the separate interface .
Proposition 3
(Naturality of the specialization diagram). Let be proper over Δ, , and its central-fiber map. For , proper specialization gives natural isomorphisms and . They intertwine , , and , preserving the target twist .
Proof.
Proper specialization commutes with the two cycle functors in the mixed-Hodge-module six operations. Naturality of the canonical and variation transformations yields the corresponding commutative squares; their composite gives the monodromy square, using [3]. □
2.4. Derived MHM Functors and Normalization
Definition 4
(Derived categories and cohomological conventions). For a finite-type complex algebraic variety Z, set and . The standard t-structure on realizes as the middle-perverse t-structure, and we write for its cohomology. For and , . These are perverse, not ordinary sheaf-cohomological, degrees.
We use derived pullback , extraordinary pullback , ordinary and compactly supported images , tensor and exterior products, and Verdier duality. All shifts and Tate twists refer to the mixed-Hodge-module normalization, not only its rational realization [3,21].
Proposition 4
(Smooth normalization and proper images). If is smooth of pure relative complex dimension d, then and are perverse t-exact, and relative purity reads
For proper h, the natural morphism is an isomorphism; proper pushforward is not perverse t-exact in general.
Proof.
The first claims follow from smooth pullback and the purity isomorphism in Saito’s formalism: , with Tate twist t -exact. Properness identifies the two direct images, without forcing their perverse cohomology into degree zero [3]. □
Remark 4
(Finite-type charts and quotient stacks). The projection of a positive-rank vector bundle is nonproper, so its and must be kept distinct. On a quotient stack , we use only with an explicitly chosen equivariant or stack-theoretic MHM formalism supporting the required bounded operations, as in Section 8 [32]. The fiber-frame quotient, the higher-jet frame groupoid, and the full modified-Higgs stack are different objects; passing between them requires the indicated 2-Cartesian comparisons. In particular, finiteness of the unframed inverse-Hecke map on (Proposition 59) never implies finiteness or properness of the nonproper framing atlas. The perverse normalization under a smooth atlas is , for its relative dimension g; it is distinct from the finite direct image. For a stack , a morphism in need not be represented by a Yoneda n-extension in the heart . In particular, the degree-two transport on is stated in this derived Hom group and as a Postnikov attachment; a heart-level interpretation would require a separate rigidification or derived-realization theorem.
Remark 5
(Equivariant source coefficient and normalization). For the universal conifold , conjugation by fixes the node o. The coefficient has its constant equivariant structure, while carries the natural equivariant structure. The selected nonzero local forward costalk class admits the compatible lift of Lemma 23 in the specified equivariant MHM formalism. This is a statement about the particular purity-normalized scalar class, not a blanket identification of derived Hom groups on a stack and its atlas. Smooth evaluation uses with its established relative dimension r; descent and any subsequent framing pullback carry the separate normalization of Lemma 27. The unit kernel and common shifts and Tate twists are fixed before testing the target morphism. For the finite-open assertion, the descent-normalized source heart objects must be compared with the full-incidence calculation of Corollary 4; this is not obtained by treating the framed source map as finite.
2.5. Recollement and MacPherson–Vilonen Conventions
For closed and open, the adjunctions and give
and
Definition 5
(Recollement attaching data). For retain , , and the canonical maps and . The attaching datum includes these maps, not just their endpoint objects.
Remark 6
(MacPherson–Vilonen and zig-zag models). Classical isolated-stratum zig-zag diagrams use nearby/vanishing cycles [4,5]. We use a diagrammatic model only with a verified gluing equivalence. Recollement along a positive-dimensional stratum is not automatically equivalent to this isolated-point model [36].
Lemma 3
(Boundary comparison and its support). For , put
Then , so is supported on Z. If is proper, applying retains a distinguished triangle on T.
Proof.
The arrow defining is the canonical composite through M . Its restriction by is the identity of , so the cone vanishes on . Derived direct image preserves cofiber sequences, giving the final assertion. □
2.6. Elementary Hecke Correspondences and Targets
Definition 6
(Lower elementary modification). Let C be a smooth projective connected complex curve, , w a local parameter, a rank-two bundle, and a line. Put and define the lower modification . Its orientation and degree are fixed by
The quotient is a length-one skyscraper sheaf, noncanonically isomorphic to .
Proposition 5
(Higgs invariance and the local modification). Let be a Higgs field. In an adapted frame near z with , write and . Then preserves if and only if , equivalently . In the modified frame ,
In particular , with , and determining its complete first target jet requires the second source jet. The marked target line is the kernel of , not the original line ℓ.
Proof.
The lattice of is generated by . The image of is , so it belongs to that lattice exactly when is divisible by w ; the image of always belongs to it. Conjugating by gives (32). Its value depends on , while the coefficient of w in is ; cf. Lemma A2. □
Remark 7
(Intrinsic target fiber and first-jet typing). Set and retain . Tensoring (31) with gives the natural exact sequence ; hence the marked target line is . If are the eigenvalues on , then the target eigenvalues on satisfy and . When , its first jet is intrinsically an element of , and the only potentially nonzero target value is of type . As ℓ varies, it defines a section of . Lemma 13 and Propositions 27 and 28 prove these identities, including the scheme-theoretic root configurations. A scalar source first jet need not give a scalar target first jet; see Corollary 6.
Remark 8
(Existence of first-jet-regular bundles). For a stable rank-two bundle E the first-jet evaluation map
is surjective exactly when and (Lemma 11). This locus is nonempty : for and , it exists in every fixed odd-degree determinant by Theorem 6. It also exists in every even-degree determinant when , and when provided , by Theorem 7. For with the even-degree case is obstructed by parity; for the vanishing is impossible. In the existence ranges, the first-jet evaluation map on a suitable nonempty framed stable-bundle atlas is smooth and surjective. These claims are about the existence of appropriate charts, not about every preassigned stable-bundle atlas.
Definition 7
(Four Hecke levels). We distinguish (i) the bundle modification , (ii) the invariant-line Higgs correspondence , (iii) the framed jet correspondence retaining the varying line and sufficient source jets, and (iv) the unframed modified-Higgs moduli problem defined by change-of-framing descent. Their specified finite-type charts or moduli stacks will be denoted
Remark 9
(Rank-one target open and scope of nonvanishing). On the source-node locus , the modified value is nilpotent. Where it has rank one, its image canonically determines the marked target line after removing the factor . The upper inverse along this line identifies the unframed kernel-branch Hecke groupoid with the admissible rank-one target open U of Proposition 55. The existence results above give nonempty regular-nilpotent node images by Corollary 3. For the unit Hecke kernel and the selected equivariant forward coefficient, Theorem 8 proves nonzero ordinary and compactly supported derived target morphisms on this U. Its proof uses the kernel-branch Gysin class and closed-branch detection, not a global trace or a contraction of a fixed-source Hecke curve. Section 8 gives the compatible framed witnesses. No corresponding assertion is made here for arbitrary kernels, an unrelated global node package, or perverse-heart concentration of the transported objects.
Remark 10
(Finite-open transport and its perverse normalization). The full, unframed inverse-eigenline correspondence is a finite flat double cover over the admissible saturated open of Proposition 59. Its two geometric eigenlines coalesce into a length-two scheme at the nonzero nilpotent locus; the restricted map is finite, so . This map is distinct both from the nonproper framed-source atlas and from the auxiliary projection of Section 5.
For the universal determinant coefficient, the full-incidence calculation of Proposition 30 and its smooth evaluation yield
Thus the source quotient is in perverse degree one, not zero. Under the specified quotient-stack mixed-Hodge formalism and smooth-atlas descent, the finite map is perverse t-exact and gives with the nonzero, unit-kernel target arrow
as proved in Theorem 9. Its derived middle object has perverse cohomology in degree zero and in degree one; the connecting arrow is their nontrivial Postnikov attachment. The corresponding normalized smooth-atlas witnesses are described in Corollary 9. No global perverse-concentration theorem or arbitrary-kernel transport is asserted.
Remark 11
(Source realization is additional geometric data). The forward triangle (19) lives on , whereas the Hecke projection starts on . For the universal local determinant conifold , Propositions 23, 24, and 25 construct a smooth evaluation-based source realization on the stated evaluation-regular locus and retain the nonzero source morphism before target pushforward. A smooth first-jet evaluation requires the stronger conditions and of Lemma 11. Their nonemptiness in the specified genus and determinant ranges is now established by Theorems 6 and 7; it does not follow merely from leading-value evaluation. For an arbitrary the source comparison is likewise additional data. Given an independently specified realization , kernel , and normalization, transport has the form
The kernel, shift, twist, and direct-image choice are fixed before examining . On the specified stable and evaluation-regular locus, Section 7 also computes the differential and normal data of a fixed-source Hecke curve and proves its noncontraction, including for scalar source first jet. The actual modified-Higgs pushforward is nonzero on U for the unit kernel and selected conifold source generator by Theorem 8; on the smaller saturated the perverse-degree and degree-two derived refinement is Theorem 9. The adjunction test (160) remains pertinent on other target strata and for kernels whose Gysin/excess-intersection images have not been computed. The framed comparison is in Section 8; the benchmark is a distinct nonproper projection.
3. The Elementary Invariant-Line Hecke Normal Form
We fix the local algebra of an elementary Hecke modification compatible with a Higgs field. The essential data are a lattice in the formal fiber, an invariant line for the leading Higgs coefficient, and the successive jets needed to recover the modified field. The distinction between a lattice modification and a regular change of frame determines both the pole cancellation and the source–target orientation. We derive the invariant-line incidence equation globally on , including its branching and nonfinite fibers, and calculate the modified zero and first jets in varying-line coordinates. Gauge covariance gives a morphism of framed-jet groupoids, rather than a quotient by a free group action. The determinantal restriction then separates the kernel-line and image-line resolutions and locates their common nilpotent surface. This finite-dimensional normal form supplies the incidence geometry used in Section 4, Section 5 and Section 6. We use the conventions of Section 1.6.
3.1. Elementary Modifications in an Adapted Basis
Let C be the smooth projective curve, the modification point, and w a parameter at z , as in Definition 6. Put and . Fix a frame of near z and write and , where
For each entry h , write .
Definition 8
(Lower modification of a lattice). For a line, define . If , then
The matrix D represents the inclusion in the indicated frames; it lies in , not in .
Proposition 6
(Modification and regularity). The field restricts to a regular Higgs field on if and only if . Its matrix in is
For , the only pole is in the lower-left entry. The upper lattice , with inclusion matrix , produces the same displayed conjugate matrix but increases the degree rather than decreasing it.
Proof.
The generators are preserved by A exactly when lies in ; this means . The second generator has image . Conjugation gives (35), and . For the upper lattice one computes ; the lattice inclusion has the opposite direction. The identical matrix expressions therefore do not identify the two modification correspondences. □
Remark 12
(Coordinate and orientation convention). Our default is the lower modification of (31). A regular frame change acts by ; the singular matrix D changes the lattice. Section 9.5 uses the inverse, upper-lattice convention, with the orientation reversal stated there. The invariant-line condition also appears in the Higgs–Hecke analysis of [30].
3.2. The Invariant-Line Equation
Let , parameterize lines, and . Write , with .
Definition 9
(Invariant-line incidence). Set
and define
Let be the projection.
Proposition 7
(Invariant lines and incidence fibers). The condition is equivalent to . On , put ; then
The variety is smooth of dimension four and p is projective. With
the fibers of p are two distinct reduced points for ; a length-two nonreduced point for and nonscalar; and when is scalar. In particular, p is finite over the nonscalar locus, but not over the scalar line.
Proof.
The determinant of the two columns and equals ; dividing by gives (38). Put and . The bundle morphism
is fiberwise surjective. Its rank-three kernel has total space , proving smoothness and dimension . The closed embedding makes p projective. The zero scheme of a nonzero binary quadratic has length two, reduced precisely when its discriminant is nonzero. The quadratic vanishes identically exactly for and . Over the nonscalar locus p is proper and quasi-finite, hence finite; the scalar fibers have dimension one. □
Lemma 4
(Change-of-frame covariance). For , , and , one has
Thus is -equivariant.
Proof.
Since , both columns are multiplied by . The determinant scales by , a unit, so its zero locus is unchanged. □
Remark 13
(Branching and positive-dimensional fibers). Over the nonscalar locus, describes ramification of the degree-two eigenline cover. Over scalar matrices the fiber is instead . The rank-two eigenline count agrees with the Higgs-compatible modifications discussed by Witten [30]. Affine-Springer interpretations in more general groups occur in [38]; these do not address the selected mixed-Hodge extension.
3.3. First-Jet Data and Regularity
Fix an adapted frame with and expand
Here .
Proposition 8
(The transformed value and first jet). The lower modification satisfies
In particular,
The modified value requires the first source jet; its complete first jet requires the second source jet.
Proof.
The four transformed entries are , , , and . Their terms of degree at most one are , , , and , respectively. Varying while fixing changes but not . □
Definition 10
(Finite-order invariant jet schemes). Let and
Then has dimension . An affine line chart admits an adapted frame varying algebraically with ℓ; write for the local four-coordinate target . In the chosen frame the maps
are polynomial; the second formula uses the adapted entries. Their target matrices are related on overlaps by modified-frame conjugation, not by equality in one globally fixed frame.
Proposition 9
(Finite-jet transform and truncation). On every varying-line affine chart , the modification induces a regular map
where is the kernel of the natural map of fibers ; in an adapted modified basis, . The maps agree with the zero-jet maps after truncation and glue by the frame-change rules of Proposition 10. They do not factor through .
Proof.
The modified value has upper-right entry zero, hence preserves . Formula (42) is polynomial in the source coefficients through order two. Changing changes its first modified jet and not its first source jet. For varying ℓ , the adapted frames and their changes are regular on the respective affine charts; Equation (49) identifies the transformed matrices on chart overlaps. □
Remark 14
(The varying invariant line). On put and . Writing , we have on and
Thus . On , with , the corresponding divided entry is . The two formulas are related by a regular invertible modified-frame transition on ; see Appendix A. Fixing means setting : this is a closed fiber of , not an open chart of . In particular, the full first-jet space retains the varying line and has dimension eight; the fixed-line fiber has dimension seven. This distinction is used in Section 6.1.
3.4. Change of Framing and Descent Conditions
For we use and .
Lemma 5
(Action on Higgs jets). Write , where , and let . Then
Consequently is gauge invariant.
Proof.
Insert and into . The linear coefficient is the displayed commutator, and . □
Proposition 10
(Induced modified-frame transformations). For two frames adapted to the same line , the change of source frame has the form , where . Its induced modified-frame change is
and
The first modified-frame jet can depend on the second source-frame jet.
Proof.
Proposition 11
(Stabilizers of a leading incidence datum). For and , the constant-frame stabilizer consists of invertible upper-triangular satisfying
Its dimension is two for nonscalar , and three for scalar ; in particular, the action is nowhere free.
Proof.
The condition forces upper triangularity. The remaining equality has precisely the upper-right entry (50). For nonscalar this is one nontrivial linear relation on , on the open set ; for scalar it imposes none. Scalar units always stabilize . □
Definition 11
(Framing descent datum). The jet group acts on by simultaneous change of and ℓ. A modified-frame descent datum consists, on each adapted-line chart, of the assignment from a source frame transition to its modified transition , truncated from source order two to modified order one. This assignment is a morphism of the corresponding action groupoids ; it is not a homomorphism independent of ℓ. On overlaps it is defined by changing the adapted frames, then applying (48).
Corollary 1
(Equivariance of the finite-jet modification). The maps determine a morphism of finite-jet framing groupoids, and hence a morphism of their quotient-stack charts. Its identification with the global Hecke–Higgs correspondence is the separate geometric assertion of Section 4.6.
Proof.
By (49), modifying after a source-frame change agrees with changing the modified frame after modification. Proposition 10 shows that the operation uses exactly the displayed finite orders. The two standard line charts glue through invertible modified-frame transitions, giving the groupoid morphism and its quotient-stack counterpart. □
Remark 15
(Stabilizers and framed coefficients). The jump of stabilizer dimension on the scalar locus prevents replacement of the quotient stack by a free geometric quotient. The entries , and their variable-line counterparts are framed coordinates, with transformations governed by (47) and (49). Their contribution to a transported mixed-Hodge extension requires the actual target functor of Section 8.
3.5. Compatibility with the Determinantal Condition
Put and . For , let be the scalar of and that of the induced action on . These are regular functions on .
Proposition 12
(The determinantal branches). The functions satisfy
The scheme-theoretically reduced determinantal incidence fiber is
where and . Their intersection consists of with . The conditions and do not individually imply .
Proof.
In a basis adapted to ℓ , . The determinant factors as asserted, and the two diagonal entries are the actions on ℓ and . The branches are and ; these are independent local coordinates on the incidence bundle, so is their reduced union. On their intersection is strictly upper triangular and thus . Conversely, the displayed image–kernel containments imply both branch equations. An eigenline with nonzero eigenvalue on a rank-one matrix establishes the last assertion. □
Proposition 13
(Conifold and resolution slices). The hypersurface is a threefold ordinary double point, singular only at . The projections and are small resolutions, with
Their common intersection is
which resolves the nilpotent surface. The first-jet determinantal incidence scheme is ; its two branches have unrestricted coefficients.
Proof.
In matrix entries, is , whose gradient vanishes only at the origin. Its quadratic form is nondegenerate, hence the singularity is an ordinary double point. The factorization on identifies it with . Since this is . Likewise, the image branch is . A nonzero rank-one matrix has unique kernel and image lines; the only exceptional fiber of either proper birational map is over 0, of codimension two in the smooth source. Both maps are small.
On the intersection, factors through , yielding . In trace-zero coordinates its image has equation ; the zero section is the exceptional -curve of the minimal resolution [8]. Finally is independent of , so the jet restriction is the indicated fiber product. □
Remark 16
(Scope of the normal form). The results identify the universal determinantal conifold and its incidence resolutions inside the varying-line matrix problem. The evaluation-base-changed realization in Section 4.6 supplies the subsequent Hecke–Higgs geometry on its specified evaluation-regular locus; for a general nodal , a compatible source comparison is still additional data. Neither issue alters the local matrix formulas.
4. Conifold-Compatible Incidence Geometry
The determinantal threefold ordinary double point has two small resolutions that occur as components of a smooth invariant-line incidence family, meeting along the Springer resolution. We calculate its mixed-Hodge direct images, Mayer–Vietoris restriction map, and specialization comparison. Over the evaluation-regular locus of framed Higgs bundles we then construct the Cartesian Hecke incidence and show that the corrected local extension survives its pullback. The intrinsic lower modification exchanges the marked kernel/image branches; on the node locus its target Higgs value is governed by a quadratic first-jet section of . We also establish the required first-jet evaluation locus in the stated genus and determinant ranges, with a genus-three parity obstruction. The ordinary and exceptional images of the genuine modified-Higgs map are nonzero on the admissible rank-one open for the selected unit-kernel class (Theorem 8); arbitrary kernels and off-open target strata require further comparisons.
4.1. The Determinantal Conifold
We use the notation and conventions of Section 1.6. Put and , with matrix coordinates
Let be , and set . Write and .
Proposition 14
(The determinantal ordinary double point). The hypersurface X is irreducible, of complex dimension three, and
Its tangent cone is the nondegenerate quadratic cone . The family ϖ has smooth total space M, is smooth over , and gives a one-parameter smoothing of the ordinary double point at o.
Proof.
The partial derivatives of are . Their common zero locus in X is . Since the defining polynomial is homogeneous quadratic, the tangent cone at the origin is the hypersurface itself. The linear substitution
expresses ; after a nonsingular linear change of the remaining variables, this is a sum of four squares. The quadratic form has full rank four. Hence the germ is a threefold ordinary double point, and its defining quadratic polynomial is irreducible.
The Jacobian algebra at o is
so . The critical locus of in M is , and its critical value is zero. Thus every nonzero fiber is smooth, and the smooth fourfold M is the total space of the asserted smoothing. □
Definition 12
(Determinant-family Hodge coefficients). Let , the perverse-normalized constant pure Hodge module of weight four. Denote the perverse-normalized unipotent vanishing cycles of ϖ by
The Tate twist conventions are those of Section 2.3.
Lemma 6
(The local vanishing Tate line). There is an isomorphism in
It identifies the reduced middle cohomology of the Milnor fiber with its Tate-normalized vanishing Hodge structure.
Proof.
The analytic Morse lemma identifies at o with a nondegenerate quadratic function on . Its Milnor fiber has the homotopy type of , and the reduced cohomology is concentrated in degree three. As a complex affine three-dimensional quadric, this fiber has as a rational mixed Hodge structure. Since is shifted by the complex dimension four and is perverse normalized, this reduced cohomology occurs in degree zero of the vanishing Hodge module. The critical locus contains only o , and its geometric monodromy acts trivially on this rank-one vanishing cohomology. This proves (55) with the stated unipotent normalization [3,39]. □
4.2. The Full Invariant-Line Incidence Family
Set , parameterizing one-dimensional subspaces . Let be its tautological line subbundle, and let .
Definition 13
(Invariant-line incidence and determinant family). Define
The restriction of A to ℓ and the induced map on are scalar endomorphisms, denoted and , respectively.
Proposition 15
(Smoothness, normal crossings, and properness). The scheme is a smooth irreducible fourfold, and p is projective. The functions are regular and satisfy
The morphism is smooth. Consequently is a reduced simple-normal-crossing divisor with two smooth irreducible components meeting transversely. Neither f nor the projection is proper.
Proof.
The endomorphisms preserving form the rank-three vector subbundle
of the trivial rank-four endomorphism bundle. The displayed map is surjective on every fiber, so is locally free. The incidence space is and is smooth of dimension .
Choose a local splitting of into and a complement. Then a point of is represented by
and are independent fiber coordinates. Thus is locally a projection from a smooth fourfold to , and . Its central fiber is locally the normal-crossing union .
The subset is closed by the invariant-line equation, and is projective; therefore p is projective. The fibers of are three-dimensional vector spaces, so is not proper. For any , the fiber maps surjectively to the nonproper affine hypersurface . It follows that is nonproper; hence f is not proper. □
Lemma 7
(Fibers of the incidence projection). Let . If A has two distinct eigenvalues, consists of two reduced points; if A is nonscalar with one eigenvalue, it consists of one nonreduced point of length two; and if A is scalar, then . In particular, the locus of positive-dimensional fibers is the scalar line of codimension three in M, and p is small in the sense of the small-map dimension inequality.
Proof.
The invariant-line equation from (36) is a homogeneous quadratic polynomial on E . It has two simple zeros for a matrix with distinct eigenvalues. If A is nonscalar with a repeated eigenvalue, its Jordan normal form has one eigenline, and the homogeneous quadratic is a nonzero square. If A is scalar, the equation is identically zero and every line is invariant.
The scalar matrices form a one-dimensional closed subvariety in M , so their codimension is three. The only positive-dimensional fibers have dimension one; thus twice their dimension is , proving smallness. This inequality does not say that p is a resolution of M , since it is generically of degree two. □
4.3. Kernel-Line and Image-Line Small Resolutions
Define the closed subschemes of by
Write and for their restrictions of p to X .
Proposition 16
(Two distinct small resolutions). There are vector-bundle identifications
The maps are proper birational small resolutions of X. For either map, the fiber over o is , and the fiber over any is a single reduced point. Moreover,
with its reduced scheme structure.
Proof.
If , then A factors uniquely as . Conversely, any determines an A with . On E , ; hence the first bundle is . Similarly, means that A factors as , giving the second bundle .
Both restrictions of p are proper because they are closed in the projective morphism p . A nonzero matrix of determinant zero has rank one; its kernel and image are uniquely determined lines. Thus each map is an isomorphism over . Over the zero matrix either condition holds for all lines and the fiber is E . The exceptional locus has dimension one in a smooth threefold, so neither map contracts a divisor, and the maps are small. Finally, the regular function f factors as , and the two factors are regular parameters transverse to their common vanishing locus by Proposition 15; hence (60) holds scheme-theoretically and is reduced. □
Corollary 2
(Pure Hodge-module direct image). Let and . In there are isomorphisms
All objects in (61) are pure of weight three, with no additional Tate twist on the intersection-complex term.
Proof.
The smooth varieties and have complex dimension three, so their perverse constant Hodge modules are pure of weight three. The two maps are proper and small by Proposition 16. The pure decomposition theorem and smallness identify their direct images with the intermediate extension of the constant Hodge module on . By definition this intermediate extension is . The normalization is determined by the shift and the fact that both maps are isomorphisms over the smooth locus, so no Tate twist occurs [2,3]. □
4.4. The Common Intersection and Springer Geometry
Define and . Write and for the morphism induced by p .
Proposition 17
(Springer intersection). There are identifications
and, in trace-zero matrix coordinates,
The morphism σ is the minimal resolution of the surface , with exceptional curve and normal bundle .
Proof.
The two defining conditions on Z give and . Thus A factors uniquely as , and the bundle of such maps is . In a basis adapted to ℓ , A is strictly upper triangular, so and . Conversely, a nonzero nilpotent endomorphism of V has equal one-dimensional kernel and image and determines a unique point of Z . Therefore is an isomorphism over , while .
Proposition 18
(Semismall Springer direct image). The map σ is semismall and
where . The second summand is detected by
The decomposition is an isomorphism supplied by the pure decomposition theorem; a particular projection onto a summand is not fixed merely by the equality of stalk dimensions.
Proof.
The only positive-dimensional fiber of is its exceptional curve E over o . Since and , the semismall inequality holds with equality on the zero-dimensional stratum. The map is an isomorphism over the complement of o . The semismall decomposition theorem for the proper morphism therefore has precisely the intersection-complex term from the open stratum and a possible point-supported term at o .
Proper base change gives
The exceptional curve has cohomology and . The latter appears in perverse degree zero after the shift and is the point-supported pure Hodge module of weight two. Its multiplicity is one, giving (64). The two summands are pure of weight two, because has weight two and has weight two. No identification with the source Hodge-atom interface morphism follows from this direct-image calculation [3,37]. □
Remark 17
(Two distinct point-supported contributions). The summand in (64) has weight 2, whereas the source forward quotient has Tate type and weight 4 (Section 2.2). Proposition 20 produces the latter Tate type from vanishing cycles by a different morphism. The relation with a transverse slice of bounded affine-Grassmannian convolution is discussed in Section 9.5; the Springer summand remains distinct from the source forward Yoneda arrow.
4.5. Mayer–Vietoris and Nearby-Cycle Triangles
Write , , and for the closed embeddings. Let denote the proper base change of p .
Proposition 19
(Central-fiber Mayer–Vietoris triangle). There is a natural distinguished triangle in
Proof.
The central fiber is the scheme-theoretically reduced union of two closed subschemes meeting scheme-theoretically in Z . Locally its structure is given by . The standard inclusion–exclusion sequence of constant rational sheaves is
where the last arrow takes the difference of restrictions. The corresponding sequence of constant Hodge complexes yields (65) after shifting all three terms by . Applying the exact derived functor gives a distinguished triangle in . Proposition 16, Corollary 2, and Proposition 18 identify its second and third objects, producing (66). Its arrow d is induced by the original difference of restrictions, not selected from an abstract Hom space. □
Lemma 8
(The difference map on the exceptional fiber). On the stalk at o, the second map of (65) is identified by proper base change with
It induces the difference of the identity maps on and on . In particular, each restriction has a nonzero exceptional component.
Proof.
The fiber of over o is E , and its intersections with , , and Z are all the same E , with identity inclusions. The two restriction morphisms in the Mayer–Vietoris complex therefore induce the identity on . Their signed difference is (67). Passing to and proves the assertion, including the Tate type of the latter. This is an explicit nonvanishing on the fiber; it does not by itself identify a global projector or a source monodromy-interface arrow. □
Proposition 20
(Vanishing cycles of the incidence family). Put and
Then and
Consequently, the proper pushforward admits an isomorphism
This vanishing-cycle triangle is distinct from the Mayer–Vietoris triangle (65).
Proof.
In the local coordinates from the proof of Proposition 15, the function is . Its differential is , so the critical locus is the smooth surface . A transverse slice is the plane node . Its Milnor fiber is , with reduced first cohomology . The remaining two coordinates are smooth directions tangent to Z . Thom–Sebastiani or the smooth product property of perverse-normalized vanishing cycles therefore identifies the vanishing module with the perverse constant Hodge module on Z , twisted by , giving (68).
The inclusion is proper. Since , proper pushforward and the projection formula for Tate twists give
Lemma 9
(The specialization triangles). Let
Proof.
For a complex K on a smooth total space and a function h , the usual specialization triangle is
Using the perverse-normalized functors and shifts this triangle by . Since and , the two displayed triangles follow. The adjunction unit gives a morphism of total-space coefficients over . Applying nearby and vanishing cycles, and then proper base change for p , supplies a morphism between the two triangles. Its middle-to-right square is the naturality square for the canonical morphism. The Mayer–Vietoris triangle is constructed instead from the decomposition of into two components, and consequently has different maps and a different third object. □
Proposition 21
(Nonzero proper vanishing-cycle comparison). The adjunction unit
and proper base change induce a morphism
Proof.
The map p is proper and small, and its restriction over the regular-semisimple locus is the finite etale eigenline cover of degree two. The associated rank-two local system decomposes over into the invariant rank-one local system and the sign local system. By the pure decomposition theorem and smallness, is the intermediate extension of this rank-two local system, equipped with its induced Hodge structure. The invariant summand extends to . On , the unit is the inclusion of the invariant summand (the sum of the two sheets); the normalized trace is its retraction. Since these are morphisms of pure Hodge modules and is semisimple, the invariant summand and its unit inclusion extend over M , giving a retraction of .
Apply . Proper base change gives . The retraction of remains a retraction after applying the vanishing-cycle functor, so is split injective and therefore nonzero. Its source is the simple point-supported Hodge module . The intersection-complex summand has no nonzero point-supported subobject. Thus the component of in this summand vanishes, and its component in is nonzero, hence an isomorphism up to a nonzero rational scalar. We do not identify that scalar with one until a trace and Tate normalization is fixed.
Naturality of the canonical and variation transformations with respect to , together with proper base change, gives the commutative squares for and . Composing them gives the corresponding square for nilpotent monodromy. No identification of with the forward extension map is implied by these naturality relations [3,24,37]. □
4.6. Embedding into the Framed Hecke Correspondence
Fix a smooth projective connected curve C of genus , a marked point , and a local parameter w . We work with the lower modification of Definition 6. Let be the canonical bundle and . The matrix calculations below use a local framing and a trivialization of ; the resulting bundle statements are intrinsic. They realize the universal determinantal cone X , not an arbitrary global nodal threefold.
Definition 14
(Framed Higgs-jet incidence). For , define
Write and . The local framed modification functor retains the first source jet, its invariant line, the modified lattice, and the modified Higgs value . A first jet of the modified field requires a second source jet.
Proposition 22
(Explicit finite-jet Hecke realization). There is an isomorphism . Thus is an affine bundle of rank four and . In a frame adapted to , the modified lattice and value are
The line varies over ; fixing selects a closed fiber, not an affine chart of . Both determinant restrictions are Cartesian:
Proof.
Remark 18
(Jet order and framing). The coefficient of w in is , so the full first modified jet requires a second source jet. Source changes of frame modulo induce target changes modulo , with stabilizers treated by the change-of-framing groupoid. The affine bundle is nonproper and is not the projective projection p of (56).
Let B be a smooth finite-type atlas of stable rank-two bundles on C , equipped with a frame and a universal bundle on . Write and .
Definition 15
(Evaluation-regular locus). Set . This is open. The nonemptiness theorem below supplies points of in the stated genus and determinant ranges; elsewhere nonemptiness remains a hypothesis. On put and .
Lemma 10
(Criterion for smooth evaluation). For a stable rank-two bundle , evaluation
is surjective if and only if .
Proof.
The evaluation sequence identifies surjectivity with injectivity of
Serre duality identifies the dual map with . Stability gives only scalar endomorphisms in the domain. As for , the trace splitting of proves the claim. □
Proposition 23
(Smooth framed Higgs evaluation). The bundle is locally free on , and evaluation induces a surjection after the chosen trivialization of . If , the map
is smooth and surjective. Denote its relative complex dimension on each connected component by r.
Proof.
For stable , Serre duality gives ; Riemann–Roch gives . Cohomology and base change yield the vector bundle . The surjective fiberwise evaluation of Lemma 10 is a vector-bundle quotient. Locally it is a linear projection, and its base is smooth. Nonemptiness of guarantees surjectivity of e onto M . □
Lemma 11
(First-jet evaluation criterion). For a stable rank-two bundle , first-jet evaluation
is surjective if and only if and . On any nonempty open atlas where these conditions hold, evaluation to the bundle of first Higgs jets is smooth. A local framing through order one and a curve parameter identify its target with ; a framing only at z does not canonically provide this identification. The vanishing criterion is impossible for . Theorems 6 and 7 establish its nonemptiness in the indicated higher-genus and determinant ranges.
Proof.
The evaluation sequence over reduces surjectivity to injectivity of
Serre duality identifies the dual with . The first space is , while the second splits as
This proves the equivalence. Riemann–Roch gives for . Over a smooth atlas the fiberwise-surjective jet-evaluation map is a smooth vector-bundle projection, whose target is the intrinsic jet bundle until a higher framing is selected. □
Nonemptiness of the first-jet-regular locus.
Put . We prove that the cohomological criterion of Lemma 11 is realized by stable bundles, including at the borderline genus . The parity of the determinant matters at certain genus-three marked points. All constructions below take place on the fixed curve C and preserve any specified determinant of the indicated parity.
These vanishings have classical predecessors. Hwang–Ramanan [15] establish, for , the generic vanishing of for every effective divisor D of degree two; their Proposition 3.8 gives existence of a point x satisfying for a general bundle when . What is needed here is a construction for the specified marked point z , fixed determinant, and the borderline genus-three cases. Accordingly, the following proofs record those hypotheses explicitly rather than claiming that higher-genus generic vanishing is new.
Lemma 12
(Infinitesimal obstruction for traceless endomorphisms). Let be a split rank-two bundle, put , and write . Then
Let represent a first-order deformation, with and . A section φ lifts only if its commutator obstruction vanishes in . For and an appropriate section s,
If this obstruction map is injective on the entire vector space of special-fiber sections, then for a one-parameter algebraic deformation realizing ξ one has for general t.
Proof.
In a local splitting, a section deformed as satisfies the gluing equation modulo precisely when the Čech cocycle is a coboundary. Matrix multiplication gives (79). For the final assertion, work over the discrete valuation ring of the parameter curve at 0. A nonzero generic-fiber section can be multiplied by a power of the parameter to extend to a section whose specialization is nonzero. Reduction modulo the square of the parameter then gives a first-order lift of a nonzero special-fiber section, contradicting injectivity. Such a deformation exists because on a smooth curve. Upper semicontinuity gives the stated generic vanishing. □
Theorem 6
(Existence in every odd determinant). Let and let satisfy
For any line bundle Λ of odd degree, there is a stable rank-two bundle E with and
This vanishing holds on a nonempty Zariski-open subset of the fixed-determinant stable-bundle moduli space, and the corresponding framed first-jet evaluation map is smooth and surjective.
Proof.
Write . Choose L of degree k and put , so and has degree . Since multiplication by two on is surjective, N can be chosen generally in with .
For , choose N so that ; these are generic vanishings, because their degrees are 1 and 3, both less than g . By (78) and , the only global traceless endomorphism of with poles bounded by D is the diagonal h . Riemann–Roch gives . The sequence induces a surjection . Choose an extension class with nonzero image. For the deformation , the obstruction of h is in the upper-right summand, so Lemma 12 applies.
For , choose N generally so that and . The two line bundles have degree one, and each vanishing is a nonempty open condition on . Serre duality and Riemann–Roch then give
Let s generate . The space in (78) is now spanned by h and . The map is surjective. Multiplication by s also induces a nonzero map : its Serre-dual map multiplies the nonzero section in by s , which cannot vanish on an integral curve. Choose e outside the two proper kernels. The obstruction classes of h and then land nontrivially in the upper-right and diagonal cohomology summands, respectively, so the obstruction map is injective.
Integrate to a fixed-determinant family of extensions . Lemma 12 shows that the vanishing locus in the stack of rank-two bundles with determinant is nonempty; it is open by upper semicontinuity. The fixed-determinant bundle stack on a smooth connected curve is irreducible, and its stable locus is nonempty and open. Hence the two opens intersect, providing a stable E with the asserted vanishing. Lemma 11 then gives smooth surjective first-jet evaluation on the corresponding framed stable-bundle open. □
Theorem 7
(Even determinant and the genus-three obstruction). Assume and , and fix any determinant line bundle Λ of even degree. A stable rank-two bundle with determinant Λ satisfying (80) exists if either , or and . If and , no even-degree bundle satisfies this vanishing; more precisely,
Proof.
Write and choose distinct of degree k with and . The square map of the Jacobian allows a general choice of N .
For , choose N with , possible since both bundles have degree two, less than g . Thus h spans the space of traceless sections of the split bundle with poles bounded by D . By Riemann–Roch, . Choose with nonzero image and take . Since the special-fiber section space is , the obstruction makes the map injective. No stability assertion about this specific deformation is needed.
Suppose and . Riemann–Roch gives . Choose general points with and , and take . These conditions are compatible: the pencil has at most a one-dimensional family of length-two subdivisors, whereas is two-dimensional. Now and . Let s generate . The split trace-free endomorphism space is spanned by h and . Both and have dimension one. Choose with nonzero image in , and choose for which in . The second choice is possible because its Serre-dual multiplication map is injective. The obstructions of h and land independently in the upper-right and diagonal components, so again the obstruction map is injective.
In either case, integrate the trace-free first-order class to an algebraic one-parameter family with determinant ; unobstructedness follows from . Lemma 12 yields a nonempty open vanishing locus in the fixed-determinant stack of all rank-two bundles. This stack is irreducible, and its stable locus is a nonempty open. Their intersection is therefore nonempty, supplying the asserted stable bundle. This argument avoids imposing stability on the particular one-parameter deformation.
Corollary 3
(Nonempty regular-nilpotent modified-value locus). Whenever the first-jet regularity locus is nonempty as established above, there are a stable bundle , a Higgs field vanishing at z, and a line such that
In particular the regular-nilpotent target locus meeting the source-node correspondence is nonempty. Its connection to the localized nonzero target Yoneda morphism is supplied, with the unit-kernel and equivariant hypotheses, by Theorem 8.
Proof.
Over a nonempty open set of bundles supplied by the theorems, Lemma 11 makes the first-jet evaluation a surjection. Choose source value and a nonscalar first jet ; for example, choose a regular semisimple traceless . Its invariant-line quadratic is not the zero section of , so choose ℓ away from its finite zero scheme. Proposition 28 and Lemma 14 then give (82). □
Definition 16
(Conifold-compatible source realization). With , set , , and . Let and be the projections. These fiber products realize the universal local conifold coefficient; a prescribed unrelated nodal threefold requires additional source data.
Proposition 24
(Cartesian evaluation–Hecke incidence). The squares
are Cartesian. The map is projective, is smooth, and is a reduced simple-normal-crossing union of smooth pullbacks and meeting along . The invariant line varies over .
Proof.
These are the defining fiber products. Projectivity of follows from that of p . Smoothness of e implies smoothness of and . The transverse local equations and the identification of the overlap therefore persist under smooth pullback. □
Write , , and let be the chosen nonzero local forward generator normalized in Section 2.2. Put and denote its inclusion by .
Proposition 25
(Extension survival through evaluation and incidence pullback). Assume . The normalized smooth pullback
is nonzero, with both endpoints in . Its pullback along the kernel-line incidence projection is also nonzero; the transverse component is the codimension-two Gysin morphism of Proposition 31, up to the original nonzero rational normalization.
Proof.
Smooth base change for the Cartesian square determined by and gives a natural isomorphism , where is the structure map. Since corresponds by closed-point adjunction to a nonzero scalar in , the extraordinary restriction of contains its pullback along , with the common shift . Pullback to the nonempty smooth T takes that scalar to the same nonzero endomorphism of ; equivalently, the induced map of the associated constant rank-one local systems is injective on this scalar Hom line. Hence .
The base change of by a local smooth chart of e is the product of with a smooth factor. Proposition 31 identifies with a nonzero purity-normalized Gysin component. Smooth external product preserves its nonzero Thom class. Restricting the full incidence pullback to this kernel branch also proves nonvanishing before any target pushforward. □
Proposition 26
(Geometric map to the modified-Higgs stack). Let denote the stack of rank-two Higgs bundles of degree , where . The elementary modification defines
where and . One has , so restriction to the determinant-zero locus is Cartesian with the corresponding closed target substack. No properness assertion for is made.
Proof.
The universal length-one quotient is flat over the incidence parameter space and has a locally free elementary kernel. Invariance of ℓ makes the restricted Higgs field regular by (74). Proposition 10 makes this construction independent of adapted frames. Conjugation on the punctured formal disk preserves the characteristic polynomial, and regularity extends this equality to z ; the determinant restriction is therefore a fiber-product equation. □
Lemma 13
(Intrinsic modified fiber and distinguished target line). Let and . The modified fiber has a functorial exact sequence
The target distinguished line is canonically . These constructions commute with families of invariant lines.
Proof.
Tensor with . The Tor term is , while the image of is S . In an adapted frame the Tor generator is the class of in , giving the asserted distinguished line. The universal quotient and its Tor sequence are compatible with base change along the projective line of choices of S . □
Proposition 27
(Hecke exchange of marked determinantal branches). Let be the eigenvalues of on S and , and let be the eigenvalues of on and , respectively. Then
Thus the marked source kernel-line equation becomes the target image-line equation , and the source image-line equation becomes the target kernel-line equation . Their common intersection maps into the marked-target nilpotent incidence locus.
Proof.
In an adapted frame acts by on S and by on Q . The induced matrix in the modified frame is , and is the second basis line. The target eigenvalues on and its quotient are therefore and . The assertions follow, independently of the adapted frame, by Lemma 13. For the target matrix kills ; for its image lies in . Both conditions hold on the source overlap. □
Lemma 14
(Node locus in the modified-Higgs evaluation). On the source-node locus and the affine line chart , one has
The modified value is regular nilpotent for and zero otherwise. Above a fixed source-node point all lines are allowed, giving the full incidence fiber.
Proof.
When , the lower-left entry of the moving adapted matrix is . Conjugation by gives the formula. Its rank proves the stated nilpotent alternatives. □
Proposition 28
(Intrinsic first-jet quadratic and root configurations). Suppose . Its first jet is an intrinsic tensor . Over , let and . The unique possibly nonzero component of is the section
Its zero scheme is the invariant-line scheme of . This scheme is E if the first-jet endomorphism is scalar; it consists of two reduced points if its eigenvalues are distinct; and it is a nonreduced length-two point if it is nonscalar with a repeated eigenvalue. In particular, the third case includes nonzero nilpotent first jets.
Proof.
Since , taking its first derivative is independent of the connection and has value in . By Lemma 13, the source quotient S of and its distinguished subline give a component . Its expression in the -chart is of (88). On the other chart, with , the corresponding polynomial is . This is precisely the transition rule for the section of . Its vanishing is equivalent to . The discriminant gives the three scheme-theoretic possibilities, as in Lemma 7. □
Remark 19
(Geometric meaning and remaining target calculation). The branch exchange (87) concerns marked source and target lines, not an Atiyah flop between fixed resolutions. The nonempty rank-one target image provided by Corollary 3 is the geometric locus on which Theorem 8 proves nonvanishing of both genuine derived target images for the selected unit kernel and equivariant coefficient. This result does not compute all target perverse attachments, arbitrary-kernel transport, or the realization of an unrelated nodal .
5. Local Transport Benchmarks and Information Loss
We calculate the image of the corrected forward conifold extension under the kernel-line small resolution and its projection to the line parameter space. The extension is represented, after pullback, by a codimension-two Gysin morphism along the exceptional curve. Fiber contraction then identifies ordinary pushforward with restriction to the zero section and exceptional pushforward with extraordinary restriction. This explains, at the level of actual morphisms, why one operation annihilates the extension while the other preserves it. The Thom and derived-Hom calculations determine both transported arrows, their perverse degrees, and the boundary residual. We also record the perverse degree of on the full normal-crossing incidence space, which is needed for the possible finite-target degree-two derived refinement. A compact octahedral check keeps the composition boundary separate from the forward Yoneda arrow. The auxiliary target here is , not the genuine modified-Higgs stack; over the latter, localized unit-kernel survival is proved in Theorem 8.
5.1. The Kernel-Line Correspondence
We use Section 1.6. Put , , , and . The kernel-line resolution (Proposition 16) is
Let be the zero section, , and the complement. Then and . We take the nonzero corrected local class of [7]:
All pullbacks below are derived; in particular is not perverse t -exact.
Proposition 29
(Pulled-back source coefficients). Put
There are identifications in
The three objects belong to . The displayed splitting is compatible with the adjunction counit.
Proof.
By Corollary 2, . The counit is an isomorphism away from E , and proper base change gives
On restriction to E , the map projects onto ; hence . The connecting arrow in the triangle vanishes, since
Thus the triangle splits compatibly with c ; the corresponding splitting ambiguity also vanishes. The Cartesian inverse-image square for m and gives .
□
Proposition 30
(Perverse pullback on the full incidence central fiber). Let be the map of Proposition 19. Then
The assertion is about the reducible union , not only its two smooth branches.
Proof.
Apply the natural Mayer–Vietoris restriction triangle to A :
where and . By Proposition 29, ; thus each is perverse. Restricting either counit-compatible branch splitting to Z gives
Since Z is smooth of dimension two, the first summand has perverse degree and the second degree 0. On perverse degree zero the signed difference of the two restriction maps is surjective: the exceptional-line summand of either restricts isomorphically onto the exceptional-line summand of . The long exact perverse cohomology sequence consequently has for . This calculation uses the actual restriction maps, not a formal direct-sum count of the endpoint objects. □
Corollary 4
(Perverse source degrees after smooth evaluation). Let be the smooth evaluation map of relative dimension r and put . For the normalized incidence coefficients
is perverse. Writing for the source-node inverse image and ,
Thus has perverse degree 1. These are source degrees; passage to a finite unframed target requires the separate correspondence and stack-normalization comparison.
Proof.
The projection is the smooth base change of e , so pullback shifted by is perverse t -exact. The closed node inverse image D is smooth of dimension , whence its constant Hodge module becomes perverse after the shift . This gives both assertions without a claim of target perverse concentration. □
Lemma 15
(Zero-section contraction on the benchmark coefficients). For F in the full triangulated subcategory of generated by , the natural comparison morphisms
are isomorphisms. In particular, they apply to , , and their connecting morphisms.
Proof.
The first comparison is induced by the unit , followed by ; the second by the counit , followed by and . For , both maps are the standard vector-bundle homotopy and compact-support Thom isomorphisms:
For L and T , which are supported on the zero section, and both pushforwards along are the identity. The comparison transformations are natural transformations of exact derived functors. Their cones vanish on the three generators, hence on the triangulated subcategory they generate. Finally belongs to this subcategory by (91) and (92). □
5.2. Local Gysin Representatives of the Extension
Lemma 16
(The forward Ext line). Closed-point adjunction and the ODP costalk calculation give the one-dimensional forward extension space
Here is the quotient, not the subobject.
Proof.
Adjunction identifies the left side with . Lemma 2 gives and no lower costalk cohomology. Truncation reduces the derived Hom to the endomorphism group displayed in (95).
□
Proposition 31
(Geometric representative of the pulled-back class). Let be the codimension-two Gysin morphism, defined by the purity adjunction map for k. Relative to (92), one has
In particular, . The scalar γ records the normalization of the imported source generator; it is not set equal to 1 without choosing that normalization.
Proof.
Since k is a codimension-two regular immersion, . Purity and adjunction yield
The identity corresponds to . Let be the counit used in Proposition 29. Then . The unit and the triangular identity give
so . For the other summand, the square identifies with the pullback of . This arrow vanishes since rational mixed Hodge structures have cohomological dimension one, so the indicated higher Ext groups vanish. The second summand of has both ends in the essential image of the fully faithful , and therefore vanishes. This proves (96).
□
Proposition 32
(Reconstruction of the pulled-back middle coefficient). Let be as above. For a nonzero forward class ϵ, the pulled-back middle coefficient admits an isomorphism
The first summand contains the nontrivial Postnikov attachment induced by the Gysin morphism; the two perverse cohomology objects of alone do not determine it.
Proof.
Rotate the pulled-back triangle to . For the open complement j , purity identifies the first map in the localization triangle with , and . Rescaling this arrow by leaves its cone unchanged. The direct sum with the zero map to L therefore yields as stated.
□
Remark 20
(Degree and realization). The source ϵ is a Yoneda class, whereas belongs to . Its nonzero component is the purity-normalized Gysin map with Tate twist ; it is not determined by the perverse graded objects.
5.3. Ordinary Versus Compactly Supported Pushforward
Proposition 33
(Explicit transport of the three coefficients). Let be the rank-two vector-bundle projection. In one has
Under the splittings in (99), the actual transported connecting arrows are
Consequently
The isomorphisms of the middle objects are compatible with the transported triangles; a choice of splitting of the zero connecting morphism is not asserted to be intrinsic.
Proof.
The rank-two vector-bundle homotopy and Thom isomorphisms give
For the connecting arrow, Lemma 15 identifies its ordinary image with . The proof of Proposition 31 calculates this restriction to be zero. Its extraordinary image is identified with ; by purity, the adjoint of restricts to . This proves (101).
For an independent Hom check, belongs to . Using , this group is
The !-image of is independently the Thom identity by fiber integration. Applying the two exact pushforward functors to (91), the zero ordinary connecting arrow gives the split middle object (102); the !-arrow cancels an isomorphic summand and yields (103).
□
Corollary 5
(Perverse cohomology of the benchmark). Let . The nonzero perverse cohomology objects of the transported coefficients are as follows:
In particular, the compactly supported nonzero connecting arrow cancels the degree-one point-supported contribution; the ordinary image retains it.
Proof.
Each has its only nonzero perverse cohomology in degree . Thus contributes in degree , and in degree 2. Apply the same rule to the remaining summands of Proposition 33. The cancellation under is the nonzero identity component of (101).
□
5.4. Boundary Residuals and Comparison Cones
Let . With the convention that parameterizes lines, form
The complement of is canonically . Write
Then is proper and .
Definition 17
(Boundary residual). For define
It is supported on by recollement. The canonical map is the usual natural transformation , not an arbitrarily chosen comparison.
Proposition 34
(Boundary residual after proper projection). For every there is a distinguished triangle
For the pulled-back forward coefficient triangle,
The map between the residuals of and induced by is an isomorphism.
Proof.
Because and is proper, applying to the defining cone yields (105). The object is supported away from , so its residual is zero. For K , the comparison is zero: its Hom group is the group computed in the proof of Proposition 33. Its cone is . For L the comparison is the identity, proving (107) via the counit-compatible splitting of (92). The natural transformation gives a morphism of the two transported extension triangles. Its vertical cones form a distinguished triangle, and the quotient residual vanishes by (106); hence the map from the residual of to that of is an isomorphism. This gives (108) without choosing a splitting of the middle coefficient. It is the local boundary construction of [36].
□
5.5. Local Octahedral Validation
Definition 18
(Octahedral comparison defects). For composable and in , write , , and . With the cohomological cone convention of Appendix C there is a triangle
Its boundary is not the source forward Yoneda arrow.
Proposition 35
(Split local octahedron). Put , , and . For the maps furnished by the comparison,
and
The octahedral triangle splits, so , even though .
Proof.
The comparison is identity on the zero-section-supported quotient and on , and zero on the Thom summand mapping to . Thus u is a split injection with complement and v projects onto ; their composite is zero. Taking the indicated cones gives (110) and a split octahedron. No conclusion about the original follows from the vanishing of its different comparison boundary. □
Proposition 36
(The full comparison). The two transported forward triangles and the natural map yield a distinguished residual triangle
where and with and . The first map is an isomorphism.
Proof.
Exactness gives a morphism of triangles; the stable lemma gives the residual triangle. Proposition 34 computes and the other two residuals. A distinguished triangle ending in zero forces its first map to be an isomorphism. □
5.6. Limits of the Benchmark
Remark 21
(Scope of the computed transport). Here q records the kernel line and has target , not the modified-Higgs target of (33). The survival and vanishing here express extraordinary versus ordinary detection on the exceptional locus; they are not results about the actual modified-Higgs target. On the latter, Theorem 8 proves nonvanishing for the selected unit kernel on the admissible rank-one open.
Definition 19
(Verification requirements for the genuine transform). For a geometric source realization and Hecke kernel , the corresponding extension test consists of:
- (i)
- the actual Cartesian incidence and target diagrams, with their allowed base-change maps;
- (ii)
- the image of ϵ as a morphism, compared with the purity-normalized local Gysin representative;
- (iii)
- its perverse amplitude and Postnikov attachments on one target, preserving distinct and channels;
- (iv)
- the relevant !-to-* and framing-descent comparisons, including their residuals.
The source realization is available in Section 4.6. The actual target nonvanishing is known on the admissible rank-one open for the unit kernel (Theorem 8); other kernels, other strata, and unrestricted target perverse/Postnikov placement still require these tests.
6. Derived Hecke Transport and MV–Octahedral Reconstruction
The evaluation-based incidence correspondence of Section 4.6 provides a geometric source realization of the universal determinantal conifold coefficient. We retain the varying invariant line, distinguish the resulting relative framed-value charts from their fixed-line fibers, and identify the Cartesian diagrams governing derived transport. The normalized pull–push functor carries the corrected forward triangle to a distinguished triangle, while its connecting morphism must be evaluated separately. We compute the point-supported quotient under both ordinary and exceptional direct images, including its perverse degrees and Tate twists on the varying-line chart. Recollement, MacPherson–Vilonen attaching equations, and geometric adjunction then constrain the remaining maps in the common target category. The octahedral construction is used only to check composition of specified maps, not as a substitute for an extension calculation. The final Hom/Ext ledger distinguishes three outcomes: the explicit nonproper affine-jet calculations; the localized nonvanishing of the unit-kernel forward morphism on the genuine rank-one modified-Higgs target (Theorem 8); and the finite rank-two inverse correspondence and its degree-two derived extension on a saturated open (Section 7.3); and the remaining global, arbitrary-kernel and off-open questions. We use the conventions of Section 1.6.
6.1. The Genuine Framed Correspondence Diagram
Let , , and . The lower modification is that of Definition 6. The fixed-line calculation below is a closed fiber of the full varying-line incidence chart, used to check local shifts and twists.
Definition 20
(Fixed-line adapted fiber and varying-line chart). For the fiber , set , , and . The coordinate projections define
where forgets and forgets . Their matrices are and .
For the varying line , put . The actual affine chart of over is
The coefficients are taken in the moving frame : . Define and . The projection retains λ and the value of the modified Higgs matrix in this moving adapted frame ; it is not the unframed Higgs-moduli projection of (85).
Proposition 37
(Cartesian determinant restrictions and varying-line geometry). The spaces in (112) have dimensions ; both projections are smooth, nonproper affine bundles of rank four. Define the fixed-line determinant loci , , and in their respective ambient spaces. They form the restricted span
with rank-four affine projections and a source map
On the varying-line chart the maps are
Both and are rank-four affine bundles. The determinant-zero restriction is Cartesian for either projection and is cut out by . The varying-line chart has dimension eight before this restriction, rather than seven.
Proof.
The independent coordinates exhibit each projection as forgetting four coordinates. In both frames ; hence the inverse images of the two determinant-zero loci are the same closed subscheme. The source map is regular because and have polynomial entries on . Since every fiber of the projections is , neither is proper. The fixed-line expressions result by taking the closed fiber , not by choosing an open neighborhood of the whole line parameter space. □
Remark 22
(Framing changes and scope). The analogous chart over and its transition functions are specified in Appendix A. The two charts glue at the level of modified lattices and induced frames; the scalars do not constitute global unframed coordinates. To determine the first jet of the modified field one must retain the second source jet. The fixed-line span (112) is a closed fiber of the incidence chart, not the genuine global Hecke correspondence.
Definition 21
(Verified correspondence datum). On the evaluation-regular locus of Section 4.6, let be the smooth evaluation map, the proper incidence projection, and the restricted geometric Hecke map. The universal local coefficient is realized by , with r the smooth relative dimension. Its pullback to the correspondence is . For a derived target transform one additionally fixes a MHM category on the chosen finite-type target or quotient chart, a kernel , a direct-image choice , shifts and Tate twists, and boundedness assumptions. All base-change comparisons must be induced by the corresponding Cartesian diagrams of Proposition 24. For the unit kernel the quotient-stack rank-one comparison of Proposition 55 is additional geometric structure on a selected target open. Its costalk normalization is supplied by Lemma 23, and compatible framing comparisons are treated in Section 8. The framed source and unframed target have different groupoids: the the map from the framed atlas to the unframed Higgs target must not be treated as a finite morphism. On a smaller saturated rank-one open, the descended unframed correspondence is finite of degree two (Proposition 59); it is a different map from the composition with the frame torsor. For a global nodal unrelated to X, a separate source realization is required.
6.2. Definition of the Derived Transport Functor
Definition 22
(Correspondence transform). For a verified datum as in Definition 21, with a map only when one is geometrically given, fix integers and . Define, on the specified bounded constructible domain,
Here and denote the ordinary and exceptional derived direct images. The tensor factor is independently specified. In the universal evaluation case , the source realization is and the actual expression is . Its target is the selected framed/unframed Higgs chart, not . For arbitrary , replace by the independently specified realization .
Proposition 38
(Exact derived transport). Assume that (115) is defined on the three terms and the arrows of the source triangle (19), and that all its operations preserve the specified bounded constructible categories. Then is exact as a functor of stable derived categories and carries the source triangle to
where . Exactness alone does not imply or perverse t-exactness. For the universal local coefficient and the unit kernel, a separate geometric argument establishes nonvanishing over the admissible rank-one target open in Theorem 8.
Proof.
Each operation in the verified pull–tensor–push construction is exact on the chosen stable category. Its composite preserves the source cofiber sequence and its connecting arrow, giving (116). Neither faithfulness on morphisms nor perverse t -exactness follows. □
Definition 23
(Raw fixed-line jet transform). On the fixed adapted determinant chart, let
The algebraic source map and the affine-bundle map are those of (114) and (113). With the unshifted derived constant Hodge complex as tensor unit, put
These are the raw , unshifted and untwisted transport functors. Any later perverse normalization is displayed separately rather than absorbed into an unspecified convention.
Lemma 17
(Unit-kernel normalization). For the constant complex on the nodal conifold X one has
The isomorphisms arise from affine-bundle homotopy invariance and the rank-four Thom isomorphism, respectively.
Proof.
The inverse image of the constant derived Hodge complex is the constant derived Hodge complex, so . By Proposition 37, is a trivial affine bundle of complex rank four. Its ordinary pushforward sends the constant complex to the constant complex on Y . Its exceptional pushforward is obtained from the compactly supported cohomology of , which is . The algebraic orientation determines the indicated Tate twist. □
6.3. Reduction to a Common Terminal Category
Definition 24
(Typed comparison system). Fix a finite-type target Y and a sequence of three derived MHM objects
A typed comparison system consists of specified morphisms
with recorded geometric origin (adjunction, base change, specialization, or correspondence comparison). An equality of the isomorphism classes of does not supply either u or v. When the objects arise from the source extension, we use
with and ; then and the connecting morphism is .
The actual universal-coefficient correspondence uses the following typed span, while the fixed-line model is its finite-jet fiber:
The first vertical map is smooth; the incidence projection is projective. The target projection is the geometric modified-Higgs map of Proposition 26, with neither global properness nor perverse t -exactness presumed. On its kernel branch, after the compatible quotient-stack construction, it has the canonical inverse on the admissible rank-one target open of Proposition 55. This statement concerns the geometric branch and does not identify the affine-value target with Higgs moduli.
Lemma 18
(Morphisms and their images). For any two objects and any morphism , the local transform (117) induces a morphism
For composable maps, .
Proof.
Pullback, direct image, shift and Tate twist are functorial and commute with composition on the stated bounded domain. □
Remark 23
(Additional composable Hecke stages). A sequence obtained from two modifications is defined only after the two correspondence spaces are related by a specified fiber product, the kernels are composed, and the resulting coefficients are pushed to one terminal space. This is the separate convolution problem of Section 9. In the present section (120) is the canonical composable system already supplied by the transported source extension.
Proposition 39
(Two distinct target computations). On the finite-dimensional adapted-value targets of (112), the morphisms and are not identified with the images of under the geometric map of (121). For the latter, take the unit kernel, the descended quotient-stack normalization of Lemma 23, and the admissible rank-one open U of Proposition 55. When U meets the evaluated source-node locus in a regular-nilpotent point, the actual derived connecting arrow survives both and after restriction to U. The existence hypotheses for such a point are supplied by Corollary 7.
Proof.
The adapted-value target retains the moving-line coordinate and only a truncated Higgs value; its map is a nonproper affine bundle. The geometric instead changes the underlying bundle and has a quotient-stack target, so no Cartesian square identifying these pushforwards has been provided. For the second assertion use the canonical upper inverse on the rank-one target open together with the nonzero equivariant codimension-two Gysin class and closed-branch detection of Theorem 8. The first-jet existence corollary makes the stated open nonempty in its genus/determinant ranges. The stronger finite-open perverse calculation is proved separately in Theorem 9. □
6.4. Perverse Cohomological Amplitude
The raw affine-jet models compute direct images on framed value spaces ; they are not perverse-normalized global Hecke functors. We begin with the fixed-line calculation and then retain the varying line as a target coordinate.
Proposition 40
(Node-supported quotient on the fixed-line fiber). Let on X and , so ; denote the inclusion by . Then
For , their only nonzero perverse cohomology objects are
This is a calculation on only.
Proof.
The inverse image of o under (114) has equations , with coordinates . Its map to S forgets ; it is therefore a rank-three affine bundle. The ordinary pushforward is constant on S and the exceptional pushforward has factor . Including the source twist proves (122). Since S is smooth of dimension one, is perverse, giving the stated degrees. □
Proposition 41
(Node quotient with the invariant line unfrozen). Let and . Write and for the maps above, and put , with inclusion . Thus has complex dimension two. Define . Then
With ,
All other perverse degrees vanish on this chart. The change from (123) is an increase of one in perverse degree, not an additional Tate twist: λ remains a coordinate of the target. If it is subsequently integrated out by a nonproper projection, its compact-support cohomology must be evaluated for that separate map.
Proof.
For every , conjugation by maps the zero matrix to itself. Hence . On this inverse image, has image and is the trivial affine bundle with fiber coordinates . Homotopy invariance and the rank-three compact-support Thom isomorphism give the two lines of (124). Since has dimension two, the perverse-normalized constant object is . Rewriting the two terms as and proves (125). The construction is chartwise; globally the corresponding framed-value coordinates glue by the modified-frame transition functions of Appendix A, not by treating as an invariant function. □
Remark 24
(Perverse amplitude beyond the quotient). Section 4.6 constructs the smooth evaluation realization and gives nonzero pullback of to the incidence space. The calculations above determine the quotient object after raw local affine-jet pushforward, not the images of , , or their connecting morphism under the actual map . Theorem 8 separately proves that the actual unit-kernel connecting morphism is nonzero after either target direct image on an admissible rank-one open. That conclusion is obtained by the inverse-branch/Gysin comparison, not from the affine-jet quotient formulas. A perverse placement theorem for the actual unframed unit-kernel transform on a smaller finite open uses, in addition, the full-incidence computation of Proposition 30 and the descent normalization; see Theorem 9. The raw affine-jet formulas alone do not establish that theorem or an arbitrary-kernel transform.
Proposition 42
(Perverse cohomology of a transported triangle). For a verified exact transform with , and , there is a functorial long exact sequence
If , then and the triangle is a short exact sequence in that heart. Otherwise its derived Postnikov attachments remain part of the transport data.
Proof.
Apply the perverse cohomology functors to (116). The heart of a bounded t -structure is extension closed; if both outer terms lie in that heart, so does the middle term and the sequence is short exact. □
6.5. MacPherson–Vilonen Attaching Data
Let be a closed union of singular strata of the selected target and its open complement. On the fixed-line chart ; on the varying-line chart . For an object , the primary recollement data are , , , together with their canonical connecting maps of Section 2.5.
Table 1.
Raw affine-jet node-quotient images; and . The unit-kernel derived survival theorem on the genuine target does not identify its perverse amplitude with these local quotient degrees.
Table 1.
Raw affine-jet node-quotient images; and . The unit-kernel derived survival theorem on the genuine target does not identify its perverse amplitude with these local quotient degrees.
| Model | Ordinary | Exceptional |
|---|---|---|
| Fixed line | ||
| Varying line | ||
| Gysin/attaching map required | Gysin/attaching map required | |
| determined by | determined by |
Definition 25
(Kernel–cokernel attaching functors). Let and suppose the perverse cohomology objects below exist in the indicated bounded categories. Write
and let be the canonical morphism. Its kernel and cokernel are supported on Z. Define uniquely by
A morphism induces functorial maps and . If a chosen MV presentation is expressed by data with , , and , then a morphism of such data is required to satisfy
The equivalence between this presentation and the relevant subcategory of perverse Hodge modules is invoked only on strata where its hypotheses and the Hodge-module lifting data have been verified.
Lemma 19
(Attaching constraints from a geometric comparison). Let be a morphism in , and denote by its restriction to U and by its restriction to Z in the appropriate derived sense. The naturality squares of the two recollement triangles commute. Whenever both objects admit the fixed MV description of Definition 25, their attached morphism satisfies (128). Conversely, an abstract solution of these equations determines a morphism of the chosen MV data, but need not determine a unique morphism of derived complexes outside the range of the specified gluing equivalence.
Proof.
The maps and are respectively the adjunction counit and unit. Naturality of these transformations with respect to h produces a commutative diagram of the corresponding distinguished triangles. Applying perverse cohomology and taking kernels and cokernels of the canonical morphism gives functoriality of F and G . The maps to and from the closed-stratum coefficient must therefore satisfy the two equations in (128). The converse inside the chosen MV diagram category is the definition of a morphism of such diagrams; passage back to mixed Hodge modules requires the previously specified equivalence and does not follow from those equations alone. □
Proposition 43
(Closed-stratum data of the quotient image). For the fixed-line quotient image of Proposition 40, one has
The corresponding extraordinary restriction is isomorphic to the same closed-stratum object. For the exceptional transport, the analogous statement holds in perverse degree 7, with Tate type . Neither image has an open-stratum attaching component.
Proof.
For the varying-line quotient, the analogous closed coefficient is in perverse degree 2, or in degree 8 for exceptional direct image. Both have zero open restriction.
For a positive-dimensional closed stratum, the residual extension information is retained in the recollement arrows and . A transverse normal slice may admit the classical nearby/vanishing-cycle zig-zag presentation, but it is not substituted for the relative gluing problem without an explicit equivalence [4,5,36]. On the admissible rank-one target open the nonzero map is already detected by the closed kernel branch; computing its full target recollement diagram and Postnikov attachments is a separate problem.
6.6. Adjunction and Octahedral Reconstruction
Definition 26
(Comparison cones). For a typed system (119), set
Fix an enhanced derived category and compatible representatives of , and so that these cone objects and their comparison morphisms are defined coherently.
Proposition 44
(Octahedral triangle and local long exact sequences). The data of Definition 26 determine a distinguished triangle
For every closed immersion and every integer n, there are long exact sequences
Proof.
The octahedral axiom applied to yields (130). In an enhanced setting the triangle is obtained by taking the cofibers of compatible chain-level representatives. Both and are exact derived functors, so applying them to the triangle gives distinguished triangles on Z . Their cohomology long exact sequences are (131) and (132). Finally, the natural transformation is functorial in its input. Applying it to the three morphisms of the octahedral triangle gives a morphism of triangles; naturality of connecting homomorphisms in a t -structure proves compatibility of the two displayed long exact sequences. □
Lemma 20
(The extension octahedron and its Yoneda morphism). For the particular coefficient triangle of (120), choose a strict chain model with . Then , and . The resulting octahedral triangle is split, so its connecting morphism vanishes. This is a statement about the extension triangle , not about arbitrary composable maps with zero composite; it does not imply .
Proof.
The distinguished coefficient triangle identifies the first two cones with and . In the chain model of a short exact extension, strictly. The cone of this zero composite is ; the octahedral maps are inclusion and projection under the induced identifications. Thus the connecting arrow is zero. The original occurs in the identification of the cones with the coefficient triangle; it is not the octahedral boundary. An arbitrary pair with need not give a split octahedron. □
Remark 25
(Comparison with convolution). An octahedron of three coefficient morphisms is not a convolution theorem for two Hecke kernels. The latter requires a geometric composition of correspondences and a natural comparison of the corresponding push–pull functors, including the kernel convolution and its associativity data. The first construction is used here for derived reconstruction. The second is addressed in Section 9, with the specialization input of [24,25,28].
6.7. Uniqueness and Hom/Ext Ambiguities
Proposition 45
(Linear constraints on closed-stratum liftings). Fix two MV diagrams and . Let be a fixed open-stratum morphism. Suppose satisfies (128). The solutions b form the affine subspace
In particular, if this kernel is zero, b is unique within the fixed MV presentation. Existence and uniqueness of a derived lift require additional control of the corresponding higher Hom/Ext groups and of any chosen enhancement.
Proof.
Suppose b and satisfy the two equations of (128) for the same a . Subtracting gives and . Thus lies in the indicated kernel. Conversely, if lies in that kernel, then and . Hence is another solution, giving the claimed affine description. The assertion is internal to the fixed MV diagram category; no fullness or uniqueness of a realization functor on derived morphisms has been used. □
Lemma 21
(Pure Tate Hom constraints on the node line). Let be the stratum of Proposition 40. Then
The first line determines a map only up to a rational scalar; the second forces a degree-zero morphism of the indicated Tate types to vanish. Neither conclusion implies vanishing of between the same Tate types.
Proof.
Both objects are constant polarizable pure Hodge modules on the connected smooth curve S . Any endomorphism of the first object is a locally constant endomorphism of its rank-one rational local system compatible with its Hodge structure, hence scalar multiplication by an element of . A morphism from weight-four Tate type to weight-two Tate type is zero in the category of pure Hodge structures, and therefore the corresponding morphism of constant Hodge modules is zero. The final assertion follows because the heart-level Hom calculation does not identify its higher derived Ext groups; mixed-Hodge extensions can exist between pure Hodge structures of different weights. □
Remark 26
(Geometric normalization). A one-dimensional Hom space identifies the possible nonzero arrows up to , not their geometric normalization. For the kernel-line benchmark the generator was fixed by codimension-two purity and the Thom image in Proposition 31. The unit-kernel rank-one branch gives a concrete local comparison with the target morphism by Proposition 55 and Lemma 25; this is the mechanism of Theorem 8. It does not specify the scalar in a global arbitrary-kernel transform, nor does equality of Hom dimensions supply such a comparison.
6.8. Map-Index Ledger and Hodge Verification
Definition 27
(Typed map ledger). Let denote Hecke or coefficient stages, k a node or closed stratum, a cohomological degree, the direct-image choice, and a Tate twist. Fix also a local restriction functor , equal to either or , and record that choice independently of σ. For a verified geometric comparison in a common category , write
Every entry records (i) the geometric origin and comparison square, (ii) the two endpoint objects, (iii) the restriction , degree and Tate twist, (iv) the induced rational map, (v) its mixed-Hodge-module lift, (vi) zero, nonzero, or isomorphism status, and (vii) verified composition identities. No derived map is regarded as determined solely by its collection of cohomology maps.
Remark 27
(Status of the extension morphism across targets). The vector-bundle benchmark has and . The affine-jet models above determine the node-supported quotient objects but not the connecting arrow on the genuine target. The actual unit-kernel morphism on the admissible rank-one open is nonzero for both images, by Theorem 8. Its restriction to the scalar or higher nilpotent strata, its perverse-cohomology attaching maps, and arbitrary-kernel versions are not settled by that result. Each status refers to its typed source, target, direct-image convention and coefficient kernel.
Proposition 46
(Composition audit). Let be morphisms in . On every stratum and for either choice or , the induced maps on cohomology satisfy
Consequently the corresponding ledger entries compose whenever their source, target, degree, and Tate conventions agree. Compatibility of a rationally realized diagram is a necessary test for a mixed-Hodge-module lift; it does not, by itself, establish the existence or uniqueness of that lift.
Proof.
Both restriction functors are exact functors on derived categories and preserve composition. Each is a functor from the derived category of Hodge modules on the stratum to its heart, so it also preserves composition. Tate twisting is functorial. The displayed equality follows by applying these functors to . Rational realization is compatible with the six operations wherever the relevant MHM functors are defined, so a lift must realize the prescribed rational map. The converse would require a fullness assertion, which is not part of the present hypotheses. □
Remark 28
(Scope of the derived reconstruction). The fixed- and varying-line charts of Propositions 37 and 41 compute only the raw node quotient with their respective shifts and Tate normalizations. The source evaluation realization and actual modified-Higgs target are constructed in Section 4.6; the nonproper Gysin contrast is the different benchmark of Section 5. The unit-kernel class is now known to survive both genuine target direct images on the admissible rank-one open by Theorem 8, via a verified kernel-branch inverse and the equivariant purity class. This yields localized derived nonsplitting , not perverse-heart concentration. The new finite-open calculation of Theorem 9 identifies a nonzero degree-two derived attachment on , but not the full target or complementary scalar/zero-value strata, arbitrary kernels, or unrelated multi-node source realizations. Framing-level compatibility is recorded in Section 8.
7. Transport of the Corrected Yoneda Extension
We transport the corrected forward Yoneda morphism through the actual lower Hecke modification. After the evaluation-incidence construction, we prove nonvanishing on the unframed rank-one target open using the canonical kernel-branch inverse and the selected equivariant Gysin class. On a smaller saturated open, the full inverse correspondence is finite of degree two and the surviving class has a precise degree-two derived placement under the compatible stack MHM normalization. Fixed-source Hecke curves and inverse-jet calculations provide geometric checks; global nodal sources, general kernels and specialization remain separate problems. The forward quotient is distinct from the node interface.
7.1. The Transported Distinguished Triangle
We use the source normalization fixed in Section 2.2.
Definition 28
(Verified transport of the source diagram). Let Y be a finite-type variety or a quotient-stack chart equipped with a bounded mixed-Hodge-module six-functor formalism. Fix a correspondence datum of Definition 21, with , a coefficient , integers , and . Assume that
is defined and bounded on the source triangle. When the realization is a separate geometric functor , replace by ; all comparisons below require the specified source and target maps.
Proposition 47
(Exact transported extension). Under Definition 28, there is a distinguished triangle in the chosen category ,
where
In particular . Neither nor concentration of in the perverse heart is a consequence of this proposition.
Proof.
Exactness of the specified pull–tensor–push functor carries the source cofiber diagram to (139). It makes no assertion about faithfulness or t -exactness. □
Lemma 22
(Derived and heart-level splitting). The triangle (139) is split in if and only if . If lie in , the triangle is induced by a short exact sequence
and it splits if and only if admits a section, equivalently admits a retraction.
Proof.
For any distinguished triangle , the long exact sequence of shows that if and only if has a section; the triangle is then split. If the endpoints are in the heart, extension closure places the middle object there as well, and represents the Yoneda class.
□
7.2. Construction of the Derived Extension Morphism
The geometric transform acts on the specified arrow itself. Put
Proposition 48
(The correspondence-level formula). For the verified datum of Definition 28, the connecting morphism of (139) is
The displayed arrow is the image of the original Yoneda morphism in . No independent choice of a morphism in the corresponding target Hom space enters its definition.
Proof.
Apply the geometrically specified composite to the forward arrow. The resulting morphism is exactly (142). □
Proposition 49
(Evaluation incidence: the nonzero pre-target class). Let and be the smooth evaluation map of Proposition 23, restricted to the nonempty evaluation-regular locus of Definition 15. Let r be its relative complex dimension, , and the varying-line incidence map of Proposition 24. For the nonzero local source class , put . Then
and, writing for the closed inverse image of T,
The source of (143) is consequently supported on the full varying-line node locus.
Proof.
The evaluation square is Cartesian and is smooth; the extraordinary base-change square of Proposition 25 identifies the pulled-back nonzero costalk scalar. On the kernel branch, the local smooth product with carries the class to the external product of the nonzero Gysin morphism of Proposition 31 and the smooth constant coefficient. Since restriction of a zero morphism is zero, nonvanishing on this branch proves (143). Finally the source-node fiber of the full incidence is , so inverse-image base change gives (144). □
Proposition 50
(The modified-Higgs image and its node support). Let be the actual modified-Higgs map of Proposition 26 on the determinant-zero locus. On a finite-type target chart supporting the selected MHM functors, fix a correspondence kernel and the normalization . The two candidate target connecting morphisms are the specified derived images
Proof.
The map is algebraic and the construction is a composite of exact derived operations, so applying it to the source arrow gives (145). The identity (144) computes its source before pushforward. On T , the transformed leading Higgs matrix is nilpotent by Lemma 14; thus every image point lies in the nilpotent-evaluation substack. Direct images of constructible coefficients are supported on the corresponding image closure, wherever the chosen bounded functor is defined. No faithfulness of the derived pushforward is assumed. □
7.3. Hecke-Curve Differential and Inverse Target Fibers
Fix with on the evaluation-regular locus of Definition 15. For every line , let and . Although may vanish for all ℓ when the source first jet is scalar, the underlying bundles vary.
Proposition 51
(Differential of the genuine Hecke curve). On the affine line chart , put , with and . For a fixed source Higgs field , write . The infinitesimal source-line variation is represented in the Higgs deformation complex by the transition principal part and local field variation
In coordinates the latter matrix is
These form a Čech–hypercohomology representative of the differential in , with differential and the Čech sign fixed by the transition convention. Its bundle component is the class of in . If , then has lower-left entry , for the quadratic of Proposition 28. If is scalar, this modified-value derivative is zero, though the bundle variation need not vanish.
Proof.
The modified frame is relative to the fixed source frame. Differentiation gives . Direct multiplication gives both matrices. In the complementary curve chart the source Higgs field is fixed, so the principal-part transition and the displayed commutator obey the Čech compatibility condition for the two-term Higgs deformation complex. If then and are divisible by w ; the constant lower-left coefficient is . □
Proposition 52
(Noncontraction of the marked Hecke curve). Assume is stable and . For all lines ℓ,
Consequently the assignment is injective on geometric points and has injective tangent map to the bundle moduli stack. The same is true of , even when is scalar. The determinant is fixed along the curve:
This is the classical Hecke-curve construction [13]. Its tangent and minimal-rational-curve geometry has been studied in [14] and [15]; compare [16]. Our additional calculation concerns the Higgs deformation and its corrected MHM coefficient. If moreover is even, all are stable and the induced Hecke curve in the coarse moduli space is a closed immersion.
Proof.
Since , restriction to the generic fiber embeds into . The stated vanishing and make the latter space . The natural inclusion attains this bound, proving (148). If two modifications were isomorphic, composition with their inclusions into would be a scalar multiple of the same inclusion; their image subsheaves, hence their lines, would coincide. Over dual numbers a vanishing bundle Kodaira–Spencer class similarly makes the first-order change of inclusion a scalar and forces the derivative of ℓ to vanish. If is even, any line subbundle has , hence . Thus is stable. The proper, point-injective, unramified map from to the separated stable-bundle moduli variety is a closed immersion. □
Proposition 53
(Normal data for a fixed-source Hecke curve). Under the even-degree hypotheses of Proposition 52, let and be the open Higgs locus with stable underlying bundle. Let and be the Hecke curves, and the universal modified bundle over , with . There are exact sequences
and
In the unfixed-determinant convention, and . These are the normal data for each fixed-source exceptional line; they do not compute the normal complex of the full map .
Proof.
Classical tangent-splitting calculations for Hecke curves require their own genericity hypotheses; we use only the exact deformation sequence (149), without importing an unrestricted splitting type [14,16]. The stable-bundle moduli variety B is smooth of dimension , with tangent fibers and cotangent fibers . The relative Kodaira–Spencer map is injective by Proposition 52, yielding (149). The tangent sequence for restricts to . Quotient by the injected to obtain (150). The rank is ; since is trivial, . Tangent directions of contribute additionally to the full correspondence differential. □
Proposition 54
(Inverse Hecke fiber and its first-jet node scheme). Let be a fixed modified Higgs pair with . On the unrestricted inverse upper-Hecke correspondence, the possible distinguished target lines form . Within this fiber, the condition that the reconstructed source Higgs field also vanish at z is precisely the scheme of lines invariant under . It is for scalar target first jet, two reduced points for regular semisimple target first jet, and one double point for nonscalar target first jet with repeated eigenvalue.
Proof.
Adapt a target frame to . The inverse upper modification is generated by . For , its source value has upper-right entry and otherwise vanishes when . Thus the source value vanishes exactly when . As the line varies this is the binary quadratic defining the invariant-line subscheme, whose three scheme-theoretic fibers were calculated in Proposition 28. An evaluation-regular source open may omit some inverse modifications, so the full inverse projective line need not survive on that open. □
Corollary 6
(Scalar source and target jets differ). For and in the fixed adapted source frame,
For the target first jet is a nonscalar Jordan matrix and the inverse source-node scheme is a double point, not .
Proof.
The lower-left target entry is ; when and , the other linear coefficients are the indicated diagonal scalars and the upper-right linear coefficient vanishes. Apply Proposition 54. □
Rank-one inversion and the equivariant source class.
We now pass from the framed evaluation atlas to the intrinsic moduli groupoid. Write for the stable-bundle open cut out by , and let be its determinant-zero lower Hecke–Higgs correspondence. The source and target of its map are unframed stacks. In particular, neither the source frame torsor nor the invariant line is artificially retained on the target. Set .
For statements on the unframed target, write for the morphism of these Hecke groupoids and for the selected descended forward arrow. Write for the compatible smooth atlas of relative dimension . The required descent identifies with the framed arrow on the indicated incidence restriction, with the same comparison on its endpoints. This is the normalized smooth-atlas exchange of Proposition 68 and Lemma 27; it is a hypothesis on the chosen stack MHM model, not an equality obtained by pushing forward along the frame torsor.
Proposition 55
(Canonical upper inverse on the rank-one target open). Let be the open substack of Higgs pairs for which and the upper elementary modification along (reinterpreted in via ) is stable and belongs to . Then the kernel-branch map induces an isomorphism of moduli groupoids, compatible with base change,
The inverse is the upper Hecke modification along the uniquely reconstructed target line . This is an isomorphism on quotient stacks, not on the framed-source scheme before descent.
Proof.
On the kernel branch , so the intrinsic branch exchange of Proposition 27 gives . For a rank-one target value on the determinantal fiber, is a line inside the distinguished , hence is equal to that line. The rank-one hypothesis ensures that its image is a subbundle in families, stable under arbitrary base change inside this open stratum. It therefore recovers the modified lattice data canonically.
In a frame adapted to , the upper modification is generated by . For the reconstructed source matrix is
The image-line condition forces and, since and has rank one, also . The reconstructed source therefore satisfies , where . The forward lower modification reverses the construction; the two procedures commute with families and morphisms. The stability and regularity conditions on the reconstructed source are open, giving exactly the indicated U . □
Proposition 56
(The node locus and its image on the rank-one chart). Let be the source-node locus . It is a regular embedding of codimension two. On any nonempty intersection , its image is likewise a regular codimension-two immersion. In an adapted target chart with , , a pair of transverse defining equations is
The second coordinate is shorthand for the invariant condition that the reconstructed source leading Higgs field vanishes.
Proof.
On the source kernel branch, the adapted value is . Smooth Higgs evaluation supplies independent transverse coordinates , and D is their joint zero locus. Under the inverse formula (153) and the rank-one nilpotent target trivialization, these coordinates become and . The canonical inverse of Proposition 55 carries the regular immersion to the stated and preserves its codimension. □
Lemma 23
(Equivariant lift of the forward local costalk generator). Let act by conjugation on , and let and . In a constructible equivariant mixed-Hodge formalism for with closed-point adjunction, smooth descent, and the atlas-compatible perverse normalization, the local forward costalk generator admits a G-equivariant lift, unique up to the chosen nonzero rational normalization. Its pullback along nonempty smooth Higgs evaluation charts remains nonzero.
Proof.
Both the intersection complex and the point-supported Tate module carry natural G -linearizations. Closed-point extraordinary restriction of the intersection complex has its first nonzero cohomology in degree one, a rank-one line , with all other costalk cohomology in higher degrees. The orientation character of connected on this line is trivial. Under the specified stack-perverse normalization, closed-point adjunction and truncation identify the degree-one equivariant Hom line with . The identity gives an equivariant class whose ordinary atlas pullback is the nonzero generator of Lemma 2. Its smooth evaluation pullback remains a nonzero scalar on the nonempty node fiber, as in Proposition 25. The argument uses these explicitly normalized stack operations; it does not claim injectivity of every derived Hom group under arbitrary smooth-atlas pullback [32]. □
The following comparison is used when the image is restricted to a verified local slice.
Lemma 24
(Base-change comparison of transported arrows). Consider a Cartesian square of algebraic varieties
Assume that the relevant mixed-Hodge-module base-change isomorphism
holds for and is natural in F. Then
The equality remains valid after applying the same shift and Tate twist to all four corners.
Proof.
Apply the naturality of the base-change transformations (156) to . Its commutative square is (157); the fixed shift and Tate twist commute with every arrow.
□
Proposition 57
(Normalized Gysin benchmark for the forward class). Let be the one-node determinantal conifold and let
be the kernel-line resolution and its nonproper vector-bundle projection from Section 5. Let be the zero section. For the nonzero normalized source class ϵ considered in Proposition 31, there is a scalar such that, relative to the specified local splitting,
Its two direct-image transforms satisfy
Proof.
Codimension-two purity identifies the adjoint of with the identity of the Tate orientation line. Propositions 31 and 33 compute both the nonzero Gysin scalar and its vanishing ordinary/nonvanishing exceptional images. Passage to an actual Higgs target additionally requires Lemma 24. □
Remark 29
(Scalar and geometric normalization). The scalar is fixed by the chosen source normalization and purity orientation. A one-dimensional Hom group alone does not identify a local Gysin arrow with the target morphism (145); that requires a geometric base-change comparison.
7.4. Actual Target Adjunction and Fiberwise Gysin Tests
Return to the evaluation-based correspondence of Proposition 50. Fix a bounded coefficient domain, a kernel , and the common normalization . Write , and . Let . By projection formula for the closed immersion, , for the actual pulled-back kernel coefficient on D . Denote the pre-target arrow by .
Proposition 58
(Adjunction formula for both target images). Assume all displayed adjunctions exist in the selected derived MHM category. Under and , the arrow corresponds exactly to the composite
Under , the arrow corresponds to
The respective target arrows vanish exactly when their displayed adjoints vanish. This reduces the calculation to the actual unit/counit action on the transported Gysin morphism, rather than a choice of generator in a target Hom space.
Proof.
Lemma 25
(Closed-branch detection for the two target images). Let be a closed immersion and a morphism in a six-functor setting. Suppose has , and is open such that is an isomorphism. If the restriction of to is nonzero, then both defined maps
No properness assumption on q is needed.
Proof.
Naturality of the adjunction unit gives a square of arrows and . The corresponding map is an isomorphism by support. Apply either or and then restrict to U . Since i is proper, , and open restriction commutes with both *- and !-direct image. On U , the branch map is an isomorphism, so it preserves the nonzero restricted . If the original target map were zero, its natural comparison to the branch direct image would be zero, a contradiction. □
Theorem 8
(Localized survival on the genuine modified-Higgs target). Work with the universal determinantal conifold coefficient, the unit Hecke kernel, and the equivariant mixed-Hodge normalization of Lemma 23. Assume the descent comparison specified above, so that the unframed arrow pulls back to the normalized framed incidence arrow . Suppose the stable evaluation-regular source contains a pair with and a line ℓ such that . Let U be the admissible rank-one target open of Proposition 55, so . Then the genuine unframed unit-kernel target arrows satisfy
The transported triangles are derived nonsplit on U. This does not imply heart-level nonsplitting without perverse concentration, nor transport from unrelated global nodal threefolds or for arbitrary kernels. Common shifts and Tate twists preserve the conclusion.
Proof.
The argument has four ingredients. First, smooth evaluation and kernel-branch pullback preserve the nonzero source arrow (Propositions 25 and 49). More precisely, composing its branch restriction with the small-resolution counit gives the nonzero purity-normalized Gysin map of Proposition 31. The codimension-two orientation line remains nonzero after restriction to the nonempty ; therefore the branch-restricted arrow itself is nonzero. Second, Proposition 55 identifies the unframed kernel branch over U with U . Third, the equivariant coefficient descends with its nonzero costalk normalization by Lemma 23 and the specified smooth-atlas comparison. Finally, the source of the arrow is supported on the closed node locus and hence on the closed kernel branch. Lemma 25 therefore carries the nonzero branch restriction to both actual target images. Lemma 22 proves derived nonsplitting. □
Remark 30
(Why the closed-branch detector has geometric content). Lemma 25 is formally elementary, but its hypotheses are not automatic: the kernel branch must be recoverable from the target Higgs value, the admissible open must meet the source-node image (Corollary 7), and the selected equivariant Gysin arrow must remain nonzero there. The ordinary image of the same source class vanishes under the distinct nonproper projection of Proposition 33.
Corollary 7
(Nonempty regular-nilpotent support in the proved genus ranges). Assume and . For each odd-degree determinant, Theorem 6 and Corollary 3 supply source pairs to which Theorem 8 applies. The same holds in the even-degree cases established in Theorem 7. The exceptional genus-three theta-characteristic case and genus two are excluded from these existence conclusions.
Proof.
The existence theorems provide stable with surjective first-jet Higgs evaluation and a Higgs field with zero leading value and nonscalar first jet. Its intrinsic quadratic section is nonzero away from its (at most two) zeroes by Proposition 28. For any such line, the modified value is regular nilpotent, so the resulting target lies in U by the rank-one inverse and recovery of the chosen stable regular source. Apply the theorem. □
Proposition 59
(Finite degree-two Hecke transport on a saturated open). Let U be the rank-one determinant-zero target open of Proposition 55. The complete unframed inverse-eigenline incidence is finite locally free of degree two. On a trivialization where the entry c of the target value is invertible, write
Let be the open on which the corresponding upper inverse modifications have stable, evaluation-regular source. Then
is an open substack containing the admissible regular-nilpotent source-node images of Corollary 7. The complete unframed Hecke correspondence over is the finite locally free degree-two cover . In the selected bounded MHM category, the canonical comparison is an isomorphism. The same assertion is not made for the original framed map or for .
Proof.
An inverse upper modification is regular exactly when its target line is invariant under . No invariant line equals in the displayed chart because c is invertible. Writing the line as , its equation is . Setting gives the monic polynomial , so is free over with basis . The construction is intrinsic and glues under change of target frame. Its two geometric lines are the image and kernel for nonzero trace; at trace zero they meet in a length-two scheme supported on their common line. Stability and the condition are open in reconstructed families. Hence is closed, and its image is closed because is finite. Over every inverse line is admissible, identifying the restricted Hecke correspondence with the full finite incidence. At an admissible regular-nilpotent source-node image there is exactly one geometric invariant line, which is the original marked line. Its inverse recovers the stable evaluation-regular source, so the closed inadmissible locus has empty fiber there; these points belong to . Finally a finite morphism is proper, hence the two derived direct images coincide on their common domain. □
Theorem 9
(Nonzero degree-two derived attachment on the finite target open). Assume the unit kernel, the specified equivariant mixed-Hodge lift of Lemma 23, and a compatible unframed quotient-stack MHM formalism with the normalized smooth-atlas exchange of Proposition 68 and Lemma 27. Let be the nonempty saturated open of Proposition 59. Denote by and the descent-normalized perverse objects on the unframed correspondence, with fixed relative atlas dimension and , . Their framed models are
Existence and these perverse degrees on the framed incidence space are those of Corollary 4; the stated descent comparison is required to transport them to the unframed category. Define the target perverse objects
Then the genuinely transported forward arrow is a nonzero class
Its middle coefficient has precisely and , with the nonzero class as its derived Postnikov attachment. It is not a heart-level class between and . The theorem is not an assertion about an unrestricted framed pushforward, general correspondence kernels, or unrelated multi-node degenerations.
Proof.
Proposition 30 proves that is perverse on the complete normal-crossing incidence fiber. Smooth evaluation with shift therefore gives a perverse . The node inverse image is a smooth subvariety of dimension , so the quotient lies in perverse degree one and equals . The assumed equivariant smooth-atlas comparison, normalized by its relative dimension, carries these two degree statements to and . The map is finite, hence its direct image is perverse t -exact and ; therefore and lie in the target heart. The descended connecting arrow has source and target , hence has degree two as in (168). It is nonzero: contains a source-node image, and the purity/Gysin branch restriction used in the proof of Theorem 8 remains nonzero on this smaller open. The closed-branch detector applies there as well. The long exact perverse cohomology sequence of the transported triangle gives the two stated perverse cohomology objects of ; its attachment is the same connecting morphism under the displayed shift identification. □
Remark 31
(Why the finite-open statement is genuinely stronger). Theorem 8 detects a nonzero derived arrow on U without properness. On the full unframed inverse correspondence becomes finite, the ordinary and exceptional images agree, and the chosen extension acquires the precise degree-two placement (168). This does not imply perverse concentration of the transported middle object, which instead has nontrivial Postnikov data; nor does it identify the finite map with the nonproper affine-jet projections of Section 6.4. Once is finite, the degree-two placement of follows formally from the perverse degrees and ; the geometric content lies in establishing that formal argument’s hypotheses, namely the perversity of on the reducible incidence fiber (Proposition 5.2), the finiteness of the full inverse correspondence over together with the fact that contains the source-node image (Proposition 7.23), and the survival of the class there (Theorem 7.20).
Proposition 60
(Pointwise restrictions of the target morphism). For a geometric target point y and its Cartesian fiber with inclusion , pointwise compact-support base change, whenever valid in the chosen MHM setting, gives
For the ordinary image, the analogous stalk formula requires the appropriate *-exchange (for example, properness on the coefficient support). In a proper setting with extraordinary exchange, one also has
These are natural identifications of morphisms ; their targets cannot be calculated from fiber cohomology alone without determining the actual extraordinary Gysin/excess-intersection maps.
Proof.
Apply the indicated base-change transformations to the morphism , not just its endpoints. The first uses compact-support pointwise exchange, and the second is the extraordinary exchange under the stated properness hypotheses. Naturality transports the source arrow to the displayed maps of fiber cohomology. □
Remark 32
(Why scalar-target stalks do not detect the forward class). Suppose has and scalar first target jet. If the inverse fiber is the complete , the source evaluation factors through o, and the fiberwise arrow is the pullback of , then
If the ordinary-image base-change comparison is also an isomorphism, then . The vanishing is already forced by (Lemma 2), so it is not an independent extension-survival test. The extraordinary target restriction remains the relevant local diagnostic.
Proof.
Proposition 54 gives the complete inverse source-node fiber under the scalar-target-jet assumption. The other hypotheses identify the coefficient morphism on that fiber with the pullback of . But and the rational MHS category has cohomological dimension one, so . Hence the fiberwise arrow is zero; apply (169), and, when its hypotheses hold, the ordinary *-exchange. □
Remark 33
(Remaining extraordinary Gysin computation). The first source jet determines the target Higgs value , but the target first jet depends on the second source jet; see Corollary 6. Furthermore the normal sequences (149)– (150) concern fixed-source curves, not the full differential of q along . Theorem 8 now detects the unit-kernel target arrow over the admissible rank-one open by a branch inverse, not by this scalar-stalk test. The extraordinary fiber map and the unit composite (160) remain to be calculated on other strata and for general kernels or unrelated global sources.
7.5. Local Stalk/Costalk Extension Tests
Fix a closed immersion and its open complement . For write
where and ; cohomology on Z refers to the standard t -structure of .
Proposition 61
(Exact stalk and costalk sequences). For every integer n and either choice †, restriction of (139) gives the exact sequence
with
For every geometric point , if the restricted rational stalk or costalk cohomology groups are finite-dimensional, then
These equalities determine the ranks once the actual geometric maps are calculated; ranks of the endpoint objects alone do not determine the boundary maps.
Proof.
The exact derived functors and preserve the transported triangle. Its long exact cohomology sequence gives (172) and . At a point, and ; rank–nullity yields (174).
□
Proposition 62
(Calculated local boundary ranks). Retain the one-node correspondence of Proposition 57. For any , let , and let be the connecting map obtained from the transported triangle under and then , with . After rational realization, the connecting maps satisfy
and
All other connecting maps for the compactly supported benchmark vanish. The nonzero maps have Tate type on stalks and on costalks.
Proof.
The ordinary connecting arrow vanishes by (159). The exceptional arrow is on and zero on the other summand. Its stalk at y is nonzero in degree zero. Purity for gives ; thus its costalk map has rank one in degree two. All remaining components vanish.
□
Lemma 26
(Attaching-map compatibility). Assume the chosen two-stratum geometry admits the MacPherson–Vilonen presentation fixed in Definition 25. Let correspond to data and , with a transported morphism and restrictions and . Then
In particular the corresponding closed-stratum connecting maps and their kernels and cokernels must agree with the stalk/costalk boundaries of Proposition 61. Without the specified gluing equivalence, equations (177) are necessary compatibility relations, not a uniqueness theorem for h in the derived category.
Proof.
Naturality of the adjunction maps gives a morphism of recollement triangles. Their perverse kernels and cokernels yield and . These equations constrain the gluing maps; a derived uniqueness claim needs the specified MV equivalence.
□
7.6. Nonvanishing, Splitting, or Obstruction
For the universal local coefficient, the target arrow is defined by (145); for a separately verified global realization it is (142). Its splitting is detected by extraordinary restriction to the support of the transported quotient.
Proposition 63
(Closed-support detection of the transported class). Let satisfy Definition 28. Suppose there is a closed immersion , an object , and a specified isomorphism
Let
be the adjoint of . Then:
- (i)
- if and only if in .
- (ii)
- The transported distinguished triangle splits if and only if .
- (iii)
- If both and belong to , the nonzero class determines a nonsplit short exact sequence (140). Without this perverse concentration, nonvanishing is a statement about the derived connecting morphism, not automatically about a target-heart Yoneda class.
Proof.
Closed-embedding adjunction provides
It carries to . This proves (i). The distinguished-triangle splitting criterion proves (ii), and extension closure of the MHM heart proves (iii).
□
Corollary 8
(A geometric nonvanishing test). In the hypotheses of Proposition 63, assume there exists a map for which is defined and is nonzero. Then . In particular, a verified Cartesian restriction identifying with a nonzero, purity-normalized Gysin map proves derived nonsplitting on Y.
Proof.
A functor takes the zero morphism to zero. Therefore implies . Proposition 63(i)–(ii) gives the conclusion. The qualification “verified” is essential: equality of target Hom dimensions does not identify the actual restricted map with the Gysin generator. □
Proposition 64
(Postnikov placement when perverse concentration fails). Let be as above and suppose with and . Then
If, in addition, for , the transported arrow belongs to
For a finite-type variety Y with , this is the Yoneda group when ; no such identification is presumed on a stack. In general, when has several nonzero perverse degrees, must be retained as a derived morphism, and its interaction with the Postnikov truncation triangles must be calculated before identifying a single Yoneda class.
Proof.
The shift isomorphisms give . If , this is , giving (182). Without concentration of , its Postnikov attachments prevent a canonical reduction to a single heart-level Ext group.
□
Remark 34
(Verified outcome and remaining target computation). Smooth evaluation and incidence pullback preserve the local class (Proposition 49). The differential and noncontraction calculations of Propositions 51– 53 and the inverse-jet stratification of Proposition 54 now constrain the actual target geometry. The target morphism is defined by (145), with its adjoints computed in Proposition 58. The rank-one branch inverse and localized Gysin detection prove unit-kernel target nonvanishing on U (Theorem 8); on , Theorem 9 identifies its nonzero degree-two derived class. The remaining extraordinary fiber Gysin and Postnikov computations concern other target strata, kernels, and global source realizations. The benchmark in (159) cannot replace that map; framing descent is treated in Section 8.
7.7. Compatibility with the Node-Supported Interface
In addition to (137), the corrected source package contains the distinct node-interface diagram
where , in contrast to .
Proposition 65
(Transport of the two distinct diagrams). Assume is defined on every object and arrow of both (137) and (183). Then it carries the interface to
with
The forward connecting arrow (142) is separately transported. No isomorphism between and , and no identification between and a canonical or variation map, follows from the proposition.
Proof.
The functor respects composition and Tate twist. Applying it to the two arrows in (183) yields (184) and (185). The forward Yoneda arrow has the distinct coefficient and remains separately typed.
□
Theorem 10
(Conditional family-level specialization compatibility). Suppose the verified correspondence datum extends over a common one-parameter base and gives a proper morphism of degeneration families over that base, with induced special-fiber map . Assume the source MHM coefficients and their correspondence kernels admit the indicated family-level lifts and that all specialization base-change morphisms in use are isomorphisms. Then the natural comparisons
for any such , intertwine , , and nilpotent monodromy, with their Tate twists. For any morphism of eligible family-level coefficients, these comparisons commute with that morphism. Consequently, if a family-level morphism lifts , its Hecke image is compatible with specialization through the resulting naturality diagrams.
Proof.
Proper direct image commutes with the stated normalized nearby and vanishing cycles. Naturality of and yields their commutative squares, including the twist; their composite gives the monodromy square. The same natural transformations are compatible with a family-level morphism representing when such a lift is specified [3,25].
□
Remark 35
(Local support versus global limiting mixed Hodge structure). The forward quotient has Tate type , whereas has type ; neither their morphisms nor their images are identified by support alone. The rank of globally independent vanishing cycles (Remark 1) is distinct from the nodewise local direct sum. Specialization and bounded composition are considered in Section 9.
8. Framing-Forgetting and Extension Defects
We compare the corrected forward extension on framed and unframed Hecke–Higgs targets. Theorem 8 proves unit-kernel derived nonvanishing on the admissible rank-one target open U ; Theorem 9 sharpens its perverse placement over the saturated open . Here we verify the compatible atlas comparisons without treating the nonproper framing torsor as a finite correspondence. Fiber frames, higher-jet groupoids, and the intrinsic unframed Hecke correspondence play distinct roles. We retain the local Euler-class and atlas-unit residual as separate auxiliary constructions, not as substitutes for the forward Gysin morphism.
8.1. The Actual Framing-Forgetting Morphism
Fix the lower modification of Definition 6. For , write and . Thus is smooth affine of dimension . It acts on source or target Higgs jets by formal change of frame; in an invariant-line chart, a change of adapted source frame induces the modified transition of (48). The latter is regular only for a transition preserving the relevant Hecke lattice.
Definition 29
(Framing quotient on a finite-type chart). Let be a finite-type -scheme parametrizing modified Higgs N-jets, and suppose its unframed finite-jet moduli stack is . The forgetful atlas is
The full Higgs-moduli target of Proposition 26 requires descent of actual bundle and Higgs-field families; the quotient of truncated jet coordinates is not that global target. In particular, the fixed-line value chart of (112) is not a -stable atlas. We also distinguish the rank-two frame torsor at z, with structure group , from the full jet-framing groupoid: a framing of alone does not fix the modified first Higgs jet.
Proposition 66
(Geometry of the quotient atlas). The map is representable, smooth, and surjective of relative dimension . Its base change by any geometric point of is a -torsor, noncanonically isomorphic to . It is not proper. The automorphism group of the image of a framed point x is its stabilizer .
Proof.
An object of over T is a principal -bundle with an equivariant map . Its pullback of (186) is . Since is smooth of dimension , this proves representability, smoothness, and surjectivity. A geometric torsor is trivial after a choice of point; its fiber is the nonproper positive-dimensional affine group , so is not proper. Automorphisms of an object with chosen representative x are exactly the elements fixing x . □
Remark 36
(Stabilizers and coarse quotients). The stabilizers of Proposition 11 are already nontrivial at jet order zero and increase on the scalar locus. Thus is not replaced by an orbit space. The atlas is also distinct from in Section 5.
Definition 30
(Descent of a Hecke correspondence). Let be a finite-type framed Hecke correspondence. A descent datum consists of compatible source, incidence, and modified-target frame groupoids, a span , and atlases giving 2-Cartesian squares for both projections. It includes an equivariant kernel descended from , with
and a specified bounded mixed-Hodge-module formalism on the chosen quotient stacks. A different source and target jet order, as required by (42), is accommodated by the corresponding two action groupoids rather than an assumed map .
Remark 37
(Local status of the descent datum). The frame-change identity (49) defines the morphism of higher-jet change-of-frame groupoids, while the elementary modification of Proposition 26 is intrinsically defined on families of bundles. The rank-one inverse of Proposition 55 is an isomorphism of the resulting unframed Hecke groupoids, not a map inverse to a framed-source scheme over an unframed target. The finite-jet quotient (186) becomes a suitable atlas only with the stated 2-Cartesian comparison to the actual Higgs stack and kernel descent. In particular, the finite degree-two map of Proposition 59 is unframed ; pulling it back along an appropriate target atlas produces another finite map, but does not make the original framed-to-unframed map finite.
Proposition 67
(Evaluation incidence on the fiber-frame quotient). Let , and let be a G-stable fiber-frame atlas for the evaluation-regular source locus. Let and be the G-equivariant evaluation and incidence maps. On the corresponding quotient stacks there is a canonical 2-Cartesian presentation
The same holds over the determinant-zero locus and for its kernel-line branch. The source class admits the selected equivariant lift of Lemma 23; its normalized pullback along evaluation and incidence is compatible with the quotient atlas and with the original nonzero costalk scalar. Equation (188) does not identify the higher-jet quotient in Definition 29 with the global modified-Higgs stack.
Proof.
An object on the right over a test scheme consists of a G -torsor, an equivariant source Higgs family, and an equivariant invariant line with matching evaluated leading matrix. This is precisely a G -torsor with an equivariant map to , the moduli problem on the left. These descriptions preserve morphisms and arbitrary base change. The equations and are G -invariant, so taking either closed locus commutes with the construction. The equivariant class is the costalk lift of Lemma 23. Its pullback to any nonempty smooth evaluation atlas is the same nonzero Tate-normalized scalar by Proposition 25; no general faithfulness assertion for arbitrary derived Hom groups is used. □
Remark 38
(Two distinct framing groupoids). The quotient in (188) uses fiber frames at z and suffices for the leading invariant-line incidence. The modified first jet requires source second-jet data and the full adapted-frame transitions of Proposition 10. The genuine inverse in Proposition 55 is defined using the intrinsic image line of the target Higgs value; it does not depend on choosing either sort of frame.
8.2. Derived Comparison Under Forgetting Framing
Let be a source realization on , with framed counterpart . Assume a natural comparison on the corrected source triangle,
compatible with its three arrows. For the universal local conifold on the evaluation-regular locus, the framed realization is the smooth evaluation pullback of Proposition 24.
Proposition 68
(Base-change comparison of Hecke transforms). Assume Definition 30, (189), and the requisite mixed-Hodge-module exchange isomorphisms for the 2-Cartesian square
For , fix and define the unframed transform and similarly using the framed span and kernel. On the specified bounded coefficient category there is a natural isomorphism
Writing and , its naturality gives the commutative square
Proof.
Put . The exchange for (190) is
By the source square, (189), and (187), the coefficient on the right is . The assumed exchange isomorphism gives (191) after . Naturality for gives (192). The appropriate *- or !-exchange theorem must be verified for the selected map.
□
Proposition 69
(Rank-one inverse after compatible framing base change). Let U be the admissible rank-one target open of Proposition 55, and let be a smooth target atlas from a compatible framing presentation. Then the base change of the unframed kernel-branch isomorphism is an isomorphism:
If the selected unit-kernel mixed-Hodge pull–push is equipped with the natural 2-Cartesian exchange maps, its normalized derived arrows commute with this isomorphism. In particular, a local purity/Gysin map on the kernel branch is transported as a morphism , not replaced by an independently chosen element of a target Hom space.
Proof.
Equation (193) follows by base change of the stack isomorphism (152). The inverse is given in families by the image line and the corresponding upper modification, so it commutes with changes of frame. In a six-functor model satisfying the stated exchanges, naturality applies to the source Yoneda arrow and to the closed-immersion adjunction which defines the purity Gysin map. Its normal orientation and Tate twist are preserved by isomorphism; the common smooth-atlas shifts are those of Proposition 68 and Lemma 27. □
Proposition 70
(Finite-open correspondence under framing base change). Let be the finite locally free degree-two unframed correspondence of Proposition 59, and let be a compatible smooth target atlas. Set , with projections and . Then the Cartesian square
exhibits as finite locally free of degree two, with . For either source coefficient or in Theorem 9, proper base change gives natural, morphism-compatible isomorphisms
These are comparisons with the base-changed unframed finite map , not an assertion that the unrestricted framed-source map to is proper or finite.
Proof.
Finite locally free morphisms remain finite locally free of the same rank after arbitrary base change. Properness identifies ! and * for and . The square is Cartesian by construction, so proper base change gives (195); its naturality applies to the selected forward morphism and the purity Gysin comparison. The atlas is separately smooth and nonproper. □
Lemma 27
(Perverse amplitude under a smooth framing atlas). Assume the selected stack-theoretic MHM category admits smooth perverse pullback and (191). For , and ,
The isomorphisms are compatible with transported connecting maps and use the chosen stack normalization.
Proof.
For a smooth morphism of relative dimension g , is perverse t -exact. Thus . Reindex the left side as and substitute using (191). Naturality proves the compatibility. □
Corollary 9
(Atlas witnesses for the degree-two class). Assume the compatible equivariant mixed-Hodge normalization of Theorem 9 and Proposition 70. Let be the relative dimension of the smooth target atlas and set , . Then , and the normalized pullback of the transported connecting arrow is a nonzero class
Since the atlas may be taken to be a quasi-projective variety, is the bounded derived category of its heart, and therefore
thus is a nonzero heart-level Yoneda 2-extension on the atlas, even though no such identification is asserted on the stack . Nonvanishing is detected by the specific base-changed purity/Gysin witness; no injectivity of arbitrary derived Hom groups under smooth atlas pullback is asserted.
Proof.
Smooth perverse exactness of , the finite pushforward comparison (195), and the perverse placements of Theorem 9 give the two heart objects and the degree-two type. The node image meets and the class is represented there by the nonzero codimension-two Gysin scalar. Its pullback on a nonempty smooth chart is the same nonzero scalar on the pulled-back orientation line, proving the inequality. □
Remark 39
(Descent is not ordinary direct image). The comparison is a descent identity, not . Even for a trivial framing torsor, the latter direct image contains the cohomology of . Smooth surjective pullback is conservative on objects but need not be injective on all derived Hom groups. The particular purity/Gysin scalar used on the rank-one branch can nevertheless be tested after nonempty smooth pullback: purity identifies it with a nonzero endomorphism of a constant Tate line. This special detection does not establish faithfulness on unrelated extension classes.
8.3. First-Jet Information and Its Residual
The intrinsic first-jet quadratic of Proposition 28 has local expression . Its descent uses the coordinate transition and gauge action of (47); the following is only an auxiliary line-bundle calculation.
Lemma 28
(The line-bundle forgetting sequence). For , and , there is an exact sequence
It induces the smooth affine-line bundle
whose relative tangent line is the pullback of . This nonproper projection is distinct from the framing atlas .
Proof.
Apply to the tautological sequence, using . The induced fiberwise-surjective map of vector bundles has the stated kernel, so its total-space map is an affine-line bundle. □
Proposition 71
(Self-intersection normalization for a forgotten line). For a line bundle L on a smooth variety B and its zero section ,
Codimension-one purity gives . For (198),
Proof.
The self-intersection formula identifies the restriction of the Thom–Gysin class with , with the purity twist as stated. For the first Chern class is . □
Remark 40
(Scope of the Euler-class test). The class measures the auxiliary relative line of (199); it is neither the transported Yoneda arrow nor its normalization. Theorem 8 and its finite-open refinement 9 instead use the genuine kernel-branch inverse and codimension-two purity morphism.
8.4. The Framing-Defect Cone
The atlas adjunction is distinct from the recollement transformation . We work only in a bounded stack-theoretic MHM category supporting the displayed operations.
Definition 31
(Atlas-unit framing residual). For and , the natural comparison (191) and the atlas unit give
Define
Proposition 72
(Exact residual triangle). The residuals of the corrected forward extension form a distinguished triangle
For any locally closed immersion , restriction gives, in particular,
with the analogous costalk sequence for .
Proof.
Naturality of the unit and gives a morphism from the unframed triangle to of the framed triangle. Its objectwise cones form (204) by the lemma; and give the long exact sequences. □
Lemma 29
(Residual of a locally trivial framing torsor). If an atlas is locally for a connected smooth algebraic group G, then
For this is generally nonzero because ; it need not be supported on the node locus.
Proof.
The projection formula identifies with ; the unit is the tensor product of the identity with . Taking the cone gives the formula. For , the determinant map detects the stated degree-one Tate class. □
Remark 41
(Three different comparison cones). The atlas-unit residual, the boundary cone of Section 5.4, and the octahedral comparison of Section 6.6 arise from different transformations. None represents the finite-open degree-two derived attachment without a separate morphism-level comparison.
8.5. Framed Versus Unframed Extension Survival
Theorem 8 gives the nonzero unframed unit-kernel target arrow. We record its framed witnesses and a general detection criterion for other kernels; neither asserts generic faithfulness of smooth-atlas pullback.
Theorem 11
(Extension detection under verified framing descent). Under Proposition 68, let and denote the connecting maps in (192). Then:
- (i)
- If , then and the unframed derived extension triangle is nonsplit.
- (ii)
- Ifis injective, then if and only if .
- (iii)
- If the transported unframed endpoints lie in , the connecting morphism is the Yoneda class of the resulting short exact sequence; otherwise it remains a derived morphism with potentially higher Postnikov attachments.
Proof.
By (192), . Hence implies , proving (i) by contraposition and the derived splitting criterion of Lemma 22. Under the injectivity assumption, implies , proving (ii). For (iii), extension closure of the perverse heart converts the transported triangle into a short exact sequence whenever its endpoints lie in that heart; otherwise perverse truncation does not determine the connecting map from its graded pieces. The injectivity in (ii) is not inferred merely from smooth surjectivity of . □
Corollary 10
(Detection by a normalized local Gysin map). Assume Theorem 11. If a specified geometric restriction of the actual framed target arrow is identified by base change and purity with a nonzero Gysin morphism, then the unframed extension triangle is nonsplit. The nonzero pre-target class of Proposition 49, or a nonzero multiple of from (201), supplies such a test only after its image under the actual modified-Higgs pushforward is identified with that restriction.
Proof.
A functor maps a zero morphism to zero, so a nonzero restriction implies . Theorem 11(i) gives . The stated identification is necessary because the incidence pullback, auxiliary Euler class, and target pushforward are distinct morphisms.
□
Corollary 11
(Localized nonvanishing and compatible framing witnesses). Assume the hypotheses of Theorem 8, including its unit kernel and selected equivariant mixed-Hodge normalization. Let U be its nonempty admissible rank-one open. Then the unframed ordinary and exceptional target extension triangles are derived nonsplit on U. On any compatible nonempty smooth framing atlas as in Proposition 69, the corresponding normalized framed target morphisms are also nonzero:
This is a detection of the particular geometric purity class; it does not assert that is injective on every derived Hom group.
Proof.
Nonvanishing of the two unframed arrows is (163). The proof of Theorem 8 detects them by a nonzero codimension-two Gysin morphism on the kernel branch. By (193), the branch isomorphism is preserved after pullback to ; smooth base change preserves the regular immersion and the purity adjoint. On a nonempty smooth chart, that adjoint is the same nonzero scalar endomorphism of the Tate orientation line, so the framed images are nonzero. Naturality of (192) identifies them with the displayed pullbacks, up to the agreed common smooth normalization. □
Remark 42
(General kernels and the remaining descent problem). The rank-one inverse is geometric, but survival is proved for the unit kernel with the selected equivariant costalk generator. Other kernels, unrelated nodal sources, and convolution require independent coefficient and Gysin comparisons. Theorem 9 supplies the exceptional unit-kernel case in which the target’s shifted quotient and intersection-complex terms are perverse on , giving a degree-two derived attachment. It does not assert that the unshifted quotient lies in the perverse heart, or extend to arbitrary kernels.
Remark 43
(Global status of the framing comparison). For the selected unit-kernel universal coefficient, localized actual target nonvanishing is established in Theorem 8; Corollary 11 records its compatible framed witnesses. Theorem 11 remains the general detection statement when an independent framed target calculation is available. Over the saturated finite open , Proposition 70 and Corollary 9 additionally identify the framed witness and its precise degree-two placement. The remaining perverse and Postnikov questions concern the complement of , arbitrary kernels, and independently realized global nodal sources. The atlas-unit residual and auxiliary jet Euler class remain separate from the forward Yoneda morphism.
9. Specialization and Bounded Hecke Convolution
We compare specialization in a degeneration parameter with composition of elementary Hecke modifications, always on specified coefficient diagrams. The Springer overlap is a transverse slice of bounded two-step affine-Grassmannian convolution; the explicit lattice model distinguishes the pure Springer summand from the corrected forward quotient . The composition and nearby-cycle identities below require their own proper kernel, base-change, and family-exchange hypotheses. In particular, finiteness of the single-step unframed correspondence over (Proposition 59) does not by itself provide a collision family or a two-stage convolution theorem. We write s for the degeneration parameter, w for the Hecke-point parameter, and for a possible collision parameter.
9.1. Family-Level Hecke Correspondence
We use the conventions of Section 1.6. Put and let . The parameters remain independent unless an explicit base change identifies them.
Definition 32
(Admissible Hecke family). A specialization-admissible framed Hecke family consists of finite-type complex algebraic spaces, or quotient charts on which the required mixed-Hodge-module operations are defined, fitting into a commutative diagram over S,
The structure map is the common composite . Write
The datum is required to satisfy:
- is proper on the selected correspondence support, so its ordinary and exceptional direct images agree there;
- the squares with , , are Cartesian;
- the pullback comparison for and the specialization comparison for the correspondence kernel exist in and are isomorphisms on the selected coefficients;
- the chosen source-to-Hecke realization is defined over S and respects these specialization comparisons.
For example, smoothness of provides the required comparison between nearby cycles and pullback, with the appropriate perverse shifts. Condition (F3) is not imposed automatically on arbitrary singular incidence spaces.
A nonproper correspondence can be treated with only after its own compact-support specialization exchanges and boundedness conditions have been verified; this variant is not identified with the ordinary-image construction below.
The Cartesian squares used below are, for either sign,
Their Cartesian property follows from the equality of the structure maps to S , not from a similarity of completed local equations.
Definition 33
(Family transport and specialization comparison). Fix , a cohomological shift , and a Tate twist . On the chosen bounded domain define
with defined using and the specified specialization of the kernel. The operations in (211) are assumed to preserve the chosen bounded constructible subcategory. A specialization comparison consists of natural isomorphisms, for ,
compatible with canonical and variation morphisms and with the Tate twist .
Proposition 73
Proof.
Apply the first exchange map to M . Next apply the exact functor . This gives an isomorphism from to . The inverse of proper specialization for identifies this last object with . Every arrow is natural in M . Thus the composite is a natural isomorphism. The statement involves the specified kernel exchange: proper base change for alone does not supply the first arrow [3,25,27]. □
Remark 44
(What the family construction does not supply). The determinant family and its smooth evaluation pullback supply a Cartesian invariant-line family, but they do not automatically supply a proper modified-Higgs target projection or a specialization-compatible kernel. The single-step finite morphism on of Proposition 59 proves properness only after restriction to that open ; it does not extend the properness assumption (F1) over a family, nor furnish the exchange (F3). The identities below apply only when those separate hypotheses hold.
9.2. Compatibility with Canonical and Variation Maps
The canonical and variation arrows have types
Proposition 74
(Tate-typed naturality). Under the hypotheses of Proposition 73, the diagrams
and
commute. Consequently, with ,
Proof.
The two comparisons and are composites of functorial exchange morphisms. The transformations and are natural for proper direct image and for the stipulated pullback and kernel exchange. Applying naturality to each component of the composite shows that the two routes around (213) agree. The same argument for variation gives (214); its right-hand side is , not the untwisted nearby cycle object. Composing the two commutative squares gives (215), since derived pull–push and the kernel construction commute with Tate twisting [3,25,27]. □
Remark 45
(The two node-supported channels). The application of to the forward extension and to the factorization produces two distinct diagrams. The objects and have respective Tate factors and . The squares above preserve the variation type, but do not identify these two images or their maps. Such an identification would require a separate morphism between the corresponding transported diagrams.
9.3. Two Successive Elementary Hecke Modifications
Definition 34
(Two-stage correspondence and kernels). Let be specified finite-type moduli charts (or quotient stacks with an available bounded MHM formalism). For fix correspondences
and kernels . Assume the fiber product
is defined in the chosen category and write for its projections. Set
Suppose also that there is a proper map to a bounded terminal correspondence, with maps satisfying
The convolution kernel on the terminal correspondence is
when this derived image is bounded and constructible. All cohomological shifts and Tate twists of the kernels are included in the chosen normalizations of .
Proposition 75
(Composition as derived convolution). Assume that are proper on the relevant supports, and that proper base change and projection formula apply to the displayed correspondences and kernels. Set
Then there is a natural isomorphism of exact derived functors
on the specified bounded coefficient category. This assertion does not imply perverse t-exactness of either side.
Proof.
Let be in the specified domain. By definition,
The square
is Cartesian. Proper base change changes into . The projection formula for then gives
Since , the last expression is . Applying the projection formula for the proper map m gives
All equivalences are induced by canonical six-functor transformations and are natural in F . Their composite defines . Every functor used is exact on distinguished triangles; no perverse-heart exactness has been invoked. □
Remark 46
(Associativity and the bounded domain). The fixed-point lattice chain does not itself supply a family over a collision parameter τ. Such a family requires the appropriate Beilinson–Drinfeld (or equivalent) configuration-space geometry, together with specialization-compatible kernels. For three modifications, the associator is obtained from the coherent projection-formula and base-change transformations in an enhanced six-functor setting. Equation (217) is about the selected bounded kernel category. The finite degree-two map over is a single-step restriction, and does not establish the properness or kernel exchange needed for two-step composition. Neither pure Satake semisimplicity nor this finite-open result supplies a convolution action on arbitrary mixed-Hodge extensions.
9.4. Octahedral Coherence Under Hecke Composition
Let and be composable morphisms on one terminal space Y . In a fixed stable enhancement put , and .
Lemma 30
(Octahedral comparison). The standard octahedral triangle is
For an exact enhanced functor T, the induced cofiber identifications are compatible with its connecting arrow:
The equality uses the chosen coherent cone identifications.
Proof.
Take chain representatives of . The cone maps are induced by and ; with the cohomological cone convention the third arrow is into . Their chain-map identities and the null-homotopy of the first composite are checked in Appendix C. Exactness of T preserves this cofiber diagram, hence the connecting map as well. □
Proposition 76
(Octahedra under convolution comparison). For the natural equivalence of Proposition 75, one has
These are identities of coefficient-cone maps, not statements about the value of the forward Yoneda morphism.
Proof.
Naturality of gives the first identity for and the second for . Lemma 30 supplies the coherent identifications of the two transported octahedra. □
Remark 47
(Composition defect versus Yoneda class). The morphisms and have different sources and targets; vanishing of one does not imply vanishing of the other. This distinction also occurs in the local Hecke-collision calculations of [37].
9.5. Affine-Grassmannian Realization and Convolution
Put , , and . Write and use upper modifications for the lattice chain. Their relation with the lower Hecke convention of Definition 6 is inversion of the lattice inclusion, not an identification of the two oriented correspondences.
Proposition 77
(Minuscule lattice correspondence). For a line , let be its inverse image and define
Then with . These lattices form the minuscule Schubert variety . The construction raises the degree by one.
Proof.
Proposition 78
(Bounded two-step lattice convolution). The moduli space of chains
with each quotient annihilated by w, is the convolution variety . The terminal-lattice map is projective, birational, and semismall. The stratum is the single point .
Proof.
For each first lattice , the second step is parametrized by the lines in ; hence is a projective-line bundle over . The terminal lattice has length two over , with elementary divisors either or . The first case is open dense and determines the unique intermediate lattice ; the second case has terminal lattice . Thus is birational, with exceptional fiber over a codimension-two point, and is semismall. Properness follows from the relative projective flag construction [9,10]. □
Lemma 31
(The exceptional minuscule convolution fiber). The fiber parametrizes all lines in and is . Its cohomology is and .
Proof.
An intermediate is the inverse image of a line in ; both successive quotients are then annihilated by w . This identifies the fiber scheme with the projective line. The Hodge cohomology follows from the projective bundle formula. □
Proposition 79
(Nilpotent matrix chart in the convolution slice). Let and put . For set
Then , and has length two. Moreover,
is a -linear isomorphism such that . The assignment identifies with the transverse affine-Grassmannian slice through , with its reduced scheme structure.
Proof.
Cayley–Hamilton gives , whence and . For , the vector belongs to , proving ; the other inclusion is immediate. The determinant has valuation , so has length two. Every class has a representative ; reduction first modulo and then shows injectivity of (224). Finally,
The inverse graph chart recovers A from the action of w on the marked quotient. The scheme-level slice identification is the type- A result of [10]. The preceding calculation gives its rank-two formula. □
Theorem 12
(Springer overlap as a convolution slice). The base change of along identifies with the Springer resolution from Proposition 17:
Here . The square is Cartesian as a diagram of the specified reduced transverse-slice and relative elementary-modification schemes, not merely on closed points.
Proof.
For , the quotient is identified with V through , and w acts by A . An intermediate lattice corresponds to a line subbundle , hence to . The first step is an elementary modification of type precisely when , i.e. . The second step is elementary precisely when , i.e. . Both conditions are necessary over arbitrary base schemes; requiring mere A -invariance of ℓ would give a potentially larger nonreduced incidence functor. Conversely the two containments define an -stable intermediate lattice with both prescribed elementary quotients. These constructions commute with base change and are inverse on relative flag functors; together with Proposition 79 they give the stated Cartesian square. For fixed ℓ , the matrices factor as , giving . The resulting map to is exactly . □
Corollary 12
(The Springer Tate summand in two-step convolution). The pure convolution direct image is
Restriction to the slice recovers of Proposition 18. The point-supported summand corresponds, under geometric Satake, to the determinant summand in ; it is not the source forward quotient of Tate type .
Proof.
The map is proper semismall and generically one-to-one. The semismall decomposition theorem gives the open intersection-complex summand and one point-supported summand, whose stalk multiplicity and pure Tate twist are fixed by . Proper base change along the Cartesian square (225) gives the Springer decomposition, with no extra shift because both target slices have dimension two. Geometric Satake identifies the two perverse supports with the symmetric-square and determinant representations in the standard tensor square [9,21]. A decomposition isomorphism is provided by purity; it is not used to declare a canonical coefficient projector or a morphism to the source . □
Lemma 32
(The compact convolution surface). The two-step convolution space is a projective Hirzebruch surface . Its Springer inverse-image slice is a nonproper open surface , not the whole convolution variety.
Proof.
The first lattice is indexed by . The rank-two vector bundle fits in
Its extension class belongs to , so it splits, not canonically. Its line projectivization is . Under such a splitting the complement of the section associated with the summand is ; the slice theorem identifies this open subset independently of the chosen splitting. □
Remark 48
(Equivariance and extensions in Satake categories). The pure spherical Hodge-Satake category is semisimple, so its heart-level cannot retain an arbitrary nonsplit mixed extension. The calculation above identifies the geometric origin of the convolution summand, not the image of . An extension-sensitive comparison must be made in the specified mixed or derived category with its equivariance and proper kernel maps [21,25,26].
9.6. Extension-Sensitive Bounded Fusion Theorem
Let
be the corrected forward triangle of Section 2.2. We take it as a specified object of the derived category of exact diagrams; all functors below act on the maps as well as their endpoints.
Theorem 13
(Bounded fusion of the selected extension diagram). Assume the following data and hypotheses.
- (H1)
- The geometric source realization of (227) into is constructed and fixed, with its forward Yoneda morphism.
- (H2)
- The two Hecke correspondences, the kernels , , and the proper convolution diagram satisfy Definition 34 and Proposition 75 on all terms of that diagram.
- (H3)
- The source diagram has a specified family-level lift with its connecting arrow, the two correspondences admit specialization-admissible families as in Definition 32, and the kernel and pullback exchanges satisfy Proposition 73 on the lifted diagram.
- (H4)
- The isomorphism Θ is constructed by the natural base-change and projection-formula transformations and is compatible with the family specialization comparisons.
Then the two-stage and convolution images of (227) are isomorphic as distinguished extension diagrams . On the forward class,
Their specialization diagrams are intertwined by the and maps, preserving , , and with the target Tate twist . Thus the comparison preserves the specified extension morphism, whether or not its image is nonzero.
Proof.
Exactness transports (227) to distinguished triangles on . The natural equivalence of Proposition 75 supplies compatible squares for all three arrows, including the connecting map (228). For specialization, (H3)–(H4) and Proposition 74 identify the canonical and variation squares with their Tate-twisted targets; their composites give the monodromy square.
□
Remark 49
(Survival is not implied by fusion coherence). Theorem 13 identifies two images of the same extension morphism; their common image may vanish. If the selected one-step input is the nonzero degree-two class of Theorem 9, the natural equivalence Θ transports its morphism identity whenever (H1)–(H4) hold. It neither proves that a further Hecke functor preserves nonvanishing nor retains its perverse degree unless the relevant coefficient functors are also perverse t-exact with the specified shifts. The composition defect remains distinct from .
Remark 50
(Actual geometric coverage). The Springer–convolution slice theorem is geometric for the specified rank-two affine-Grassmannian slice. The bounded extension-diagram comparison remains conditional on the source realization, kernel exchange, properness, and family comparisons in (H1)–(H4). The finite-open degree-two derived calculation does not discharge these hypotheses. No physical or categorical Langlands equivalence is used [12,24,25,26].
10. Consequences and Outlook
The corrected conifold forward extension now has two distinct transport statements. First, its selected universal local class survives ordinary and exceptional direct image under the genuine modified-Higgs correspondence on an admissible regular-nilpotent target open U (Theorem 8). Second, on a smaller nonempty saturated open , the complete unframed inverse-Hecke correspondence is finite locally free of degree two. With the specified equivariant mixed-Hodge and smooth-atlas normalizations, its transported class is a nonzero degree-two derived attachment between perverse Hodge modules (Theorem 9). The latter identifies not just whether the class survives but its precise perverse degree. Neither result uses a properness assumption on the unrestricted framed modified-Higgs map.
We distinguish these conclusions from the nonproper auxiliary kernel-line projection, whose ordinary image kills the same forward class while its exceptional image survives. The Springer overlap also realizes an slice of bounded affine-Grassmannian convolution, with the channel separate from the forward quotient. All statements concern the specified universal local determinant coefficient; transporting an unrelated global nodal threefold requires an independent source realization. We use the conventions of Section 1.6.
10.1. Summary of the Geometric and Derived Results
The two components are small resolutions of the ordinary double point; their intersection is the Springer resolution . The central-fiber Mayer–Vietoris map and the nonzero proper vanishing-cycle comparison are computed in Propositions 19 and 21. The point-supported Tate types have different origins:
The first is not a realization of the distinct monodromy-interface object or the source forward morphism with quotient .
Smooth Higgs evaluation realizes the Cartesian incidence on the evaluation-regular stable-bundle locus. The local arrow remains nonzero after evaluation and kernel-incidence pullback:
These are Propositions 25 and 49; r is the relative dimension of . They are not assertions about an arbitrary nodal .
The intrinsic target line exchanges the marked source and target branch equations (Lemma 13 and Proposition 27). On the source-node locus the transformed Higgs value is controlled by . Theorems 6 and 7 establish the necessary first-jet-regular stable bundles in the stated genus, marked-point, and fixed-determinant ranges, while Corollary 3 realizes nonempty regular-nilpotent target values. The even-degree genus-three theta-characteristic obstruction is retained. These are existence refinements for this transport construction; the generic higher-genus vanishing literature is credited in Section 4.6.
On U , the kernel branch of the unframed Hecke correspondence is canonically isomorphic to U (Proposition 55); the source-node image is a regular codimension-two immersion (Proposition 56). On the smaller , the saturated inverse-eigenline correspondence is a finite locally free double cover (Proposition 59), and the perverse normalization comes from the complete-incidence calculation of Proposition 30, not from the auxiliary affine-jet degrees. The consequences are stated below.
Finally, Theorem 12 identifies with the reduced transverse-slice base change of the two-step minuscule convolution resolution. The compact convolution surface is , whereas Z is nonproper; the Springer summand corresponds to the determinant summand in geometric Satake (Corollary 12). Under the explicit kernel and proper base-change hypotheses of Proposition 75, there is a natural isomorphism
With the additional family-specialization hypotheses of Theorem 13, naturality on the selected forward arrow gives
This comparison preserves a specified morphism ; it neither establishes its nonvanishing nor supplies the required kernel exchanges automatically.
10.2. What Is Retained by the Hecke Correspondence
The auxiliary kernel-line span , , identifies the pulled-back nonzero source class with a codimension-two Gysin arrow. The explicit morphism calculation is
Thus the ordinary transported triangle splits, while the exceptional triangle does not, and
These statements concern the nonproper projection to the line parameter , not the map to modified-Higgs moduli (Proposition 33).
Proposition 80
(Perverse placement of the local transport). Put . The perverse cohomology of the auxiliary middle coefficient is
while the ordinary image has
These are not perverse degrees for the genuine modified-Higgs correspondence.
Proof.
Insert the decompositions of Proposition 33 and write and ; cf. Corollary 5. □
Lemma 33
(Numerical invariants do not detect splitting). For a distinguished triangle in ,
If its terms belong to the perverse heart, their rational characteristic cycles satisfy
Neither identity distinguishes the nonzero extension from the direct sum.
Proof.
The first is the Grothendieck-group relation for a distinguished triangle. The second is additivity of characteristic cycles in a short exact sequence of perverse sheaves. Both hold for the split triangle as well. □
Corollary 13
(Genuine rank-one target survival and derived nonsplitting). On a nonempty admissible rank-one target open U meeting the source-node image, with the unit kernel and the selected equivariant mixed-Hodge normalization of Theorem 8, put . Then
Both transformed triangles are nonsplit in the derived MHM category on U; this does not assert heart-level concentration on all of U.
Proof.
The branch inverse and the Gysin restriction give both inequalities by Theorem 8. Derived nonsplitting follows from Lemma 22. □
Corollary 14
(Finite-open transport and its nonzero degree-two attachment). Under the compatible unframed equivariant MHM and smooth-atlas normalizations of Theorem 9, there is a nonempty saturated open containing admissible regular-nilpotent source-node images such that the complete unframed inverse correspondence is finite locally free of degree two. Hence
For the descent-normalized perverse coefficients and of Theorem 9, set and . The transported forward arrow is
and the resulting transported middle object satisfies
The class in (241) is the nonzero Postnikov attachment, not an ordinary heart-level between and . The finite comparison is not a claim of properness for the framed-source map.
Proof.
Proposition 59 constructs and the finite degree-two map; the full-incidence perversity calculation and normalized descent give perverse source coefficients. Finite pushforward is t -exact, and Theorem 9 identifies the nonzero connecting arrow with the degree-two class and the indicated perverse Postnikov data. Compatible framed witnesses use Corollary 9. □
The two genuine-target conclusions are complementary. On U the closed kernel branch detects nonvanishing without properness. On , both admissible inverse branches form a finite cover, so ! and * agree and the transported class acquires the exact perverse-degree description above. Neither statement follows from the auxiliary line projection, whose contrasting images remain (233). The atlas comparison of Section 8 preserves the degree-two class after the appropriate smooth perverse shift, but never treats the nonproper framing torsor as a finite cover.
10.3. Geometric Langlands and Hecke-Fusion Interfaces
Theorem 12 and Corollary 12 provide the precise correspondence-level link to the two-step minuscule convolution and its determinant summand [9,10,21]. The compatible transport of under bounded convolution is the naturality statement (232), under the explicit proper support, kernel-exchange, and family-specialization hypotheses of Theorem 13 [24,25,26]. The finite map on does not supply these hypotheses for a second Hecke modification or prove that a convolution image remains nonzero or in the same perverse degree.
10.4. Further Mathematical Directions
The finite-open theorem resolves the perverse placement of the selected unit-kernel local class on , while Theorem 8 proves its derived survival on the larger U . What remains is concrete and separate: the ordinary and extraordinary Gysin maps and Postnikov attachments on the complementary target strata, including the zero-value locus; the corresponding images for other kernels; and any behavior beyond the finite admissible cover. Neither a scalar-target stalk vanishing statement nor finite pushforward on resolves these other cases.
The calculation also does not replace the required source realization for a prescribed nodal threefold , where relations among vanishing three-cycles can enter globally. For multiple Hecke steps, the bounded Springer–convolution geometry supplies an explicit finite-dimensional model, while coherent longer composition and specialization-compatible kernel exchanges need independent geometric data. These problems remain questions about specified extension-bearing morphisms in the chosen derived MHM categories; no identification with spectral Hodge atoms or physical line operators is assumed.
Appendix A. Local Coordinates and Jet Transformation Checks
We record the two invariant-line charts and the change-of-trivialization identities used in Section 3 and Section 6. Throughout, the modification is the lower lattice modification of Definition 6. These computations retain the varying line; the fiber with fixed line is not an open chart of the incidence scheme.
Appendix A.1. Two Standard Charts on the Invariant-Line Space
Let , , , and . For an adapted frame with , put and . The modified matrix is .
Proposition A1
(Explicit formulas on both charts). On and choose and . The invariant-line equations and modified fields are
Regularity is equivalent to or, respectively, . On , and
The latter belongs to on the overlap.
Proof.
Direct multiplication yields and . Conjugation by D multiplies their entries by w and divides the entries by w . Finally, has the displayed form when ; its modified transition has determinant . Thus the modified matrices glue as endomorphisms of the modified lattice, rather than in a single fixed trivialization. □
Lemma A1
(Chart covariance of the invariant equation). On , one has . In particular, the two defining equations determine the same closed incidence subscheme.
Proof.
Substitute into (A1) and multiply by ; the result is (A3). The multiplier is a unit on the overlap. □
Appendix A.2. Jet Orders and Changes of Local Coordinate
Lemma A2
(The divided entry and its jet order). Write in either adapted frame, with . Then . In the respective charts, and . Thus the modified value requires the first source jet, whereas its full first jet requires the second source jet.
Proof.
Division of by w gives the claimed terms. The coefficients are the indicated linear combinations because the chosen line parameter is fixed along the formal curve coordinate w . Varying at fixed source first jet changes . □
Remark A1
(Change of curve parameter). For with , the modified lattice is unchanged, while its second displayed generator is multiplied by . The modified frame therefore changes by ; independently, the Higgs coefficient changes by . Both factors enter the jet transformation. Neither nor its coefficient in one adapted frame is a scalar function on the unframed Higgs-moduli target.
Remark A2
(The geometric range of the coordinate proof). The two charts verify the polynomial varying-line correspondence of Section 3.4 and Section 6.1. Its realization by smooth Higgs evaluation and elementary modification is constructed separately in Section 4.6; the chart formulas alone are not a quotient-stack descent calculation.
Appendix B. Stalk, Costalk, and Tate-Twist Tables
All point restrictions below use cohomological degrees in ; the direct-image tables use perverse degrees in . The twist changes weight by . A question mark means that the indicated morphism, costalk, or perverse amplitude has not been computed on the stated target; it does not signify vanishing. The local rank-one nonvanishing theorem of Theorem 8 is kept distinct from the full target’s perverse cohomology and arbitrary-kernel images.
Appendix B.1. Source Restrictions at the Conifold Node
For , its node , , and , the local normalization of Section 2.2 is
The next costalk contribution is , by duality; it does not contribute to the forward degree-one Ext line. The source normalization and existence of the corrected extension are those of [7].
Proposition A2
(Endpoint restrictions and connecting maps). For the forward triangle , both and produce distinguished triangles. The degree-one costalk map represents the nonzero forward class up to its chosen rational normalization, whereas .
Proof.
By , the forward Ext group is
The second isomorphism follows by truncation using (A6). On stalks, ; thus since rational mixed Hodge structures have cohomological dimension one. The restriction functors preserve the distinguished triangle. □
| Coefficient | Restriction | Nonzero term or status |
| degree : ; degree : | ||
| degree 1: ; degree 3: | ||
| degree 0: | ||
| fixed by the restricted extension triangles, not by independent direct-sum choices | ||
| degree 0: | ||
| carries , ; not identified with |
Appendix B.2. Pure Incidence Coefficients and Transported Perverse Degrees
Their pure direct images are
The summand has weight 2; the separate node/vanishing line has weight 4. The former is the determinant summand on the nilpotent Springer–convolution slice of Theorem 12; this identifies its representation-theoretic origin, not the source forward Yoneda morphism.
For the vector-bundle benchmark , put . The nonzero perverse cohomology is
| Coefficient | Degrees and Tate types |
| ; | |
| ; | |
| ; ; |
These entries are calculated on E , not on a modified-Higgs moduli space.
The fixed-line target stratum of Proposition 40 has . Its raw quotient calculation is
On the varying-line chart , the closed target stratum is and . Proposition 41 instead gives and . The extra degree comes from the target dimension; no further Tate twist occurs because is retained on the target. These are raw affine-jet quotient computations, not the perverse degrees for the genuine unframed . The selected unit-kernel target class has a separate degree-two description over below; its global endpoint objects and attaching maps remain uncomputed.
Remark A3
(Functorial and geometric status). The incidence pullback (Proposition 25), the auxiliary contrast (Proposition 33), and the genuine unit-kernel target survival on U (Theorem 8) are distinct morphism calculations. Neither the raw affine-jet tables nor the pure Satake decomposition determines the target perverse degrees. For the selected finite-open transform, the required concentration instead follows from the full-incidence perversity of Proposition 30, finite pushforward, and the normalized descent of Theorem 9.
Appendix B.3. Localized Target Detection and the Remaining Perverse Data
Write U for the admissible regular-nilpotent target open of Proposition 55. Under the unit-kernel, source-realization, and equivariant MHM hypotheses of Theorem 8, the source-node locus maps isomorphically onto a regular codimension-two substack (Proposition 56). The nonzero corrected forward extension is represented on the smooth kernel branch by the purity-normalized codimension-two Gysin arrow; its restriction over U is detected after both actual direct images by Lemma 25. Thus, writing ,
These are nonzero derived morphisms ; no heart-level conclusion follows. Their restriction to the finite open below has a precise degree-two derived placement under the specified equivariant MHM and normalized smooth-atlas hypotheses.
| Comparison | Ordinary | Exceptional |
| Auxiliary | Forward arrow vanishes | Forward arrow is nonzero |
| Actual on U , unit kernel | Nonzero derived arrow | Nonzero derived arrow |
| Finite on , unit kernel | Same nonzero degree-two class | Same nonzero degree-two class |
| Actual outside | Further perverse data open | Further perverse data open |
| Arbitrary kernels, unrelated global | Additional comparison required | Additional comparison required |
Proposition A3
(Perverse degree and attachment on the finite target open). Let be the nonempty saturated open of Proposition 59. In the unit-kernel setting and compatible unframed MHM normalization of Theorem 9, the complete inverse-Hecke map is finite locally free of rank two and on the selected coefficients. Write and for the descent-normalized perverse objects of that theorem and set
Then and the actual transported quotient has perverse degree 1, whereas the transported intersection-complex coefficient has degree 0:
The nonzero connecting morphism therefore has type
The middle coefficient has precisely and ; the map (A11) is its Postnikov attachment. These assertions use the finite unframed correspondence, not finite pushforward along the nonproper framing torsor.
Proof.
The framed input degrees are calculated in Corollary 4 using the full-incidence Mayer–Vietoris calculation. Theorem 9 transfers them by the stated descent-normalized atlas comparisons. Finite pushforward is perverse t -exact and identifies its * and ! operations, giving (A10). The localized Gysin arrow is nonzero on by that theorem; rewriting its source gives the degree-two morphism. The two nonzero perverse cohomology objects of follow from the transported distinguished triangle. □
Remark A4
(Stalk versus costalk detection). At the original source node one has , whereas its extraordinary costalk component is nonzero by Proposition A2. Thus a test which factors through this particular source stalk is necessarily zero; this is the point of the conditional scalar-target-jet calculation 32. It does not force a zero stalk or costalk for every target image, nor contradict the localized nonzero Gysin morphism on U. On its higher Postnikov attachment is explicitly the nonzero degree-two class (A11); on the complementary target strata, and for general kernels, the corresponding maps still require separate calculations.
Appendix C. Derived Cone and Octahedral Verification
We fix the cohomological cone convention used for the extension, the residual, and convolution comparison. Explicit complexes determine signs; isomorphism classes of cones alone do not determine comparison arrows.
Appendix C.1. Cone Convention and the Three Canonical Arrows
Definition A1
(Cohomological mapping cone). For a chain map of degree zero, put
The associated triangle is , with and .
Proposition A4
(Explicit octahedral maps). For degree-zero chain maps and set , , and . The chain maps
produce the distinguished triangle
The composite is null-homotopic by the degree map from to .
Proof.
For , . For , . For , the differential on is , so . Finally, . Cancelling the contractible pair in identifies it with and induces and , proving the triangle. □
Remark A5
(Cones and noncanonical splittings). The three chain maps are fixed by the chosen representatives. Direct-sum decompositions of their cones need not be canonical. In Proposition 35, the explicit maps and admit compatible splittings and ; this vanishing is particular to that comparison, not a general consequence of .
Appendix C.2. Stalk, Costalk, and Naturality Checks
Lemma A3
(Two long exact sequences and their comparison). For a closed immersion and the triangle (A16), both and give long exact sequences; for the indicated segment is
The canonical comparison intertwines their boundary maps.
Proof.
Exactness of preserves the distinguished triangle; cohomology supplies the long exact sequence. For the natural map , naturality gives . □
Proposition A5
(Exact functors and octahedral comparison). Let be an exact enhanced functor. There are compatible equivalences , , and preserving the arrows of (A16). A convolution comparison intertwines these octahedra when it is natural on the chosen coefficient diagram.
Proof.
Enhanced exact functors preserve cofiber diagrams. A natural comparison gives commutative squares for u and v , hence maps between their cofibers and the associated octahedral triangles. No identification is obtained from endpoint isomorphisms alone. □
Remark A6
(The two distinguished morphisms). The original Yoneda arrow and have different endpoints. The latter may vanish in the benchmark while ; see Proposition 35 and [37].
Appendix D. Map Ledger and Remaining Ambiguities
The ledger records morphisms rather than only objects, keeping the rational realization, Hodge-module lift, and proof status separate. The two tables use common map IDs for readability in portrait format.
Appendix D.1. Indices and Normalization Data
Definition A2
(Typed map index). For a verified morphism on one target, a node or stratum k, restriction , cohomological degree n, and twist m, write . The direct-image index is independent of the restriction ; denote stages, not matrix entries. Higher derived connecting maps are recorded with their Hom degrees, not forced into perverse degree-zero notation.
Remark A7
(Status notation). Computed means determined by an explicit geometric map; localized means determined after restriction to the stated target open and under its hypotheses; conditional means a formal result with additional specified geometric hypotheses; open means the selected map or perverse amplitude has not been calculated in the stated generality. A rational map is not, without its filtered/Tate lift, a certified MHM comparison.
Appendix D.2. Master Ledger: Types, Origins, and Status
| Map | Source ⟶ target | Degree / Tate input |
| on X | forward ; | |
| smooth pullback; | ||
| derived; Gysin | ||
| codimension 2 | ||
| benchmark; | ||
| degree 0 | ||
| specialization comparisons | ||
| raw fixed-line target | ||
| raw varying-line target | ||
| rank-one inverse | ||
| finite locally free rank 2 | ||
| purity Gysin for | codimension 2; | |
| unit kernel; derived | ||
| unit kernel; derived | ||
| nonzero degree-two derived class | ||
| shifted smooth atlas | ||
| compatible framing-atlas pullback | smooth pullback | |
| degree 0 | ||
| corrected forward costalk line | given nonzero; Section 2.2 | |
| smooth evaluation and costalk | nonzero; 25 | |
| varying-line incidence pullback | nonzero; 49 | |
| purity/Thom normalization | multiple; Section 5.2 | |
| auxiliary line | ; 33 | |
| natural comparison | residual computed; Section 5.4 | |
| proper specialization | MHM naturality; Section 4.5 | |
| fixed-line affine-jet model | quotient only; Section 6.4 | |
| varying-line affine-jet model | quotient only; Section 6.4 | |
| admissible rank-one inverse | isomorphism; 55 | |
| saturated inverse incidence | finite rank 2; 59 | |
| node image under branch inverse | nonzero Gysin; 56 | |
| genuine target on U | localized nonzero; 8 | |
| genuine target on U | localized nonzero; 8 | |
| finite target | nonzero degree-two class; 9 | |
| normalized atlas witness | nonzero; 9 | |
| framing descent witness | localized nonzero; 11 | |
| bounded convolution base change | conditional kernels; Section 9.6 |
Appendix D.3. Outstanding Hom and Ext Ambiguity
Proposition A6
(Global and kernel-dependent images are typed Hom problems). For a verified framed target transform , write and . Its connecting morphism belongs to
For the selected unit-kernel universal local coefficient, the unframed connecting arrow is nonzero on the admissible rank-one open U by Theorem 8. On the smaller saturated finite open , Theorem 9 places the same nonzero arrow in ; Corollary 9 gives its normalized smooth-atlas witness. These results do not identify the full element of (A18) on every stratum, for arbitrary kernels or an unrelated global nodal source. Outside the actual target adjunction, stalk/costalk, and MV maps remain necessary; perverse graded objects alone need not specify a derived attachment.
Proof.
An exact correspondence functor carries to the indicated Hom group. The local source pullback is nonzero by Proposition 49. The kernel-branch inverse detects the unframed unit-kernel class on U ; finite t -exact pushforward and compatible descent place its restriction to in degree two. Outside that range, direct image need not be faithful on morphisms. Even complete knowledge of perverse graded objects need not specify their Postnikov attaching maps. The undetermined comparisons must satisfy the typed MV equations (128), together with the required base-change, support, Tate, kernel, and scalar normalizations. □
Remark A8
(Verification boundary of the local survival theorem). The source evaluation geometry and Springer–convolution slice are established in Section 4 and Section 9. Theorem 8 proves survival on U. Theorem 9 then identifies the degree-two derived attachment on the smaller finite open ; Section 8 provides compatible framed witnesses after the specified smooth-atlas normalization. The complete target behavior outside , arbitrary kernels, unrelated global , and family-level specialization without the explicit exchange hypotheses are not covered.
Appendix E. Evaluation Realization and the Springer–Convolution Slice
The two constructions below supply geometric morphisms that were not fixed by an abstract source-realization functor. The first construction is a smooth pullback of the universal local determinantal conifold along evaluation of a framed Higgs field. It realizes the full invariant-line family, with its varying line, inside an actual elementary Hecke correspondence and retains the nonzero local forward extension through the pullback and incidence steps. The second construction identifies the nilpotent Springer overlap with a Cartesian slice of the two-step minuscule affine-Grassmannian convolution. Both comparisons are given by explicit coordinate or lattice maps. The resulting source coefficient is not automatically the extension of an arbitrary proper nodal threefold: such an identification requires separate source-realization data. The genuinely transported unit-kernel extension is now known to survive on the admissible rank-one target open U (Theorem 8) and to define a nonzero degree-two derived class on the saturated finite open (Theorem 9). Those later results use additional inverse-correspondence and equivariant-descent arguments not contained in this appendix.
Appendix E.1. Smooth Evaluation on a Framed Higgs Parameter Space
Let C be a smooth projective connected curve of genus , let , and let denote its canonical line bundle. Fix a trivialization . For a rank-two bundle E write . We work over a smooth finite-type atlas B of stable rank-two bundles with a chosen frame and a universal bundle on . Write .
Definition A3
(Evaluation-regular bundle locus). Define the open sublocus
All assertions below about the evaluation-regular family are relative to ; if this open sublocus is empty for a selected B, no surjectivity or existence is inferred for that atlas.
Lemma A4
(Exact evaluation criterion). For a stable rank-two bundle E the evaluation homomorphism
is surjective if and only if the natural inclusion
is an isomorphism. Since E is stable, this condition is equivalent to .
Proof.
Tensor the restriction sequence with . The relevant portion of its cohomology sequence is
Evaluation is surjective exactly when , or equivalently when is injective. Serre duality, together with via trace, identifies the dual of with
The latter is injective, and is injective precisely when this inclusion is surjective. Since E is stable, . Characteristic zero gives , while for . The asserted equivalence follows. □
Proposition A7
(Smooth framed evaluation). On the relative Higgs-field sheaf
is locally free, and evaluation is a surjection of vector bundles . Consequently the algebraic morphism
is smooth and surjective whenever is nonempty. If r is its relative dimension, it is locally, for the smooth topology, projection from onto M.
Proof.
For a stable rank-two bundle E , Serre duality and Riemann–Roch yield
Cohomology and base change makes locally free on the chosen atlas. Lemma A4 gives fiberwise surjectivity of the evaluation bundle morphism, hence surjectivity of that morphism on . Locally on its kernel has a vector-bundle complement; the total-space map is therefore a vector bundle projection over a smooth base. Since is smooth, this is a smooth morphism, and nonemptiness plus fiberwise surjectivity gives surjectivity onto M . □
Appendix E.2. The Cartesian Incidence Diagram and the Extension
Put , , and let , with projective projection . Set . The determinant evaluation family and its invariant-line correspondence are the fiber products
Thus the following two squares are Cartesian:
The varying invariant line remains a coordinate in the fiber product; it is not fixed to .
Proposition A8
(Conifold-compatible Hecke incidence). The map is projective. Over , is smooth, and is the reduced normal-crossing union
where . The restrictions to both components are the smooth pullbacks of the kernel-line and image-line small resolutions of X.
Proof.
The projection is projective as a closed subscheme of ; projectivity is preserved under base change. The projection is the base change of the smooth map e , so its source is smooth because is smooth. The corresponding map is smooth. The latter incidence central fiber has local equation with independent regular parameters; the same remains true after smooth base change. Thus the two pullback divisors are smooth and meet transversely along the pullback of Z . The Cartesian descriptions of the component projections follow from their fiber-product definitions. □
Let and . Fix the nonzero local corrected forward extension
Its normalization is the same nonzero generator used in Section 2.2 and Section 5.2.
Proposition A9
(Nonvanishing through smooth evaluation). Assume , and let r be the relative complex dimension of . The functor is exact for the perverse t-structure, and it takes (A19) to a nonzero Yoneda extension on :
Writing and , one has
The same class remains nonzero upon derived pullback to along its map to .
Proof.
Smooth pullback shifted by the relative dimension is exact on mixed-Hodge modules and commutes with intermediate extension; the first two identifications follow from smooth base change and the fact that T is smooth of dimension r over the node. Near a point of T the smooth morphism e has local analytic product coordinates, so the source conifold and its coefficient triangle pull back to the product of the conifold triangle with a smooth r -dimensional factor. Extraordinary restriction to the transverse normal conifold slice recovers the local costalk attaching morphism
which is multiplication by the nonzero chosen source scalar. Therefore cannot vanish. This argument uses the nonzero local costalk component, not a blanket claim that arbitrary smooth pullback is faithful on all derived Hom groups. On the kernel component the diagram is, locally in the smooth topology, the product of the original kernel-line resolution with the same smooth factor. Its inverse image of the connecting morphism is the smooth pullback of . Proposition 31 identifies the latter with a nonzero codimension-two Gysin map up to its nonzero scalar. Product pullback preserves this local Thom class, proving nonvanishing on the component and hence on the incidence correspondence prior to target pushforward. □
Proposition A10
(Node support with the invariant line unfrozen). Retain the hypotheses and notation of Proposition A9. The inverse image of in the full invariant-line correspondence is
Let be the closed immersion. There is a canonical identification
Since , the only nonzero perverse cohomology object of this derived pullback is
In particular, the full exceptional contributes to the correspondence source; it is absent from the fixed-line fiber used in the earlier adapted computation.
Proof.
For every line of V is invariant. Hence the Cartesian base change of the full incidence morphism over T is the trivial -bundle , not a selected point in that fiber. Inverse-image base change for the closed immersion gives
The variety T is smooth of dimension r , so its product with is smooth of dimension . Thus is perverse; the displayed pullback is its shift by . Closed pushforward is perverse t -exact, giving the degree-one statement with no additional Tate twist. □
Appendix E.3. The Actual Modified-Higgs Morphism and Its Limitation
Proposition A11
(Elementary Hecke morphism over the determinant family). There is an algebraic morphism of moduli functors
where is the (unrestricted) stack of rank-two Higgs bundles of degree . It sends to
The restriction is regular because . Let and let be determinant of the modified Higgs value at z, using the fixed trivialization of . Then
and the square
is Cartesian after the indicated restriction of the target to . In a source formal frame adapted to ℓ, one has
The modified Higgs value depends on the first source jet, while its complete first jet depends on the second source jet.
Proof.
The elementary modification is the kernel of a universal surjection to a length-one sheaf supported at z . Such a kernel commutes with base change in families for the flat universal length-one quotient. In an adapted formal frame its lattice is . The displayed conjugation shows that preservation of this lattice is equivalent to ; hence is regular and defines an algebraic family of Higgs fields on . The construction is equivariant under changes of source frame by the explicit modified-frame transition in Proposition 10. Thus it defines a map into the unframed moduli stack without a canonical choice of modified framing. The characteristic polynomial is invariant under conjugation over ; regularity extends the equality of its coefficients across . Therefore and the asserted fiber-product identity follows from equality of the defining functions. Finally , proving the jet-order assertion. □
Lemma A5
(Modified Higgs value over the nodal evaluation locus). On the λ-chart , write , with . Over the modified value in the adapted modified lattice is
Consequently the image of the node-supported coefficient under the geometric target map lies in the nilpotent-evaluation locus. For the modified Higgs value is regular nilpotent; for it is zero. The zero scheme of varies with the full invariant line and cannot be recovered from the frozen-line chart alone.
Proof.
Change source frame by . As in Section 3.1, its lower-left matrix entry is . When the entire adapted leading matrix vanishes, and . Conjugation by gives the displayed modified value. Its trace, determinant, and rank are immediate. The polynomial is the chart expression of the invariant-line quadratic for ; its zero locus transforms covariantly on the second chart. □
Remark A9
(What the target map does and does not calculate). The morphism is an actual geometric Hecke target map. It is not the vector-bundle projection of Section 5. The framed correspondence includes choices of source framing; its projection to the unframed target must not be declared proper on the basis of properness of . For a derived target calculation one must specify the appropriate stack or finite-type chart, the correspondence coefficient, and whether or is being applied. The preceding propositions establish the pre-target arrow, not its direct image. The separate kernel-branch inverse and Gysin argument of Theorem 8 proves nonvanishing on U, and Theorem 9 identifies its degree-two class on . Neither conclusion follows from the evaluation diagram alone.
Appendix E.4. The Nilpotent Transverse Slice in Two-Step Convolution
Put , , , and . Let be the bounded affine-Grassmannian Schubert closure of coweight , and let be the convolution space of upper elementary modifications, with proper terminal map . Let be the point.
Proposition A12
(Explicit nilpotent lattice slice). For define
This is a lattice satisfying and . There is a canonical -linear identification
under which multiplication by w is exactly A. The map identifies with the reduced transverse slice in the affine Grassmannian at . The scheme structure and inverse are supplied by the type-A slice isomorphism [10].
Proof.
For a trace-zero two-by-two matrix with determinant zero, Cayley–Hamilton gives . Therefore , and . To verify , take . Then , so . The upper inclusion is immediate from . The lattice has determinant valuation , giving the indicated quotient dimension. Every class modulo has a representative of the form for a constant vector ; independence follows because a representative in forces first and then . Moreover
This proves the asserted intertwining relation. The inverse graph description recovers A from the action of w on ; the reduced scheme-level identification of this graph chart with the transverse slice is the established type- A nilpotent/loop-Grassmannian comparison cited in the statement. The calculation above verifies its formula in rank two. □
Proposition A13
(Cartesian Springer–convolution restriction). The pullback of the two-step convolution map to the nilpotent slice of Proposition A12 identifies with
Explicitly, an intermediate lattice corresponds under to the one-dimensional subspace . The correspondence defines the Cartesian square
The square is taken with the reduced transverse-slice structure of Proposition A12.
Proof.
The intermediate lattice is an -submodule of containing , with a one-dimensional quotient . Under , is a line . It is -stable exactly when , since multiplication by w acts as A . Because A is nilpotent and ℓ is one-dimensional, ; hence . The induced action on is again nilpotent on a one-dimensional space and therefore zero. Thus . Conversely these two containments imply , and the inverse image of is the requisite intermediate lattice. The two constructions commute with change of base and are inverse on the corresponding relative flag functors; together with the scheme-level transverse-slice identification of the preceding proposition, they establish the Cartesian comparison. For fixed ℓ the space of matrices with is . On this is , proving the total-space identification. For the line is unique; at the fiber is . □
Corollary A1
(The Springer Tate channel is a convolution summand). The restriction of the pure convolution direct image to the nilpotent slice has the decomposition
The point-supported summand is the local geometric-Satake contribution associated with the (determinant-representation) stratum in . It is not an identification of this pure Tate summand with the source forward-extension quotient or with an associated source extension morphism.
Proof.
The proper map is semismall: its unique positive-dimensional fiber is over the codimension-two point o . The pure decomposition theorem gives the intersection complex of the open stratum and a point-supported contribution. Proper base change and fix its multiplicity and twist. By the Cartesian slice identification, this is the restriction of the two-step convolution decomposition. Geometric Satake identifies the two relevant IC supports with the weights and in the tensor square of the standard representation [9,21]. The source conifold quotient has a different Tate type, so the final nonidentification follows from its normalization. □
Lemma A6
(The global minuscule convolution surface). The two-step minuscule convolution surface is
The Springer slice Z is the complement of an appropriate section of this projective surface, so Z is not the entire convolution space.
Proof.
An elementary upper lattice is determined by a line and has the form . The possible next elementary lattices are the lines in the rank-two bundle on . The inclusions give an exact sequence of bundles
Its extension class lies in . The rank-two bundle therefore splits as . Its projective-line bundle is the Hirzebruch surface . After twisting by the bundle is ; removing the infinity section of its projectivization gives the total space of . The Cartesian slice of Proposition A13 selects precisely this open resolution over the nilpotent slice. □
Appendix E.5. Closed Calculations and Remaining Target-Morphism Problem
Proposition A14
(Precisely delimited geometric completion). On a nonempty evaluation-regular locus the following constructions are defined by algebraic maps and have the indicated properties:
- (i)
- Smooth evaluation produces the Cartesian determinantal and invariant-line incidence diagrams and the normal-crossing central correspondence (Proposition A8).
- (ii)
- The universal local forward extension remains nonzero after normalized evaluation pullback and after pullback to the kernel incidence component (Proposition A9).
- (iii)
- Elementary modification gives an actual map to the unframed modified-Higgs stack, preserving the determinant family (Proposition A11).
- (iv)
- The Springer overlap is a Cartesian nilpotent slice of bounded convolution and its channel is the determinant Satake summand (Proposition A13 and Corollary A1).
The value of
on the chosen unframed mixed-Hodge-module category is not calculated by (i)–(iv) alone . The later kernel-branch argument of Theorem 8 proves nonvanishing on U, and the finite-open theorem 9 identifies the degree-two class on . A canonical realization of an unrelated proper nodal threefold, and arbitrary-kernel target calculations, are still absent.
Proof.
The first four conclusions are the cited geometric and Hodge-module calculations. The last assertion concerns what follows from the four listed constructions alone . The actual target results of Theorems 8 and 9 use additional inverse-branch, finite-correspondence, and equivariant comparisons. A computation on the auxiliary kernel-line projection does not replace those maps, and an unrelated nodal threefold still requires independent source-realization data. □
References
- Beilinson, A.A.; Bernstein, J.; Deligne, P. Faisceaux pervers; Société Mathématique de France: Astérisque, 1982; Vol. 100, pp. 5–171. [Google Scholar]
- Saito, M. Modules de Hodge polarisables. Publ. Res. Inst. Math. Sci. 1988, 24, 849–995. [Google Scholar] [CrossRef]
- Saito, M. Mixed Hodge Modules. Publ. Res. Inst. Math. Sci. 1990, 26, 221–333. [Google Scholar] [CrossRef]
- MacPherson, R.; Vilonen, K. Elementary Construction of Perverse Sheaves. Invent. Math. 1986, 84, 403–435. [Google Scholar] [CrossRef]
- Beilinson, A.A. How to Glue Perverse Sheaves. In K-Theory, Arithmetic and Geometry (Moscow, 1984–1986); Lecture Notes in Mathematics; Springer: Berlin, 1987; Vol. 1289, pp. 42–51. [Google Scholar]
- Rahman, A. Perverse Extensions and Limiting Mixed Hodge Structures for Conifold Degenerations, 2026. arXiv arXiv:math.
- Rahman, A. Mixed Hodge Modules and Canonical Perverse Extensions for Multi-Node Conifold Degenerations. arXiv 2026, arXiv:math. [Google Scholar]
- Slodowy, P. Simple Singularities and Simple Algebraic Groups. In Lecture Notes in Mathematics; Springer, 1980; Vol. 815. [Google Scholar] [CrossRef]
- Mirković, I.; Vilonen, K. Geometric Langlands Duality and Representations of Algebraic Groups over Commutative Rings. Ann. Math. 2007, 166, 95–143. [Google Scholar] [CrossRef]
- Mirković, I.; Vybornov, M.; Krylov, V. Comparison of Quiver Varieties, Loop Grassmannians and Nilpotent Cones in Type A. Adv. Math. 2022, 407, 108397. [Google Scholar] [CrossRef]
- Rahman, A. Hodge Atoms at Conifold Degenerations: F -Bundles, Limiting Mixed Hodge Modules, and the Rigid–Flexible Decomposition, 2026. arXiv arXiv:math.
- Kapustin, A.; Witten, E. Electric–Magnetic Duality and the Geometric Langlands Program. Commun. Number Theory Phys. 2007, 1, 1–236. [Google Scholar] [CrossRef]
- Narasimhan, M.S.; Ramanan, S. Geometry of Hecke cycles. I; Ramanujam—A Tribute, C. P., Ed.; Springer; Tata Institute of Fundamental Research Studies in Mathematics, 1978; Vol. 8, pp. 291–345. [Google Scholar]
- Hwang, J.M. Tangent vectors to Hecke curves on the moduli space of rank 2 bundles over an algebraic curve. Duke Math. J. 2000, 101, 179–187. [Google Scholar] [CrossRef]
- Hwang, J.M.; Ramanan, S. Hecke curves and Hitchin discriminant. Ann. Sci. De l’École Norm. Supérieure 2004, 37, 801–817. [Google Scholar] [CrossRef]
- Sun, X. Minimal rational curves on moduli spaces of stable bundles. Math. Ann. 2005, 331, 925–937. [Google Scholar] [CrossRef]
- Milnor, J. Singular Points of Complex Hypersurfaces. In Annals of Mathematics Studies; Princeton University Press: Princeton, 1968; Vol. 61. [Google Scholar]
- Schmid, W. Variation of Hodge Structure: The Singularities of the Period Mapping. Invent. Math. 1973, 22, 211–319. [Google Scholar] [CrossRef]
- Lusztig, G. Green Polynomials and Singularities of Unipotent Classes. Adv. Math. 1981, 42, 169–178. [Google Scholar] [CrossRef]
- Mirković, I.; Vybornov, M. On Quiver Varieties and Affine Grassmannians of Type A . Comptes Rendus Mathématique 2003, 336, 207–212. [Google Scholar] [CrossRef]
- Fedorov, R. Satake Equivalence for Hodge Modules on Affine Grassmannians. arXiv 2021, arXiv:math. [Google Scholar]
- Richarz, T.; Scholbach, J. The Motivic Satake Equivalence. Math. Ann. 2021, 380, 1595–1653. [Google Scholar] [CrossRef]
- Cautis, S.; Dodd, C.; Kamnitzer, J. Associated Graded of Hodge Modules and Categorical sl 2 Actions. Sel. Math. (New Series) 2021, 27(22), 1603.07402. [Google Scholar] [CrossRef]
- Gaitsgory, D. Construction of Central Elements in the Affine Hecke Algebra via Nearby Cycles. Invent. Math. 2001, 144, 253–280. [Google Scholar] [CrossRef]
- Achar, P.N.; Riche, S. Higher Nearby Cycles and Central Sheaves on Affine Flag Varieties. J. Singul. 2024, 27, 1–30, [2305.11696. [Google Scholar] [CrossRef]
- Achar, P.N.; Riche, S. Central Sheaves on Affine Flag Varieties. In Panoramas et Synthèses; Société Mathématique de France, 2025; Vol. 64. [Google Scholar]
- Salmon, A. Unipotent Nearby Cycles and Nearby Cycles over General Bases. J. Singul. 2024, 27, 31–46, [2401.16746. [Google Scholar] [CrossRef]
- Elias, B. Gaitsgory’s Central Sheaves via the Diagrammatic Hecke Category. In Memoirs of the American Mathematical Society; American Mathematical Society, 2026; Vol. 319, p. 1811.06188. [Google Scholar] [CrossRef]
- Donagi, R.; Pantev, T.; Simpson, C. Twistor Hecke Eigensheaves in Genus 2, 2024. arXiv arXiv:math.
- Witten, E. More on Gauge Theory and Geometric Langlands. Adv. Math. 2018, arXiv:hep327, 624–707. [Google Scholar] [CrossRef]
- He, S.; Walpuski, T. Hecke Modifications of Higgs Bundles and the Extended Bogomolny Equation. J. Geom. Phys. 2019, 146, 103487. [Google Scholar] [CrossRef]
- Tubach, S. Mixed Hodge Modules on Stacks. Forum Math. Sigma 2025, 13, e175, [2407.02256. [Google Scholar] [CrossRef]
- Beauville, A. Orthogonal Bundles on Curves and Theta Functions. Ann. De l’Institut Fourier 2006, 56, 1405–1418. [Google Scholar] [CrossRef]
- Gaitsgory, D.; Raskin, S. Proof of the Geometric Langlands Conjecture I: Construction of the Functor, 2025. arXiv, Version 3; 2025, arXiv:math. [Google Scholar]
- Davison, B.; Hennecart, L.; Kinjo, T.; Schiffmann, O.; Vasserot, E. Hecke Operators on Symplectic Surfaces and χ -Independence, 2026. arXiv arXiv:math.
- Rahman, A. Recollement Defects and MacPherson–Vilonen Boundary Residuals, 2026. Preprints.org 2026, version 1. [Google Scholar] [CrossRef]
- Rahman, A. Bivariant Hodge Atoms I: Hecke Collisions and Mixed-Hodge Coefficient Extensions, 2026. Preprints.org preprint, version 1. posted. 2026. [Google Scholar] [PubMed]
- González, M. Very Stable Regular G -Higgs Bundles. arXiv 2025, arXiv:math. [Google Scholar]
- Dimca, A. Sheaves in Topology. In Universitext; Springer, 2004. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2026 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.