Abstract:We show that Legendrian pre-quantization lifts of many non-exact Lagrangian submanifolds in $\mathbb{C}^n$ retain some quantitative rigidity from the symplectic base. In particular, they cannot be moved by Legendrian isotopy into an arbitrarily small pre-quantized cylinder. This is a high dimensional generalization of results of Dimitroglou Rizell--Sullivan in dimension 3. In this setting, we give a new proof of non-squeezing using normal rulings, and in high dimension, we obtain our results using a category of (micro)sheaves associated to a Legendrian submanifold of pre-quantizations.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to the rigidity problem of **Legendrian submanifolds in pre - quantization spaces**, specifically, to study whether these submanifolds can be moved into an arbitrarily small pre - quantization cylinder by Legendrian isotopy. This problem is a generalization of the non - squeezing phenomenon in symplectic geometry to high - dimensional Legendrian submanifolds.
### Specific Problem Description
The paper mainly focuses on the quantitative rigidity of **Legendrian pre - quantization lifts** in the high - dimensional complex space \( \mathbb{C}^n \). Specifically:
1. **Background Problem**: It is known that certain non - exact Lagrangian submanifolds have a certain rigidity in the symplectic space \( \mathbb{C}^n \), that is, they cannot be moved into an arbitrarily small region by symplectic isotopy.
2. **Generalization Problem**: The author attempts to prove that for the Legendrian pre - quantization lifts of these Lagrangian submanifolds, in the high - dimensional case, they also cannot be moved into an arbitrarily small pre - quantization cylinder by Legendrian isotopy.
### Main Results
The main results of the paper can be summarized as follows:
- **Theorem 1.1**: For specific types of high - dimensional Lagrangian submanifolds (such as monotone twisted tori, Maslov - 2 analytic Lagrangian Whitney spheres, etc.), their Legendrian pre - quantization lifts cannot be moved into an arbitrarily small pre - quantization cylinder by Legendrian isotopy.
- **Theorem 1.2**: Through the method of the category of microsheaves, the author provides a new proof, showing that for geometrically small enough Legendrian submanifolds, there is an inequality constraint, so that these submanifolds cannot be squeezed into smaller spaces.
### Methods and Tools
To prove these results, the author uses the following methods and tools:
- **Microsheaf Theory**: This is a powerful algebraic - geometric tool for studying invariants of Legendrian submanifolds.
- **Normal Rulings**: In the three - dimensional case, the author proves the non - squeezing phenomenon by analyzing the number of normal rulings.
- **Local Models and Global Constructions**: Through local - to - global lift constructions, the author extends local properties to the global, thus proving the non - squeezing phenomenon in the high - dimensional case.
### Conclusion
By introducing the concepts of microsheaf theory and normal rulings, this paper successfully generalizes the low - dimensional Legendrian non - squeezing phenomenon to the high - dimensional case and provides new proof methods. This not only deepens our understanding of the rigidity of Legendrian submanifolds but also provides new ideas for further research on related problems in symplectic geometry and contact geometry.