arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Aron Simis

80 papers · 1970–2026

1970: 11971: 01972: 11973: 11974: 01975: 01976: 01977: 01978: 01979: 01980: 01981: 11982: 01983: 01984: 11985: 01986: 01987: 01988: 11989: 01990: 01991: 11992: 01993: 11994: 11995: 01996: 01997: 01998: 01999: 12000: 12001: 32002: 12003: 12004: 02005: 32006: 02007: 22008: 12009: 52010: 12011: 42012: 52013: 12014: 72015: 32016: 52017: 52018: 12019: 12020: 62021: 22022: 02023: 32024: 42025: 32026: 2
1970peak 7 in 20142026

Frequent co-authors

Papers

showing 1–25 of 80 RSS

On the Ideal Theory of Graphs

Aron Simis, W.V Vasconcelos, Rafael H. Villarreal

Algebra and Number Theory · Journal of Algebra · · cited 340× · DOI ↗ · more like this ·

We study algebras defined by finite sets G = {M1, ..., Mq} of monomials of a polynomial ring R. There are two basic algebras: (i) k[G] = k[M1, ..., Mq], the k-subalgebra of R spanned by the Mi, and (ii) the quotient ring R/I(G), where I(G) = (M1, ..., Mq). They come together in the construction of the Rees algebra R(I(G)) of the ideal I(G). The emphasis is almost entirely on sets of squarefree monomials of degree two and their attached graphs. The main results are assertions about the Cohen-Macaulay behaviour of the Koszul homology of I(G), and how normality or Cohen-Macaulayness of one of the algebras can be read off the properties of the graph or in the other algebra.

Rees Algebras of Modules

Aron Simis, Bernd Ulrich, Wolmer V. Vasconcelos

Algebra and Number Theory · Proceedings of the London Mathematical Society · · cited 82× · DOI ↗ · more like this ·

We study Rees algebras of modules within a fairly general framework. We introduce an approach through the notion of Bourbaki ideals that allows the use of deformation theory. One can talk about the (essentially unique) generic Bourbaki ideal I(E) of a module E which, in many situations, allows one to reduce the nature of the Rees algebra of E to that of its Bourbaki ideal I(E). Properties such as Cohen–Macaulayness, normality and being of linear type are viewed from this perspective. The known numerical invariants, such as the analytic spread, the reduction number and the analytic deviation, of an ideal and its associated algebras are considered in the case of modules. Corresponding notions of complete intersection, almost complete intersection and equimultiple modules are examined in some detail. Special consideration is given to certain modules which are fairly ubiquitous because…

Codimension, multiplicity and integral extensions

Aron Simis, Bernd Ulrich, Wolmer V. Vasconcelos

Algebra and Number Theory · Mathematical Proceedings of the Cambridge Philosophical Society · · cited 56× · DOI ↗ · more like this ·

Let A ⊂ B be a homogeneous inclusion of standard graded algebras with A0 = B0. To relate properties of A and B we intermediate with another algebra, the associated graded ring G = grA1B(B). We give criteria as to when the extension A ⊂ B is integral or birational in terms of the codimension of certain modules associated to G. We also introduce a series of multiplicities associated to the extension A ⊂ B. There are applications to the extension of two Rees algebras of modules and to estimating the (ordinary) multiplicity of A in terms of that of B and of related rings. Many earlier results by several authors are recovered quickly.

On the arithmetic and homology of algebras of linear type

Jürgen Herzog, Aron Simis, Wolmer V. Vasconcelos

Algebra and Number Theory · Transactions of the American Mathematical Society · · cited 54× · DOI ↗ · more like this ·

Three modifications of the symmetric algebra of a module are introduced and their arithmetical and homological properties studied. Emphasis is placed on converting syzygetic properties of the modules into ideal theoretic properties of the algebras, e.g. Cohen-Macaulayness, factoriality. The main tools are certain Fitting ideals of the module and an extension to modules of a complex of not necessarily free modules that we have used in studying blowing-up rings.

On Birational Maps and Jacobian Matrices

Francesco Russo, Aron Simis

Geometry and Topology · Compositio Mathematica · · cited 52× · DOI ↗ · more like this ·

One is concerned with Cremona-like transformations, i.e., rational maps from $ P$ n to $ P$ m that are birational onto the image Y ⊂ $ P$ m and, moreover, the inverse map from Y to $ P$ n lifts to $ P$ m . We establish a handy criterion of birationality in terms of certain syzygies and ranks of appropriate matrices and, moreover, give an effective method to explicitly obtaining the inverse map. A handful of classes of Cremona and Cremona-like transformations follow as applications.

