Related papers: Chudnovsky's Conjecture and the stable Harbourne-H…
In this paper we are concerned with a long-standing conjecture of Huneke and Wiegand. We introduce a new class of ideals and prove thateach ideal from such class satisfies the conclusion of the conjecture in question. We also study the…
We prove stability estimates for the Brunn-Minkowski inequality for convex sets. Unlike existing stability results, our estimates improve as the dimension grows. Our results are equivalent to a thin shell bound, which is one of the central…
We study symbolic powers of bi-homogeneous ideals of points in the Cartesian product of two projective lines and extend to this setting results on the effect of points fattening obtained by Bocci, Chiantini and Dumnicki, Szemberg,…
Hochster and Huneke proved in \cite{HH5} fine behaviors of symbolic powers of ideals in regular rings, using the theory of tight closure. In this paper, we use generalized test ideals, which are a characteristic $p$ analogue of multiplier…
In this survey article we give a brief history of symbolic powers and its connection with the interesting problem of set-theoretic complete intersection. We also state a few problems and conjectures. Recently, in connection to symbolic…
Building on previous work by the same authors, we show that certain ideals defining Gorenstein rings have expected resurgence, and thus satisfy the stable Harbourne Conjecture. In prime characteristic, we can take any radical ideal defining…
In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…
We prove a sharp stability result concerning how close homothetic sets attaining near-equality in the Brunn-Minkowski inequality are to being convex. In particular, resolving a conjecture of Figalli and Jerison, we show there are universal…
We obtain in closed form averages of polynomials, taken over hermitian matrices with the Gaussian measure involved in the Kontsevich integral, and prove a conjecture of Witten enabling one to express analogous averages with the full (cubic…
The main goal of this paper is to present an algorithm bounding the dimension of a linear system of curves of given degree (or monomial basis) with multiple points in general position. As a result we prove the Hirschowitz--Harbourne…
The Brunn-Minkowski inequality, applicable to bounded measurable sets $A$ and $B$ in $\mathbb{R}^d$, states that $|A+B|^{1/d} \geq |A|^{1/d}+|B|^{1/d}$. Equality is achieved if and only if $A$ and $B$ are convex and homothetic sets in…
This paper discusses a general and useful stability principle which, roughly speaking, says that given a uniformly continuous function defined on an arbitrary metric space, if the function is bounded on the constraint set and we slightly…
We define a notion of height for rational points with respect to a vector bundle on a proper algebraic stack with finite diagonal over a global field, which generalizes the usual notion for rational points on projective varieties. We…
The purpose of this note is to study containment relations and asymptotic invariants for ideals of fixed codimension skeletons (simplicial ideals) determined by arrangements of $n + 1$ general hyperplanes in the $n-$dimensional projective…
We present some results and conjectures on a generalization to the noncommutative setup of the Brouwer fixed-point theorem from the Borsuk-Ulam theorem perspective.
We state a conjecture on the stability of Betti diagrams of powers of monomial ideals.
We introduce the class of sparse symmetric shifted monomial ideals. These ideals have linear quotients and their Betti numbers are computed. Using this, we prove that the symbolic powers of the generalized star configuration ideal are…
The purpose of this simple note is to provide elementary model-theoretic proofs to some existing results on sumset phenomena and IP sets, motivated by Hrushovski's work on the stabilizer theorem.
We establish a criterion for the (failure of) the containment $I^{(m)}\subset I^r$ for 3-generated ideals $I$ defining reduced sets of points in $\mathbb{P}^2$. Our criterion arises from studying the minimal free resolutions of the powers…
We deal with the rigidity conjecture of symbolic powers over regular rings. This was asked by Huneke. Along with our investigation, we confirm a conjecture [7, Conjecture 3.8].