Related papers: On the containment problem for fat points ideals
We study Hilbert functions of certain non-reduced schemes A supported at finite sets of points in projective space, in particular, fat point schemes. We give combinatorially defined upper and lower bounds for the Hilbert function of A using…
In this paper we study the class of power ideals generated by the $k^n$ forms $(x_0+\xi^{g_1}x_1+\ldots+\xi^{g_n}x_n)^{(k-1)d}$ where $\xi$ is a fixed primitive $k^{th}$-root of unity and $0\leq g_j\leq k-1$ for all $j$. For $k=2$, by using…
The Boone--Higman conjecture is that every recursively presented group with solvable word problem embeds in a finitely presented simple group. We discuss a brief history of this conjecture and work towards it. Along the way we describe some…
We introduce here a new universality conjecture for levels of random Hamiltonians, in the same spirit as the local REM conjecture made by S. Mertens and H. Bauke. We establish our conjecture for a wide class of Gaussian and non-Gaussian…
We show that the universal theory of torsion groups is strongly contained in the universal theory of finite groups. This answers a question of Dyson. We also prove that the universal theory of some natural classes of torsion groups is…
K. Harada conjectured for any finite group $G$, the product of sizes of all conjugacy classes is divisible by the product of degrees of all irreducible characters. We study this conjecture when $G$ is the general linear group over a finite…
In this paper we show that an intuitionistic theory for fixed points is conservative over the Heyting arithmetic with respect to a certain class of formulas. This extends partly the result of mine. The proof is inspired by the quick…
A conjecture for higher order separation on generic rational surfaces with some new results about standard divisors.
L\'evai and Pyber proposed the following as a conjecture: Let $G$ be a profinite group such that the set of solutions of the equation $x^n=1$ has positive Haar measure. Then $G$ has an open subgroup $H$ and an element $t$ such that all…
Let $Z \subseteq \proj{n}$ be a fat points scheme, and let $d(Z)$ be the minimum distance of the linear code constructed from $Z$. We show that $d(Z)$ imposes constraints (i.e., upper bounds) on some specific shifts in the graded minimal…
Let $I_X$ be the saturated homogeneous ideal defining a codimension two arithmetically Cohen-Macaulay scheme $X \subseteq \mathbb{P}^n$, and let $I_X^{(m)}$ denote its $m$-th symbolic power. We are interested in when $I_X^{(m)} = I_X^m$. We…
In the setting of step two Carnot groups, we show a "cone property" for horizontally convex sets. Namely we prove that, given a horizontally convex set $C$, a pair of points $P\in \partial C$ and $Q\in $ int $C$, both belonging to a…
We give a vertex set description for basic, graded, regular ideals of locally-convex Kumjian-Pask Algebras. We also show that Condition (B) is preserved when taking the quotient by a basic, graded, regular ideal. We further show that when a…
The Big-Line-Big-Clique Conjecture of Kara, Por and Wood asserts that, for every fixed $k$ and $\ell$, every sufficiently large finite planar point set contains either $k$ collinear points or $\ell$ pairwise visible points. We prove a…
Let A be a simple, unital, exact, and finite C*-algebra which absorbs the Jiang-Su algebra Z tensorially. We prove that the Cuntz semigroup of A admits a complete order embedding into an ordered semigroup obtained from the Elliott invariant…
Let k be a regular F_p-algebra, let A = k[x,y]/(x^b - y^a) be the coordinate ring of a planar cuspical curve, and let I = (x,y) be the ideal that defines the cusp point. We give a formula for the relative K-groups K_q(A,I) in terms of the…
We give upper bounds for the Stanley depth of edge ideals of certain k-partite clutters. In particular, we generalize a result of Ishaq about the Stanley depth of the edge ideal of a complete bipartite graph. A result of Pournaki, Seyed…
If $I=(f_1,\ldots,f_r)$ is an ideal in $S=k[x_1,\ldots,x_n]$, and $f_i$ are "general" elements of given degrees, there is a conjecture on the Hilbert series of $S/I$. We are considering the corresponding concepts in bigraded rings.
Let $p$ be an odd prime, $F/{\Bbb Q}$ an abelian totally real number field, $F_\infty/F$ its cyclotomic ${\Bbb Z}_p$-extension, $G_\infty = Gal (F_\infty / {\Bbb Q}),$ ${\Bbb A} = {\Bbb Z}_p [[G_\infty]].$ We give an explicit description of…
We consider the open problem of determining the graded Betti numbers for fat point subschemes supported at general points of the projective plane. We relate this problem to the open geometric problem of determining the splitting type of the…