pith. sign in

arxiv: 1907.05578 · v1 · pith:GQWIENQGnew · submitted 2019-07-12 · 🧮 math.DG · math.OA

Fibered Cusp b-Pseudodifferential Operators and its Applications

Jun Watanabe This is my paper

Pith reviewed 2026-05-24 22:42 UTC · model grok-4.3

classification 🧮 math.DG math.OA
keywords fibered cusp operatorsb-pseudodifferential calculusmanifolds with cornersblowing uprelative index theoremZ/k-manifoldsFredholm operators
0
0 comments X

The pith

Blowing up a manifold with two boundary hypersurfaces defines a pseudodifferential calculus that proves a relative index theorem for non-closed Z/k-manifolds.

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

The paper defines a pseudodifferential calculus on compact manifolds with corners that possess exactly two embedded boundary hypersurfaces, one equipped with a fiber bundle structure. The construction proceeds by blowing up the manifold to produce an operator algebra that merges the Φ-calculus and the small b-calculus. Fredholm properties of operators in this algebra are characterized, and a relative index theorem is established for them. The same theorem is then applied to obtain an index theorem on non-closed Z/k-manifolds.

Core claim

By using the method of blowing up, a pseudodifferential calculus Ψ^*_{Φ,b}(X) is defined that generalizes the Φ-calculus of Mazzeo and Melrose and the small b-calculus of Melrose; the Fredholm condition for operators in this calculus is discussed, a relative index theorem is proved, and this yields an index theorem for non-closed Z/k-manifolds.

What carries the argument

The blow-up construction that produces the space supporting the fibered cusp b-pseudodifferential operators Ψ^*_{Φ,b}(X).

If this is right

  • Operators belonging to the calculus satisfy a concrete Fredholm criterion.
  • A relative index theorem holds inside the calculus.
  • The relative index theorem produces an index formula for non-closed Z/k-manifolds.

Where Pith is reading between the lines

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

  • The same blow-up technique could be tested on manifolds whose boundary data differ from the two-hypersurface fibered case.
  • The relative index result might supply index formulas for other singular geometric settings that admit a similar blow-up resolution.

Load-bearing premise

The manifold must be compact with exactly two embedded boundary hypersurfaces and a fiber bundle on one of them.

What would settle it

An explicit operator in the new calculus whose Fredholm index on a concrete non-closed Z/k-manifold fails to match the value predicted by the relative index theorem.

read the original abstract

Let $X$ be a smooth compact manifold with corners which has two embedded boundary hypersurfaces $\partial_0 X , \partial_1 X$, and a fiber bundle $\phi:\partial_0 X \to Y$ is given. By using the method of blowing up, we define a pseudodifferential culculus $\Psi ^* _{\Phi,b} (X)$ generalizing the $\Phi$-calculus of Mazzeo and Melrose and the (small) $b$-calculus of Melrose. We discuss the Fredholm condition of such operators and prove the relative index theorem. And as its application, the index theorem of "non-closed" $\mathbb{Z}/k$ - manifolds is proved.

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.

Referee Report

0 major / 3 minor

Summary. The paper constructs a new pseudodifferential calculus Ψ^*_{Φ,b}(X) on a compact manifold with corners X possessing exactly two boundary hypersurfaces ∂0X and ∂1X together with a fibration φ:∂0X→Y. The construction proceeds by iterated blow-ups, generalizing the Mazzeo–Melrose Φ-calculus and Melrose’s small b-calculus. The authors establish symbol and normal-operator maps, prove closure under composition, derive Fredholm criteria, prove a relative index theorem, and apply the result to obtain an index theorem for non-closed ℤ/k-manifolds.

Significance. If the stated constructions and theorems hold, the work supplies a unified operator calculus for manifolds whose boundary geometry combines a fibered cusp structure with a b-structure. The relative index theorem is obtained by comparing the two boundary symbols in the standard manner of the source calculi, and the application to ℤ/k-manifolds furnishes a concrete geometric consequence. The paper thereby extends the range of index-theoretic tools available for singular or stratified spaces while remaining within the established framework of blow-up constructions.

minor comments (3)
  1. [Abstract] Abstract: the word 'culculus' is a typographical error and should read 'calculus'.
  2. [§2–3] The precise definition of the blown-up space and the resulting symbol maps (presumably in §2 or §3) should include an explicit statement of the orders and the filtration by which the calculus is graded; this is needed to make the composition theorem fully legible without consulting the cited references.
  3. [Application section] The application to non-closed ℤ/k-manifolds (final section) would benefit from a short paragraph recalling the precise geometric model of such a manifold and how the fibered-cusp b-structure arises on it.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment of our manuscript, as well as the recommendation of minor revision. No major comments were listed in the report, so we have no specific points requiring response or revision.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines a new operator class Ψ^*_{Φ,b}(X) via iterated blow-ups on a manifold with corners having exactly two hypersurfaces and a fibration on one of them, then verifies closure under composition, ellipticity, Fredholm criteria, and a relative index theorem by direct reference to the symbol and normal operator maps. These steps follow the standard pattern of extending the cited Mazzeo–Melrose Φ-calculus and Melrose b-calculus without any equation or theorem reducing to a fitted parameter, self-referential definition, or load-bearing self-citation chain. The index result for non-closed Z/k-manifolds is obtained as a direct consequence of the relative index on the blown-up space, with all assumptions stated geometrically and no hidden equivalence to the input data.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the geometric assumptions stated in the abstract and the blow-up construction; no free parameters, invented entities, or additional axioms are identifiable from the abstract alone.

