English
Related papers

Related papers: Vanishing Ideals Of Affine Sets Parameterized By O…

200 papers

Let $f\colon X\to\mathbb{A}^1_k$ be a morphism from a smooth variety to an affine line with an isolated singular point. For such a singularity, we have two invariants. One is a non-degenerate symmetric bilinear form (de Rham), and the other…

Algebraic Geometry · Mathematics 2026-04-06 Daichi Takeuchi

If $\Adot$ is a bounded, constructible complex of sheaves on a complex analytic space $X$, and $f:X\to\C$ and $g:X\to\C$ are complex analytic functions, then the iterated vanishing cycles $\phi_g[-1](\phi_f[-1]\Adot)$ are important for a…

Algebraic Geometry · Mathematics 2010-10-26 David B. Massey

Let X = Proj R be a projective scheme over a field k, and let I be an ideal in R generated by forms of the same degree d. Let Y --> X be the blowing up of X along the subscheme defined by I, and let f: Y --> Z be the projection of Y given…

Commutative Algebra · Mathematics 2010-04-08 Huy Tai Ha

Using vanishing of graded components of local cohomology modules of the Rees algebra of the normal filtration of an ideal, we give bounds on the normal reduction number. This helps to get necessary and sufficient conditions in…

Commutative Algebra · Mathematics 2019-10-09 Kriti Goel , Vivek Mukundan , J. K. Verma

We consider the vanishing ideal of a projective space over a finite field. An explicit set of generators for this ideal has been given by Mercier and Rolland. We show that these generators form a universal Gr\"obner basis of the ideal.…

Algebraic Geometry · Mathematics 2018-07-18 Peter Beelen , Mrinmoy Datta , Sudhir R. Ghorpade

There is a natural infinite graph whose vertices are the monomial ideals in a polynomial ring. The definition involves Gr\"obner bases or the action of an algebraic torus. We present algorithms for computing the (affine schemes…

Commutative Algebra · Mathematics 2007-05-23 Klaus Altmann , Bernd Sturmfels

Given an affine algebra $R=K[x_1,\dots,x_n]/I$ over a field $K$, where $I$ is an ideal in the polynomial ring $P=K[x_1,\dots,x_n]$, we examine the task of effectively calculating re-embeddings of $I$, i.e., of presentations $R=P'/I'$ such…

Commutative Algebra · Mathematics 2024-01-19 Martin Kreuzer , Le Ngoc Long , Lorenzo Robbiano

Let $X$ be a general complete intersection of a given multi-degree in a complex projective space. Suppose that the anti-canonical line bundle of $X$ is ample. Using the cylinder homomorphism associated with the family of complete…

Algebraic Geometry · Mathematics 2007-05-23 Ichiro Shimada

The vanishing ideal I of a subspace arrangement is an intersection of linear ideals. We give a formula for the Hilbert polynomial of I if the subspaces meet transversally. We also give a formula for the Hilbert series of a product J of the…

Commutative Algebra · Mathematics 2007-05-23 Harm Derksen

Let F denote a binary form of order d over the complex numbers. If r is a divisor of d, then the Hilbert covariant H_{r,d}(F) vanishes exactly when F is the perfect power of an order r form. In geometric terms, the coefficients of H give…

Algebraic Geometry · Mathematics 2019-08-15 Abdelmalek Abdesselam , Jaydeep Chipalkatti

Hilbert's Nullstellensatz characterizes polynomials that vanish on the vanishing set of an ideal in C[x]. In the free algebra C<X> the vanishing set of a two-sided ideal I is defined in a dimension-free way using images in…

Rings and Algebras · Mathematics 2018-04-27 Igor Klep , Victor Vinnikov , Jurij Volčič

Let $K$ be an infinite field and let $I = (f_1,\cdots,f_r)$ be an ideal in the polynomial ring $R = K[x_1,\cdots,x_n]$ generated by generic forms of degrees $d_1,\cdots,d_r$. A longstanding conjecture by Fr\"{o}berg predicts the shape of…

Commutative Algebra · Mathematics 2025-06-24 Van Duc Trung

The variation operator associated with an isolated hypersurface singularity is a classical topological invariant that relates relative and absolute homologies of the Milnor fiber via a non trivial isomorphism. Here we work with a…

Geometric Topology · Mathematics 2025-06-06 Hanwool Bae , Cheol-Hyun Cho , Dongwook Choa , Wonbo Jeong , Pablo Portilla Cuadrado

Let G be a finite graph on [n] = {1,2,3,...,n}, X a 2 times n matrix of indeterminates over a field K, and S = K[X] a polynomial ring over K. In this paper, we study about ideals I_G of S generated by 2-minors [i,j] of X which correspond to…

Commutative Algebra · Mathematics 2009-11-16 Masahiro Ohtani

We prove here that the elements of any standard basis of $I^n$, where $I$ is an ideal of a Noetherian local ring and $n$ is a positive integer, have order bounded by a linear function in $n$. We deduce from this that the elements of any…

Commutative Algebra · Mathematics 2013-01-08 Guillaume Rond

Let $\mathbb{K}$ be a field, $\mathcal{X}$ be an infinite set (of indeterminates), and $\mathcal{G}$ be a group acting on $\mathcal{X}$. An ideal in the polynomial ring $\mathbb{K}[\mathcal{X}]$ is called equivariant if it is invariant…

Logic in Computer Science · Computer Science 2025-07-15 Arka Ghosh , Aliaume Lopez

We completely describe the equilibrium states of a class of potentials over the full shift which includes Falconer's singular value function for affine iterated function systems with invertible affinities. We show that the number of…

Dynamical Systems · Mathematics 2018-03-22 Jairo Bochi , Ian D. Morris

In this paper we discuss an obstruction to the integral Hodge conjecture, which arises from certain behavior of vanishing cycles. This allows us to construct new counter-examples to the integral Hodge conjecture. One typical such…

Algebraic Geometry · Mathematics 2019-01-23 Mingmin Shen

Let f(t,X) be an irreducible polynomial over the field of rational functions k(t), where k is a number field. Let O be the ring of integers of k. Hilbert's irreducibility theorem gives infinitely many integral specializations of t to values…

Number Theory · Mathematics 2019-07-30 Peter Müller

Let $X$ be a normal, excellent, noetherian scheme over $\operatorname{Spec}\mathbb{Q}$ with a dualizing complex. In this note, we find an alternate characterization of the multiplier ideal of $X$, as defined by de Fernex-Hacon, by…

Algebraic Geometry · Mathematics 2026-03-12 Peter M. McDonald