We introduce equivariant tree models in algebraic statistics, which unify and generalise existing tree models such as the general Markov model, the strand symmetric model, and group-based models such as the Jukes-Cantor and Kimura models. We focus on the ideals of such models. We show how the ideals for general trees can be determined from the ideals for stars. A corollary of theoretical importance is that the ideal for a general tree is generated by the ideals of its flattenings at vertices. The main novelty is that our results yield generators of the full ideal rather than an ideal which only defines the model set-theoretically. Set-up and theoremsIn phylogenetics, tree models have been introduced to describe the evolution of a number of species from a distant common ancestor. Given suitably aligned strings of nucleotides of n species alive today, one assumes that the individual positions in J. Draisma has been supported by DIAMANT, an NWO mathematics cluster and J. Kuttler by an NSERC Discovery Grant.
Let G be a semi-simple algebraic group over C, B a Borel subgroup of G and T a maximal torus in B. A beautiful unpublished result of Dale Peterson says that if G is simply laced, then every rationally smooth point of a Schubert variety X in G/B is nonsingular in X. The purpose of this paper is to generalize this result to arbitrary T -stable subvarieties of G/B, the only restriction being that G contains no G 2 factors. A key idea in Peterson's proof is to deform the tangent space Ty(X) to X at a nonsingular T -fixed point y along the orbit of y under a root subgroup in B, which is open in a T -invariant curve C (we say a T -curve) in X. In more generality, if a T -variety X is nonsingular along the open T -orbit in a T -curve C and x ∈ C T , we may consider the limit τ C (X, x) of the tangent spaces Tz(X) as z approaches x along C. We call τ C (X, x) the Peterson translate of X at x along C. Peterson showed that a Schubert variety X in G/B, where G is semi-simple, is nonsingular at x ∈ X T as long as all τ C (X, x) coincide for all such good T -curves..Our first result generalizes this theorem to any irreducible T -variety X, provided the fixed point x is attractive under much weaker hypotheses. We then prove that if X is a T -variety in G/B where G contains no G 2 factors, then every Peterson translate τ C (X, x) is contained in the linear span Θx(X) of the reduced tangent cone to X at x. (This fails when G = G 2 .) Combining these two results leads to our characterization of the smooth T -fixed points of such X. In particular, we show that if G is simply laced, then X is nonsingular at a T -fixed point x if and only if it is rationally smooth at x and x lies on at least two good T -curves Peterson's ADE result is an immediate consequence of this. In addition, we obtain a uniform description of the nonsingular T -fixed points of a Schubert variety in G/B modulo the G 2 restriction. In particular, a Schubert variety X in such a G/B is nonsingular if and only if all the reduced tangent cones of X are linear.Finally, we also obtain versions of the above results for all algebraic homogeneous spaces G/P modulo the G 2 restrictions.
Matrices of rank at most k are defined by the vanishing of polynomials of degree k + 1 in their entries (namely, their (k + 1)-times-(k + 1)-subdeterminants), regardless of the size of the matrix. We prove a qualitative analogue of this statement for tensors of arbitrary dimension, where matrices correspond to two-dimensional tensors. More specifically, we prove that for each k there exists an upper bound d = d(k) such that tensors of border rank at most k are defined by the vanishing of polynomials of degree at most d, regardless of the dimension of the tensor and regardless of its sizes in each dimension. Our proof involves passing to an infinite-dimensional limit of tensor powers of a vector space, whose elements we dub infinite-dimensional tensors, and exploiting the symmetries of this limit in crucial way.Comment: Corrected the formulation of Corollary 1.4---thanks to Sonja Petrovic
We show that a linear subspace of a reductive Lie algebra g that consists of nilpotent elements has dimension at most 1 2 (dim g−rk g), and that any nilpotent subspace attaining this upper bound is equal to the nilradical of a Borel subalgebra of g. This generalizes a classical theorem of Gerstenhaber, which states this fact for the algebra of (n×n)-matrices. Results and methodA classical theorem of Gerstenhaber [Ger58] states that any vector space consisting of nilpotent (n × n)-matrices has dimension at most n 2 , and that any such space attaining this maximal possible dimension is conjugate to the space of upper triangular matrices. We will prove the following generalization of this result. The difficult part of the theorem is the statement that the subspaces consisting of ad-nilpotent elements of maximal dimension d := 1 2 (dim g − rk g) are nilpotent subalgebras and are therefore all conjugate. The maximality assumption is essential here: there exist subspaces consisting of ad-nilpotent elements that are not contained in nilpotent subalgebras (see Examples 1-A.2 below). The classification of these 'nilpotent subspaces' is widely open, even in the case of (n × n)-matrices. For some partial results see [Ger59a,Ger59b,Ger62,Fas97,CRT98, MOR91].Gerstenhaber proves his theorem under the mild assumption that the ground field K has at least n elements. We will prove a version of the Main Theorem which holds in arbitrary characteristic (see Theorem 1), but still assumes that K is algebraically closed. To formulate this more technical result, let G be a connected reductive algebraic group over K and denote its Lie algebra by g. Fix a Borel subgroup B of G and a maximal torus
Let G be a reductive algebraic group over an algebraically closed field K of characteristic zero. Let π : g r → X = g r / /G be the categorical quotient where g is the adjoint representation of G and r is a suitably large integer (in general r ≥ 5, but for many cases r ≥ 3 or even r ≥ 2 suffices). We show that every automorphism ϕ of X lifts to a map Φ : g r → g r commuting with π. As an application we consider the action of ϕ on the Luna stratification of X.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.