axioms (1)
  • domain assumption X is a smooth compact manifold with corners with two embedded boundary hypersurfaces ∂0X, ∂1X and a fiber bundle φ:∂0X → Y.
    Explicitly stated as the setup required for the definition of Ψ^*_{Φ,b}(X).

pith-pipeline@v0.9.0 · 5640 in / 1294 out tokens · 38914 ms · 2026-05-24T22:42:03.121812+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

20 extracted references · 20 canonical work pages · 1 internal anchor

  1. [1]

    Ammann, R

    B. Ammann, R. Lauter, and V. Nistor. On the geometry of Riemannian manifolds with a Lie structure at infinity . Int. J. Math. Math. Sci., 2004(1- 4):161-193, 2004

    work page 2004

  2. [2]

    Ammann, R

    B. Ammann, R. Lauter, and V. Nistor. Pseudodifferntial operators on manifolds with a Lie structu re at infinity . Ann. of Math., 165(2):717-747, 2007

    work page 2007

  3. [3]

    M.F.Atiyah and I.M.Singer, The index of elliptic operators. I , Ann. of Math. (2) 87, 1968 454-530. 27,28

    work page 1968

  4. [4]

    N. A. Baas. On bordism theory of manifolds with singularities . Math. Scand. 33: 279-302, 1974

    work page 1974

  5. [5]

    C.Debord, J.Lescure and F.Rochon, Pseudodifferential Operators on Manifolds with Fibered Cor ners, Annals de L’institut Fourier Tome65, no4 (2015), p.1799-1880

    work page 2015

  6. [6]

    Blowup constructions for Lie groupoids and a Boutet de Monvel type calculus

    C. Debord and G. Skandalis. Blowup constructions for Lie groupoids and a Boutet de Monve l type calculus. arXiv:1705.09588

    work page internal anchor Pith review Pith/arXiv arXiv

  7. [7]

    D.S.Freed and R.B.Melrose, A mod k index theorem, Invent. Math. 107 (1992) 283-299

    work page 1992

  8. [8]

    Sbornik 84 (126) (1971), 607-629 (Russian); English

    Gohberg, I.C., Sigal E.I.: An operator generalization of the logarithmic residue theo rem and the theorem of Rouch , Mat. Sbornik 84 (126) (1971), 607-629 (Russian); English. Tran sl. Math. USSR Sbornik 13 (1971), 603-625

    work page 1971

  9. [9]

    Lauter, B

    R. Lauter, B. Monthubert and V. Nistor: Spectral Invariance for Certain Algebras of Pseudodiffer- ential Operators, J. Inst. Math. Jussieu 4 (2005), No.3, 405-442

    work page 2005

  10. [10]

    Lauter, B

    R. Lauter, B. Monthubert, and V. Nistor. Pseudodifferential analysis on continuous family groupoid s. Doc. Math., 5:625-655 (electronic), 2000

    work page 2000

  11. [11]

    R.Lauter and S.Moroianu, The Index of Cusp Operators on Manifolds with Corners , Annals of Global Analysis and Geometry 21 , 31-49, 2002

    work page 2002

  12. [12]

    P.Loya, The Index Of b-Pseudodifferential operators on manifolds with corners , Thesis, MIT (1998)

    work page 1998

  13. [13]

    R.Mazzeo and R.B Melrose Pseudodifferential opearators on manifolds with fibered bou ndaries, Asian J. Math. 2 (1999), no. 4, p.833-866

    work page 1999

  14. [14]

    R.B.Melrose, The Atiyah Patodi Singer Index Theorem , A. K. Peters, Wellesley, Massachusetts, 1993

    work page 1993

  15. [15]

    R.B.Melrose, Differential analysis on manifolds with corners , In preparation

    work page

  16. [16]

    R.B.Melrose, Geometric Scattering Theory , Cambridge University Press, Cambridge, 1995

    work page 1995

  17. [17]

    R. B. Melrose and V. Nistor, K-Theory of C*-algebras of b-pseudodifferential operators, Geom. Funct. Anal. 8 (1998), 99-122

    work page 1998

  18. [18]

    Monthubert, Pseudodifferential calculus on manifolds with corners and g roupoids, Proc

    B. Monthubert, Pseudodifferential calculus on manifolds with corners and g roupoids, Proc. Amer. Math. Soc. 127 (1999), no. 10, 2871-2881. 14

    work page 1999

  19. [19]

    Nistor, A

    V. Nistor, A. Weinstein, and P. Xu, Pseudodifferential operators on differential groupoids , Pacific J. Math. 189 (1999), 117-152

    work page 1999

  20. [20]

    (2015) 15

    J.Watanabe, On the equivariant expansion of the mod k index, University of Tokyo, Master thesis. (2015) 15

    work page 2015