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

Marcel Morales

Marcel Morales 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

13works
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

13 published item(s)

preprint2026arXiv

Frobenius Number Of Almost Symmetric Numerical Generalized Almost Arithmetic Semigroups

Let a, k, h, c be positive integers and d a non zero integer. Recall that a numerical generalized almost arithmetic semigroup S is a semigroup minimally generated by relatively prime positive integers a, ha + d, ha + 2d, . . . , ha + kd, c, that is its embedding dimension is k + 2. In a previous work, the authors described the Ap{é}ry set and a Gr{ö}bner basis of the ideal defining S under one technical assumption, the complete version will be published in a forthcoming paper. In this paper we continue with this assumption and we describe the Pseudo Frobenius set. As a consequence we give a complete description of S when it is symmetric or almost symmetric as well as generalize and extend the previous results of Ignacio Garc{í}a-Marco, J. L. Ram{í}rez Alfons{í}n and O. J. R{ø}dseth; we also find a quadratic formula for its Frobenius number that generalizes some results of J.C. Rosales, and P.A. Garc{í}a-S{á}nchez. Moreover, for given numbers a, d, k, h, c, a simple algorithm allows us to determine if S is almost symmetric or not and furthermore to find its type and Frobenius number.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Gr{ö}bner basis. a "pseudo-polynomial" algorithm for computing the Frobenius number

Let consider $n$ natural numbers $a\_1 ,\ldots , a\_{n} $. Let $S$ be the numerical semigroup generated by $a\_1 ,\ldots , a\_{n} $. Set $A=K[t^{a\_1}, \ldots , t^{a\_n}]=K[{x\_1}, \ldots , {x\_n}]/I$. The aim of this paper is: \begin{enumerate}\item Give an effective pseudo-polynomial algorithm on $a\_1$, which computes The Ap{é}ry set and the Frobenius number of $S$. As a consequence it also solves in pseudo-polynomial time the integer knapsack problem : given a natural integer b, b belongs to $S$?\item The \gbb of $I$ for the reverse lexicographic order to $x\_n,\ldots ,x\_1$, without using Buchberger's algorithm. \item $\ini{I} $ for the reverse lexicographic order to $x\_n,\ldots ,x\_1$.\item $A$ as a $K[t^{ a\_1 }]$-module. \end{enumerate} We dont know the complexity of our algorithm. We need to solve the "multiplicative" integer knapsack problem: Find all positive integer solutions $({k\_1}, \ldots , {k\_n})$ of the inequality $\prod\_{i=2}^n (k\_i+1)\leq a\_1+1$. This algorithm is easily implemented. The implementation of this algorithm "frobenius-number-mm", for $n=17 $, can be downloaded in \hfill\breakhttps://www-fourier.ujf-grenoble.fr/~morales/frobenius-number-mm

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A study of the length function of generalized fractions of modules

Let $(R, \frak m)$ be a Noetherian local ring and $M$ a finitely generated $R$-module of dimension $d$. Let $\underline{x} = x_1, ..., x_d$ be a system of parameters of $M$ and $\underline{n} = (n_1, ..., n_d)$ a $d$-tuple of positive integers. In this paper we study the length of generalized fractions $M (1/(x_1, ..., x_d, 1))$ which was introduced by Sharp and Hamieh in \cite{ShH85}. First, we study the growth of the function $J_{\underline{x}, M}(\underline{n}) = \ell(M (1/(x_1^{n_1}, ..., x_d^{n_d}, 1))) - n_1...n_d e(\underline{x};M)$. Then we give an explicit calculation for the function $J_{\underline{x}, M}(\underline{n})$ in the case where $M$ admits a Macaulayfication. Most previous results on this topic are now easy to understand and to improve.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Hilbert series of Segre transform, and Castelnuovo-Mumford regularity

In a recent preprint, Ilse Fischer and Martina Kubitzke, proved the bilinearity of the Segre transform under some restricted hypothesis, motivated by their results we show in this paper the bilinearity of the Segre transform in general. We apply these results to compute the postulation number of a series. Our second application is motivated by the paper of David A. Cox, and Evgeny Materov (2009), where is computed the Castelnuovo-Mumford regularity of the Segre Veronese embedding, we can extend partially their result and compute the Castelnuovo-Mumford regularity of the Segre product of Cohen-Macaulay modules.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Segre embeddings, Hilbert series and Newcomb's problem

