Relative analytic reciprocity laws

Denis V. Osipov

arxiv: 2512.18106 · v2 · submitted 2025-12-19 · 🧮 math.CV · math.AG· math.DG

Relative analytic reciprocity laws

Denis V. Osipov This is my paper

Pith reviewed 2026-05-16 20:33 UTC · model grok-4.3

classification 🧮 math.CV math.AGmath.DG

keywords reciprocity lawsChern classesGysin mapsRiemann surfacesholomorphic familiescircle fibrationscohomology

0 comments

The pith

The sum of Gysin images of Chern class cup products vanishes for circle fibrations bounding holomorphic Riemann surface families.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves a reciprocity law for complex line bundles on fibrations in oriented circles over a complex manifold base. When the disjoint union of these circle fibrations embeds into a holomorphic family of compact Riemann surfaces such that the circles bound an embedded surface with boundary in each fiber, and the bundles restrict from holomorphic line bundles on the family, the sum of the Gysin pushforwards of the cup products of the first Chern classes is zero in H^3 of the base. A sympathetic reader would care because the law supplies a global vanishing relation among local topological invariants of the bundles, enforced by their common analytic embedding into the surface family.

Core claim

If π_i : M_i → B are fibrations in oriented circles, L_i and N_i are complex line bundles on each M_i, and the disjoint union of the M_i embeds into a holomorphic family of compact Riemann surfaces over B such that in every fiber the circles bound an embedded compact Riemann surface with boundary, with all L_i and N_i restrictions of holomorphic line bundles on the family, then the sum over i of (π_i)_* (c_1(L_i) ∪ c_1(N_i)) equals zero in H^3(B, ℤ).

What carries the argument

The Gysin map (π_i)_* applied to the cup product c_1(L_i) ∪ c_1(N_i) in H^4(M_i, ℤ), whose image in H^3(B, ℤ) is forced to sum to zero by the common holomorphic extension to the family of Riemann surfaces.

If this is right

The vanishing supplies a relation that constrains the total cohomology class arising from multiple boundary components in any such holomorphic family of surfaces.
Individual Gysin images need not vanish separately; only their signed sum is forced to zero, permitting cancellation among the different fibrations.
The result holds with integer coefficients and therefore captures both free and torsion parts of the cohomology class.
The law applies precisely when the bundles are holomorphic restrictions, tying the topological identity directly to the analytic structure of the ambient family.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Analogous vanishing statements may exist for fibrations of higher-dimensional manifolds or for higher Chern classes once similar boundary conditions are imposed.
The relation could be specialized to the moduli space of curves with boundary to produce new identities among tautological classes.
When the base B is a point the statement reduces to a numerical reciprocity for closed surfaces with several boundary circles.

Load-bearing premise

The circle fibrations and their line bundles must arise as restrictions from one common holomorphic family of compact Riemann surfaces in which the circles bound embedded surfaces with boundary in every fiber.

What would settle it

An explicit base B together with circle fibrations M_i and bundles L_i, N_i that satisfy the holomorphic family embedding condition yet yield a nonzero class for the sum of the Gysin images in H^3(B, ℤ).

read the original abstract

We study reciprocity laws involving complex line bundles on fibrations in oriented circles. In particularly, we prove the following reciprocity law. Let $B$ be a complex manifold and $\pi_i : M_i \to B$ be a fibration in oriented circles, where $i$ runs through a finite set. Let $L_i$ and $N_i$ be complex line bundles on every $M_i$. The reciprocity law states that the sum of all $(\pi_i)_* \left(c_1(L_i) \cup c_1(N_i) \right)$, where $(\pi_i)_*$ is the Gysin map and $c_1$ is the first Chern class, equals zero in $H^3(B, {\mathbb Z})$ when the disjoint union of all $M_i$ is embedded into a holomorphic family of compact Riemann surfaces over the base $B$ such that in every fiber of this family the disjoint union of the embedded circles is the boundary of an embedded compact Riemann surface with boundary, and all $L_i$ and all $N_i$ are restrictions of holomorphic line bundles on this family.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Osipov proves a clean cancellation of Gysin images of Chern class cup products for circle fibrations that bound a surface inside a holomorphic family of Riemann surfaces over the base.

read the letter

The main point is that this paper establishes a reciprocity law where the sum of Gysin pushforwards of c1(L_i) cup c1(N_i) over several circle fibrations vanishes in H^3(B, Z). The condition is that the disjoint union of the circles embeds into a holomorphic family of compact Riemann surfaces over B such that they bound an embedded surface with boundary in each fiber, and the line bundles extend holomorphically from that family. The abstract states this precisely as a theorem to be proved. What is new is the exact mix of multiple fibrations, the holomorphic family, and the boundary requirement; nothing matching this combination appears in the referenced prior work. The paper does well by isolating this setup and letting the standard boundary relation for the Gysin map do the cancellation once the classes extend over the surface fibration. Degrees line up for H^3, integral coefficients are used consistently, and orientations are assumed without contradiction. The stress-test confirms no internal inconsistency in the setup. The soft spots are proportionate to the claim. The geometric hypothesis is strong and restrictive, so the result applies only when the embedding and holomorphic extensions can be arranged; checking that condition in examples may take work, but that is the nature of the relative analytic version rather than a flaw. The proof itself appears to reduce to invoking the boundary relation after the geometry is in place, which is straightforward but not revolutionary on its own. This is for readers already working in complex geometry, fibrations, and topological invariants of holomorphic families. Someone interested in analytic reciprocity laws or cohomology of circle bundles would find the organized cancellation useful. It is too specialized for a broad audience. The work shows clear thinking on its own terms with no load-bearing gaps visible from the statement and supporting note. It deserves peer review so the full derivation and any examples can be checked in detail.

Referee Report

2 major / 2 minor

Summary. The manuscript claims to prove a reciprocity law for complex line bundles on oriented circle fibrations π_i : M_i → B over a complex manifold B. Under the hypothesis that the disjoint union of the M_i embeds into a holomorphic family of compact Riemann surfaces over B such that the circles bound an embedded compact Riemann surface with boundary in each fiber and all L_i, N_i extend holomorphically to the family, the sum over i of (π_i)_* (c_1(L_i) ∪ c_1(N_i)) vanishes in H^3(B, ℤ).

Significance. If established, the result supplies a geometric mechanism for cancellations among Gysin images of Chern-class cup products in the cohomology of the base of a holomorphic surface fibration. It links integral cohomology relations directly to holomorphic extension and boundary data, which may be useful for computing invariants in families of Riemann surfaces or in relative versions of classical reciprocity statements.

major comments (2)

[Main theorem statement and its proof] The central cancellation is asserted to follow from the boundary relation for the Gysin map once the classes extend over the total space of the holomorphic family. The manuscript must explicitly construct or verify this extension of c_1(L_i) ∪ c_1(N_i) as cohomology classes on the surface fibration (including compatibility with the orientation of the bounding surface) before the standard boundary formula can be applied; without this step the vanishing in H^3(B, ℤ) does not follow automatically from the geometric hypothesis.
[Geometric hypothesis in the statement of the reciprocity law] The embedding condition requires that the disjoint union of the circles is the boundary of an embedded compact Riemann surface with boundary in every fiber. The argument must confirm that this embedded surface is oriented compatibly with the given orientations on the circles M_i so that the Gysin images cancel rather than add; an orientation-reversing choice would reverse the sign of the sum.

minor comments (2)

[Abstract] The abstract contains the typographical error 'in particularly'; replace with 'in particular'.
[Abstract] The Gysin map (π_i)_* is used without a brief reminder of its definition or degree shift; adding one sentence would improve accessibility for readers outside algebraic topology.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and have revised the manuscript to incorporate the requested clarifications.

read point-by-point responses

Referee: The central cancellation is asserted to follow from the boundary relation for the Gysin map once the classes extend over the total space of the holomorphic family. The manuscript must explicitly construct or verify this extension of c_1(L_i) ∪ c_1(N_i) as cohomology classes on the surface fibration (including compatibility with the orientation of the bounding surface) before the standard boundary formula can be applied; without this step the vanishing in H^3(B, ℤ) does not follow automatically from the geometric hypothesis.

Authors: We agree that the extension of the classes requires explicit verification. In the revised manuscript we have added a new paragraph in the proof section that constructs the holomorphic extensions of L_i and N_i to the total space of the family of Riemann surfaces. We then verify that the cup product c_1(L_i) ∪ c_1(N_i) extends as a cohomology class on this total space, compatible with the orientation of the bounding surface in each fiber. The standard boundary formula for the Gysin map is applied directly to this extended class, yielding the claimed cancellation in H^3(B, ℤ). revision: yes
Referee: The embedding condition requires that the disjoint union of the circles is the boundary of an embedded compact Riemann surface with boundary in every fiber. The argument must confirm that this embedded surface is oriented compatibly with the given orientations on the circles M_i so that the Gysin images cancel rather than add; an orientation-reversing choice would reverse the sign of the sum.