The depth of the Jacobian ring of a homogeneous polynomial in three variables

Aron Simis

Geometry and Topology · Proceedings of the American Mathematical Society · · cited 30× · DOI ↗ · more like this ·

The question as to whether the Jacobian ideal of an irreducible projective plane curve always admits an irrelevant component has been going around for some years. One shows that a curve will satisfy this if it has only ordinary nodes or cusps, while an example is given of a family of sextic curves whose respective Jacobian ideals are saturated. The connection between this problem and the theory of homogeneous free divisors in three variables is also pointed out, so the example gives a family of Koszul-free divisors.

Constraints for the normality of monomial subrings and birationality

Aron Simis, Rafael H. Villarreal

Algebra and Number Theory · Proceedings of the American Mathematical Society · · cited 30× · DOI ↗ · more like this ·

Let <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="k"> <mml:semantics> <mml:mi>k</mml:mi> <mml:annotation encoding="application/x-tex">k</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be a field and let <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="bold upper F subset-of k left-bracket x 1 comma ellipsis comma x Subscript n Baseline right-bracket"> <mml:semantics> <mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="bold">F</mml:mi> </mml:mrow> </mml:mrow> <mml:mo> ⊂ </mml:mo> <mml:mi>k</mml:mi> <mml:mo stretchy="false">[</mml:mo> <mml:msub> <mml:mi>x</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:mo> … </mml:mo> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>x</mml:mi> <mml:mrow…

A blowup algebra of hyperplane arrangements

Mehdi Garrousian, Aron Simis, Stefan Tohaneanu

math.AC · · cited 29× · arXiv ↗ · more like this ·

It is shown that the Orlik-Terao algebra is graded isomorphic to the special fiber of the ideal $I$ generated by the $(n-1)$-fold products of the members of a central arrangement of size $n$. This momentum is carried over to the Rees algebra (blowup) of $I$ and it is shown that this algebra is of fiber-type and Cohen-Macaulay. It follows by a result of Simis-Vasconcelos that the special fiber of $I$ is Cohen-Macaulay, thus giving another proof of a result of Proudfoot-Speyer about the Cohen-Macauleyness of the Orlik-Terao algebra.

The Aluffi Algebra

Abbas Nasrollah Nejad, Aron Simis

math.AC · · cited 25× · arXiv ↗ · more like this ·

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…

Blow-up of straightening-closed ideals in ordinal Hodge algebras

Winfried Bruns, Aron Simis, Ngô Viêt Trung

Geometry and Topology · Transactions of the American Mathematical Society · · cited 25× · DOI ↗ · more like this ·

We study a class of ideals <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper I"> <mml:semantics> <mml:mi>I</mml:mi> <mml:annotation encoding="application/x-tex">I</mml:annotation> </mml:semantics> </mml:math> </inline-formula> in graded ordinal Hodge algebras <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper A"> <mml:semantics> <mml:mi>A</mml:mi> <mml:annotation encoding="application/x-tex">A</mml:annotation> </mml:semantics> </mml:math> </inline-formula> . These ideals are distinguished by the fact that their powers have a canonical standard basis. This leads to Hodge algebra structures on the Rees ring and the associated graded ring. Furthermore, from a natural standard filtration one obtains a depth bound for <inline-formula content-type="math/mathml">…

Cremona maps of de Jonquières type

Ivan Pan, Aron Simis

math.AG · · cited 19× · arXiv ↗ · more like this ·

This paper is concerned with suitable generalizations of a plane de Jonquières map to higher dimensional space $\mathbb{P}^n$ with $n\geq 3$. For each given point of $\mathbb{P}^n$ there is a subgroup of the entire Cremona group of dimension $n$ consisting of such maps. One studies both geometric and group-theoretical properties of this notion. In the case where $n=3$ one describes an explicit set of generators of the group and gives a homological characterization of a basic subgroup thereof.

1 The Aluffi algebra

Abbas Nasrollah Nejad, Aron Simis

Geometry and Topology · · cited 14× · OpenAlex ↗ · more like this ·

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 \'a 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…

Extremal Rees Algebras

Jooyoun Hong, Aron Simis, Wolmer V. Vasconcelos

math.AC · · cited 14× · arXiv ↗ · more like this ·

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.

Tangent algebras

Aron Simis, Bernd Ulrich, Wolmer V. Vasconcelos

Geometry and Topology · Transactions of the American Mathematical Society · · cited 12× · DOI ↗ · more like this ·

One studies the Zariski tangent cone $T_X\stackrel {\pi }{\longrightarrow } X$ to an affine variety $X$ and the closure $\overline {T}_X$ of $\pi ^{-1}(\textrm {Reg}(X))$ in $T_X$. One focuses on the comparison between $T_X$ and $\overline {T}_X$, giving sufficient conditions on $X$ in order that $T_X=\overline {T}_X$. One considers, in particular, the question of when this equality takes place in the presence of the reducedness of the Zariski tangent cone. Another problem considered here is to understand the impact of the Cohen–Macaulayness or normality of $\overline {T}_X$ on the local structure of $X$.

Degree of Rational Maps and Specialization

Yairon Cid‐Ruiz, Aron Simis

Algebra and Number Theory · International Mathematics Research Notices · · cited 8× · DOI ↗ · more like this ·

Abstract 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 domain.

Equations of Almost Complete Intersections

Jooyoun Hong, Aron Simis, Wolmer Vasconcelos

math.AC · · cited 7× · arXiv ↗ · more like this ·

In this paper we examine the role of four Hilbert functions in the determination of the defining relations of the Rees algebra of almost complete intersections of finite colength. Because three of the corresponding modules are Artinian, some of these relationships are very effective, opening up tracks to the determination of the equations and also to processes of going from homologically defined sets of equations to higher degrees ones assembled by resultants.

Degree of rational maps via specialization

Yairon Cid-Ruiz, Aron Simis

math.AG · · cited 6× · arXiv ↗ · more like this ·

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.

A theorem about Cremona maps and symbolic Rees algebras

Barbara Costa, Zaqueu Ramos, Aron Simis

math.AC · · cited 6× · arXiv ↗ · more like this ·

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.

Homology of Homogeneous Divisors

Aron Simis, Stefan O. Tohaneanu

math.AC · · cited 6× · arXiv ↗ · more like this ·

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.

Implicitization of de Jonquières parametrizations

Seyed Hamid Hassanzadeh, Aron Simis

math.AC · · cited 6× · arXiv ↗ · more like this ·

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.

The analytic spread of the ideal of a monomial curve in projective 3-space

Philippe Giménez, Marcel Moralès, Aron Simis

Geometry and Topology · Birkhäuser Boston eBooks · · cited 6× · DOI ↗ · more like this ·

Let k be an algebraically closed field and let C ⊂ An stand for a quasi homogeneous surface admitting a rational parametrization given by monomials. Consider the blowing-up A ñ of A n with center C and look at the fibre of the structural morphism $$ \widetilde{{{\mathbb{A}^{2}}}} \to {\mathbb{A}^{n}} $$ over the origin 0 (the special fibre of the blowing-up).

On the grade of some ideals

José Filipe Silva de Andrade, Aron Simis, W.V Vasconcelos

Algebra and Number Theory · manuscripta mathematica · · cited 6× · DOI ↗ · more like this ·

An “additivity” formula is obtained for the grade of an ideal in a residue ring R/I, where I is a perfect ideal. This result is then applied to compute the grade of ideals of linear (inhomogeneous) polynomials. Further results on the homological rigidity of the conormal module I/I 2 are pointed out. Finally, an elementary proof is given of a result of Buchsbaum concerning the grade of ideals of minors of a matrix.

The Fitting ideal problem

Aron Simis, Benjamin J. Ulrich

Algebra and Number Theory · Bulletin of the London Mathematical Society · · cited 5× · DOI ↗ · more like this ·

Let A be a Noetherian local ring and let E be a finitely generated A-module having rank r. In this note one deals with the expected inequality ℓ(∧rE) ⩾ height (Fittr(E)), where height (Fittr(E)) is the codimension of the rth Fitting ideal of E, and ℓ(M) stands for the analytic spread of a module M. One establishes cases where the inequality holds as well as where it fails. A special case where the inequality holds implies the celebrated Zak inequality for the dimension of the image of the Gauss map.

Generic freeness of local cohomology and graded specialization

Marc Chardin, Yairon Cid-Ruiz, Aron Simis

math.AC · · cited 4× · arXiv ↗ · more like this ·

The main focus is the generic freeness of local cohomology modules in a graded setting. The present approach takes place in a quite nonrestrictive setting, by solely assuming that the ground coefficient ring is Noetherian. Under additional assumptions, such as when the latter is reduced or a domain, the outcome turns out to be stronger. One important application of these considerations is to the specialization of rational maps and of symmetric and Rees powers of a module.