Monomial ideals and toric rings are closely related. By consider a Grobner basis we can always associated to any ideal $I$ in a polynomial ring a monomial ideal ${\rm in}_\prec I$, in some special situations the monomial ideal ${\rm in}_\prec I$ is square free. On the other hand given any monomial ideal $I$ of a polynomial ring $S$, we can define the toric $K[I]\subset S$. In this paper we will study toric rings defined by Segre embeddings, we will prove that their $h-$ vectors coincides with the so called Simon Newcomb number's in probabilities and combinatorics. We solve the original question of Simon Newcomb by given a formula for the Simon Newcomb's numbers involving only positive integer numbers.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Monomial ideals with 3-linear resolutions

In this paper, we study Cstelnuovo-Mumford regularity of square-free monomial ideals generated in degree 3. We define some operations on the clutters associated to such ideals and prove that the regularity is conserved under these operations. We apply the operations to introduce some classes of ideals with linear resolutions and also show that any clutter corresponding to a triangulation of the sphere does not have linear resolution while any proper sub-clutter of it has a linear resolution.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Regularity and Free Resolution of Ideals which are Minimal to $d$-linearity

Toward a partial classification of monomial ideals with $d$-linear resolution, in this paper, some classes of $d$-uniform clutters which do not have linear resolution, but every proper subclutter of them has a $d$-linear resolution, are introduced and the regularity and Betti numbers of circuit ideals of such clutters are computed. Also, it is proved that for given two $d$-uniform clutters $\mathcal{C}_1, \mathcal{C}_2$, the Castelnuovo-Mumford regularity of the ideal $I(\bar{\mathcal{C}_1 \cup \mathcal{C}_2})$ is equal to the maximum of regularities of $I(\bar{\C}_1)$ and $I(\bar{\C}_2)$, whenever $V(\mathcal{C}_1) \cap V(\mathcal{C}_2)$ is a clique or ${\rm SC}(\mathcal{C}_1) \cap {\rm SC}(\mathcal{C}_2)=\emptyset$. As applications, alternative proofs are given for Fröberg's Theorem on linearity of edge ideal of graphs with chordal complement as well as for linearity of generalized chordal hypergraphs defined by Emtander. Finally, we find minimal free resolutions of the circuit ideal of a triangulation of a pseudo-manifold and a homology manifold explicitly.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The ${\rm N}_{2,p}$-property of binomial extensions of simplicial complexes

M. Morales introduced a family of binomial ideals that are binomial extensions of square free monomial ideals. Let $I\subset \si$ be a square free monomial ideal and $J\subset\sis$ a sum of scroll ideals with some extra conditions, we define the binomial extension of $I$ as $\B=I+J\subset \sis$. We set $p_2(\B)$ the minimal $i\in\N$ such that there exists $j>2$ such that $β_{i,i+j}(\B)\neq 0$. In the case where J=0, Fröberg characterized combinatorally the case $p_2(I)=\infty$; later Eisenbud et al. solved the case $p_2(I)<\infty$. We obtain a similar result as Fröberg for the binomial extensions and we find lower and upper bounds of $p_2(\B)$ for some families of binomial extensions in combinatorial terms as Eisenbud et al. With some additional hypothesis we can compute $p_2(\B)$.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

The Nash problem on arcs for surface singularities

Let $(X,O)$ be a germ of a normal surface singularity, $π: \tilde X\longrightarrow X$ be the minimal resolution of singularities and let $A=(a_{i,j})$ be the $n\times n$ symmetrical intersection matrix of the exceptional set of $\tilde X$. In an old preprint Nash proves that the set of arcs on a surface singularity is a scheme ${\cal H}$, and defines a map ${\cal N}$ from the set of irreducible components of ${\cal H}$ to the set of exceptional components of the minimal resolution of singularities of $(X,O)$. He proved that this map is injective and ask if it is surjective. In this paper we consider the canonical decomposition ${\cal H}=\cup_{i=1}^n \bar{\cal N}_i$: o For any couple $(E_i,E_j)$ of distinct exceptional components, we define Numerical Nash condition $(NN_{(i,j)})$. We have that $(NN_{(i,j)})$ implies $\bar{\cal N}_{i}\not\subset \bar{\cal N}_{j} $. In this paper we prove that $(NN_{(i,j)})$ is always true for at least the half of couples $(i,j)$. o The condition $(NN_{(i,j)})$ is true for all couples $(i,j)$ with $i\not=j$, characterizes a certain class of negative definite matrices, that we call Nash matrices. If $A$ is a Nash matrix then the Nash map ${\cal N}$ is bijective. In particular our results depends only on $A$ and not on the topological type of the exceptional set. o We recover and improve considerably almost all results known on this topic and our proofs are new and elementary. o We give infinitely many other classes of singularities where Nash Conjecture is true. The proofs are based on my old work \cite{M} and in Plenat \cite{P}.

0 citations0 reviewsNo code linkedOpen access