arXiv subjects
Publications and source records attributed to Leopold Zoller.
We investigate a combinatorial notion of orientability for abstract GKM graphs and its connections to graph cohomology in the sense of Guillemin--Zara. In particular, we prove that orientability of the GKM graph is equivalent to Poincar\'e duality of the rational (non-equivariant) graph cohomology algebra. As an application, we prove that orientable GKM graphs remain connected after removing any single vertex.
In this paper, we establish three finiteness and boundedness theorems for compact positive monotone symplectic manifolds endowed with special actions, called GKM$_3$, which generalize smooth toric varieties. Specifically, we prove that, for fixed dimension and Euler characteristic, there are only finitely many complex cobordism classes of such spaces. Moreover, modulo lattice transformations, the moment map image can be embedded into a box of explicitly bounded size, and all Chern numbers satisfy quantitative bounds. In particular, this yields a bound on the volume of the underlying symplectic manifold, analogous to the one obtained by Koll\'{a}r-Miyaoka-Mori for Fano varieties.
All compact K\"ahler, or even $\partial\bar\partial$-manifolds, are rationally formal. Not all of them are strongly formal. Yet some of them are: For complete smooth complex toric varieties and homogeneous compact K\"ahler manifolds we show the stronger property that they are both rationally and strongly formal in a compatible way.
We classify $T^2$-GKM fibrations in which both fiber and base are the GKM graph of $S^4$, with standard weights in the base. For each case in which the total space is orientable, we construct, by explicit clutching, a realization as a $T^2$-equivariant linear $S^4$-bundle over $S^4$. We determine which of the total spaces of these examples are non-equivariantly homotopy equivalent, homeomorphic or diffeomorphic, thereby finding many examples of a) pairs of homotopy equivalent, non-homeomorphic GKM manifolds with different first Pontryagin class, and b) pairs of GKM actions on the same smooth manifold whose GKM graphs do not agree as unlabeled graphs.
We investigate under which conditions an equivariant fiber bundle whose base, total space and fiber are GKM manifolds induces a fibration or fiber bundle of the corresponding GKM graphs. In particular, we give several counterexamples. Concerning the converse direction, i.e., the realization problem for fiber bundles of GKM graphs, we restrict to the setting of fiberwise signed GKM fiber bundles over $n$-gons whose fiber is the GKM graph of a full flag manifold. While it was known that any such bundle is realizable for a $\mathbb{CP}^1$-fiber, we observe that new phenomena occur in higher dimensions where realizability depends on the twist automorphism of the GKM fiber bundle. We classify possible twist isomorphsims and show that realizability can be decided in terms of our classification.
The Chang-Skjelbred method computes the cohomology of a suitable space with a torus action from its equivariant one-skeleton. We show that, under certain restrictions on the cohomological torsion, the integral cohomology is encoded in the one-skeleton even in the presence of arbitrary disconnected isotropy groups. We provide applications to Hamiltonian actions as well as to the GKM case. In the latter, our results lead to a modification of the GKM formula for graph cohomology.
We show that the bigraded quasi-isomorphism type of the bigraded, bidifferential algebra of forms on a compact Kähler manifold generally contains more information than the de Rham cohomology algebra with its real Hodge structure. More precisely, on any closed Riemann surface of genus at least two, there is a nontrivial ABC-Massey product. Furthermore, starting from dimension three, there are simply connected projective manifolds with a nonzero ABC-Massey product of three divisor classes. In particular, compact Kähler manifolds are generally not formal in the sense of pluripotential homotopy theory.
We investigate what information on the orbit type stratification of a torus action on a compact space is contained in its rational equivariant cohomology algebra. Regarding the (labelled) poset structure of the stratification we show that equivariant cohomology encodes the subposet of ramified elements. For equivariantly formal actions, we also examine what cohomological information of the stratification is encoded. In the smooth setting we show that under certain conditions -- which in particular hold for a compact orientable manifold with discrete fixed point set -- the equivariant cohomologies of the strata are encoded in the equivariant cohomology of the manifold.
We show that under standard assumptions on the isotropy groups of an integer GKM manifold, the equivariant Stiefel-Whitney classes of the action are determined by the GKM graph. This is achieved via a GKM-style description of the equivariant cohomology with coefficients in a finite field $\mathbb Z_{p}$ even though in this setting the restriction map to the fixed point set is not necessarily injective. This closes a gap in our argument why the GKM graph of a $6$-dimensional integer GKM manifold determines its nonequivariant diffeomorphism type. We introduce combinatorial Stiefel-Whitney classes of GKM graphs and use them to derive a nontrivial obstruction to realizability of GKM graphs in dimension $8$ and higher.
If a closed orientable manifold (resp. rational Poincaré duality space) $X$ receives a map $Y \to X$ from a formal manifold (resp. space) $Y$ that hits a fundamental class, then $X$ is formal. The main technical ingredient in the proof states that given a map of $A_\infty$-algebras $A\to B$ admitting a homotopy $A$-bimodule retract, formality of $B$ implies that of $A$.
It follows from the GKM description of equivariant cohomology that the GKM graph of a GKM manifold has free equivariant graph cohomology, and satisfies a Poincaré duality condition. We prove that these conditions are sufficient for an abstract $3$-valent $T^2$-GKM graph to be realizable by a simply-connected $6$-dimensional GKM manifold. Our realization has the property that any closed stratum of a finite isotropy group contains a fixed point. Furthermore, we argue that in case there exists a fixed point in whose vicinity there occur at most two distinct finite nontrivial isotropy groups such a realization is unique up to equivariant homeomorphism, thus establishing a complexity one GKM correspondence in dimension $6$. We show that the statement on equivariant uniqueness is false without the two conditions on the finite isotropies by providing counterexamples in presence of a fixed point with three distinct neighbouring finite isotropy groups, as well as an example of a simply-connected integer GKM manifold with a closed stratum of a finite isotropy group which does not contain any fixed point.
GKM theory is a powerful tool in equivariant topology and geometry that can be used to generalize classical ideas from (quasi)toric manifolds to more general torus actions. After an introduction to the topic this survey focuses on recent results in low dimensions, where the interaction between geometry and combinatorics turns out to be particularly fruitful.
We study the rational homotopy theoretic and geometric properties of a construction which extends any cohomologically connected, finite type cdga to one satisfying cohomological Poincar\'e duality. Using this construction we show that non-trivial quadruple Massey products can pull back trivially under non-zero degree maps of Poincar\'e duality spaces, unlike the case of triple Massey products as studied by Taylor. We also show that a non-zero degree map between formal rational Poincar\'e duality spaces need not be formal. Our consideration of Massey products naturally ties in with cyclic $A_\infty$-algebras modelling Poincar\'e duality spaces.
Let $T$ be a compact torus. We prove that, up to equivariant rational equivalence, the category of $T$-simply connected, $T$-finite type $T$-spaces with finitely many isotropy types is completely described by certain finite systems of commutative differential graded algebras with consistent choices of degree $2$ cohomology classes. We show that the algebraic systems corresponding to finite $T$-CW-complexes are exactly those which satisfy the necessary condition imposed by the Borel localization theorem along with certain finiteness conditions. We derive an algebraic characterization of when an algebra over a polyonmial ring is realized as the rational equivariant cohomology of a finite $T$-CW-complex. As further applications we prove that any GKM graph cohomology is realized by a finite $T$-CW-complex and classify equivariant cohomology algebras of finite $S^1$-CW-complexes with discrete fixed points.
We construct effective GKM $T^3$-actions with connected stabilizers on the total spaces of the two $S^2$-bundles over $S^6$ with identical GKM graphs. This shows that the GKM graph of a simply-connected integer GKM manifold with connected stabilizers does not determine its homotopy type. We complement this by a discussion of the minimality of this example: the homotopy type of integer GKM manifolds with connected stabilizers is indeed encoded in the GKM graph for smaller dimensions, lower complexity, or lower number of fixed points. Regarding geometric structures on the new example, we find an almost complex structure which is invariant under the action of a subtorus. In addition to the minimal example, we provide an analogous example where the torus actions are Hamiltonian, which disproves symplectic cohomological rigidity for Hamiltonian integer GKM manifolds.
Using the classification of $6$-dimensional manifolds by Wall, Jupp and Žubr, we observe that the diffeomorphism type of simply-connected, compact $6$-dimensional integer GKM $T^2$-manifolds is encoded in their GKM graph. As an application, we show that the $6$-dimensional manifolds on which Tolman and Woodward constructed Hamiltonian, non-Kähler $T^2$-actions with finite fixed point set are both diffeomorphic to Eschenburg's twisted flag manifold $SU(3)//T^2$. In particular, they admit a noninvariant Kähler structure.
We classify fibrations of abstract $3$-regular GKM graphs over $2$-regular ones, and show that all fiberwise signed fibrations of this type are realized as the projectivization of equivariant complex rank $2$ vector bundles over quasitoric $4$-folds or $S^4$. We investigate the existence of invariant (stable) almost complex, symplectic, and Kähler structures on the total space. In this way we obtain infinitely many Kähler manifolds with Hamiltonian non-Kähler actions in dimension $6$ with prescribed one-skeleton, in particular with prescribed number of isolated fixed points.
An action of a compact Lie group is called equivariantly formal, if the Leray--Serre spectral sequence of its Borel fibration degenerates at the E_2-term. This term is as prominent as it is restrictive. In this article, also motivated by the lack of junction between the notion of equivariant formality and the concept of formality of spaces (surging from rational homotopy theory) we suggest two new variations of equivariant formality: "MOD-formal actions" and "actions of formal core". We investigate and characterize these new terms in many different ways involving various tools from rational homotopy theory, Hirsch--Brown models, $A_\infty$-algebras, etc., and, in particular, we provide different applications ranging from actions on symplectic manifolds and rationally elliptic spaces to manifolds of non-negative sectional curvature. A major motivation for the new definitions was that an almost free action of a torus $T^n\curvearrowright X$ possessing any of the two new properties satisfies the toral rank conjecture, i.e. $dim H^*(X;Q)\geq 2^n$. This generalizes and proves the toral rank conjecture for actions with formal orbit spaces.