This is a reference volume on polyfold and Fredholm theory.
The paper proves homotopy equivalences for spaces of unbounded Fredholm operators.
problem Spaces of unbounded Fredholm operators and their properties.
method Analyzing the spaces and proving homotopy equivalences.
result Natural maps between four spaces of unbounded Fredholm operators are homotopy equivalences.
The paper calculates indices for families of Fredholm operators and their extensions.
problem Calculating indices for families of Fredholm operators and their extensions.
method Passing from a Fredholm operator to its graph, deforming the horizontal subspace.
result Index formulas for families of Fredholm realizations and self-adjoint extensions.
We describe a (nonlinear) Fredholm theory for a new class of ambient spaces, as well as for a certain type of categories. The theory is illustrated by an application to the category of stable maps.
This is the first paper in a series introducing a generalized Fredholm theory in a new class of smooth spaces called polyfolds. The theory will be illustrated in upcoming papers by applications to Floer Theory, Gromov-Witten Theory and Symplectic Field Theory.
In this paper we develop an integration theory for zero sets of polyfold Fredholm sections. The results are needed in the application of the polyfold theory. We use it for example in the construction of symplectic field theory.
We find G2-manifolds with specific asymptotic properties.
problem Existence and structure of G2-manifolds with ALC asymptotics.
method Robust Fredholm theory for ALC spaces, proving existence and rigidity results.
result Existence of a G2-analogue of the Atiyah-Hitchin metric and good moduli theory for ALC G2-holonomy metrics.
This is the revised version of the second paper in a series introducing a generalized Fredholm theory in a new class of smooth spaces called polyfolds. The theory will be illustrated in upcoming papers by applications to Floer Theory, Gromov-Witten Theory and Symplectic Field Theory. Some proofs have been improved and …
The spectral flow theorem is applied to operators on finite intervals.
problem Operators on finite intervals without boundary conditions are not Fredholm.
method Interpolation theory is used to define boundary conditions making the operators Fredholm. The spectral flow theorem is applied to find the Fredholm index.
result The Fredholm index is given by the spectral flow of the operator path.
The main topic is the development of a Fredholm theory in a new class of spaces called M-polyfolds. In the subsequent Volume II the theory will be generalized to an even larger class of spaces called polyfolds, which can also incorporate local symmetries. The whole package provides a functional analytic framework to de…
The abstract extends deformation and tangent groupoid constructions to infinite-dimensional manifolds.
problem Deformation and tangent groupoid constructions for infinite-dimensional manifolds.
method Extending finite-dimensional constructions to Banach and Fredholm manifolds.
result Induced generalized filtrations of tangent bundles and groupoids.
This article provides a version of scale calculus geared towards a notion of (nonlinear) Fredholm maps between certain types of Frechet spaces, retaining as many as possible of the properties Fredholm maps between Banach spaces enjoy, and the existence of a constant rank theorem for such maps. It does so by extending t…
The study proves curvature rigidity for convex polytopes.
problem Proving curvature rigidity for convex polytopes.
method Using Fredholm theory for Dirac operators and a theorem of Fefferman and Phong.
result Scalar curvature rigidity theorem for convex polytopes proved.
We explain the topology of the space, so called, Fredholm-Lagrangian-Grassmannain and the quantity ``Maslov index'' for paths in this space based on the standard theory of Functional Analysis. Our standing point is to define the Maslov index for arbitrary paths in terms of the fundamental spectral property of the Fredh…
New methods show quasinormal modes can be defined using various stationary Killing vectors.
problem Proving asymptotic expansions for wave equations in Kerr-de Sitter spacetimes.
method New definition of quasinormal modes using different stationary Killing vectors.
result Horizon Killing vector fields work for analysis, simplifying the problem.
Proves rigidity in product spaces using index theory.
problem Scalar curvature rigidity in product spaces.
method Fredholm family index theorem.
result Recover corresponding results of Clifford-linear index theory.
The paper solves obstructions to the Fredholm perturbation property for manifolds with corners.
problem Obstructions to the Fredholm perturbation property for compact connected manifolds with corners.
method Introduces a topological space whose singular cohomology is canonically isomorphic to conormal homology and whose K-theory is naturally isomorphic to the K-theory groups of the algebra K_b(X).
result Provides a rational isomorphism between K-theory groups and periodic conormal homology groups, solving obstructions to the Fredholm perturbation property.
Study of mixed equation combining gauge theory and symplectic geometry.
problem Regularity and compactness of solutions to the mixed equation.
method Combining Uhlenbeck and Gormov compactness theorems.
result Moduli spaces of solutions to the mixed equation satisfy compactness properties.
Characterizes Fredholm conditions for group-invariant pseudodifferential operators.
problem Understanding Fredholm conditions for operators on quotient spaces.
method Study of symbol C∗-algebra and topology of primitive ideal spectrum. result Explicit characterization of Fredholm operators in terms of principal symbol and group action.
Researchers prove Fredholm property for Dirac operator on specific spacetimes.
problem Proving Fredholm property for Dirac operator on asymptotically static spacetimes.
method Combining time-dependent scattering theory and Egorov's theorem for pseudo-differential hyperbolic systems.
result The Dirac operator is Fredholm under Atiyah-Patodi-Singer boundary conditions.
Study Dirac operators on incomplete cusp edge spaces, proving self-adjointness and Fredholm properties.
problem Analyzing Dirac operators on complex geometric spaces.
method Construct heat kernel, prove self-adjointness and Fredholm properties, establish index formula.
result Proved Dirac operators are essentially self-adjoint and Fredholm.
Develops Hodge theory on ALG∗ manifolds, proving existence and vanishing results.
problem Existence and vanishing of certain cohomology groups on ALG∗ manifolds. method Fredholm Theory for Hodge Laplacian in weighted spaces on ALG∗ manifolds. result Non-existence of ALG∗ manifolds with non-negative Ricci curvature at infinity. We consider two calculi of pseudodifferential operators on manifolds with fibered boundary: Mazzeo's edge calculus, which has as local model the operators associated to products of closed manifolds with asymptotically hyperbolic spaces, and the phi calculus of Mazzeo and the second author, which is similarly modeled on…
New resonance theory for Anosov flows connects spectral properties to mixing measures.
problem Defining and analyzing Ruelle-Taylor resonances for Anosov actions.
method Combining microlocal methods and J. Taylor's cohomological theory, defining Ruelle-Taylor resonances and proving Fredholm theory.
result Ruelle-Taylor resonances form a discrete subset of Cκ with λ=0 being a leading resonance. New Morse theory techniques glue nontransverse flowlines.
problem Gluing nontransverse gradient flowlines in Morse theory.
method Adapted OBG techniques from Hutchings and Taubes to Morse theory.
result Explicit criteria for gluing certain flowlines.
Study hypoelliptic operators on Carnot manifolds, extending index theory results.
problem Index theory of hypoelliptic operators on Carnot manifolds.
method Operator K-theory and geometric K-homology.
result Compute Fredholm index of hypoelliptic operators on Carnot manifolds.
Researchers create a Fredholm module on fractal shapes like the Cantor set.
problem Constructing Fredholm modules on complex fractal structures.
method Combining combinatorial techniques with higher-dimensional analogues.
result Calculated Dixmier trace of operators induced by the module.
The paper studies elliptic operators on manifolds with boundary.
problem Characterizing boundary conditions for elliptic operators on manifolds.
method Using Calderón projectors and mixed order Sobolev spaces, the paper describes the space of boundary values and characterizes Fredholm and regular realisations.
result Characterization of boundary conditions for elliptic operators leading to Fredholm and regular realisations.
Classifies non-linear Fredholm maps linking to stable homotopy groups of spheres.
problem Classifying non-linear proper Fredholm maps between Hilbert spaces.
method Using stable homotopy groups of spheres to classify maps up to proper homotopy.
result Determines the non-trivial kernel of the map from stable homotopy groups to non-linear proper Fredholm maps.
Study of elliptic boundary value problems on non-compact manifolds.
problem Analyzing elliptic differential operators on manifolds with non-compact boundaries.
method Regularity theory and trace theorems for sections in the maximal domain under various assumptions.
result Systematic study of local and nonlocal boundary conditions, including the Atiyah-Patodi-Singer condition.
This is an expository article. It discusses an approach to hypoelliptic Fredholm index theory based on noncommutative methods (groupoids, C*-algebras, K-theory). The paper starts with an explicit index theorem for scalar second order differential operators on 3-manifolds that are Fredholm but not elliptic. This low-bro…
Notes on continuity of discrete-spectrum Fredholm operators.
problem Continuity properties of discrete-spectrum families of Fredholm operators.
method Relates recent work on discrete-spectrum families to classical continuity properties.
result Establishes connections between new and classical concepts.
This is the first paper in a series which proposes and develops the polyfold Fredholm structure--Kuranishi structure correspondence, identifying these two abstract perturbative structures which are indispensable for constructing and understanding symplectic invariants in the most general settings. In this paper, I pres…
We show that elliptic complexes of (pseudo)differential operators on smooth compact manifolds with boundary can always be complemented to a Fredholm problem by boundary conditions involving global pseudodifferential projections on the boundary (similarly as the spectral boundary conditions of Atiyah, Patodi and Singer …
Study the geometry of hydrodynamics equations using diffeomorphism groups.
problem Investigate the Euler equations and surface quasi-geostrophic equation family.
method Realize equations as geodesic equations on diffeomorphism groups and analyze Riemannian exponential maps.
result Show precise conditions for non-linear Fredholm maps of index 0.
Generalizes Novikov conjecture results to infinite-dimensional bundles.
problem Proving special cases of the Strong Novikov Conjecture.
method Introduces asymptotically flat Fredholm bundles and proves index theorem.
result Relates index of asymptotic Fredholm bundle to asymptotic index of representation.
New Fredholm criteria for pseudodifferential operators on manifolds.
problem Characterizing the Fredholm property of G-pseudodifferential operators. method General Simonenko principle applied to G-pseudodifferential operators on Sobolev spaces of sections of vector bundles. result Derivation of novel Fredholm criteria and further characterization for finite groups.
For every connected manifold with corners we use a homology theory called conormal homology, defined in terms of faces and incidences and whose cycles correspond geometrically to corner's cycles. Its Euler characteristic (over the rationals, dimension of the total even space minus the dimension of the total odd space),…
Two proofs of Melrose-Piazza theorem on spectral sections.
problem Analytic index of families of Fredholm operators.
method Two independent proofs of the theorem, generalizing and clarifying the analytic index definition.
result Generalization and clarification of the Melrose-Piazza theorem on spectral sections.
Novel construction of Bauer--Furuta invariant using sheaves of spectra.
problem Constructing the Bauer--Furuta invariant without finite-dimensional approximations.
method Using sheaves of spectra and Borel--Moore homology, avoiding approximations.
result Defines the shriek functors and Thom spectra for index calculations.
Study shows Fredholmness of a Lorentzian Dirac operator on spacetimes.
problem Analyzing Fredholmness of a Lorentzian Dirac operator on spacetimes.
method Investigates Fredholmness of a (spatial) Γ-invariant Lorentzian Dirac operator under (anti) Atiyah-Patodi-Singer boundary conditions.
result Demonstrates Fredholmness of the operator in the von Neumann sense.
New rigidity theorems for spin fill-ins with non-negative scalar curvature.
problem Mean curvature rigidity for spin fill-ins with non-negative scalar curvature.
method Two spinorial techniques: extending boundary spinors and comparison using index theory.
result New Witten-type integral inequality for the mass of asymptotically Schwarzschild manifolds.
Let $\Y$ be a smooth connected manifold, $Σ\subset\C$ an open set and $(σ,y)\to\scrP_y(σ)$ a family of unbounded Fredholm operators D⊂H1→H2 of index 0 depending smoothly on $(y,σ)\in \Y\times Σ$ and holomorphically on σ. We show how to associate to $\scrP$, under mild hypotheses, a smooth vector bundle …
Study shows solutions to certain equations form smooth manifolds.
problem Understanding moduli spaces of solutions to non-linear elliptic equations.
method Analyzes moduli spaces as derived log smooth manifolds.
result Moduli spaces of solutions are derived log smooth manifolds.
We study the zeta determinant of global boundary problems of APS-type through a general theory for relative spectral invariants. In particular, we compute the zeta determinant for Dirac-Laplacian boundary problems in terms of a scattering Fredholm determinant over the boundary.
Derives Fredholm criteria for isotypical components from a Simonenko principle.
problem Finding Fredholm conditions for isotypical components of invariant pseudodifferential operators.
method General Simonenko's local principle and equivariant local principle for restriction to isotypical components.
result Full proof of equivariant local principle and extension of results.
We introduce the notion of a {\vartheta}-summable Fredholm module over a locally convex dg algebra Ω and construct its Chern character as a cocycle on the entire cyclic complex of Ω, extending the construction of Jaffe, Lesniewski and Osterwalder to a differential graded setting. Using this Chern character, we prove an…
Complete, conformally flat metrics of constant positive scalar curvature on the complement of k points in the n-sphere, k≥2, n≥3, were constructed by R\. Schoen [S2]. We consider the problem of determining the moduli space of all such metrics. All such metrics are asymptotically periodic, and we develop…