Authors: We thank the referee for highlighting this point. The geometric hypothesis in the theorem statement presupposes that the orientations on the circles M_i are those induced by the bounding surface. In the revised manuscript we have inserted an explicit sentence immediately following the statement of the main theorem confirming that the embedded compact Riemann surface with boundary in each fiber is oriented so that its induced boundary orientation agrees with the given orientations on the M_i. This ensures the Gysin images cancel rather than add. revision: yes

Circularity Check

0 steps flagged

No significant circularity; theorem follows from standard Gysin and Chern class properties under stated geometric hypotheses

full rationale

The paper states a reciprocity law as a theorem to be proved from the given embedding of the circle fibrations into a holomorphic family of Riemann surfaces with boundary condition, plus holomorphic extensions of the line bundles. The conclusion (vanishing of the sum of Gysin images of the cup products in H^3(B,Z)) follows directly from the boundary relation for the Gysin map of an oriented fibration with boundary once the classes extend over the surface fibration. No equation reduces to its own input by definition, no parameter is fitted and renamed as prediction, and no load-bearing step relies on a self-citation chain or imported uniqueness theorem. The derivation is self-contained against external topological and geometric facts.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard properties of Chern classes, cup products, and Gysin maps for oriented circle fibrations, plus the geometric embedding assumption. No free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)

standard math Standard properties of first Chern classes and cup products in integral cohomology
The proof invokes c1 and cup product, which are defined via standard axioms of algebraic topology.
domain assumption Existence and functoriality of Gysin maps for oriented circle fibrations
The maps (π_i)_* are used without further justification in the abstract.

pith-pipeline@v0.9.0 · 5490 in / 1589 out tokens · 39883 ms · 2026-05-16T20:33:41.844504+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the sum of all (π_i)_* (c_1(L_i) ∪ c_1(N_i)) ... equals zero in H^3(B,Z) when the disjoint union of all M_i is embedded into a holomorphic family of compact Riemann surfaces
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery theorem unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We use in the proofs the Deligne reciprocity law

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

[1]

A. A. Beilinson,Higher regulators and values ofL-functions of curves.Funktsional. Anal. i Prilozhen. 14 (1980), no. 2, 46–47; english transl. in Functional Analysis and Its Applications, 14 (1980), no. 2, 116–118

work page 1980
[2]

Bressler, M

P. Bressler, M. Kapranov, B. Tsygan, E. Vasserot,Riemann-Roch for real varieties, Progr. Math., 269, Birkh¨ auser Boston, Ltd., Boston, MA, 2009, 125–164

work page 2009
[3]

B˘ anic˘ a, O

C. B˘ anic˘ a, O. St˘ an˘ a¸ sil˘ a,Algebraic methods in the global theory of complex spaces. Translated from the Romanian Editura Academiei, Bucharest; John Wiley & Sons, London-New York-Sydney, 1976

work page 1976
[4]

Contou-Carr` ere,Jacobienne locale, groupe de bivecteurs de Witt universel, et sym- bole mod´ er´ e,C

C. Contou-Carr` ere,Jacobienne locale, groupe de bivecteurs de Witt universel, et sym- bole mod´ er´ e,C. R. Acad. Sci. Paris S´ er. I Math.,318:8 (1994), 743–746

work page 1994
[5]

Deligne,Le d´ eterminant de la cohomologie.(French) Current trends in arithmetical algebraic geometry (Arcata, Calif., 1985), 93–177, Contemp

P. Deligne,Le d´ eterminant de la cohomologie.(French) Current trends in arithmetical algebraic geometry (Arcata, Calif., 1985), 93–177, Contemp. Math., 67, Amer. Math. Soc., Providence, RI, 1987

work page 1985
[6]

Deligne,Le symbole mod´ er´ e,Inst

P. Deligne,Le symbole mod´ er´ e,Inst. Hautes´Etudes Sci. Publ. Math. No. 73 (1991), 147–181

work page 1991
[7]

