Let X be a C-infinity manifold. We construct a microlocalization functor μX from the derived category of bounded complexes of ind-sheaves on X to the one on the cotangent bundle of X. This functor generalizes the classical theory of microlocalization.
We prove Arnol'd's three cusps conjecture about the front of Legendrian curves in the projectivized cotangent bundle of the 2-sphere. We use the microlocal theory of sheaves of Kashiwara and Schapira and study the derived category of sheaves on the 2-sphere with a given smooth Lagrangian microsupport.
We study an A∞ category associated to Legendrian links in R3 whose objects are n-dimensional representations of the Chekanov-Eliashberg differential graded algebra of the link. This representation category generalizes the positive augmentation category and we conjecture that it is equivalent to a …
The paper connects Legendrian links to cluster algebras via microlocal methods.
problem Understanding the relationship between Legendrian links and cluster algebras.
method Microlocal parallel transport of sheaf quantizations of Lagrangian fillings.
result Existence of quasi-cluster A-structures and cluster Poisson structures. The study estimates Reeb chords using sheaf theory and persistence.
problem Estimating the number of Reeb chords in geometric settings.
method Developed a duality exact triangle and used persistence structure of microlocal sheaves.
result Established lower bounds on the number of Reeb chords under specific conditions.
This paper is essentially made of the three preprints arXiv:1212.5818, arXiv:1311.0187, arXiv:1603.07876 gathered in a single text, with simplified proofs. We recall several results of the microlocal theory of sheaves of Kashiwara-Schapira and apply them to study the symplectic geometry of cotangent bundles. We explain…
Study Legendrian surfaces using N-graphs and flag moduli.
problem Characterize and apply Legendrian surfaces in contact geometry.
method Develop diagrammatic calculus and algebraic-geometric characterization.
result Show applications in Lagrangian concordance, exact fillings, and rational point counts.
Proves h-principle for loose Legendrian embeddings in contact topology.
problem Existence of non-loose Legendrian embeddings.
method h-principle from microlocal sheaf theory.
result Existence of non-loose Legendrian embeddings.
Study exact Lagrangian cobordisms in cotangent bundles, proving bounds on sheaf interleaving distance and shadow distance.
problem Understanding Lagrangian cobordisms and their properties in cotangent bundles.
method Use microlocal theory of sheaves, sheaf quantization, and cone decompositions.
result Interleaving distance of sheaves is bounded by the shadow distance of the cobordism.
On a Weinstein manifold, we define a constructible co/sheaf of categories on the skeleton. The construction works with arbitrary coefficients, and depends only on the homotopy class of a section of the Lagrangian Grassmannian of the stable symplectic normal bundle. The definition is as follows. Take any, possibly high …
The Gromov-Eliashberg theorem says that the group of symplectomorphisms of a symplectic manifold is C^0-closed in the group of diffeomorphisms. This can be translated into a statement about the Lagrangian submanifolds which are graphs of symplectomorphisms. It is also known that such Lagrangian submanifolds are locally…
Functor connects sheaves on Lagrangian cobordisms, proving equivalence and action decreasing properties.
problem Understanding sheaf equivalences and actions on Lagrangian cobordisms.
method Analyzing sheaf quantizations and Legendrian lifts, proving functorial properties.
result Lagrangian cobordism functor is action decreasing and Morita equivalent to sheaf categories of Legendrians.
New dg-algebras link graph colorings to sheaves.
problem Linking graph colorings to sheaves for Legendrian surfaces.
method Generalized Casals-Murphy dg-algebra to non-commutative coefficients and computed Legendrian contact dg-algebra.
result Rank r representations of dg-algebras correspond to colorings of faces in Grassmannian.
The paper explains how microlocal analysis solves geometric inverse problems.
problem Recovering geometric information from boundary measurements.
method Microlocal analysis applied to three inverse problems.
result Microlocal techniques solve specific inverse problems in Riemannian geometry.
This is the third and last in our series of papers concerning rough solutions of the Einstein vacuum equations expressed relative to wave coordinates. In this paper we prove an important result concerning Ricci defects of microlocalized solutions, stated and used in the proof of the crucial Asymptotics Theorem in our s…
We study continuous maps between differential manifolds from a microlocal point of view. In particular, we characterize the Lipschitz continuity of these maps in terms of the microsupport of the constant sheaf on their graph. Furthermore, we give lower and upper bounds on the microsupport of the graph of a continuous m…
Unified geometric perspectives on PDEs, torsion invariants, and moduli theory.
problem Index theory and analytic torsion of nonlinear PDEs.
method Microlocal sheaf theory, factorization algebras, Spencer hypercohomology.
result Unified geometric perspectives on PDEs, torsion invariants, and moduli theory.
The paper explores global index formulas for one-dimensional holomorphic foliations.
problem Global index formulas for one-dimensional holomorphic foliations.
method Microlocal point of view and short proofs for existing index formulas.
result Generalizations of existing index formulas.
Study of Anosov flows using microlocal analysis for ergodicity and mixing properties.
problem Ergodicity and mixing properties of Anosov flows and their isometric extensions.
method Microlocal analysis of Pollicott-Ruelle resonances to study isometric extensions of Anosov flows.
result Ergodicity of frame flow on negatively-curved Riemannian manifolds under specific curvature assumptions.
We prove the existence of Lagrangian fillings for Dn-type Legendrian links.
problem Exact Lagrangian fillings of Legendrian links of Dn-type. method Legendrian weave calculus and construction of 1-cycles.
result Existence of a Lagrangian filling represented by a weave.
Study non-integer power-law potentials for Schrödinger operators using Lie-Rinehart algebras.
problem Analyzing Schrödinger operators with non-integer power-law potentials.
method Using Lie-Rinehart algebras and microlocal analysis.
result Microlocal analysis can be applied to Schrödinger operators with non-integer power-law potentials.
Injectivity of X-ray transform proven for non-smooth metrics.
problem Injectivity of X-ray transform on non-smooth metrics.
method Microlocal analysis of the normal operator, establishing ellipticity and smoothing properties.
result Injectivity of X-ray transform on L2 for metrics with finitely differentiable tensor. Study analyzes Lévy process structure on manifolds with conjugate points.
problem Microlocal analysis of Lévy processes on manifolds with conjugate points.
method Microlocal analysis, pseudodifferential operators, Fourier integral operators.
result Generator can be expressed as sum of pseudodifferential and Fourier integral operators.
We obtain some improved essentially sharp Kakeya-Nikodym estimates for eigenfunctions in two-dimensions. We obtain these by proving stronger related microlocal estimates involving a natural decomposition of phase space that is adapted to the geodesic flow.
Contact squeezing prevented in certain prequantized balls via generating functions.
problem Preventing contact squeezing in prequantized balls of different radii.
method Equivariant generating function homology with finite cyclic group action.
result Contact squeezing not possible in specified prequantized balls.
Study co-Higgs sheaves on toric varieties, finding explicit examples.
problem Characterizing and understanding co-Higgs sheaves on toric varieties.
method Characterization and explicit computation of examples.
result Explicit examples of co-Higgs sheaves on toric varieties computed.
The paper studies equivariant sheaves on toric varieties and their quotients.
problem Understanding stability of sheaves on toric GIT quotients.
method Defining equivariant sheaves and showing stability preservation under certain conditions.
result Stability of sheaves on toric GIT quotients is related to combinatorial criteria.
We review the notion of Gieseker stability for torsion-free Higgs sheaves. This notion is a natural generalization of the classical notion of Gieseker stability for torsion-free coherent sheaves. We prove some basic properties that are similar to the classical ones for torsion-free coherent sheaves over projective alge…
Study sheaves of Lie-Rinehart algebras and their morphisms, generalizing Lie algebroid concepts.
problem Understanding sheaves of Lie-Rinehart algebras and their morphisms.
method Introduced morphisms and comorphisms, proved factorization theorems, and defined higher homotopy groups and groupoids.
result Sheaves of Lie-Rinehart algebras over smooth manifolds induce partitions into orbits of the fundamental groupoid.
Characterizes tangent cones for specific connections on reflexive sheaves.
problem Analyzing tangent cones of admissible Hermitian-Yang-Mills connections over reflexive sheaves.
method Algebro-geometric characterization of analytic tangent cones.
result Complete characterization of tangent cones for admissible Hermitian-Yang-Mills connections over reflexive sheaves.
Develops a new approach to spectral asymmetry using microlocal analysis.
problem Spectral asymmetry on 3-manifolds.
method Constructs an asymmetry operator using microlocal analysis.
result The asymmetry operator generalizes the eta invariant and contains spectral asymmetry information.
Constructs coordinate systems from spectral curve sheaves.
problem Creating coordinate systems from spectral curve sheaves.
method Finite-gap integration methods for orthogonal curvilinear coordinates.
result Constructs coordinate systems over reducible spectral curves.
New potentials found for sheaves on Calabi-Yau 4-folds.
problem Understanding sheaves on Calabi-Yau 4-folds.
method Derived Quot-stacks and Lagrangian distributions.
result Globally defined −1-shifted potentials on sheaves. We give a detailed microlocal study of X-ray transforms over geodesics-like families of curves with conjugate points of fold type. We show that the normal operator is the sum of a pseudodifferential operator and a Fourier integral operator. We compute the principal symbol of both operators and the canonical relation as…
Paper constructs Chern character for coherent sheaves.
problem Chern character for coherent sheaves with values in Bott-Chern cohomology.
method Based on Block's fundamental construction, constructs Chern character.
result Proves Riemann-Roch-Grothendieck formula for coherent sheaves.
Rectangular peg problem solved for many curves.
problem Rectangular peg problem for continuous Jordan curves.
method Microlocal sheaf theory and recent work of Greene and Lobb.
result Affirmative answer for a large class of rectifiable curves.
This note is mostly an exposition of an unpublished result of Deligne, which introduces an analogue of perverse t-structure on the derived category of coherent sheaves on a Noetherian scheme with a dualizing complex. Construction extends to the category of coherent sheaves equivariant under an action of an algebraic …
Anosov surfaces with same length spectrum are isometric.
problem Identifying metrics on surfaces based on their length spectrum.
method Combining microlocal tools with complex curve geometry.
result Metrics with the same length spectrum on Anosov surfaces are isometric.
Researchers extend microlocal analysis across event horizons of rotating black holes.
problem Incomplete microlocal theory of fields across black hole event horizons.
method Extended microlocal theory for extremal rotating black holes, showing null covectors form an involutive double characteristic manifold.
result Mathematical basis for asymptotic oscillatory solutions near event horizons.
Study Kobayashi-Hitchin correspondence for special sheaves on Kähler manifolds.
problem Understanding the Kobayashi-Hitchin correspondence for specific sheaves.
method Using Hermitian-Yang-Mills flow on Kähler manifolds with simple normal crossing divisors.
result Established the correspondence for saturated reflexive parabolic sheaves.
Augmentations and sheaves linked for Legendrian graphs.
problem Understanding categorical Legendrian isotopy invariants.
method Equivalence between augmentation category and DG category of sheaves.
result Proved 'augmentations are sheaves' for Legendrian graphs.
New tools for analyzing Kähler manifolds, proving operator algebra and asymptotic kernel.
problem Analyzing Berezin-Toeplitz operators on Kähler manifolds.
method Introducing new tools for analytic microlocal analysis.
result Space of analytic Berezin-Toeplitz operators is an algebra.
Develops equivariant Chern characters for coherent sheaves with group actions.
problem Computing Chern characters for coherent sheaves on manifolds with group actions.
method Introduces equivariant Chern characters and proves Riemann-Roch-Grothendieck theorem in Bott-Chern cohomology.
result Establishes a Riemann-Roch-Grothendieck theorem for coherent sheaves with finite group actions.
We classify the simple sheaves microsupported along the conormal bundle of a knot. We also establish a correspondence between simple sheaves up to local systems and augmentations, explaining the underlying reason why knot contact homology representations detect augmentations.
The paper connects connections on sheaves to an L∞ morphism lifting semiregularity maps.
problem Understanding connections on sheaves and their relationship to semiregularity maps.
method Proves a canonical association of a connection of type (1,0) on a sheaf to an L∞ morphism. result Establishes a connection between connections on sheaves and an L∞ morphism lifting semiregularity maps. Defines sheaves and Čech cohomology for diffeological spaces and classifies principal bundles.
problem Defining sheaves and Čech cohomology for diffeological spaces.
method Defines sheaves for diffeological spaces and constructs Čech cohomology. Uses Čech cohomology to classify principal bundles.
result First degree Čech cohomology classes classify diffeological principal G-bundles. Given a smooth projective toric variety XΣ of complex dimension n, Fang-Liu-Treumann-Zaslow \cite{FLTZ} showed that there is a quasi-embedding of the differential graded (dg) derived category of coherent sheaves Coh(XΣ) into the dg derived category of constructible sheaves on a torus Sh(Tn,ΛΣ). Recently, K…
We establish a Kobayashi-Hitchin correspondence for the stable Higgs sheaves on a compact Kaehler manifold. Using it, we also obtain a Kobayashi-Hitchin correspondence for the stable Higgs G-sheaves, where G is any complex reductive linear algebraic group.