Affine Subspace Concentration Conditions

Basic Information

• Paper ID: 2201.06062
• Title: Affine Subspace Concentration Conditions
• Author: Kuang-Yu Wu (University of Illinois at Chicago)
• Classification: math.AG (Algebraic Geometry)
• Published Journal: Épijournal de Géométrie Algébrique, Volume 7 (2023), Article No. 16
• Paper Link: https://arxiv.org/abs/2201.06062

Abstract

This paper introduces the novel concept of affine subspace concentration conditions for lattice polytopes and proves that these conditions hold for smooth reflexive lattice polytopes with centroid at the origin. The proof involves examining slope stability of regular extensions of the tangent bundle through trivial line bundles on Fano toric varieties, where the extension class is $c_1(T_X)$.

Research Background and Motivation

Problem Background

1. Importance of Subspace Concentration Conditions: Subspace concentration conditions constitute an important research area for convex geometers, primarily due to their close connection with the logarithmic Minkowski problem.
2. The Logarithmic Minkowski Problem: This problem asks when a finite Borel measure on $S^{n-1}$ is the cone volume measure of a convex body in $\mathbb{R}^n$. For polytopes, given $v_1,\ldots,v_m \in S^{n-1}$ and $V_1,\ldots,V_m \in (0,\infty)$, the question is whether there exists a polytope $P \subseteq \mathbb{R}^n$ containing the origin with exactly $m$ facets such that each facet's normal vector and cone volume satisfy specified conditions.
3. Limitations of Existing Results: Known subspace concentration conditions provide sufficient conditions for the logarithmic Minkowski problem, but primarily address linear subspaces.

Research Motivation

The primary motivation of this paper is to introduce new conditions of the same type—affine subspace concentration conditions—and prove that these conditions hold for smooth reflexive lattice polytopes with centroid at the origin. This result was inspired by HNS22, which established subspace concentration properties for polytopes under the same assumptions.

Core Contributions

1. Novel Concept Definition: First defines affine subspace concentration conditions, extending existing linear subspace concentration conditions.
2. Main Theorem: Proves that affine subspace concentration conditions hold for smooth reflexive lattice polytopes with centroid at the origin (Theorem 4.4).
3. Technical Innovation: Combines toric vector bundle theory with Kähler geometry, particularly utilizing slope stability of regular extensions to prove the main result.
4. Geometric Insight: Establishes profound connections between stability theory in algebraic geometry and concentration conditions in convex geometry.

Methodology Details

Problem Formulation

Let $P \subseteq \mathbb{R}^n$ be a smooth reflexive lattice polytope with centroid at the origin, with facets $P_1,\ldots,P_m$. For each facet $P_k$, let $v_k \in \mathbb{Z}^n$ denote its primitive inward normal vector, and $\text{vol}(P_k)$ denote the lattice volume relative to the intersection of $\mathbb{Z}^n$ with the affine span of $P_k$.

Objective: Prove that for each proper affine subspace $A \subsetneq \mathbb{R}^n$, the inequality $\frac{1}{\dim A + 1} \sum_{k: v_k \in A} \text{vol}(P_k) \leq \frac{1}{n+1} \sum_{k=1}^m \text{vol}(P_k)$ holds.

Model Architecture

1. Construction of Regular Extensions

Let $X$ be the smooth Fano toric variety corresponding to polytope $P$. Consider the regular extension: $0 \to \mathcal{O}_X \to E \to T_X \to 0$ where the extension class is $c_1(T_X) \in \text{Ext}^1(T_X, \mathcal{O}_X)$.

2. Realization of Toric Action

Proposition 3.1: There exists a $T$-action making $E$ a toric vector bundle, whose corresponding $(n+1)$-dimensional $\mathbb{C}$-vector space $E \cong \mathbb{N}_\mathbb{C} \oplus \mathbb{C} \cong \mathbb{C}^{n+1}$ has filtration $E^{\rho}(i)$ given by: