BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Stefan O. Tohaneanu contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this article we show that any free hyperplane arrangement with exponents 1's and 2's is a supersolvable arrangement. We conjecture that any free arrangement with exponents 1's, 2's and exactly one 3, is also supersolvable, and we show this conjecture for hyperplane arrangements of ranks 4 and 5, and for inductively free arrangements of any rank.
Let $I$ be a homogeneous ideal in $R=\mathbb K[x_0,\ldots,x_n]$, such that $R/I$ is an Artinian Gorenstein ring. A famous theorem of Macaulay says that in this instance $I$ is the ideal of polynomial differential operators with constant coefficients that cancel the same homogeneous polynomial $F$. A major question related to this result is to be able to describe $F$ in terms of the ideal $I$. In this note we give a partial answer to this question, by analyzing the case when $I$ is the Artinian reduction of the ideal of a reduced (arithmetically) Gorenstein zero-dimensional scheme $Γ\subset\mathbb P^n$. We obtain $F$ from the coordinates of the points of $Γ$.
Given a finite set of points $Γ$ in $\mathbb P^{k-1}$ not all contained in a hyperplane, the "fitting problem" asks what is the maximum number $hyp(Γ)$ of these points that can fit in some hyperplane and what is (are) the equation(s) of such hyperplane(s). If $Γ$ has the property that any $k-1$ of its points span a hyperplane, then $hyp(Γ)=nil(I)+k-2$, where $nil(I)$ is the index of nilpotency of an ideal constructed from the homogeneous coordinates of the points of $Γ$. Note that in $\mathbb P^2$ any two points span a line, and we find that the maximum number of collinear points of any given set of points $Γ\subset\mathbb P^2$ equals the index of nilpotency of the corresponding ideal, plus one.
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 free resolution of $I_Z$, the defining ideal of $Z$. We investigate this relation in the case that the support of $Z$ is a complete intersection; when $Z$ is reduced and a complete intersection we give lower bounds for $d(Z)$ that improve upon known bounds.
Alfeld and Schumaker provide a formula for the dimension of the space of piecewise polynomial functions, called splines, of degree $d$ and smoothness $r$ on a generic triangulation of a planar simplicial complex $Δ$, for $d \geq 3r+1$. Schenck and Stiller conjectured that this formula actually holds for all $d \geq 2r+1$. Up to this moment there was not known a single example where one could show that the bound $d\geq 2r +1$ is sharp. However, in 2005, a possible such example was constructed to show that this bound is the best possible (i.e., the Alfeld-Schumaker formula does not hold if $d=2r$), except that the proof that this formula actually works if $d\geq 2r+1$ has been a challenge until now when we finally show it to be true. The interesting subtle connections with representation theory, matrix theory and commutative and homological algebra seem to explain why this example presented such a challenge. Thus in this paper we present the first example when it is known that the bound $d\geq 2r+1$ is sharp for asserting the validity of the Alfeld-Schumaker formula.
One deals with arbitrary reduced free divisors in a polynomial ring over a field of characteristic zero, by stressing the ideal theoretic and homological behavior of the corresponding singular locus. A particular emphasis is given to both weighted homogeneous and homogeneous polynomials, allowing to introduce new families of free divisors which do not come from hyperplane arrangements nor as explicit discriminants from singularity theory.
Let $I\subset \mathbb C[x,y,z]$ be an ideal of height 2 and minimally generated by three homogeneous polynomials of the same degree. If $I$ is a locally complete intersection we give a criterion for $\mathbb C[x,y,z]/I$ to be arithmetically Cohen-Macaulay. Since the setup above is most commonly used when $I=J_F$ is the Jacobian ideal of the defining polynomial of a "quasihomogeneous" reduced curve $Y=V(F)$ in $\mathbb P^2$, our main result becomes a criterion for freeness of such divisors. As an application we give an upper bound for the degree of the reduced Jacobian scheme when $Y$ is a free rank 3 central essential arrangement, as well as we investigate the connections between the first syzygies on $J_F$, and the generators of $\sqrt{J_F}$.
Let $\mathbb K$ be a field of characteristic 0. Let $Γ\subset\mathbb P^n_{\mathbb K}$ be a reduced finite set of points, not all contained in a hyperplane. Let $hyp(Γ)$ be the maximum number of points of $Γ$ contained in any hyperplane, and let $d(Γ)=|Γ|-hyp(Γ)$. If $I\subset R=\mathbb K[x_0,...,x_n]$ is the ideal of $Γ$, then in \cite{t1} it is shown that for $n=2,3$, $d(Γ)$ has a lower bound expressed in terms of some shift in the graded minimal free resolution of $R/I$. In these notes we show that this behavior is true in general, for any $n\geq 2$: $d(Γ)\geq A_n$, where $A_n=\min\{a_i-n\}$ and $\oplus_i R(-a_i)$ is the last module in the graded minimal free resolution of $R/I$. In the end we also prove that this bound is sharp for a whole class of examples due to Juan Migliore (\cite{m}).
Let ${\mathcal C}= \bigcup_{i=1}^n C_i \subseteq \mathbb{P}^2$ be a collection of smooth rational plane curves. We prove that the addition-deletion operation used in the study of hyperplane arrangements has an extension which works for a large class of arrangements of smooth rational curves, giving an inductive tool for understanding the freeness of the module $Ω^1({\mathcal C})$ of logarithmic differential forms with pole along ${\mathcal C}$. We also show that the analog of Terao's conjecture (freeness of $Ω^1({\mathcal C})$ is combinatorially determined if ${\mathcal C}$ is a union of lines) is false in this setting.