Source author record

Nathaniel Bushek

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

4works
4topics
4close collaborators

Published work

4 publications

preprint2016arXiv

Phylogenetic trees

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.

preprint2016arXiv

Some conditions for descent of line bundles to GIT quotients (G/B×G/B×G/B)//G(G/B \times G/B \times G/B)//G

We consider the descent of line bundles to GIT quotients of products of flag varieties. Let GG be a simple, connected, algebraic group over C\mathbb{C}. We fix a Borel subgroup BB and consider the diagonal action of GG on the projective variety X=G/B×G/B×G/BX = G/B \times G/B \times G/B. For any triple (λ,μ,ν)(λ, μ, ν) of dominant regular characters there is a GG-equivariant line bundle L\mathcal{L} on XX. Then, L\mathcal{L} is said to descend to the GIT quotient π:[X(L)]ss→X(L)//Gπ:[X(\mathcal{L})]^{ss} \rightarrow X(\mathcal{L})//G if there exists a line bundle L^\hat{\mathcal{L}} on X(L)//GX(\mathcal{L})//G such that L∣[X(L)]ss≅π∗L^\mathcal{L}\mid_{[X(\mathcal{L})]^{ss}} \cong π^*\hat{\mathcal{L}}. Let QQ be the root lattice, ΛΛ the weight lattice, and dd the least common multiple of the coefficients of the highest root θθ of the Lie algebra g\mathfrak{g} of GG written in terms of simple roots. We show that L\mathcal{L} descends if λ,μ,ν∈dΛλ, μ, ν\in dΛ and λ+μ+ν∈Γλ+ μ+ ν\in Γ, where ΓΓ is a fixed sublattice of QQ depending only on the type of g\mathfrak{g}. Moreover, L\mathcal{L} never descends if λ+μ+ν∉Qλ+ μ+ ν\notin Q.

preprint2013arXiv

Hitchin's conjecture for simply-laced Lie algebras implies that for any simple Lie algebra

Let $\g$ be any simple Lie algebra over C\mathbb{C}. Recall that there exists an embedding of sl2\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,…,ωℓω_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 sl2\mathfrak{sl}_2-submodule $V_ω\subset \g$ of dimension dd such that ωω is non-zero on the line ∧d(Vω)\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 Z\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.

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.