首页/论文/1012.5731

arXiv 1012.57312010-12-30math.AG

二次不等式

Systems of Quadratic Inequalities

Andrei Agrachev, Antonio Lerario

DOI：: 10.1112/plms/pds010

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文给出了一个谱序列，它有效地计算了RP^n中由一组二次不等式定义的闭半代数子集的贝蒂数，并给出了RP^n中包含该子集所引起的同调同态的象.我们并不局限于谱序列的E_2项，而是给出了微分d_2的一个简单的显式公式。

英文摘要：

We present a spectral sequence which efficiently computes Betti numbers of a closed semi-algebraic subset of RP^n defined by a system of quadratic inequalities and the image of the homology homomorphism induced by the inclusion of this subset in RP^n. We do not restrict ourselves to the term E_2 of the spectral sequence and give a simple explicit formula for the differential d_2.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

由二次不等式定义的集合的贝蒂数的一个更精确估计

A sharper estimate on the Betti numbers of sets defined by quadratic inequalities

本文考虑由多项式不等式$P_1 \geq 0,...,P_s \geq 0$定义的半代数集$S \subset \R^k$的贝蒂数$b_i(S)$的界问题，其中$P_i \in \R[X_1,...,X_k]$和$°(P_i) \leq 2$，对于$1 \leq i \leq s$ .我们证明了对于$0\le i\le k-1$，\[ b_i(S) \le{1/2}(\sum_{j=0}^{min\{s,k-i\}}{{s}\choose j}{{k+1}\choose {j}}2^{j}). \]特别是对于$2\le s\le \frac{k}{2}$，我们有\[ b_i(S)\le {1/2} 3^{s}{{k+1}\choose {s}} \leq {1/2} (\frac{3e(k+1)}{s})^s. \]这改进了Barvinok证明的$k^{O(s)}$的界.这种改进是可能的一种新的方法，即我们首先绑定的贝蒂数的非奇异的完整的交叉定义的通用二次型的复杂的射影品种，并使用此绑定，以获得真正的半代数的情况下的界限。

2006-11-01math.AGmath.AT

计算多项式时间内由二次不等式定义的半代数集的顶贝蒂数

Computing the Top Betti Numbers of Semi-algebraic Sets Defined by Quadratic Inequalities in Polynomial Time

对于任何$\ell > 0$，我们提出了一个算法，它以一个由$P_1 \leq 0,...,P_s \leq 0$定义的半代数集$S$作为输入，其中每个$P_i \in \R[X_1,...,X_k]$具有度$\leq 2,$，并在多项式时间内计算$S$，$b_{k-1}(S), ..., b_{k-\ell}(S),$的顶$\ell$贝蒂数.对于固定的$\ell$，算法的复杂度可以表示为$s^{\ell+2} k^{2^{O(\ell)}},$，它是输入参数$s$和$k$的多项式。据我们所知，这是第一个多项式时间算法计算非平凡的拓扑不变量的半代数集在$\R^k$定义的多项式不等式，其中不等式的数量是不固定的，多项式被允许有程度大于一。对于固定的$s$，我们通过令$\ell = k$得到一个计算$S$的所有贝蒂数的算法，其复杂度为$k^{2^{O(s)}}$ .

2007-02-22cs.CCmath.AGmath.LO

由几个二次不等式定义的半代数集的投影

On Projections of Semi-algebraic Sets Defined by Few Quadratic Inequalities

令$S \subset \R^{k + m}$是由次数最多为2的$S \subset \R^{k + m}$多项式不等式系统定义的紧致半代数集。$ Let $ π $ denote the standard projection from $ \R^{k + m} $ onto $ \R^m $. We prove that for any $ q >0 $, the sum of the first $ q $ Betti numbers of $ π（S）$ is bounded by $（k + m）^{O（q \ell）}. $ We also present an algorithm for computing the the first $ q $ Betti numbers of $ π（S）$, whose complexity is $（k+m）^{2^{O（q \ell）}}。$ For fixed $ q $ and $ \ell $, both the bounds are polynomial in $ k+m$。

2006-02-17math.AGmath.AT

