Strong Regularity and Microsupport Estimates for Multi-Microlocalizations of Subanalytic Sheaves

This paper introduces the concept of strong regularity for subanalytic sheaves to establish microsupport estimates and derive initial value and division theorems for multi-microlocal objects, ultimately yielding a multi-microlocal version of Bochner's tube theorem for solutions of regular D-modules.

The Gist

Imagine you are trying to study a very complex, jagged landscape. In mathematics, this landscape is a "manifold" (a shape that can be twisted and curved), and the "objects" living on it are things like functions or distributions (generalized functions).

Usually, mathematicians use a powerful tool called microlocal analysis to zoom in on specific points of this landscape and see how things behave in different directions. Think of it like using a high-powered microscope that not only shows you a cell but also tells you exactly which way the cell is "pointing" or vibrating.

However, there's a problem. Some of the most interesting mathematical objects—like temperate distributions (which grow slowly) or Whitney functions (which are smooth but defined on tricky shapes)—don't fit into the standard "microscope" rules. They are too wild or too irregular for the old tools to handle directly. It's like trying to use a standard camera lens to photograph a lightning strike; the image gets blurry or breaks.

The Problem: The "Blurry" Objects

The author, Ryosuke Sakamoto, is tackling a specific group of these "wild" objects called subanalytic sheaves. These are mathematical structures that describe how these irregular functions behave near specific sub-structures (like lines or surfaces) within the larger shape.

The existing tools could estimate where these objects lived (their "support"), but they couldn't accurately predict their "microsupport"—a fancy way of saying they couldn't predict exactly how the object vibrates or points in the microscopic world. The old estimates were like a map that worked for flat plains but failed miserably in the mountains.

The Solution: "Strong Regularity"

To fix this, Sakamoto invents a new rule called Strong Regularity.

Think of Strong Regularity as a "quality control certification" for these wild mathematical objects.

• Old Rule: "This object is somewhat organized." (Too vague for the microscope).
• New Rule (Strong Regularity): "This object is organized in a very specific, predictable way that allows us to zoom in without losing the picture."

By proving that certain important objects (specifically, solutions to D-modules, which are equations describing how things change) have this "Strong Regularity" certification, Sakamoto can finally apply the powerful microscope to them.

The Analogy: The Multi-Layered Zoom

The paper focuses on Multi-Microlocalization. Imagine you have a stack of transparent sheets, each showing a different layer of your landscape.

• Standard Microlocalization: Zooms in on one point.
• Multi-Microlocalization: Zooms in on a point while simultaneously looking at how it interacts with several different layers (like a line, a plane, and a curve) all at once.

Sakamoto proves that if your object has "Strong Regularity," you can zoom in on all these layers at once and get a clear, sharp picture. He establishes estimates, which are like safety margins. He says, "If the object is regular here, then its microscopic vibrations cannot go beyond this specific boundary." This prevents the "blur" from spreading out of control.

The Big Wins: What Can We Do Now?

Once he has this new, sharper tool, Sakamoto solves three major puzzles:

1. The Initial Value Theorem (The "Start Button"):
   Imagine you have a complex machine (a D-module) and you want to know what happens if you start it from a specific spot. In the past, if the starting spot was too "rough" (subanalytic), we couldn't be sure the machine would start smoothly. Sakamoto proves that for these "Strongly Regular" objects, you can predict the future behavior perfectly from the starting point, even with growth conditions (things getting bigger).

2. The Division Theorem (The "Sharing" Rule):
   In math, "division" often means asking: "Can I split this complex object into a simpler part and a remainder?" Sakamoto proves that for these specific types of functions, you can always split them cleanly. It's like proving you can always cut a complex cake into perfect slices without the frosting smearing everywhere.

3. Bochner's Tube Theorem (The "Tunnel" Effect):
   This is the crown jewel. Bochner's Tube Theorem is a famous result in complex analysis. It essentially says: "If you have a function defined on a thin tube, and it behaves nicely, you can extend it to fill the whole solid cylinder inside the tube."
   Sakamoto creates a Multi-Microlocal version of this. He shows that even for these wild, irregular functions living on complex, multi-layered shapes, if they behave well in a "tube" (a specific geometric region), they automatically extend to fill the whole space. It's like proving that if a sound wave is clear in a narrow hallway, it will naturally fill the entire room without distortion.

Why Does This Matter?

This paper is a bridge. It connects the rigid, clean world of classical geometry with the messy, real-world world of irregular functions. By introducing "Strong Regularity," Sakamoto gives mathematicians a new set of glasses that allows them to see the hidden structure in chaotic systems. This is crucial for fields like physics and engineering, where real-world data is rarely perfectly smooth, but we still need to predict how it will behave.

In short: The author built a better microscope for messy mathematical objects, proved they have a hidden order, and used that to solve long-standing problems about how these objects start, split, and expand.

Technical Summary

Here is a detailed technical summary of the paper "Strong Regularity and Microsupport Estimates for Multi-Microlocalizations of Subanalytic Sheaves" by Ryosuke Sakamoto.

1. Problem Statement and Motivation

The paper addresses a fundamental limitation in the microlocal analysis of asymptotic and growth-controlled functions (such as asymptotically developable functions and temperate distributions).

• The Issue: Classical microlocal methods, developed primarily for sheaves (e.g., Kashiwara-Schapira theory), rely on the category of sheaves. However, important analytical objects like Whitney functions and temperate distributions do not form classical sheaves; they form subanalytic sheaves or ind-sheaves.
• The Gap: While Honda, Prelli, and Yamazaki [7] established a theory of multi-microlocalizations for subanalytic sheaves (unifying various specialization functors), existing estimates for the microsupport (singular support) of these multi-microlocalizations were limited to classical sheaves. They failed to provide precise control over the microsupport in the subanalytic setting, particularly for objects with growth conditions.
• The Goal: To establish rigorous estimates for the supports and microsupports of multi-microlocalizations of subanalytic sheaves, specifically to handle solutions of regular D-modules along involutive subbundles. This requires a stronger notion of regularity than previously available.

