BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Aron Simis

Aron Simis appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ACmath.AGmath.CO

Catalog footprint

What is connected

24works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

24 published item(s)

preprint2022arXiv

Homaloidal hypersurfaces and hypersurfaces with vanishing Hessian

We prove the existence of various families of irreducible homaloidal hypersurfaces in projective space $\mathbb P^ r$, for all $r\geq 3$. Some of these are families of homaloidal hypersurfaces whose degrees are arbitrarily large as compared to the dimension of the ambient projective space. The existence of such a family solves a question that has naturally arisen from the consideration of the classes of homaloidal hypersurfaces known so far. The result relies on a fine analysis of dual hypersurfaces to certain scroll surfaces. We also introduce an infinite family of determinantal homaloidal hypersurfaces based on a certain degeneration of a generic Hankel matrix. These examples fit non--classical versions of de Jonquières transformations. As a natural counterpoint, we broaden up aspects of the theory of Gordan--Noether hypersurfaces with vanishing Hessian determinant, bringing over some more precision to the present knowledge.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On the Jacobian ideal of central arrangements

Let $\mathcal{A}$ denote a central hyperplane arrangement of rank $n$ in affine space $\mathbb{K}^n$ over an infinite field $\mathbb{K}$ and let $l_1,\ldots, l_m\in R:= \mathbb K[x_1,\ldots,x_n]$ denote the linear forms defining the corresponding hyperplanes, along with the corresponding defining polynomial $f:=l_1\cdots l_m\in R$. Let $J_f$ denote the ideal generated by the partial derivatives of $f$ and let $\mathbb{I}$ designate the ideal generated by the $(m-1)$-fold products of $l_1,\ldots, l_m$. This paper is centered on the relationship between the two ideals $J_f, \mathbb{I}\subset R$, their properties and two conjectures related to them. Some parallel results are obtained in the case of forms of higher degrees provided they fulfill a certain transversality requirement.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Coordinate sections of generic Hankel matrices

One deals with degenerations by coordinate sections of the square generic Hankel matrix over a field $k$ of characteristic zero, along with its main related structures, such as the determinant of the matrix, the ideal generated by its partial derivatives, the polar map defined by these derivatives, the Hessian matrix and the ideal of the submaximal minors of the matrix. It is proved that the polar map is dominant for any such degenerations, and not homaloidal in the generic case. The problem of whether the determinant $f$ of the matrix is a factor of the Hessian with the (Segre) expected multiplicity is considered, for which the expected lower bound of the dual variety of $V(f)$ is established.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Degree of rational maps via specialization

One considers the behavior of the degree of a rational map under specialization of the coefficients of the defining linear system. The method rests on the classical idea of Kronecker as applied to the context of projective schemes and their specializations. For the theory to work one is led to develop the details of rational maps and their graphs when the ground ring of coefficients is a Noetherian integral domain.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Equigenerated ideals of analytic deviation one

The overall goal is to approach the Cohen--Macaulay property of the special fiber $\mathcal{F}(I)$ of an equigenerated homogeneous ideal $I$ in a standard graded ring over an infinite field. When the ground ring is assumed to be local, the subject has been extensively looked at. Here, with a focus on the graded situation, one introduces two technical conditions, called respectively, {\em analytical tightness} and {\em analytical adjustment}, in order to approach the Cohen--Macaulayness of $\mathcal{F}(I)$. A degree of success is obtained in the case where $I$ in addition has analytic deviation one, a situation looked at by several authors, being essentially the only interesting one in dimension three. Naturally, the paper has some applications in this case.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

An analogue of the Aluffi algebra for modules

P. Aluffi introduced in [1] a new graded algebra in order to conveniently express characteristic cycles in the theory of singular varieties. This algebra is attached to a surjective ring homomorphism $A\surjects B$ by taking a suitable inverse limit of graded algebras, one for each representation of $A$ as a residue ring of a given "ambient" ring $R.$ Since giving a ring surjection $A\surjects B$ is tantamount to giving an ideal $I \subset A$, it would seem natural to ask for an analogous notion for $A$-modules. This is the central purpose of this work. Since a given module may not admit any embedding into a free module, a preparatory toil includes dealing with this technical point at the outset. On the bright side, the intrusion of modules raises a few algebraic questions interesting on their own. It is to expect that this extension to modules may be transcribed in terms of coherent sheaves, thus possibly providing an answer to a question by Aluffi in this regard. Two main bodies of examples are treated in detail to illustrate how the theory works and to show the relation to finer properties of other algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Effective criteria for bigraded birational maps

In this paper, we consider rational maps whose source is a product of two subvarieties, each one being embedded in a projective space. Our main objective is to investigate birationality criteria for such maps. First, a general criterion is given in terms of the rank of a couple of matrices that became to be known as Jacobian dual matrices. Then, we focus on rational maps from the product of two projectine lines to the projective plane in very low bidegrees and provide new matrix-based birationality criteria by analyzing the syzygies of the defining equations of the map, in particular by looking at the dimension of certain bigraded parts of the syzygy module. Finally, applications of our results to the context of geometric modeling are discussed at the end of the paper.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The Newton complementary dual revisited

This work deals with the notion of Newton complementary duality as raised originally in the work of the second author and B. Costa. A conceptual revision of the main steps of the notion is accomplished which then leads to a vast simplification and improvement of several statements concerning rational maps and their images. A ring-homomorphism like map is introduced that allows for a close comparison between the respective graphs of a rational map and its Newton dual counterpart.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On a conjecture of Vasconcelos

One studies the structure of the Rees algebra of an almost complete intersection monomial ideal of finite co-length in a polynomial ring over a field, assuming that the least pure powers of the variables contained in the ideal have the same degree. It is shown that the Rees algebra has a natural quasi-homogeneous structure and its presentation ideal is generated by explicit Sylvester forms. A consequence of these results is a proof that the Rees algebra is almost Cohen--Macaulay, thus answering affirmatively an important case of a conjecture of W. Vasconcelos.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A theorem about Cremona maps and symbolic Rees algebras

This work is about the structure of the symbolic Rees algebra of the base ideal of a Cremona map. We give sufficient conditions under which this algebra has the "expected form" in some sense. The main theorem in this regard seemingly covers all previous results on the subject so far. The proof relies heavily on a criterion of birationality and the use of the so-called inversion factor of a Cremona map. One adds a pretty long selection of examples of plane and space Cremona maps tested against the conditions of the theorem, with special emphasis on Cohen--Macaulay base ideals.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Homaloidal determinants

A form in a polynomial ring over a field is said to be homaloidal if its polar map is a Cremona map, i.e., if the rational map defined by the partial derivatives of the form has an inverse rational map. The object of this work is the search for homaloidal polynomials that are the determinants of sufficiently structured matrices. We focus on generic catatalecticants, with special emphasis on the Hankel matrix. An additional focus is on certain degenerations or specializations thereof. In addition to studying the homaloidal nature of these determinants, one establishes several results on the ideal theoretic invariants of the respective gradient ideals, such as primary components, multiplicity, reductions and free resolutions.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Ideals generated by quadrics

Our purpose is to study the cohomological properties of the Rees algebras of a class of ideals generated by quadrics. For all such ideals $I\subset R = K[x,y,z]$ we give the precise value of depth $R[It]$ and decide whether the corresponding rational maps are birational. In the case of dimension $d \geq 3$, when $K=\mathbb{R}$, we give structure theorems for all ideals of codimension $d$ minimally generated by ${{d+1}\choose{2}}-1$ quadrics. For arbitrary fields $K$, we prove a polarized version.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The Aluffi algebra of the Jacobian of points in projective space: torsion-freeness