graded Betti 数的分层结构在二次链中

Hierarchical structure of graded Betti numbers in the quadratic strand

Korea Institute for Advanced Study (KIAS)（韩国高等研究院）；Korea Advanced Institute of Science and Technology (KAIST)（韩国科学技术院）；Pukyong National University（釜庆国立大学）

本文研究graded Betti数的分层结构，建立了一般性的层次体系，并证明了广义K_{p,1}定理，揭示了二次链中极值行为的完整描述。

2025-12-22math.ACmath.AG

计算部分二次多项式系定义的半代数集的贝蒂数

Computing the Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials

设$\R$是实闭域，$ {\mathcal Q} \subset \R[Y_1,...,Y_\ell,X_1,...,X_k], $具有$ °_{Y}(Q) \leq 2, °_{X}(Q) \leq d, Q \in {\mathcal Q}, #({\mathcal Q})=m$，$ {\mathcal P} \subset \R[X_1,...,X_k] $具有$°_{X}(P) \leq d, P \in {\mathcal P}, #({\mathcal P})=s$。设$S \subset \R^{\ell+k}$是一个由布尔公式定义的半代数集合，其原子为$P=0, P \geq 0, P \leq 0, P \in {\mathcal P} \cup {\mathcal Q}$ .我们描述了一个计算$S$的贝蒂数的算法。该算法的复杂度由$(\ell s m d)^{2^{O(m+k)}}$限制。该算法的复杂性插值之间的双指数的时间界的已知算法在一般情况下，和多项式的复杂性的情况下，半代数集定义的几个二次不等式已知的。此外，对于固定的$m$和$k$，该算法具有多项式时间复杂度的其余参数。

2008-06-24math.AGmath.GT

关于积簇的几个二次不等式

Some quadratic inequalities on product varieties

证明了半稳定对象复化Hilbert多项式系数的一些正性结果。将这些结果应用于经典的边坡稳定性条件，得到了半稳定目标关于积簇的二次不等式序列。前导二次不等式可以看作是具有任意特征的Bogomolov不等式的弱形式。

2022-05-25math.AG

更多相关论文收起更多论文

由少数二次方程和不等式定义的集合的测地直径

Geodesic diameter of sets defined by few quadratic equations and inequalities

我们证明了由一个固定数目的二次方程和不等式所描述的$\mathbb{R}^n$中单位球的子集的测地直径的界，该界在$n$中是多项式的，而已知的一般度的界在$n$中是指数的.我们的证明使用了从D'Acunto和Kurdyka（处理测地线直径）和Barvinok（利用二次性质）借用的方法。

2010-09-02math.AG

实簇和半代数集的贝蒂数的多度界及其应用

Multi-degree bounds on the Betti numbers of real varieties and semi-algebraic sets and applications

我们证明了新的界限上的贝蒂数的真正的品种和半代数集，有一个更精细的依赖度的多项式定义他们比以前已知的结果。我们的方法还统一了几种不同类型的结果在一个单一的框架下，如界取决于全次数，多度，以及在二次和部分二次多项式的情况下。在部分二次多项式的情况下，我们提出的界限提供了一个显着的改进，以前已知的。最后，我们推广了Barone和Basu关于将由两个不同次数的多项式定义的实簇的连通分量的个数限定为所有贝蒂数之和的结果，从而在该论文提出的一个公开问题上取得了进展.

2017-11-02cs.CGmath.AGmath.CO

实二次型的凸束

Convex pencils of real quadratic forms

研究了实射影空间RP^n中两个二次不等式的解的集合X的拓扑（例如X是两个实二次曲面的交）.我们给出了球面S^n中的它的贝蒂数和它的双覆盖数的显式公式;我们还给出了平面上齐次二次映射的水平集的类似公式。我们讨论了这些结果的一些应用，特别是在经典凸性理论中的应用。我们证明了X的总贝蒂数的有界b（X）\leq 2 n;我们证明了对于奇数n，这个界只能由一个奇异的X达到.在非退化情形下，我们还证明了每个特定贝蒂数b_k（X）\leq 2（k+2）上的界.

