Related papers: A remark on symbolic powers

For an ideal $\mathcal{I}$ in a $\sigma$-complete Boolean algebra $\mathcal{A}$, we show that if the Boolean algebra $\mathcal{A}\langle\mathcal{I}\rangle$ generated by $\mathcal{I}$ does not have the Nikodym property, then it does not have…

We prove that for m > 2, the m-th symbolic power of a Stanley-Reisner ideal is Cohen-Macaulay if and only if the simplicial complex is a matroid. Similarly, the m-th ordinary power is Cohen-Macaulay for some m > 2 if and only if the complex…

Consider a height two ideal, $I$, which is minimally generated by $m$ homogeneous forms of degree $d$ in the polynomial ring $R=k[x,y]$. Suppose that one column in the homogeneous presenting matrix $\f$ of $I$ has entries of degree $n$ and…

If a geometry $\Gamma$ is isomorphic to the residue of a point $A$ of a shadow geometry of a spherical building $\Delta$, a representation $\varepsilon_\Delta^A$ of $\Gamma$ can be given in the unipotent radical $U_{A^*}$ of the stabilizer…

For each pair (k,r) of positive integers with r>1, we consider an ideal I^(k,r)_n of the ring of symmetric polynomials in n variables. The ideal I_n^(k,r) has a basis consisting of Macdonald polynomials P(x_1,...,x_n;q,t) at…

Let $k$ be an algebraically closed field, and let $C\subset \mathbb{P}^n_k$ be a reduced closed subscheme with ideal sheaf $\mathcal{I}$. Let $\mathcal{I}^{<2>}$ be the second symbolic power of $\mathcal{I}$. When $C$ is an integral curve,…

Consider the ideal I in K[x,y,z] corresponding to six points of P2. We study the limiting behaviour of the symbolic generic initial system, of I obtained by taking the reverse lexicographic generic initial ideals of the symbolic powers of…

The problem of bounding the "complexity" of a polynomial ideal in terms of the degrees of its generators has attracted considerable interest, brought into focus by the influential survey of Bayer and Mumford. The present paper examines some…

Let kG be the completed group algebra of a uniform pro-p group G with coefficients in a field k of characteristic p. We study right ideals I in kG that are invariant under the action of another uniform pro-p group Gamma. We prove that if I…

Let $a, b$ and $n > 1$ be three positive integers such that $a$ and $\sum_{j=0}^{n-1} b^j$ are relatively prime. In this paper, we prove that the toric ideal $I$ associated to the submonoid of $\mathbb{N}$ generated by $\{\sum_{j=0}^{n-1}…

In this article we give a molecular reconstruction theorem for $H_{\omega}^{p(\cdot)}(\mathbb{R}^{n})$. As an application of this result and the atomic decomposition developed in [5] we show that classical singular integrals can be extended…

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field $K$, and let $A$ be a finitely generated standard graded $S$-algebra. We show that if the defining ideal of $A$ has a quadratic initial ideal, then all the graded components of…

We study the Sierpinski object $\Sigma$ in the realizability topos based on Scott's graph model of the $\lambda$-calculus. Our starting observation is that the object of realizers in this topos is the exponential $\Sigma ^N$, where $N$ is…

Let $K$ be a field of characteristic $p>0$ and let $f(t_1,...,t_d)$ be a power series in $d$ variables with coefficients in $K$ that is algebraic over the field of multivariate rational functions $K(t_1,...,t_d)$. We prove a generalization…

The symbolic powers, in general, are not equal to the ordinary powers. Therefore, one interesting question here is for what classes of ideals ordinary and symbolic powers coincide? The answer to this question for squarefree monomial ideals…

Let X\subset PP^n be a projective scheme over a field, and let phi:X --> Y be a finite morphism. Our main result is a formula in terms of global data for the maximum of the Castelnuovo-Mumford regularity of the fibers of \phi, considered as…

For any graph $G$, assume that $J(G)$ is the cover ideal of $G$. Let $J(G)^{(k)}$ denote the $k$th symbolic power of $J(G)$. We characterize all graphs $G$ with the property that $J(G)^{(k)}$ has a linear resolution for some (equivalently,…

We consider an homogeneous ideal $I$ in the polynomial ring $S=K[x_1,\dots,$ $x_m]$ over a finite field $K=\mathbb{F}_q$ and the finite set of projective rational points $\mathbb{X}$ that it defines in the projective space…

We show that the Conjecture of Harbourne and Huneke, $I^{(Nr-(N-1))} \subset M^{(r-1)(N-1)}I^{r}$ holds for ideals of generic (simple) points in $\PP^3$. As a result, for such ideals we prove the following bounds, which can be recognized as…

Let (R,m) be a local ring with prime ideals p and q such that p+q is an m-primary ideal. If R is regular and contains a field, and dim(R/p)+dim(R/q)=dim(R), we prove that p^{(r)}\cap q^{(n)}\subseteq m^{m+n} for all positive integers r and…