The algebra in the title has been introduced by P. Aluffi. Let $J\subset I$ be ideals in the commutative ring $R$. The (embedded) Aluffi algebra of $I$ on $R/J$ is an intermediate graded algebra between the symmetric algebra and Rees Algebra of the ideal $I/J$ over $R/J$. A pair of ideals has been dubbed an Aluffi torsion-free pair if the surjective map of the Aluffi algebra of $I/J$ onto the Rees algebra of $I/J$ is injective. In this paper we focus on the situation where $J$ is the ideal of points in general linear position in projective space and $I$ is its Jacobian ideal.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The ubiquity of Sylvester forms in almost complete intersections

The subject matter is the structure of the Rees algebra of almost complete intersection ideals of finite colength in low-dimensional polynomial rings over fields. The main tool is a mix of Sylvester forms and iterative mapping cone construction. The material developed spins around ideals of forms in two or three variables in the search of those classes for which the corresponding Rees ideal is generated by Sylvester forms and is almost Cohen--Macaulay. A main offshoot is in the case where the forms are monomials. Another consequence is a proof that the Rees ideals of the base ideals of certain plane Cremona maps (e.g., de Jonquières maps) are generated by Sylvester forms and are almost Cohen--Macaulay.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Symbolic powers of perfect ideals of codimension 2 and birational maps

This work is about symbolic powers of codimension two perfect ideals in a standard polynomial ring over a field, where the entries of the corresponding presentation matrix are general linear forms. The main contribution of the present approach is the use of the birational theory underlying the nature of the ideal and the details of a deep interlacing between generators of its symbolic powers and the inversion factors stemming from the inverse map to the birational map defined by the linear system spanned by the generators of this ideal. A full description of the corresponding symbolic Rees algebra is given in some cases.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Extremal Rees Algebras

We study almost complete intersections ideals whose Rees algebras are extremal in the sense that some of their fundamental metrics---depth or relation type---have maximal or minimal values in the class. The focus is on those ideals that lead to almost Cohen--Macaulay algebras and our treatment is wholly concentrated on the nonlinear relations of the algebras. Several classes of such algebras are presented, some of a combinatorial origin. We offer a different prism to look at these questions with accompanying techniques. The main results are effective methods to calculate the invariants of these algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Homology of Homogeneous Divisors

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Implicitization of de Jonquières parametrizations

One introduces a class of projective parameterizations that resemble generalized de Jonquières maps. Any such parametrization defines a birational map $\mathfrak{F}$ of $\pp^n$ onto a hypersurface $V(F)\subset \pp^{n+1}$ with a strong handle to implicitization. From this side, the theory here developed extends recent work of Ben\ii tez--D'Andrea on monoid parameterizations. The paper deals with both ideal theoretic and effective aspects of the problem. The ring theoretic development gives information on the Castelnuovo--Mumford regularity of the base ideal of $\mathfrak{F}$. From the effective side, one gives an explicit formula of $°(F)$ involving data from the inverse map of $\mathfrak{F}$ and show how the present parametrization relates to monoid parameterizations.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

New Constructions of Cremona Maps

One defines two ways of constructing rational maps derived from other rational maps, in a characteristic-free context. The first introduces the Newton complementary dual of a rational map. One main result is that this dual preserves birationality and gives an involutional map of the Cremona group to itself that restricts to the monomial Cremona subgroup and preserves de Jonquières maps. In the monomial restriction this duality commutes with taking inverse in the group, but is a not a group homomorphism. The second construction is an iterative process to obtain rational maps in increasing dimension. Starting with birational maps, it leads to rational maps whose topological degree is under control. Making use of monoids, the resulting construct is in fact birational if the original map is so. A variation of this idea is considered in order to preserve properties of the base ideal, such as Cohen--Macaulayness. Combining the two methods, one is able to produce explicit infinite families of Cohen--Macaulay Cremona maps with prescribed dimension, codimension and degree.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Combinatorics of Cremona monomial maps

One studies Cremona monomial maps by combinatorial means. Among the results is a simple integer matrix theoretic proof that the inverse of a Cremona monomial map is also defined by monomials of fixed degree, and moreover, the set of monomials defining the inverse can be obtained explicitly in terms of the initial data. A neat consequence is drawn for the plane Cremona monomial group, in particular the known result saying that a plane Cremona (monomial) map and its inverse have the same degree. Included is a discussion about the computational side and/or implementation of the combinatorial invariants stemming from these questions.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Cremona maps defined by monomials