2. Methodology and Key Definitions

The author introduces a new structural condition to bridge the gap between classical sheaf theory and subanalytic sheaves.

A. Strong Regularity

The core innovation is the definition of Strong Regularity (Definition 1.1).

• Concept: A subanalytic sheaf $F$ is "strongly regular" along a subset $V \subset T^*X$ if it can be locally represented as a filtered inductive limit of constructible sheaves $F_i$ (in the derived category) such that the microsupport of each $F_i$ is contained within $V$.
• Mechanism: This definition leverages the functor $J: D^b(\text{Ind}(C)) \to (D^b(C))^\wedge$ to relate subanalytic sheaves to limits of classical constructible sheaves.
• Significance: This condition is designed specifically to allow the transfer of microsupport estimates from the classical constructible level to the subanalytic level via the limit process.

B. Multi-Microlocalization Framework

The paper utilizes the framework of multi-microlocalization along a family of submanifolds $\chi = \{M_1, \dots, M_\ell\}$ satisfying specific geometric conditions (H1, H2, H3).

• Functors: The paper works with the multi-microlocalization functor $\mu_\chi^{sa}$ and the multi-normal cone functor $C_\chi^*$.
• Normal Crossing: A significant portion of the analysis focuses on the normal crossing case, where the geometry of the multi-normal cones behaves differently from the classical single-normal cone, requiring new isomorphism theorems.

3. Key Contributions and Results

A. Fundamental Properties of Strong Regularity (Section 1)

• Theorem 1.3: The author proves that solutions to regular D-modules (in the sense of Kashiwara-Oshima) along an involutive subbundle are strongly regular. This applies to both temperate ($Sol^t$) and Whitney ($Sol^w$) solutions, even if the D-module is not holonomic.
• Functoriality: The paper establishes that strong regularity is preserved under direct images ($Rf_*$), tensor products, and inverse images ($f^{-1}, f^!$), provided the morphisms satisfy non-characteristic conditions relative to the regularity set.

B. Microsupport and Support Estimates (Section 2)

The paper derives precise estimates for the microsupport of multi-microlocalizations of strongly regular sheaves.

• Theorem 2.1 (Support Estimate): If $F$ is strongly regular along $V$, the support of its multi-microlocalization is contained in the intersection of the multi-normal cone of $V$ and the multi-sphere bundle:
  $$\text{supp}(\rho^{-1}\mu_\chi^{sa} F) \subset C_\chi^*(V) \cap S_\chi^*$$
• Theorem 2.6 (Microsupport Estimate): The microsupport of the multi-microlocalization is contained within the multi-normal cone of the original microsupport:
  $$SS(\mu_\chi^{sa}(F)) \subset C_\chi^*(V)$$
• Non-Characteristic Isomorphisms: These estimates lead to Corollary 2.9, proving that under non-characteristic conditions, the natural morphism between tensor products of duals and the Hom-functor becomes an isomorphism.

C. Inverse Image and Multi-Microlocalization Theorems (Section 3)

• Theorem 3.2 & 3.6: The author proves a multi-microlocal generalization of the classical Inverse Image Theorem (Kashiwara-Schapira [16, Thm 6.7.1]).
• Result: Under specific non-characteristic conditions involving the maps between multi-conic spaces ($f_\chi \pi$, $t f'_\chi$, etc.), the operations of inverse image and multi-microlocalization commute (up to isomorphism) for strongly regular subanalytic sheaves.
• Significance: This allows the reduction of problems on a manifold $X$ to problems on a submanifold $Y$ while preserving the growth conditions and microlocal structure.

D. Applications to D-Modules (Section 4)

The theoretical framework is applied to the theory of D-modules with growth conditions.

• Initial Value Theorems: The paper establishes initial value theorems for multi-microlocal objects, including Majima's strongly asymptotically developable solutions.
• Division Theorems: Theorem 4.6 provides division theorems for regular D-modules with coefficients in temperate and Whitney multi-microfunctions. This essentially solves the initial value problem for these specific types of solutions.
• Bochner's Tube Theorem (Corollary 4.10): As a major consequence, the author proves a multi-microlocal version of Bochner's Tube Theorem. This states that for solution sheaves of strongly asymptotically developable functions, sections defined on a convex hull of a multi-conic set can be uniquely extended from the boundary, generalizing previous results by Honda, Prelli, and Yamazaki.

4. Significance and Impact

• Unification: The work unifies the theory of ind-sheaves, subanalytic sheaves, and D-modules with growth conditions under a single microlocal framework.
• Extension of Classical Theory: It extends the powerful tools of Kashiwara-Schapira microlocal analysis (which were previously restricted to classical sheaves) to the realm of asymptotic and temperate functions, which are crucial in complex analysis and mathematical physics.
• New Tools for Asymptotics: By proving that regular D-module solutions are "strongly regular," the paper provides a rigorous method to analyze the singularities and asymptotic behavior of solutions to differential equations in complex domains.
• Generalization of Bochner's Theorem: The derivation of a multi-microlocal Bochner's Tube Theorem offers a new perspective on the analytic continuation of functions with specific growth rates, bridging the gap between local microlocal data and global analytic properties.

In summary, Sakamoto's paper resolves a critical technical bottleneck in the microlocal analysis of subanalytic sheaves by introducing "strong regularity," thereby enabling precise microsupport estimates and leading to significant new results in the theory of D-modules and asymptotic analysis.