2012-09-06math.AGmath.ATmath.CO

由部分二次多项式组定义的半代数集的贝蒂数的界及Euler-Poincaré特征的计算

Bounding the Betti numbers and computing the Euler-Poincaré characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials

设$\R$是实闭域，$ {\mathcal Q} \subset \R[Y_1,...,Y_\ell,X_1,...,X_k], $有$ °_{Y}(Q) \leq 2, °_{X}(Q) \leq d, Q \in {\mathcal Q}, #({\mathcal Q})=m,$，$ {\mathcal P} \subset \R[X_1,...,X_k] $有$°_{X}(P) \leq d, P \in {\mathcal P}, #({\mathcal P})=s$，$S \subset \R^{\ell+k}$是由布尔公式定义的半代数集，无否定，有原子$P=0, P \geq 0, P \leq 0, P \in {\mathcal P} \cup {\mathcal Q}$ .证明了$S$的贝蒂数之和是由\[ \ell^2 (O(s+\ell+m)\ell d)^{k+2m}. \]有界的。这是以前关于分别由$d$和2次多项式定义的闭半代数集的贝蒂数的有界结果的一般推广。我们还描述了一个算法，用于计算欧拉-庞加莱特性的这样的集合，推广类似的算法之前已知的。该算法的复杂度以$(\ell s m d)^{O(m(m+k))}$为界。

2008-06-24cs.SCmath.AGmath.AT

由二次多项式定义的半代数集的数学和拓扑性质

Algorithmic and topological aspects of semi-algebraic sets defined by quadratic polynomial

在这篇论文中，我们考虑由二次多项式定义的实封闭的域$R$上的半代数集。$R^k$的半代数集定义为$R^k$中包含代数集和由多项式不等式定义的集合的最小集合族，并且在布尔运算（补、有限并和有限交）下也是封闭的。证明了二次多项式定义的实封闭的域$R$上半代数集的某些纤维的贝蒂数和不同稳定同伦类型个数的新的界，并给出了定义它们的多项式系的参数，改进了已知结果.最后，我们提出了两个新的算法及其实现的论文。第一个算法计算由$\mathbb{R}^k$中的紧致对象定义的半代数集的连通分支数和第一贝蒂数。该算法利用半代数集的三角剖分改进了已知的方法。此外，该算法已被有效地实现，这是不可能的。第二种算法使用半数值方法有效地计算$\mathbb{R}^3$中三个二次曲面的实交。

2007-09-20cs.CGmath.AGmath.AT

由二次不等式定义的参数化半代数集族的稳定同伦型个数的界

Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities

我们证明了在$\R^\ell$中的k-参数半代数集合族中出现的稳定同伦类型的数量的近最优界，每个同伦类型定义在m个二次不等式中。我们的界限在k和m中是指数的，但在$\ell$中是多项式的。更确切地说，我们证明了以下几点。设$\R$是实闭域，设\[ {\mathcal P} = \{P_1,...,P_m\} \subset \R[Y_1,...,Y_\ell,X_1,...,X_k], \]与${\rm deg}_Y(P_i) \leq 2, {\rm deg}_X(P_i) \leq d, 1 \leq i \leq m$ .设$S \subset \R^{\ell+k}$是一个半代数集合，由一个不带否定项的布尔公式定义，其原子的形式为$P \geq 0, P\leq 0, P \in {\mathcal P}$ .设$π: \R^{\ell+k} \to \R^k$为最后k个坐标上的投影。然后，纤维$S_{\x} = π^{-1}(\x) \cap S$之间的稳定同伦类型的数目由\[ (2^m\ell k d)^{O(mk)}. \]限定

2007-07-30math.AGmath.ATmath.GT

函数域上阿贝尔簇的GCD与ABC不等式

GCD and ABC inequalities for abelian varieties over function fields

该研究证明了特征0函数域上阿贝尔簇有理点的GCD不等式与几何abc猜想的特殊情形，采用三步证明模式，借助Xie-Yuan高度等工具解决了Buium的相关猜想。

2026-10-14math.AGmath.CVmath.NT