The Cohomological Genus and Symplectic Genus for 4-Manifolds of Rational or Ruled Types

An important problem in low dimensional topology is to understand the properties of embedded or immersed surfaces in 4-dimensional manifolds. In this article, we estimate the lower genus bound of closed, connected, smoothly embedded, oriented surfaces in a smooth, closed, connected, oriented 4-manifold with the cohomology algebra of a rational or ruled surface. Our genus bound depends only on the cohomology algebra rather than on the geometric structure of the 4-manifold. It provides evidence for the genus minimizing property of rational and ruled surfaces.

Pro-$p$ groups with few relations and universal Koszulity

Let $p$ be a prime. We show that if a pro-$p$ group with at most $2$ defining relations has quadratic $\mathbb{F}_p$-cohomology algebra, then this algebra is universally Koszul. This proves the “Universal Koszulity Conjecture” formulated by J. Miná{č} et al. in the case of maximal pro-$p$ Galois groups of fields with at most $2$ defining relations.

Dolbeault cohomology of complex manifolds with torus action

We describe the basic Dolbeault cohomology algebra of the canonical foliation on a class of complex manifolds with a torus symmetry group. This class includes complex moment-angle manifolds, LVM- and LVMB-manifolds and, in most generality, complex manifolds with a maximal holomorphic torus action. We also provide a DGA model for the ordinary Dolbeault cohomology algebra. The Hodge decomposition for the basic Dolbeault cohomology is proved by reducing to the transversely Kähler (equivalently, polytopal) case using a foliated analogue of toric blow-up.

Extreme nonuniqueness of end-sum

We give explicit examples of pairs of one-ended, open [Formula: see text]-manifolds whose end-sums yield uncountably many manifolds with distinct proper homotopy types. This answers strongly in the affirmative a conjecture of Siebenmann regarding nonuniqueness of end-sums. In addition to the construction of these examples, we provide a detailed discussion of the tools used to distinguish them; most importantly, the end-cohomology algebra. Key to our Main Theorem is an understanding of this algebra for an end-sum in terms of the algebras of summands together with ray-fundamental classes determined by the rays used to perform the end-sum. Differing ray-fundamental classes allow us to distinguish the various examples, but only through the subtle theory of infinitely generated abelian groups. An appendix is included which contains the necessary background from that area.

One-Relator Maximal Pro-p Galois Groups and the Koszulity Conjectures

Let p be a prime number and let ${\mathbb{K}}$ be a field containing a root of 1 of order p. If the absolute Galois group $G_{\mathbb{K}}$ satisfies $\dim\, H^1(G_{\mathbb{K}},\mathbb{F}_p)\lt\infty$ and $\dim\, H^{\,2}(G_{\mathbb{K}},\mathbb{F}_p)=1$, we show that L. Positselski’s and T. Weigel’s Koszulity conjectures are true for ${\mathbb{K}}$. Also, under the above hypothesis, we show that the $\mathbb{F}_p$-cohomology algebra of $G_{\mathbb{K}}$ is the quadratic dual of the graded algebra ${\rm gr}_\bullet\mathbb{F}_p[G_{\mathbb{K}}]$, induced by the powers of the augmentation ideal of the group algebra $\mathbb{F}_p[G_{\mathbb{K}}]$, and these two algebras decompose as products of elementary quadratic algebras. Finally, we propose a refinement of the Koszulity conjectures, analogous to I. Efrat’s elementary type conjecture.

Right-angled Artin groups and enhanced Koszul properties

Let 𝔽 be a finite field. We prove that the cohomology algebra H^{\bullet}(G_{\Gamma},\mathbb{F}) with coefficients in 𝔽 of a right-angled Artin group G_{\Gamma} is a strongly Koszul algebra for every finite graph Γ. Moreover, H^{\bullet}(G_{\Gamma},\mathbb{F}) is a universally Koszul algebra if, and only if, the graph Γ associated to the group G_{\Gamma} has the diagonal property. From this, we obtain several new examples of pro-𝑝 groups, for a prime number 𝑝, whose continuous cochain cohomology algebra with coefficients in the field of 𝑝 elements is strongly and universally (or strongly and non-universally) Koszul. This provides new support to a conjecture on Galois cohomology of maximal pro-𝑝 Galois groups of fields formulated by J. Mináč et al.

Rational Cohomology Algebra of Mapping Spaces between Complex Grassmannians

We consider the complex Grassmannian Grk,n of k-dimensional subspaces of ℂn. There is a natural inclusion in,r:Grk,n↪Grk,n+r. Here, we use Sullivan models to compute the rational cohomology algebra of the component of the inclusion in,r in the space of mappings from Grk,n to Grk,n+r for r≥1 and in particular to show that the cohomology of mapGrn,k,Grn,k+r;in,r contains a truncated algebra ℚx/xr+n+k2−nk, where x=2, for k≥2 and n≥4.