English
Related papers

Related papers: A sharper estimate on the Betti numbers of sets de…

200 papers

This paper gives a sharp upper bound for the Betti numbers of a finitely generated multigraded $R$-module, where $R=\Bbbk [x_{1},...,x_{m}]$ is the polynomial ring over a field $\Bbbk$ in $m$ variables. The bound is given in terms of the…

Commutative Algebra · Mathematics 2007-05-23 Amanda Beecher

Let $R=\mathbb{K}[x_1,\dots,x_n]$, a graded algebra $S=R/I$ satisfies $N_{k,p}$ if $I$ is generated in degree $k$, and the graded minimal resolution is linear the first $p$ steps, and the $k$-index of $S$ is the largest $p$ such that $S$…

Commutative Algebra · Mathematics 2025-10-14 Chwas Ahmed , Ralf Fröberg , Mohammed Rafiq Namiq

The main goal of this paper is to size up the minimal graded free resolution of a homogeneous ideal in terms of its generating degrees. By and large, this is too ambitious an objective. As understood, sizing up means looking closely at the…

Commutative Algebra · Mathematics 2022-06-24 W. A. da Silva , S. H. Hassanzadeh , A. Simis

For any numerical semigroup $S$, there are infinitely many numerical symmetric semigroups $T$ such that $S=\frac{T}{2}$ is their half. We are studying the Betti numbers of the numerical semigroup ring $K[T]$ when $S$ is a 3-generated…

Commutative Algebra · Mathematics 2011-11-08 Vincenzo Micale , Anda Olteanu

Suppose that $M$ is a finitely-generated graded module of codimension $c\geq 3$ over a polynomial ring and that the regularity of $M$ is at most $2a-2$ where $a\geq 2$ is the minimal degree of a first syzygy of $M$. Then we show that the…

Commutative Algebra · Mathematics 2019-10-29 Adam Boocher , Derrick Wigglesworth

We use stratified Morse theory for a manifold with corners to give a new bound for the sum of the Betti numbers of a hypersurface in R^n_> defined by a polynomial with n+l+1 terms.

Algebraic Geometry · Mathematics 2009-02-03 Frederic Bihan , Frank Sottile

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…

Algebraic Geometry · Mathematics 2015-03-17 Andrei Agrachev , Antonio Lerario

Semi-algebraic set is a subset of the real space defined by polynomial equations and inequalities. In this paper, we consider the problem of deciding whether two given points in a semi-algebraic set are connected. We restrict to the case…

Symbolic Computation · Computer Science 2024-06-13 Cordian Riener , Robin Schabert , Thi Xuan Vu

We present two new problems on lower bounds for resolution Betti numbers of monomial ideals generated in a fixed degree. The first concerns any such ideal and bounds the total Betti numbers, while the second concerns ideals that are…

Commutative Algebra · Mathematics 2007-12-18 Uwe Nagel , Victor Reiner

We prove explicit bounds on the radius of a ball centered at the origin which is guaranteed to contain all bounded connected components of a semi-algebraic set $S \subset \mathbbm{R}^k$ defined by a quantifier-free formula involving $s$…

Symbolic Computation · Computer Science 2011-02-02 Saugata Basu , Marie-Francoise Roy

Let $k_i\ (i=1,2,\ldots,t)$ be natural numbers with $k_1>k_2>\cdots>k_t>0$, $k_1\geq 2$ and $t<k_1.$ Given real numbers $\alpha_{ji}\ (1\leq j\leq t,\ 1\leq i\leq s)$, we consider polynomials of the shape…

Number Theory · Mathematics 2023-05-16 Kiseok Yeon

We survey recent results on bounds for Betti numbers of modules over polynomial rings, with an emphasis on lower bounds. Along the way, we give a gentle introduction to free resolutions and Betti numbers, and discuss some of the reasons why…

Commutative Algebra · Mathematics 2021-08-13 Adam Boocher , Eloísa Grifo

The following is shown : Let $S=\{a_1,a_2,..,a_{2n}\}$ be a subset of a totally ordered commutative semi-group $(G,*,\leq)$ with $a_1\leq a_2\leq...\leq a_{2n}$. Provided that a system of $n$ $a_{i_k} * a_{j_k}\ (a_{i_k}, a_{j_k} \in G ;\ 1…

Commutative Algebra · Mathematics 2011-06-21 Susumu Oda

We prove that the height of any algebraic computation tree for deciding membership in a semialgebraic set is bounded from below (up to a multiplicative constant) by the logarithm of m-th Betti number (with respect to singular homology) of…

Computational Complexity · Computer Science 2015-08-18 Nicolai Vorobjov , Andrei Gabrielov

We asymptotically estimate from above the expected Betti numbers of random real hypersurfaces in smooth real projective manifolds. Our upper bounds grow as the square root of the degree of the hypersurfaces as the latter grows to infinity,…

Algebraic Geometry · Mathematics 2012-07-09 Damien Gayet , Jean-Yves Welschinger

Suppose X is any finite complex with vanishing L^2 Betti number. We prove upper bounds on the Betti numbers for regular coverings of X, sublinear in the order of covering. The bounds are sensitive to the Novikov-Shubin invariants of X, and…

Geometric Topology · Mathematics 2007-05-23 Bryan Clair , Kevin Whyte

$\newcommand{\Arr}{\mathcal{A}} \newcommand{\numS}{k} \newcommand{\ArrX}[1]{\Arr(#1)} \newcommand{\eps}{\varepsilon} \newcommand{\opt}{\mathsf{o}}$ For point sets $P_1, \ldots, P_\numS$, a set of lines $L$ is halving if any face of the…

Computational Geometry · Computer Science 2022-08-25 Sariel Har-Peled , Da Wei Zheng

We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees…

Algebraic Geometry · Mathematics 2017-05-01 Saugata Basu , Cordian Riener

Given a finite point set $P \subset \mathbb{R}^d$, a $k$-ary semi-algebraic relation $E$ on $P$ is the set of $k$-tuples of points in $P$, which is determined by a finite number of polynomial equations and inequalities in $kd$ real…

Combinatorics · Mathematics 2015-10-20 Andrew Suk

This article proves the existence of a bound on the sum of local Betti numbers of a real analytic germ by a polynomial function of its multiplicity. This result can be interpreted as a localization of the classical Oleinik-Petrovsky bound…

Algebraic Geometry · Mathematics 2016-07-12 Lionel Alberti