On the Convexity of General Inverse $σ_k$ Equations

Chao-Ming Lin
2024-03-30
Abstract:We prove that if a level set of a degree $n$ general inverse $\sigma_k$ equation $f(\lambda_1, \cdots, \lambda_n) = \lambda_1 \cdots \lambda_n - \sum_{k = 0}^{n-1} c_k \sigma_k(\lambda) = 0$ is contained in $q + \Gamma_n$ for some $q \in \mathbb{R}^n$, where $c_k$ are real numbers not necessary to be non-negative and $\Gamma_n$ is the positive orthant, then this level set is convex. As an application, this result justifies the convexity of the level set of all general inverse $\sigma_k$ type equations, for example, the Monge--Ampère equation, the Hessian equation, the J-equation, the deformed Hermitian--Yang--Mills equation, the special Lagrangian equation, etc. Moreover, we find a numerical condition to verify whether a level set of a general inverse $\sigma_k$ equation is contained in $q + \Gamma_n$ for some $q \in \mathbb{R}^n$, which is a way to determine the convexity of this level set.
Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to the convexity of the general inverse \(\sigma_k\) equation. Specifically, the author attempts to prove that if a certain level set of a general inverse \(\sigma_k\) equation \(f(\lambda_1, \cdots, \lambda_n) := \lambda_1 \cdots \lambda_n - \sum_{k = 0}^{n - 1}c_k\sigma_k(\lambda)=0\) is contained in \(q+\Gamma_n\) (where \(q\in\mathbb{R}^n\) and \(\Gamma_n\) is the positive orthant), then this level set is convex. In addition, the author also provides a numerical condition to verify whether a certain level set of the general inverse \(\sigma_k\) equation is contained in \(q + \Gamma_n\), thereby determining the convexity of this level set. ### Specific Problem Description 1. **Convexity Problem**: - The author has studied the convexity of the level sets of the general inverse \(\sigma_k\) equation. The specific form of the equation is: \[ f(\lambda_1, \cdots, \lambda_n) := \lambda_1 \cdots \lambda_n - \sum_{k = 0}^{n - 1}c_k\sigma_k(\lambda)=0 \] where \(\sigma_k(\lambda)\) is the \(k\)-th elementary symmetric polynomial of \(\lambda_1, \cdots, \lambda_n\), and \(c_k\) is a real number (not necessarily non - negative). 2. **Verification of Convexity**: - The author proposes a method to verify whether the level set of the general inverse \(\sigma_k\) equation is contained in \(q+\Gamma_n\), where \(q\in\mathbb{R}^n\) and \(\Gamma_n\) is the positive orthant. If this condition is satisfied, it can be determined that this level set is convex. 3. **Application**: - As an application, this result can be used to verify the convexity of the level sets of many well - known equations (such as the Monge - Ampère equation, the Hessian equation, the J - equation, the deformed Hermitian - Yang - Mills equation, the special Lagrangian equation, etc.). ### Main Contributions 1. **Convexity Theorem**: - The author has proved that if a certain level set of a general inverse \(\sigma_k\) equation is contained in \(q+\Gamma_n\), then this level set is convex. The specific theorem is as follows: \[ \text{Theorem 1.1:} \quad \text{If } \Gamma_n^f \text{ is strictly } \Upsilon\text{-stable, then the boundary } \partial\Gamma_n^f \text{ is convex.} \] 2. **Numerical Condition**: - The author provides a numerical condition to verify whether a certain level set of the general inverse \(\sigma_k\) equation is contained in \(q+\Gamma_n\). This condition is based on the right Noetherian property of the diagonal restriction \(r_f(x)\). 3. **Right Noetherian Polynomial**: - The author introduces the concept of right Noetherian polynomial and proves its equivalence to the \(\Upsilon\)-stability condition. The specific theorem is as follows: \[ \text{Theorem 1.2:} \quad \text{A general inverse } \sigma_k \text{ typ}