Related papers: Intersections and joins of free groups

We establish new lower bounds for the Tur\'an and Zarankiewicz numbers of certain apex partite hypergraphs. Given a $(d-1)$-partite $(d-1)$-uniform hypergraph $\mathcal{H}$, let $\mathcal{H}(k)$ be the $d$-partite $d$-uniform hypergraph…

For $k\ge 2$ and $r\ge 1$ such that $k+r\ge 4$, we prove that, for any $\alpha>0$, there exists $\epsilon>0$ such that the union of an $n$-vertex $k$-graph with minimum codegree $\left(1-\binom{k+r-2}{k-1}^{-1}+\alpha\right)n$ and a…

Let $K$ be the function field of a $p$-adic curve, $G$ a semisimple simply connected group over $K$ and $X$ a $G$-torsor over $K$. A conjecture of Colliot-Th\'el\`ene, Parimala and Suresh predicts that if for every discrete valuation $v$ of…

Let $n\geq k\geq r+3$ and $\mathcal H$ be an $n$-vertex $r$-uniform hypergraph. We show that if $|\mathcal H|> \frac{n-1}{k-2}\binom{k-1}{r}$ then $\mathcal H$ contains a Berge cycle of length at least $k$. This bound is tight when $k-2$…

For a set $P$ of $n$ points in $\mathbb R^d$, for any $d\ge 2$, a hyperplane $h$ is called $k$-rich with respect to $P$ if it contains at least $k$ points of $P$. Answering and generalizing a question asked by Peyman Afshani, we show that…

We prove that cubulated hyperbolic groups are virtually special. The proof relies on results of Haglund and Wise which also imply that they are linear groups, and quasi-convex subgroups are separable. A consequence is that closed hyperbolic…

In an earlier note [arXiv:2301.00295] it was shown that there is an upper bound to the number of disjoint Hopf links (and certain related links) that can be embedded in the unit cube where there is a fixed separation required between the…

The classical Heawood inequality states that if the complete graph $K_n$ on $n$ vertices is embeddable in the sphere with $g$ handles, then $g \ge\dfrac{(n-3)(n-4)}{12}$. A higher-dimensional analogue of the Heawood inequality is the…

In this paper we prove a residue formula for intersection pairings of reduced spaces of certain quasi-Hamiltonian G-spaces, by constructing the corresponding Hamiltonian G-space. Our argument closely follows the methods of a 1998 paper of…

Given $r \geq 3$, we prove that there exists $\lambda >0$ depending only on $r$ so that if $G$ is a metric graph of rank $r$ with metric entropy $1$, then there exists a proper subgraph $H$ of $G$ with metric entropy at least $\lambda$.…

For $k\ge 3$ and $\epsilon>0$, let $H$ be a $k$-partite $k$-graph with parts $V_1,\dots, V_k$ each of size $n$, where $n$ is sufficiently large. Assume that for each $i\in [k]$, every $(k-1)$-set in $\prod_{j\in [k]\setminus \{i\}} V_i$…

We show that if H is a non-elementary hyperbolic commensurated subgroup of infinite index in a hyperbolic group G, then H is virtually a free product of hyperbolic surface groups and free groups. We prove that whenever a one-ended…

We address the questions (P1), (P2) asked in Kirchheim-M\"{u}ller-\v{S}ver\'{a}k (2003) concerning the structure of the Rank-$1$ convex hull of a submanifold $\mathcal{K}_1\subset M^{3\times 2}$ that is related to weak solutions of the two…

We derive a sufficient condition for zero-freeness of partition functions applicable to lattice gases with possibly complex-valued multi-body interactions. This includes the case of hard-core interactions and, in particular, generalises…

Given a correspondence between a modular curve $S$ and an elliptic curve $A$, we prove that the intersection of any finite-rank subgroup of $A$ with the set of points on $A$ corresponding to an isogeny class on $S$ is finite. The question…

This paper proves that every oriented non-disk Seifert surface $F$ for a knot $K$ in $S^3$ is smoothly concordant to a Seifert surface $F^{\prime}$ for a hyperbolic knot $K^{\prime}$ of arbitrarily large volume. This gives a new and simpler…

Given a hypergraph $\mathcal{H}$ and a graph $G$, we say that $\mathcal{H}$ is a \textit{Berge}-$G$ if there is a bijection between the hyperedges of $\mathcal{H}$ and the edges of $G$ such that each hyperedge contains its image. We denote…

We investigate the validity of the optimal higher-order Sobolev inequality $H_k^2(M^n)\hookrightarrow L^{\frac{2n}{n-2k}}(M^n)$ on a closed Riemannian manifold when the remainder term is the $L^2-$norm. Unlike the case $k=1$, the optimal…

The main result is that for a connected hyperbolic complete K\"ahler manifold with bounded geometry of order two and exactly one end, either the first compactly supported cohomology with values in the structure sheaf vanishes or the…

This is a draft of a book submitted for publication by the AMS. Its theme is the remarkable interplay, accelerating in the last few decades, between topology and the theory of orderable groups, with applications in both directions. It…