Cremona maps defined by monomials of degree 2 are thoroughly analyzed and classified via integer arithmetic and graph combinatorics. In particular, the structure of the inverse map to such a monomial Cremona map is made very explicit as is the degree of its monomial defining coordinates. As a special case, one proves that any monomial Cremona map of degree 2 has inverse of degree 2 if and only if it is an involution up to permutation in the source and in the target. This statement is subsumed in a recent result of L. Pirio and F. Russo, but the proof is entirely different and holds in all characteristics. One unveils a close relationship binding together the normality of a monomial ideal, monomial Cremona maps and Hilbert bases of polyhedral cones. The latter suggests that facets of monomial Cremona theory may be NP-hard.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The Aluffi Algebra

We deal with the quasi-symmetric algebra introduced by Paolo Aluffi, here named (embedded) Aluffi algebra. The algebra is a sort of "intermediate" algebra between the symmetric algebra and the Rees algebra of an ideal, which serves the purpose of introducing the characteristic cycle of a hypersurface in intersection theory. The results described in the present paper have an algebraic flavor and naturally connect with various themes of commutative algebra, such as standard bases á la Hironaka, Artin--Rees like questions, Valabrega--Valla ideals, ideals of linear type, relation type and analytic spread. We give estimates for the dimension of the Aluffi algebra and show that, pretty generally, the latter is equidimensional whenever the base ring is a hypersurface ring. There is a converse to this under certain conditions that essentially subsume the setup in Aluffi's theory, thus suggesting that this algebra will not handle cases other than the singular locus of a hypersurface. The torsion and the structure of the minimal primes of the algebra are clarified. In the case of a projective hypersurface the results are more precise and one is naturally led to look at families of projective plane singular curves to understand how the property of being of linear type deforms/specializes for the singular locus of a member. It is fairly elementary to show that the singular locus of an irreducible curve of degree at most 3 is of linear type. This is roundly false in degree larger than 4 and the picture looks pretty wild as we point out by means of some families. Degree 4 is the intriguing case. Here we are able to show that the singular locus of the generic member of a family of rational quartics, fixing the singularity type, is of linear type. We conjecture that every irreducible quartic has singular locus of linear type.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Polar syzygies in characteristic zero: the monomial case

Given a set of forms f={f_1,...,f_m} in R=k[x_1,...,x_n], where k is a field of characteristic zero, we focus on the first syzygy module Z of the transposed Jacobian module D(f), whose elements are called differential syzygies of f. There is a distinct submodule P of Z coming from the polynomial relations of f through its transposed Jacobian matrix, the elements of which are called polar syzygies of f. We say that f is polarizable if equality P=Z holds. This paper is concerned with the situation where f are monomials of degree 2, in which case one can naturally associate to them a graph G(f) with loops and translate the problem into a combinatorial one. A main result is a complete combinatorial characterization of polarizability in terms of special configurations in this graph. As a consequence, we show that polarizability implies normality of the subalgebra k[f] of R and that the converse holds provided the graph G(f) is free of certain degenerate configurations. One main combinatorial class of polarizability is the class of polymatroidal sets. We also prove that if the edge graph of G(f) has diameter at most 2 then f is polarizable. We establish a curious connection with birationality of rational maps defined by monomial quadrics.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Linear syzygies and birational combinatorics

Let $F$ be a finite set of monomials of the same degree $d\geq 2$ in a polynomial ring $R=k[x_1,...,x_n]$ over an arbitrary field $k$. We give some necessary and/or sufficient conditions for the birationality of the ring extension $k[F]\subset R^{(d)}$, where $R^{(d)}$ is the $d${\it th} Veronese subring of $R$. One of our results extends to arbitrary characteristic, in the case of rational monomial maps, a previous syzygy-theoretic birationality criterion in characteristic zero

0 citations0 reviewsNo code linkedOpen access