J.-P. Demailly,Complex analytic and differential Geometry, OpenContent book, 2012, Universit´ e de Grenoble I, available at https://www-fourier.univ-grenoble- alpes.fr//∼demailly/manuscripts/agbook.pdf

work page 2012
[8]

Fischer,Complex analytic geometry, Lecture Notes in Math., Vol

G. Fischer,Complex analytic geometry, Lecture Notes in Math., Vol. 538, Springer- Verlag, Berlin-New York, 1976

work page 1976
[9]

Forster,Lectures on Riemann surfaces, Grad

O. Forster,Lectures on Riemann surfaces, Grad. Texts in Math., 81 Springer–Verlag, New York-Berlin, 1981. 14

work page 1981
[10]

S. O. Gorchinskiy, D. V. Osipov,A higher-dimensional Contou-Carr` ere symbol: local theory.(Russian) Mat. Sb. 206 (2015), no. 9, 21–98; translation in Sb. Math. 206 (2015), no. 9–10, 1191–1259

work page 2015
[11]

Grauert, R

H. Grauert, R. Remmert,Theory of Stein spaces.Translated from the German by Alan Huckleberry, Grundlehren der Mathematischen Wissenschaften, 236 Springer- Verlag, Berlin-New York, 1979

work page 1979
[12]

Kiehl, J.-L

R. Kiehl, J.-L. Verdier,Ein einfacher Beweis des Koh¨ arenzsatzes von Grauert.(Ger- man) Math. Ann. 195 (1971), 24–50

work page 1971
[13]

Nakayama,The lower semicontinuity of the plurigenera of complex varieties, Adv

N. Nakayama,The lower semicontinuity of the plurigenera of complex varieties, Adv. Stud. Pure Math., 10, North-Holland Publishing Co., Amsterdam, 1987, 551–590

work page 1987
[14]

Nakayama,Zariski-decomposition and abundance, MSJ Mem., 14 Mathematical Society of Japan, Tokyo, 2004

N. Nakayama,Zariski-decomposition and abundance, MSJ Mem., 14 Mathematical Society of Japan, Tokyo, 2004

work page 2004
[15]

D. V. Osipov,Local analog of the Deligne–Riemann–Roch isomorphism for line bun- dles in relative dimension1 , Izvestiya: Mathematics, 2024, Volume 88, Issue 5, 930– 976

work page 2024
[16]

D. V. Osipov,Analytic diffeomorphisms of the circle and topological Riemann–Roch theorem for circle fibrations, Tr. Mat. Inst. Steklova 330 (2025), 227–272; English translation in Proc. Steklov Inst. Math. 330 (2025); e-print arXiv: 2503.10517

work page arXiv 2025
[17]

Osipov, X

D. Osipov, X. Zhu,The two-dimensional Contou-Carr` ere symbol and reciprocity laws, J. Algebraic Geom. 25 (2016), no. 4, 703–774

work page 2016
[18]

Serre,Algebraic groups and class fields, Transl

J.-P. Serre,Algebraic groups and class fields, Transl. of the French edition. (English) Graduate Texts in Mathematics, 117. New York etc.: Springer-Verlag, (1988). Steklov Mathematical Institute of Russsian Academy of Sciences, 8 Gubkina St., Moscow 119333, Russia,and National Research University Higher School of Economics, Laboratory of Mirror Symme- try...

work page 1988

[1] [1]

A. A. Beilinson,Higher regulators and values ofL-functions of curves.Funktsional. Anal. i Prilozhen. 14 (1980), no. 2, 46–47; english transl. in Functional Analysis and Its Applications, 14 (1980), no. 2, 116–118

work page 1980

[2] [2]

Bressler, M

P. Bressler, M. Kapranov, B. Tsygan, E. Vasserot,Riemann-Roch for real varieties, Progr. Math., 269, Birkh¨ auser Boston, Ltd., Boston, MA, 2009, 125–164

work page 2009

[3] [3]

B˘ anic˘ a, O

C. B˘ anic˘ a, O. St˘ an˘ a¸ sil˘ a,Algebraic methods in the global theory of complex spaces. Translated from the Romanian Editura Academiei, Bucharest; John Wiley & Sons, London-New York-Sydney, 1976

work page 1976

[4] [4]

