Nash multiplicities and isolated points of maximum multiplicity

Let X be an algebraic variety defined over a field of characteristic zero, and let ξ ∈ Max mult(X) be a point in the closed subset of maximum multiplicity of X. We provide a criterion, given in terms of arcs, to determine whether ξ is isolated in Max mult(X). More precisely, we use invariants of arcs derived from the Nash multiplicity sequence to characterize when ξ is an isolated point in Max mult(X)

An algebraic approach to product-form stationary distributions for some reaction networks

Exact results for product-form stationary distributions of Markov chains are of interest in different fields. In stochastic reaction networks (CRNs), stationary distributions are mostly known in special cases where they are of product-form. However, there is no full characterization of the classes of networks whose stationary distributions have product-form. We develop an algebraic approach to product-form stationary distributions in the framework of CRNs. Under certain hypotheses on linearity and decomposition of the state space for conservative CRNs, this gives sufficient and necessary algebraic conditions for product-form stationary distributions. Correspondingly, we obtain a semialgebraic subset of the parameter space that captures rates where, under the corresponding hypotheses, CRNs have product-form. We employ the developed theory to CRNs and some models of statistical mechanics, besides sketching the pertinence in other models from applied probability.The work of the first author was supported by the European Union's Horizon 2020 Research and Innovation Programme under the Marie Sklodowska-Curie IF grant 794627. The work of the second author was supported by Swiss National Science Foundations Early Postdoctoral Mobility grant P2FRP2 188023.Publicad

An algebraic approach to product-form stationary distributions for some reaction networks

Exact results for product-form stationary distributions of Markov chains are of interest in different fields. In stochastic reaction networks (CRNs), stationary distributions are mostly known in special cases where they are of product-form. However, there is no full characterization of the classes of networks whose stationary distributions have product-form. We develop an algebraic approach to product-form stationary distributions in the framework of CRNs. Under certain hypotheses on linearity and decomposition of the state space for conservative ergodic CRNs, this gives sufficient and necessary algebraic conditions for product-form stationary distributions. Correspondingly we obtain a semialgebraic subset of the parameter space that captures rates where, under the corresponding hypotheses, CRNs have product-form. We employ the developed theory to CRNs and some models of statistical mechanics, besides sketching the pertinence in other models from applied probability.Comment: Accepted for publication in SIAM Journal on Applied Dynamical System

Algorithmic Resolution of Singularities and Nash multiplicity sequences

Tesis doctoral inédita leída en la Universidad Autónoma de Madrid, Facultad de Ciencias, Departamento de Matemáticas. Fecha de lectura: 19-01-201

Nash multiplicity sequences and Hironaka's order function

When X is a d-dimensional variety defined over a field k of characteristic zero, a constructive resolution of singularities can be achieved by successively lowering the maximum multiplicity via blow ups at smooth equimultiple centers. This is done by stratifying the maximum multiplicity locus of X by means of the so called resolution functions. The most important of these functions is what we know as Hironaka’s order function in dimension d. Actually, this function can be defined for varieties when the base field is perfect; however if the characteristic of k is positive, the function is, in general, too coarse and does not provide enough information so as to define a resolution. It is very natural to ask what the meaning of this function is in this case, and to try to find refinements that could lead, ultimately, to a resolution. In this paper we show that Hironaka’s order function in dimension d can be read in terms of the Nash multiplicity sequences introduced by Lejeune-Jalabert. Therefore, the function is intrinsic to the variety and has a geometrical meaning in terms of its space of arcs.The authors were partially supported by MTM2015-68524-P. The third author was supported by BES-2013-062656

Dimension and degeneracy of solutions of parametric polynomial systems arising from reaction networks

We study the generic dimension of the solution set over C^*, R^* and R_{>0} of parametric polynomial systems that consist of linear combinations of monomials scaled by free parameters. We establish a relation between this dimension, Zariski denseness of the set of parameters for which the system has solutions, and the existence of nondegenerate solutions, which enables fast dimension computations. Systems of this form are used to describe the steady states of reaction networks modeled with mass-action kinetics, and as a corollary of our results, we prove that weakly reversible networks have finitely many steady states for generic reaction rate constants and total concentrations

Contact loci and Hironaka's order

We study contact loci sets of arcs and the behavior of Hironaka’s order function defined in constructive Resolution of singularities. We show that this function can be read in terms of the irreducible components of the contact loci sets at a singular point of an algebraic variety.The authors were partially supported by MTM2015-68524-P; The first author was partially supported from the Spanish Ministry of Economy and Competitiveness, through the "Severo Ochoa" Programme for Centres of Excellence in R&D (SEV-2015-0554)

Nash multiplicity sequences and Hironaka's order function

Producción CientíficaWhen X is a d-dimensional variety defined over a field k of characteristic zero, a constructive resolution of singularities can be achieved by successively lowering the maximum multiplicity via blow ups at smooth equimultiple centers. This is done by stratifying the maximum multiplicity locus of X by means of the so called resolution functions. The most important of these functions is what we know as Hironaka’s order function in dimension d. Actually, this function can be defined for varieties when the base field is perfect; however if the characteristic of k is positive, the function is, in general, too coarse and does not provide enough information so as to define a resolution. It is very natural to ask what the meaning of this function is in this case, and to try to find refinements that could lead, ultimately, to a resolution. In this paper we show that Hironaka’s order function in dimension d can be read in terms of the Nash multiplicity sequences introduced by Lejeune-Jalabert. Therefore, the function is intrinsic to the variety and has a geometrical meaning in terms of its space of arcs.Ministerio de Economía, Industria y Competitividad (Project MTM2015-68524-P

Nash multiplicities and resolution invariants

Producción CientíficaThe Nash multiplicity sequence was defined by M. Lejeune-Jalabert as a non-increasing sequence of integers attached to a germ of a curve inside a germ of a hypersurface. M. Hickel generalized this notion and described a sequence of blow ups which allows us to compute it and study its behavior. In this paper, we show how this sequence can be used to compute some invariants that appear in algorithmic resolution of singularities. Moreover, this indicates that these invariants from constructive resolution are intrinsic to the variety since they can be read in terms of its space of arcs. This result is a first step connecting explicitly arc spaces and algorithmic resolution of singularities

Nash multiplicities and resolution invariants

The Nash multiplicity sequence was defined by Lejeune-Jalabert as a non-increasing sequence of integers attached to a germ of a curve inside a germ of a hypersurface. Hickel generalized this notion and described a sequence of blow ups which allows us to compute it and study its behavior. In this paper, we show how this sequence can be used to compute some invariants that appear in algorithmic resolution of singularities. Moreover, this indicates that these invariants from constructive resolution are intrinsic to the variety since they can be read in terms of its space of arcs. This result is a first step connecting explicitly arc spaces and algorithmic resolution of singularitie