Source author record

Nathaniel Bushek

Nathaniel Bushek appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

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

4 published item(s)

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 \times G/B \times G/B)//G$

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$.

preprint2013arXiv

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

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.