pith. sign in

arxiv: 2604.18956 · v1 · submitted 2026-04-21 · 🧮 math.AP · math-ph· math.MP

Lecture notes on non-elliptic Fredholm theory

Andrew Hassell , Qiuye Jia , Ethan Sussman This is my paper

Pith reviewed 2026-05-10 02:48 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.MP
keywords non-elliptic Fredholm theorymicrolocal analysispartial differential equationsFredholm operatorslecture notes
0
0 comments X

The pith

Lecture notes present non-elliptic Fredholm theory developed through microlocal analysis

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

These lecture notes record the content delivered at the Austral Winter School on Microlocal Analysis and Non-elliptic Fredholm Theory. The authors seek to make available the methods for treating operators that lack classical ellipticity yet still satisfy Fredholm conditions in suitable spaces. A sympathetic reader would care because the approach widens the class of partial differential equations for which index theory and solvability results apply. The notes focus on the techniques introduced during the lectures held in Canberra in 2025.

Core claim

The notes establish that non-elliptic Fredholm theory supplies a framework in which microlocal analysis determines when operators that fail the elliptic condition nevertheless act as Fredholm maps between appropriate function spaces.

What carries the argument

Microlocal analysis applied to non-elliptic operators to verify the Fredholm property

If this is right

  • Boundary value problems for certain non-elliptic operators admit solutions up to a finite-dimensional obstruction.
  • Index formulas become computable for this wider class of operators.
  • Hyperbolic and other non-elliptic equations fall within the scope of Fredholm solvability results.

Where Pith is reading between the lines

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

  • The framework could be tested on specific scattering problems to check consistency with known results.
  • Extensions to nonlinear equations might follow from the linear theory presented.
  • Numerical approximation schemes for such operators could be derived from the microlocal constructions.

Load-bearing premise

The lectures accurately convey the mathematical theory of non-elliptic Fredholm operators without errors in the presented arguments or definitions.

What would settle it

A concrete differential operator for which the notes predict a Fredholm index but direct computation in the function spaces shows the operator is not Fredholm would refute the central claim.

Figures

Figures reproduced from arXiv: 2604.18956 by Andrew Hassell, Ethan Sussman, Qiuye Jia.

Figure 1
Figure 1. Figure 1: γ is depicted with a solid white line, and the dotted white line shows a The geometric setup of Theorem 5.5. The bicharacteristic & · bicharacteristic with endpoint in Ellsc(B) and starting point in Ellsc(E), as required in the proof. 5.3. A simple example. In the remainder of this lecture we will present a proof in a simple model situation. Here will be working at frequency infinity, over a bounded region… view at source ↗
Figure 2
Figure 2. Figure 2: An illustration of the convex foliation. The level sets of ˜x are still convex but less convex than ∂X. The arrows show the direction of increase of ρ and ˜x. Shrinking Op if necessary, we can assume the neighborhood we are working on is entirely in a local coordinate patch. We take ˜x(z) = −ρ(z) − ϵ|z − p| 2 , z ∈ Op, (8.5) where |·| means the Euclidean norm in this coordinate patch, and this term is intr… view at source ↗
read the original abstract

These are lecture notes from the Austral Winter School on Microlocal Analysis and Non-elliptic Fredholm Theory, held at the Australian National University, Canberra, June 30 -- July 11, 2025.

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 / 0 minor

Summary. The manuscript consists of lecture notes from the Austral Winter School on Microlocal Analysis and Non-elliptic Fredholm Theory held at the Australian National University, Canberra, June 30--July 11, 2025. It functions as an expository record of the delivered lectures on the topic, with no new theorems, derivations, or scientific claims advanced.

Significance. If the notes faithfully record the school lectures, they may provide a useful expository resource for researchers and students working in microlocal analysis and the analysis of non-elliptic PDEs. The value is primarily pedagogical and archival rather than in introducing novel results or proofs.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript as an expository record of the Austral Winter School lectures and for the recommendation to accept. The notes are intended precisely as a pedagogical and archival resource with no new theorems or claims.

Circularity Check

0 steps flagged

