Institute for Advanced Study · Video summary
Non-convex Hypersurfaces And Robust Heterodimensional Cycles - Julian Chaidez
A new theorem proves robustly non-convex hypersurfaces are abundant, challenging prior assumptions and revealing heterodimensional dynamics as a key obstruction.
Watch on YouTube ↗Key takeaways
- 🎯In dimensions 5 and higher, C2 robustly non-convex hypersurfaces exist, meaning convex hypersurfaces are not dense in the C2 topology. This was a significant breakthrough, as prior to this, it was unknown if such non-convex examples could even exist.04:49
- 🚀Consider the implications of non-convex hypersurfaces being abundant for contact topology and related fields, particularly in dimensions 5 and higher.04:49
- 💡The existence of C2 robustly non-convex hypersurfaces is not dependent on specific topological constraints of the hypersurface itself; they are abundant in general.09:51
- 🔑The concept of a 'Louville subset' and 'Louville form' within a hypersurface is central to understanding these obstructions. A subset is Louville if it admits a Louville form in its neighborhood, and this property is linked to hyperbolic singularities and orbits.23:31
- 💡Explore the definition and properties of Louville subsets and their relationship to hyperbolic singularities and orbits as a foundational concept for understanding obstructions.23:31
- 📈The core obstruction to convexity is the presence of robust heterodimensional cycles, which are pairs of hyperbolic invariant sets with reciprocal heteroclinic connections. These cycles prevent a hypersurface from being approximated by convex ones.44:26
Chapters
- 0:15🧐 Introduction to Non-Convex Hypersurfaces
- 2:14❓ Open Question: Density of Convex Hypersurfaces
- 3:53💡 Results in Dimension 3 and Higher
- 5:12🤔 Clarification on Regularity and Dimensions
- 6:30🗺️ Compact Manifolds and Generalizations
- 7:19🛠️ Proof Construction and Limitations
- 9:15🚀 Enhanced Theorem: Abundance of Non-Convex Hypersurfaces
- 11:06🧱 The Robust Heterodimensional Cycle Obstruction
- 11:59🔮 Conjecture on Generic Obstructions
- 13:41📊 Background: Characteristic Foliations
- 16:40📈 Defining the Characteristic Foliation
- 21:24❓ Canonical Choice of Foliation
- 23:04🔵 Introduction to Louiville Subsets
- 24:31➕➖ Positive and Negative Louiville Subsets
- 25:31💡 Examples of Louiville Subsets
- 30:35⚖️ Theorem on Compact Invariant Sets
- 33:00⚙️ Transitive Hyperbolic Invariant Sets
- 36:54🚫 Convexity Obstruction Theorem
- 44:21🔄 Robust Heterodimensional Dynamics
- 50:18➕➖ Positive/Negative Heterodimensional Cycles
- 51:10✨ Theorem on Cycle Existence
- 53:46🧩 Proof of Cycle Robustness
- 55:17⚖️ Conjecture Analogy to Smooth Dynamics
- 58:04❓ Heuristic for Robust Cycles
- 1:00:02↔️ C1 vs C2 Topology
The digest
Non-Convex Hypersurfaces and Robust Heterodimensional Cycles
This presentation explores a fundamental question in contact topology: whether convex hypersurfaces are dense within the space of all possible hypersurfaces. It reveals that while convex hypersurfaces are dense in lower regularity topologies, this is not true for higher regularities, specifically in the $C^2$ topology. The core of the talk introduces the concept of "robustly non-convex" hypersurfaces and presents new work demonstrating their abundance, driven by an obstruction known as a "robust heterodimensional cycle."
Keep reading in The Digest
The full 6-minute article, 4 more sections, and every new episode from Institute for Advanced Study and the creators you follow.
- The Problem of Convex Hypersurface Density
- Key Concepts Introduced
- The Main Theorem and Its Implications
- Practical Implications and Takeaways
More from Institute for Advanced Study
Multi-scale Analysis in Projection Theory III - Hong Wang
This lecture explores multi-scale analysis in projection theory, focusing on removing regularity assumptions for improved bounds in geometric measure theory.
Product of Random Matrices: From Scaling Limits to Neural Networks - Yi Han
Yi Han discusses scaling limits, spectral behavior, and universality classes of products of random matrices, with connections to neural networks and phase transitions.
Inside Astronomically Realistic Black Holes - Andrew Hamilton
Exploring inside astrophysical black holes reveals that the singularity is a surface, not a point, and the inner horizon of rotating black holes may be a site of baby universe creation.
Multi-scale Analysis in Projection Theory II - Hong Wang
Hong Wang's lecture explores multiscale analysis and projection theorems, revealing how almost regular sets develop product structures to compare projection sizes across scales.
There is a Mildly Mixing Rank 1 Transformation with an Interesting Joining - Jonathan Chaika
Jonathan Chaika proves the existence of mildly mixing rank one transformations with no minimal self-joinings, challenging assumptions about rank and mixing properties.
Existence and Regularity of Nonlocal Minimal Surfaces - Michele Caselli
This talk introduces fractional minimal surfaces as a novel approach to proving existence and regularity of classical minimal surfaces, particularly addressing limitations in min-max constructions.