-
Dimensions of Group-based Phylogenetic Mixtures
Authors:
Hector Baños,
Nathaniel Bushek,
Ruth Davidson,
Elizabeth Gross,
Pamela E. Harris,
Robert Krone,
Colby Long,
Allen Stewart,
Robert Walker
Abstract:
In this paper we study group-based Markov models of evolution and their mixtures. In the algebreo-geometric setting, group-based phylogenetic tree models correspond to toric varieties, while their mixtures correspond to secant and join varieties. Determining properties of these secant and join varieties can aid both in model selection and establishing parameter identifiability. Here we explore the…
▽ More
In this paper we study group-based Markov models of evolution and their mixtures. In the algebreo-geometric setting, group-based phylogenetic tree models correspond to toric varieties, while their mixtures correspond to secant and join varieties. Determining properties of these secant and join varieties can aid both in model selection and establishing parameter identifiability. Here we explore the first natural geometric property of these varieties: their dimension. The expected projective dimension of the join variety of a set of varieties is one more than the sum of their dimensions. A join variety that realizes the expected dimension is nondefective. Nondefectiveness is not only interesting from a geometric point-of-view, but has been used to establish combinatorial identifiability for several classes of phylogenetic mixture models. In this paper, we focus on group-based models where the equivalence classes of identified parameters are orbits of a subgroup of the automorphism group of the group defining the model. In particular, we show that, for these group-based models, the variety corresponding to the mixture of $r$ trees with $n$ leaves is nondefective when $n \geq 2r+5$. We also give improved bounds for claw trees and give computational evidence that 2-tree and 3-tree mixtures are nondefective for small~$n$.
△ Less
Submitted 23 November, 2017;
originally announced November 2017.
-
Some conditions for descent of line bundles to GIT quotients $(G/B \times G/B \times G/B)//G$
Authors:
Nathaniel Bushek
Abstract:
We consider the descent of line bundles to GIT quotients of products of flag varieties. Let $G$ be a simple, connected, algebraic group over $\mathbb{C}$. We fix a Borel subgroup $B$ and consider the diagonal action of $G$ on the projective variety $X = G/B \times G/B \times G/B$. For any triple $(λ, μ, ν)$ of dominant regular characters there is a $G$-equivariant line bundle $\mathcal{L}$ on $X$.…
▽ More
We consider the descent of line bundles to GIT quotients of products of flag varieties. Let $G$ be a simple, connected, algebraic group over $\mathbb{C}$. We fix a Borel subgroup $B$ and consider the diagonal action of $G$ on the projective variety $X = G/B \times G/B \times G/B$. For any triple $(λ, μ, ν)$ of dominant regular characters there is a $G$-equivariant line bundle $\mathcal{L}$ on $X$. Then, $\mathcal{L}$ is said to descend to the GIT quotient $π:[X(\mathcal{L})]^{ss} \rightarrow X(\mathcal{L})//G$ if there exists a line bundle $\hat{\mathcal{L}}$ on $X(\mathcal{L})//G$ such that $\mathcal{L}\mid_{[X(\mathcal{L})]^{ss}} \cong π^*\hat{\mathcal{L}}$.
Let $Q$ be the root lattice, $Λ$ the weight lattice, and $d$ the least common multiple of the coefficients of the highest root $θ$ of the Lie algebra $\mathfrak{g}$ of $G$ written in terms of simple roots. We show that $\mathcal{L}$ descends if $λ, μ, ν\in dΛ$ and $λ+ μ+ ν\in Γ$, where $Γ$ is a fixed sublattice of $Q$ depending only on the type of $\mathfrak{g}$. Moreover, $\mathcal{L}$ never descends if $λ+ μ+ ν\notin Q$.
△ Less
Submitted 29 November, 2016;
originally announced November 2016.
-
Phylogenetic trees
Authors:
Hector Baños,
Nathaniel Bushek,
Ruth Davidson,
Elizabeth Gross,
Pamela E. Harris,
Robert Krone,
Colby Long,
Allen Stewart,
Robert Walker
Abstract:
We introduce the package PhylogeneticTrees for Macaulay2 which allows users to compute phylogenetic invariants for group-based tree models. We provide some background information on phylogenetic algebraic geometry and show how the package PhylogeneticTrees can be used to calculate a generating set for a phylogenetic ideal as well as a lower bound for its dimension. Finally, we show how methods wit…
▽ More
We introduce the package PhylogeneticTrees for Macaulay2 which allows users to compute phylogenetic invariants for group-based tree models. We provide some background information on phylogenetic algebraic geometry and show how the package PhylogeneticTrees can be used to calculate a generating set for a phylogenetic ideal as well as a lower bound for its dimension. Finally, we show how methods within the package can be used to compute a generating set for the join of any two ideals.
△ Less
Submitted 17 November, 2016;
originally announced November 2016.
-
Geometry of Centroaffine Surfaces in $\mathbb{R}^5$
Authors:
Nathaniel Bushek,
Jeanne N. Clelland
Abstract:
We use Cartan's method of moving frames to compute a complete set of local invariants for nondegenerate, 2-dimensional centroaffine surfaces in $\mathbb{R}^5 \setminus \{0\}$ with nondegenerate centroaffine metric. We then give a complete classification of all homogeneous centroaffine surfaces in this class.
We use Cartan's method of moving frames to compute a complete set of local invariants for nondegenerate, 2-dimensional centroaffine surfaces in $\mathbb{R}^5 \setminus \{0\}$ with nondegenerate centroaffine metric. We then give a complete classification of all homogeneous centroaffine surfaces in this class.
△ Less
Submitted 6 January, 2015; v1 submitted 18 August, 2014;
originally announced August 2014.
-
Hitchin's conjecture for simply-laced Lie algebras implies that for any simple Lie algebra
Authors:
Nathaniel Bushek,
Shrawan Kumar
Abstract:
Let $\g$ be any simple Lie algebra over $\mathbb{C}$. Recall that there exists an embedding of $\mathfrak{sl}_2$ into $\g$, called a principal TDS, passing through a principal nilpotent element of $\g$ and uniquely determined up to conjugation. Moreover, $\wedge (\g^*)^\g$ is freely generated (in the super-graded sense) by primitive elements $ω_1, \dots, ω_\ell$, where $\ell$ is the rank of $\g$.…
▽ More
Let $\g$ be any simple Lie algebra over $\mathbb{C}$. Recall that there exists an embedding of $\mathfrak{sl}_2$ into $\g$, called a principal TDS, passing through a principal nilpotent element of $\g$ and uniquely determined up to conjugation. Moreover, $\wedge (\g^*)^\g$ is freely generated (in the super-graded sense) by primitive elements $ω_1, \dots, ω_\ell$, where $\ell$ is the rank of $\g$. N. Hitchin conjectured that for any primitive element $ω\in \wedge^d (\g^*)^\g$, there exists an irreducible $\mathfrak{sl}_2$-submodule $V_ω\subset \g$ of dimension $d$ such that $ω$ is non-zero on the line $\wedge^d (V_ω)$. We prove that the validity of this conjecture for simple simply-laced Lie algebras implies its validity for any simple Lie algebra.
Let G be a connected, simply-connected, simple, simply-laced algebraic group and let $σ$ be a diagram automorphism of G with fixed subgroup K. Then, we show that the restriction map R(G) \to R(K) is surjective, where R denotes the representation ring over $\mathbb{Z}$. As a corollary, we show that the restriction map in the singular cohomology H^*(G)\to H^*(K) is surjective. Our proof of the reduction of Hitchin's conjecture to the simply-laced case relies on this cohomological surjectivity.
△ Less
Submitted 20 September, 2013;
originally announced September 2013.