No significant circularity: pure expository lecture notes

full rationale

The manuscript is explicitly presented as lecture notes from the Austral Winter School on Microlocal Analysis and Non-elliptic Fredholm Theory. It advances no new theorems, derivations, predictions, or first-principles results. The sole load-bearing claim is fidelity to delivered lectures, which is external to any mathematical derivation chain and carries no internal self-reference or reduction to fitted inputs. No equations, ansatzes, or uniqueness theorems are introduced in a manner that could create circularity. The derivation chain is empty by design.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are mentioned in the abstract, as the document is lecture notes rather than a research derivation.

pith-pipeline@v0.9.0 · 5318 in / 1045 out tokens · 36781 ms · 2026-05-10T02:48:05.178134+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages

  1. [1]

    Structure of the semi-classical amplitude for general scattering relations

    Ivana Alexandrova. Structure of the semi-classical amplitude for general scattering relations. Comm. Partial Differential Equations, 30(10-12):1505–1535, 2005. 123

    work page 2005

  2. [2]

    The Klein-Gordon equation on asymptotically Minkowski spacetimes: the Feynman propagator.arXiv:2507.01600, 2025

    Dean Baskin, Moritz Doll, and Jesse Gell-Redman. The Klein-Gordon equation on asymptotically Minkowski spacetimes: the Feynman propagator.arXiv:2507.01600, 2025. 116 27The ‘one-cusp’ calculus is a calculus associated to a Lie Algebra of vector fields, somewhat similar to the scattering calculus, but instead of being generated, in the notation of Lecture 7...

    work page arXiv 2025

  3. [3]

    Asymptotics of radiation fields in asymptotically Minkowski space.Amer

    Dean Baskin, Andr´ as Vasy, and Jared Wunsch. Asymptotics of radiation fields in asymptotically Minkowski space.Amer. J. Math., 137(5):1293–1364, 2015. 4

    work page 2015

  4. [4]

    Gluing semiclassical resolvent estimates via propagation of singu- larities.Int

    Kiril Datchev and Andr´ as Vasy. Gluing semiclassical resolvent estimates via propagation of singu- larities.Int. Math. Res. Not. IMRN, (23):5409–5443, 2012. 103

    work page 2012

  5. [5]

    Cambridge University Press, Cambridge,

    Mouez Dimassi and Johannes Sj¨ ostrand.Spectral asymptotics in the semi-classical limit, volume 268 ofLondon Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge,

    work page

  6. [6]

    Spectral gaps for normally hyperbolic trapping.Ann

    Semyon Dyatlov. Spectral gaps for normally hyperbolic trapping.Ann. Inst. Fourier (Grenoble), 66(1):55–82, 2016. 103

    work page 2016

  7. [7]

    Upper bound on the density of Ruelle resonances for Anosov flows.Comm

    Fr´ ed´ eric Faure and Johannes Sj¨ ostrand. Upper bound on the density of Ruelle resonances for Anosov flows.Comm. Math. Phys., 308(2):325–364, 2011. 3, 4

    work page 2011

  8. [8]

    Folland.Introduction to partial differential equations

    Gerald B. Folland.Introduction to partial differential equations. Princeton University Press, Prince- ton, NJ, second edition, 1995. 3

    work page 1995

  9. [9]

    On the absence of positive eigenvalues for one-body Schr¨ odinger operators.J

    Richard Froese, Ira Herbst, Maria Hoffmann-Ostenhof, and Thomas Hoffmann-Ostenhof. On the absence of positive eigenvalues for one-body Schr¨ odinger operators.J. Analyse Math, 41(272- 284):23, 1982. 107

    work page 1982

  10. [10]

    Scattering regularity for small data solutions of the nonlinear schr¨ odinger equation.arXiv preprint arXiv:2305.12429, 2023

    Jesse Gell-Redman, Sean Gomes, and Andrew Hassell. Scattering regularity for small data solutions of the nonlinear Schr¨ odinger equation.arXiv preprint arXiv:2305.12429, 2023. 5

    work page arXiv 2023

  11. [11]

    Propagation estimates and Fredholm anal- ysis for the time-dependent Schr¨ odinger equation.Amer

    Jesse Gell-Redman, Sean Gomes, and Andrew Hassell. Propagation estimates and Fredholm anal- ysis for the time-dependent Schr¨ odinger equation.Amer. J. Math., 147(6):1577–1652, 2025. 5, 94, 99, 118

    work page 2025

  12. [12]

    The Feynman propagator on perturbations of Minkowski space.Comm

    Jesse Gell-Redman, Nick Haber, and Andr´ as Vasy. The Feynman propagator on perturbations of Minkowski space.Comm. Math. Phys., 342(1):333–384, 2016. 4

    work page 2016

  13. [13]

    Regularity of the scattering matrix for nonlinear Helmholtz eigenfunctions.J

    Jesse Gell-Redman, Andrew Hassell, and Jacob Shapiro. Regularity of the scattering matrix for nonlinear Helmholtz eigenfunctions.J. Spectr. Theory, 13(2):395–425, 2023. 109

    work page 2023

  14. [14]

    Existence and asymp- totics of nonlinear helmholtz eigenfunctions.SIAM Journal on Mathematical Analysis, 52(6):6180– 6221, 2020

    Jesse Gell-Redman, Andrew Hassell, Jacob Shapiro, and Junyong Zhang. Existence and asymp- totics of nonlinear helmholtz eigenfunctions.SIAM Journal on Mathematical Analysis, 52(6):6180– 6221, 2020. 5, 94, 98

    work page 2020

  15. [15]

    Springer, 2013

    Brian C Hall.Quantum theory for mathematicians. Springer, 2013. 51

    work page 2013

  16. [16]

    The scattering map for the Schrodinger operator on curved spaces.arXiv preprint arXiv:2601.20225, 2026

    Andrew Hassell and Qiuye Jia. The scattering map of the Schr¨ odinger equation on curved space- times. ArXiv:2601.20225, 2026. 123

    work page arXiv 2026

  17. [17]

    Microlocal analysis of the non-relativistic limit of the Klein–Gordon equation: Asymptotics.arXiv preprint arXiv:2511.08724, 2025

    Andrew Hassell, Qiuye Jia, Ethan Sussman, and Andras Vasy. Microlocal analysis of the non- relativistic limit of the Klein–Gordon equation: Asymptotics. ArXiv:2511.08724, 2025. 5

    work page arXiv 2025

  18. [18]

    Microlocal analysis of the non-relativistic limit of the Klein–Gordon equation: Estimates.arXiv preprint arXiv:2509.09518, 2025

    Andrew Hassell, Qiuye Jia, Ethan Sussman, and Andras Vasy. Microlocal analysis of the non- relativistic limit of the Klein–Gordon equation: Estimates. ArXiv:2509.09518, 2025. 5

    work page arXiv 2025

  19. [19]

    Spectral and scattering theory for symbolic potentials of order zero.Adv

    Andrew Hassell, Richard Melrose, and Andr´ as Vasy. Spectral and scattering theory for symbolic potentials of order zero.Adv. Math., 181(1):1–87, 2004. 98

    work page 2004

  20. [20]

    Global analysis of quasilinear wave equations on asymptotically de Sitter spaces.Ann

    Peter Hintz. Global analysis of quasilinear wave equations on asymptotically de Sitter spaces.Ann. Inst. Fourier (Grenoble), 66(4):1285–1408, 2016. 4

    work page 2016

  21. [21]

    Normally hyperbolic trapping on asymptotically stationary spacetimes.Probability and Mathematical Physics, 2(1):71–126, 2021

    Peter Hintz. Normally hyperbolic trapping on asymptotically stationary spacetimes.Probability and Mathematical Physics, 2(1):71–126, 2021. 103

    work page 2021

  22. [22]

    Springer, Cham, [2025]©2025

    Peter Hintz.An introduction to microlocal analysis, volume 304 ofGraduate Texts in Mathematics. Springer, Cham, [2025]©2025. 3, 10, 43, 46, 86, 87, 90, 92

    work page 2025

  23. [23]

    Semilinear wave equations on asymptotically de Sitter, Kerr–de Sitter and Minkowski spacetimes.Anal

    Peter Hintz and Andr´ as Vasy. Semilinear wave equations on asymptotically de Sitter, Kerr–de Sitter and Minkowski spacetimes.Anal. PDE, 8(8):1807–1890, 2015. 4

    work page 2015

  24. [24]

    The global non-linear stability of the Kerr–de Sitter family of black holes.Acta Math., 220(1):1–206, 2018

    Peter Hintz and Andr´ as Vasy. The global non-linear stability of the Kerr–de Sitter family of black holes.Acta Math., 220(1):1–206, 2018. 4

    work page 2018

  25. [25]

    Springer Science & Business Media, 2003

    Lars H¨ ormander.The analysis of linear partial differential operators I: Distribution theory and Fourier analysis. Springer Science & Business Media, 2003. 6

    work page 2003

  26. [26]

    Springer Science & Business Media, 2007

    Lars H¨ ormander.The analysis of linear partial differential operators III: Pseudo-differential oper- ators. Springer Science & Business Media, 2007. 3, 10, 107

    work page 2007

  27. [27]

    2D inverse problem with a foliation condition.arXiv preprint arXiv:2009.01102, 2020

    Qiuye Jia. 2D inverse problem with a foliation condition.arXiv preprint arXiv:2009.01102, 2020. 54 LECTURE NOTES ON NON-ELLIPTIC FREDHOLM THEORY 125

    work page arXiv 2009

  28. [28]

    Propagation of singularity with normally hyperbolic trapping.Annales Henri Poincar´ e, to appear

    Qiuye Jia. Propagation of singularity with normally hyperbolic trapping.Annales Henri Poincar´ e, to appear. 103

    work page

  29. [29]

    The tensorial X-ray transform on asymptotically conic spaces.Inverse Probl

    Qiuye Jia and Andr´ as Vasy. The tensorial X-ray transform on asymptotically conic spaces.Inverse Probl. Imaging, 18(4):908–942, 2024. 54

    work page 2024

  30. [30]

    Uniform decay estimates and the lorentz invariance of the classical wave equa- tion.Communications on pure and applied mathematics, 38(3):321–332, 1985

    Sergiu Klainerman. Uniform decay estimates and the lorentz invariance of the classical wave equa- tion.Communications on pure and applied mathematics, 38(3):321–332, 1985. 98

    work page 1985

  31. [31]

    Scattering metrics and geodesic flow at infinity.Inventiones Mathematicae, 124(1):389–436, 1996

    Richard Melrose and Maciej Zworski. Scattering metrics and geodesic flow at infinity.Inventiones Mathematicae, 124(1):389–436, 1996. 10, 110, 123

    work page 1996

  32. [32]

    Melrose.The Atiyah-Patodi-Singer index theorem, volume 4 ofResearch Notes in Math- ematics

    Richard B. Melrose.The Atiyah-Patodi-Singer index theorem, volume 4 ofResearch Notes in Math- ematics. A K Peters, Ltd., Wellesley, MA, 1993. 45

    work page 1993

  33. [33]

    Spectral and scattering theory for the laplacian on asymptotically euclidian spaces

    Richard B Melrose. Spectral and scattering theory for the laplacian on asymptotically euclidian spaces. InSpectral and scattering theory, pages 85–130. CRC Press, 1994. 43, 45, 84, 98

    work page 1994

  34. [34]

    Richard B. Melrose. Spectral and scattering theory for the Laplacian on asymptotically Euclidian spaces. InSpectral and scattering theory (Sanda, 1992), volume 161 ofLecture Notes in Pure and Appl. Math., pages 85–130. Dekker, New York, 1994. 52, 53, 84, 94, 100, 105

    work page 1992

  35. [35]

    Melrose.Geometric scattering theory

    Richard B. Melrose.Geometric scattering theory. Stanford Lectures. Cambridge University Press, Cambridge, 1995. 105

    work page 1995

  36. [36]

    E. Mourre. Absence of singular continuous spectrum for certain selfadjoint operators.Comm. Math. Phys., 78(3):391–408, 1980/81. 84

    work page 1980

  37. [37]

    Michael Reed and Barry Simon.Methods of modern mathematical physics. III. Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1979. Scattering theory. 105

    work page 1979

  38. [38]

    Stability estimates for the X-ray transform of tensor fields and boundary rigidity.Duke Mathematical Journal, 123(3):445–467, 2004

    Plamen Stefanov and Gunther Uhlmann. Stability estimates for the X-ray transform of tensor fields and boundary rigidity.Duke Mathematical Journal, 123(3):445–467, 2004. 58, 60

    work page 2004

  39. [39]

    Local and global boundary rigidity and the geodesic X-ray transform in the normal gauge.Annals of Mathematics, 194(1):1–95, 2021

    Plamen Stefanov, Gunther Uhlmann, and Andr´ as Vasy. Local and global boundary rigidity and the geodesic X-ray transform in the normal gauge.Annals of Mathematics, 194(1):1–95, 2021. 54

    work page 2021

  40. [40]

    Stein.Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, volume 43 ofPrinceton Mathematical Series

    Elias M. Stein.Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, volume 43 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ, 1993. With the assistance of Timothy S. Murphy, Monographs in Harmonic Analysis, III. 66

    work page 1993

  41. [41]

    Taylor.Pseudodifferential operators, volume No

    Michael E. Taylor.Pseudodifferential operators, volume No. 34 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ, 1981. 3

    work page 1981

  42. [42]

    Taylor.Partial differential equations II

    Michael E. Taylor.Partial differential equations II. Qualitative studies of linear equations, volume 116 ofApplied Mathematical Sciences. Springer, Cham, third edition, [2023]©2023. 3

    work page 2023

  43. [43]

    Fran¸ cois Tr` eves.Introduction to pseudodifferential and Fourier integral operators. Vol. 1. The University Series in Mathematics. Plenum Press, New York-London, 1980. Pseudodifferential op- erators. 3

    work page 1980

  44. [44]

    The inverse problem for the local geodesic ray transform

    Gunther Uhlmann and Andr´ as Vasy. The inverse problem for the local geodesic ray transform. Inventiones mathematicae, 205(1):83–120, 2016. 54, 56, 58, 59, 60

    work page 2016

  45. [45]

    Journey to the center of the earth.arXiv preprint arXiv:1604.00630, 2016

    Gunther Uhlmann and Hanming Zhou. Journey to the center of the earth.arXiv preprint arXiv:1604.00630, 2016. 54

    work page arXiv 2016

  46. [46]

    Microlocal analysis of asymptotically hyperbolic and Kerr-de Sitter spaces (with an appendix by Semyon Dyatlov).Invent

    Andr´ as Vasy. Microlocal analysis of asymptotically hyperbolic and Kerr-de Sitter spaces (with an appendix by Semyon Dyatlov).Invent. Math., 194(2):381–513, 2013. 4, 103

    work page 2013

  47. [47]

    A minicourse on microlocal analysis for wave propagation

    Andr´ as Vasy. A minicourse on microlocal analysis for wave propagation. InAsymptotic analysis in general relativity, volume 443 ofLondon Math. Soc. Lecture Note Ser., pages 219–374. Cambridge Univ. Press, Cambridge, 2018. 4, 10, 11, 84, 87, 92, 104

    work page 2018

  48. [48]

    A semiclassical approach to geometric X-ray transforms in the presence of convexity

    Andr´ as Vasy. A semiclassical approach to geometric X-ray transforms in the presence of convexity. Commun. Am. Math. Soc., 4:97–116, 2024. 54, 59, 62

    work page 2024

  49. [49]

    The X-ray transform on asymptotically conic spaces.Pure Appl

    Andr´ as Vasy and Evangelie Zachos. The X-ray transform on asymptotically conic spaces.Pure Appl. Anal., 6(3):693–730, 2024. 54, 123

    work page 2024

  50. [50]

    American Mathematical Society, 2022

    Maciej Zworski.Semiclassical analysis, volume 138. American Mathematical Society, 2022. 3, 10

    work page 2022