Suppose f ∈ K [ x ] f \in K[x] is a polynomial. The absolute Galois group of K K acts on the preimage tree T \mathrm {T} of 0 0 under f f . The resulting homomorphism ϕ f : Gal K → Aut T \phi _f\colon \operatorname {Gal}_K \to \operatorname {Aut} \mathrm {T} is called the arboreal Galois representation. Odoni conjectured that for all Hilbertian fields K K there exists a polynomial f f for which ϕ f \phi _f is surjective. We show that this conjecture is false.
more »
« less
Totally Nonnegative Critical Varieties
Abstract We study totally nonnegative parts of critical varieties in the Grassmannian. We show that each totally nonnegative critical variety $$\operatorname{Crit}^{\geqslant 0}_f$$ is the image of an affine poset cyclohedron under a continuous map and use this map to define a boundary stratification of $$\operatorname{Crit}^{\geqslant 0}_f$$. For the case of the top-dimensional positroid cell, we show that the totally nonnegative critical variety $$\operatorname{Crit}^{\geqslant 0}_{k,n}$$ is homeomorphic to the second hypersimplex $$\Delta _{2,n}$$.
more »
« less
- PAR ID:
- 10507778
- Publisher / Repository:
- Oxford Academic
- Date Published:
- Journal Name:
- International Mathematics Research Notices
- Volume:
- 2024
- Issue:
- 5
- ISSN:
- 1073-7928
- Page Range / eLocation ID:
- 3649 to 3689
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
One can view a partial flag variety in ℂ𝑛 as an adjoint orbit 𝜆 inside the Lie algebra of 𝑛×𝑛 skew-Hermitian matrices. We use the orbit context to study the totally nonnegative part of a partial flag variety from an algebraic, geometric, and dynamical perspective. The paper has three main parts: (1) We introduce the totally nonnegative part of 𝜆 , and describe it explicitly in several cases. We define a twist map on it, which generalizes (in type A) a map of Bloch, Flaschka, and Ratiu (Duke Math. J. 61(1): 41–65, 1990) on an isospectral manifold of Jacobi matrices. (2) We study gradient flows on 𝜆 which preserve positivity, working in three natural Riemannian metrics. In the Kähler metric, positivity is preserved in many cases of interest, extending results of Galashin, Karp, and Lam (Adv. Math. 397: Paper No. 108123, 1–23, 2022; Adv. Math. 351: 614–620, 2019). In the normal metric, positivity is essentially never preserved on a generic orbit. In the induced metric, whether positivity is preserved appears to depends on the spacing of the eigenvalues defining the orbit. (3) We present two applications. First, we discuss the topology of totally nonnegative flag varieties and amplituhedra. Galashin, Karp, and Lam (2022, 2019) showed that the former are homeomorphic to closed balls, and we interpret their argument in the orbit framework. We also show that a new family of amplituhedra, which we call twisted Vandermonde amplituhedra, are homeomorphic to closed balls. Second, we discuss the symmetric Toda flow on 𝜆 . We show that it preserves positivity, and that on the totally nonnegative part, it is a gradient flow in the Kähler metric up to applying the twist map. This extends a result of Bloch, Flaschka, and Ratiu (1990).more » « less
-
Abstract We establish an implication between two long-standing open problems in complex dynamics. The roots of the $$n$$th Gleason polynomial $$G_{n}\in{\mathbb{Q}}[c]$$ comprise the $$0$$-dimensional moduli space of quadratic polynomials with an $$n$$-periodic critical point. $$\operatorname{Per}_{n}(0)$$ is the $$1$$-dimensional moduli space of quadratic rational maps on $${\mathbb{P}}^{1}$$ with an $$n$$-periodic critical point. We show that if $$G_{n}$$ is irreducible over $${\mathbb{Q}}$$, then $$\operatorname{Per}_{n}(0)$$ is irreducible over $${\mathbb{C}}$$. To do this, we exhibit a $${\mathbb{Q}}$$-rational smooth point on a projective completion of $$\operatorname{Per}_{n}(0)$$, using the admissible covers completion of a Hurwitz space. In contrast, the Uniform Boundedness Conjecture in arithmetic dynamics would imply that for sufficiently large $$n$$, $$\operatorname{Per}_{n}(0)$$ itself has no $${\mathbb{Q}}$$-rational points.more » « less
-
We show that the totally nonnegative part of a partial flag variety G / P G/P (in the sense of Lusztig) is a regular CW complex, confirming a conjecture of Williams. In particular, the closure of each positroid cell inside the totally nonnegative Grassmannian is homeomorphic to a ball, confirming a conjecture of Postnikov.more » « less
-
Abstract Let M be a complete Riemannian manifold and suppose {p\in M} . For each unit vector {v\in T_{p}M} , the Jacobi operator , {\mathcal{J}_{v}:v^{\perp}\rightarrow v^{\perp}} is the symmetric endomorphism, {\mathcal{J}_{v}(w)=R(w,v)v} . Then p is an isotropic point if there exists a constant {\kappa_{p}\in{\mathbb{R}}} such that {\mathcal{J}_{v}=\kappa_{p}\operatorname{Id}_{v^{\perp}}} for each unit vector {v\in T_{p}M} . If all points are isotropic, then M is said to be isotropic; it is a classical result of Schur that isotropic manifolds of dimension at least 3 have constant sectional curvatures. In this paper we consider almost isotropic manifolds , i.e. manifolds having the property that for each {p\in M} , there exists a constant {\kappa_{p}\in\mathbb{R}} such that the Jacobi operators {\mathcal{J}_{v}} satisfy {\operatorname{rank}({\mathcal{J}_{v}-\kappa_{p}\operatorname{Id}_{v^{\perp}}}% )\leq 1} for each unit vector {v\in T_{p}M} . Our main theorem classifies the almost isotropic simply connected Kähler manifolds, proving that those of dimension {d=2n\geqslant 4} are either isometric to complex projective space or complex hyperbolic space or are totally geodesically foliated by leaves isometric to {{\mathbb{C}}^{n-1}} .more » « less
An official website of the United States government