Contou-Carr` ere,Jacobienne locale, groupe de bivecteurs de Witt universel, et sym- bole mod´ er´ e,C

C. Contou-Carr` ere,Jacobienne locale, groupe de bivecteurs de Witt universel, et sym- bole mod´ er´ e,C. R. Acad. Sci. Paris S´ er. I Math.,318:8 (1994), 743–746

work page 1994

[5] [5]

Deligne,Le d´ eterminant de la cohomologie.(French) Current trends in arithmetical algebraic geometry (Arcata, Calif., 1985), 93–177, Contemp

P. Deligne,Le d´ eterminant de la cohomologie.(French) Current trends in arithmetical algebraic geometry (Arcata, Calif., 1985), 93–177, Contemp. Math., 67, Amer. Math. Soc., Providence, RI, 1987

work page 1985

[6] [6]

Deligne,Le symbole mod´ er´ e,Inst

P. Deligne,Le symbole mod´ er´ e,Inst. Hautes´Etudes Sci. Publ. Math. No. 73 (1991), 147–181

work page 1991

[7] [7]

J.-P. Demailly,Complex analytic and differential Geometry, OpenContent book, 2012, Universit´ e de Grenoble I, available at https://www-fourier.univ-grenoble- alpes.fr//∼demailly/manuscripts/agbook.pdf

work page 2012

[8] [8]

Fischer,Complex analytic geometry, Lecture Notes in Math., Vol

G. Fischer,Complex analytic geometry, Lecture Notes in Math., Vol. 538, Springer- Verlag, Berlin-New York, 1976

work page 1976

[9] [9]

Forster,Lectures on Riemann surfaces, Grad

O. Forster,Lectures on Riemann surfaces, Grad. Texts in Math., 81 Springer–Verlag, New York-Berlin, 1981. 14

work page 1981

[10] [10]

S. O. Gorchinskiy, D. V. Osipov,A higher-dimensional Contou-Carr` ere symbol: local theory.(Russian) Mat. Sb. 206 (2015), no. 9, 21–98; translation in Sb. Math. 206 (2015), no. 9–10, 1191–1259

work page 2015

[11] [11]

Grauert, R

H. Grauert, R. Remmert,Theory of Stein spaces.Translated from the German by Alan Huckleberry, Grundlehren der Mathematischen Wissenschaften, 236 Springer- Verlag, Berlin-New York, 1979

work page 1979

[12] [12]

Kiehl, J.-L

R. Kiehl, J.-L. Verdier,Ein einfacher Beweis des Koh¨ arenzsatzes von Grauert.(Ger- man) Math. Ann. 195 (1971), 24–50

work page 1971

[13] [13]

Nakayama,The lower semicontinuity of the plurigenera of complex varieties, Adv

N. Nakayama,The lower semicontinuity of the plurigenera of complex varieties, Adv. Stud. Pure Math., 10, North-Holland Publishing Co., Amsterdam, 1987, 551–590

work page 1987

[14] [14]

Nakayama,Zariski-decomposition and abundance, MSJ Mem., 14 Mathematical Society of Japan, Tokyo, 2004

N. Nakayama,Zariski-decomposition and abundance, MSJ Mem., 14 Mathematical Society of Japan, Tokyo, 2004

work page 2004

[15] [15]

D. V. Osipov,Local analog of the Deligne–Riemann–Roch isomorphism for line bun- dles in relative dimension1 , Izvestiya: Mathematics, 2024, Volume 88, Issue 5, 930– 976

work page 2024

[16] [16]

D. V. Osipov,Analytic diffeomorphisms of the circle and topological Riemann–Roch theorem for circle fibrations, Tr. Mat. Inst. Steklova 330 (2025), 227–272; English translation in Proc. Steklov Inst. Math. 330 (2025); e-print arXiv: 2503.10517

work page arXiv 2025

[17] [17]

Osipov, X

D. Osipov, X. Zhu,The two-dimensional Contou-Carr` ere symbol and reciprocity laws, J. Algebraic Geom. 25 (2016), no. 4, 703–774

work page 2016

[18] [18]

Serre,Algebraic groups and class fields, Transl

J.-P. Serre,Algebraic groups and class fields, Transl. of the French edition. (English) Graduate Texts in Mathematics, 117. New York etc.: Springer-Verlag, (1988). Steklov Mathematical Institute of Russsian Academy of Sciences, 8 Gubkina St., Moscow 119333, Russia,and National Research University Higher School of Economics, Laboratory of Mirror Symme- try...

work page 1988