Local equations for equivariant evolutionary models
Phylogenetic varieties related to equivariant substitution models have been studied largely in the last years. One of the main objectives has been finding a set of generators of the ideal of these varieties, but this has not yet been achieved in some cases (for example, for the general Markov model...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2017 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/107422 |
| Acceso en línea: | https://hdl.handle.net/2117/107422 https://dx.doi.org/10.1016/j.aim.2017.05.003 |
| Access Level: | acceso abierto |
| Palabra clave: | Phylogeny Geometry, Algebraic Complete intersection Evolutionary model Phylogenetic tree Phylogenetic variety Representation theory Geometria algebraica Filogènia Classificació AMS::92 Biology and other natural sciences::92D Genetics and population dynamics Classificació AMS::14 Algebraic geometry::14D Families, fibrations Classificació AMS::60 Probability theory and stochastic processes::60J Markov processes Àrees temàtiques de la UPC::Matemàtiques i estadística |
| Sumario: | Phylogenetic varieties related to equivariant substitution models have been studied largely in the last years. One of the main objectives has been finding a set of generators of the ideal of these varieties, but this has not yet been achieved in some cases (for example, for the general Markov model this involves the open “salmon conjecture”, see [2]) and it is not clear how to use all generators in practice. Motivated by applications in biology, we tackle the problem from another point of view. The elements of the ideal that could be useful for applications in phylogenetics only need to describe the variety around certain points of no evolution (see [13]). We produce a collection of explicit equations that describe the variety on a Zariski open neighborhood of these points (see Theorem 5.4). Namely, for any tree T on any number of leaves (and any degrees at the interior nodes) and for any equivariant model on any set of states ¿, we compute the codimension of the corresponding phylogenetic variety. We prove that this variety is smooth at general points of no evolution and, if a mild technical condition is satisfied (“d-claw tree hypothesis”), we provide an algorithm to produce a complete intersection that describes the variety around these points. |
|---|