---
title: 'Weak Relatives: A Mathematical Perspective'
url: https://www.emergentmind.com/topics/weak-relatives
type: topic
---

# Weak Relatives: A Mathematical Perspective

Searching arXiv for papers on “weak relatives” and closely related usages to ground the article.
arXiv search query: "weak relatives"
In the available literature, “weak relatives” does not denote a single universal concept; it appears in several distinct technical settings in which an established relation is weakened while retaining enough structure to support classification, rigidity, or comparison theorems. The most explicit formal usage occurs in Kähler geometry, where two Kähler manifolds are weak relatives if they contain locally isometric Kähler submanifolds that holomorphically and isometrically immerse into the ambient manifolds. Closely related weakening phenomena also occur in locally compact groups, operator algebras, Banach operator ideals, and model theory, where the adjective “weak” typically marks a relaxation of a classical fixed-point, averaging, approximation, or extension property [2306.16174][1309.2890][1410.5670][2209.14838].

## 1. Kähler-geometric weak relatives

Following Di Scala–Loi, two Kähler manifolds \(M_1\) and \(M_2\) are **relatives** if there exists a Kähler manifold \(X\) and two holomorphic isometries \(\varphi_i:X\to M_i\), \(i=1,2\). The weakened notion replaces the common submanifold \(X\) by two locally isometric Kähler manifolds \(X_1\) and \(X_2\) of complex dimension \(\ge 2\), together with holomorphic isometries \(\varphi_i:X_i\to M_i\). Thus weak relatives share a locally isometric Kähler geometry, but not necessarily the same complex structure on the shared piece [2306.16174].

The dimension assumption \(\dim_\mathbb C X_i\ge 2\) is essential. In complex dimension \(1\), any isometry is automatically holomorphic or anti-holomorphic, so the weak notion does not differ from the classical one. In higher dimension, however, the two notions separate: the paper points out that in real dimension \(4\), a Riemannian manifold may carry a continuous family of parallel complex structures, and if two such complex structures lie in different isometry-group orbits, the resulting Kähler manifolds are weak relatives but not relatives. Hyperkähler manifolds provide such examples [2306.16174].

The geometric distinction is therefore precise. For relatives, the common subgeometry is both metric and complex-analytic. For weak relatives, what is shared is only the local Riemannian structure of the submanifold, with compatibility with the ambient complex structures imposed only after separate holomorphic isometric immersions into \(M_1\) and \(M_2\) [2306.16174].

## 2. Projective rigidity and collapse to genuine relatives

A central rigidity theorem states that if a **projective manifold** \(M_1\) and a Kähler manifold \(M_2\) are weak relatives, then they are relatives. In this setting, the projective hypothesis is strong enough to recover the common holomorphic geometry from the weaker metric datum, so “weakly related” collapses to “related” [2306.16174].

The key local input is the lemma that an isometry \(\varphi:M_1\to M_2\) between irreducible Kähler manifolds is either holomorphic or anti-holomorphic whenever \(M_1\) is not Ricci-flat. The proof of the projective theorem uses the de Rham decomposition
\[
X_1 = F \times N_1 \times \cdots \times N_k,
\]
where \(F\) is the Ricci-flat factor. Hulin’s result excludes a holomorphic isometric immersion of the Ricci-flat factor into a projective manifold. On each remaining irreducible factor \(N_j\), the induced isometry is holomorphic or anti-holomorphic; anti-holomorphic factors are conjugated, and the resulting pieces assemble into a global holomorphic isometry \(\widetilde\varphi:X_1\to X_2\) [2306.16174].

This rigidity has an immediate exclusionary consequence. A projective Kähler manifold \(X\) and a product \(\mathbb C^N/\Gamma\times\Omega\) of a flat Kähler manifold with a homogeneous bounded domain are not weak relatives, because they were already known not to be relatives, and in the projective case weak relativeness would force actual relativeness [2306.16174].

## 3. Strict relatives and strong non-relativity

The same literature introduces **strict relatives**: two Kähler manifolds \(M_1\) and \(M_2\) are strict relatives if they are relatives, but there exists no local holomorphic isometry of one into the other. This separates the existence of a common Kähler submanifold from the much stronger condition that one ambient manifold locally holomorphically isometrically immerses into the other [2306.16174].

Several nontrivial examples are constructed.

| Pair | Shared submanifold | Obstruction to ambient immersion |
|---|---|---|
| \(\mathbb C^n\) and \(\mathbb C\times\mathbb C^m\) with flat/Fubini–Study product metric | \(\mathbb C\) | Dimensional and curvature reasons |
| \(\mathbb C^n\) with hyperbolic metric and a bounded symmetric domain of rank \(\ge 2\) | Totally geodesic \(\mathbb C^1\) | Dimension and symmetric-space rigidity |
| \(\mathbb CP^n\) and \(Q^m\) for \(n\le m<2n\) | Totally geodesic \(\mathbb CP^1\) | Suyama’s theorem |
| \(\mathbb CP^n\) and \(SU(2,1)/U(1)\times U(1)\) with metric \(g_2\), \(n\ge 3\) | A \(\mathbb CP^1\) fiber | Calabi rigidity plus fullness in \(\ell^2(\mathbb C)\) |

These examples show that strict relativeness occurs in reducible and irreducible, compact and noncompact, flat and non-flat settings. The phenomenon is therefore not an artifact of obvious embeddings; it isolates ambient manifolds that genuinely share Kähler subgeometry without containing one another holomorphically and isometrically [2306.16174].

A complementary strengthening is the notion of a manifold **strongly not relative to any projective Kähler manifold**: \((M,g)\) has this property if \((M,cg)\) is not relative to any projective Kähler manifold for every \(c>0\). Two criteria are given. First, if \((M,\beta g)\) is infinite projectively induced for all \(\beta\ge \beta_0>0\) and \((M,g)\) is not relative to any \(\mathbb{CP}^n\), then \((M,g)\) is strongly not relative. Second, transversally full immersions into \(\mathbb{CP}^\infty\) yield a similar conclusion. Bergman–Hartogs domains and certain Fock–Bargmann–Hartogs domains are then shown to be strongly not relative to any projective manifold [1608.03163].

## 4. Ambient weakenings: relative amenability and weak relative Dixmier averaging

Outside Kähler geometry, closely analogous weakening mechanisms occur when a property is made relative to an ambient object. For a locally compact group \(G\) and a closed subgroup \(H<G\), **relative amenability** means that for every non-empty convex compact \(G\)-space \(K\), the subgroup \(H\) fixes a point in \(K\). This is a priori weaker than amenability of \(H\), because the fixed-point requirement is imposed only on \(G\)-spaces restricted to \(H\), not on all \(H\)-spaces [1309.2890].

The notion admits several equivalent analytic formulations. For a closed subgroup \(H<G\), relative amenability is equivalent to: a bounded right approximate identity for the ideal \(J^1(G,H)=\ker(L^1(G)\to L^1(G/H))\); the existence of a left \(H\)-invariant mean on \(C(G)\); and the existence of a \(G\)-equivariant continuous linear map
\[
\alpha:L^\infty(G)\to L^\infty(G/H),\qquad \alpha(1_G)=1_{G/H},
\]
which can be chosen positive and of norm one. The paper also solves Reiter’s problem by proving
\[
H \text{ is amenable}\quad\Longleftrightarrow\quad J^1(G,H)\text{ has a bounded right approximate identity,}
\]
and introduces the class \(X\) of groups for which relative amenability implies amenability for all closed subgroups. This class contains all familiar groups listed in the paper and is stable under numerous permanence operations, while relative amenability itself is closed under Chabauty limits [1309.2890].

A related operator-algebraic weakening appears in the **weak relative Dixmier property** for inclusions \(A\subset M\) of von Neumann algebras equipped with a faithful normal semifinite operator-valued weight \(E_A:M\to A\). For every positive \(x\in M\) with \(E_A(x)<\infty\), the \(\sigma\)-weak closure of the convex hull of the \(A\)-unitary orbit of \(x\) intersects the relative commutant \(A'\cap M\). This extends Marrakchi’s expectation-based result to operator-valued weights and is applied to a tracial-free reformulation of Popa’s intertwining criterion, a type III relative solidity theorem, and a Galois-type correspondence for crossed products by totally disconnected groups [2508.17592].

## 5. Weak relatives in Banach-space approximation and compactness

In Banach operator-ideal theory, the phrase “weaker relatives” is used explicitly for the **weak \(\lambda\)-BAP for \(\mathcal A\)** and the **local \(\lambda\)-BAP for \(\mathcal A\)**, introduced as weakenings of the \(\lambda\)-bounded approximation property for a Banach operator ideal \(\mathcal A\). The implication chain is
\[
\lambda\text{-BAP} \implies \lambda\text{-BAP for }\mathcal A \implies \text{weak }\lambda\text{-BAP for }\mathcal A \implies \text{local }\lambda\text{-BAP for }\mathcal A.
\]
The weak version requires finite-rank endomorphisms \(S_\alpha\) converging pointwise to \(I_X\) with \(\limsup_\alpha \|TS_\alpha\|_{\mathcal A}\le \lambda\|T\|_{\mathcal A}\), while the local version only asks for pointwise approximation of each \(T\in\mathcal A(X;Y)\) by finite-rank operators \(T_\alpha\in F(X;Y)\). The local notion is strictly weaker in general, but for injective ideals it coincides with the weak one; for injective closed ideals all three ideal-relative notions coincide. The paper further identifies Saphar’s approximation property of order \(p\) with the weak/local \(\lambda\)-BAP for the ideal \(\mathcal P_p\) of absolutely \(p\)-summing operators [1410.5670].

A parallel weakening occurs in the theory of \((p,r)\)-null sequences. For \(1\le p<\infty\) and \(1\le r\le p^*\), the \((p,r)\)-convex hull of \((x_k)\in\ell_p(X)\) is
\[
(p,r)\text{-conv}(x_k)=\left\{\sum_{k=1}^\infty a_kx_k:\ (a_k)\in B_{\ell_r}\right\},
\]
and a set is relatively \((p,r)\)-compact if it lies in such a hull. A sequence \((x_n)\) is \((p,r)\)-null if for every \(\varepsilon>0\) there exist \((z_k)\in \varepsilon B_{\ell_p(X)}\) and \(N\) such that \(x_n\in (p,r)\)-conv\((z_k)\) for all \(n\ge N\). The omnibus theorem proves the equivalence
\[
(x_n)\text{ is }(p,r)\text{-null}\quad\Longleftrightarrow\quad (x_n)\text{ is null and relatively }(p,r)\text{-compact},
\]
and extends the same pattern to unconditional and weak variants via the operator ideals \(U_{(p,r)}\) and \(W_{(p,r)}\) [1409.6476].

## 6. Weak heirs, coheirs, and broader family terminology

In topological dynamics and model theory, **weak heirs** and **weak coheirs** compare Ellis semigroups attached to \(G\)-algebras \(\mathcal A\subseteq\mathcal P(G)\) and \(\mathcal B\subseteq\mathcal P(H)\) with \(G\prec H\). If \(p\in S(\mathcal A)\) and \(q\in S(\mathcal B)\), then \(q\) is a weak heir of \(p\) when \(d_qA=(d_pA)^\#\) for every \(A\in\mathcal A\). It is a weak coheir of \(p\) when the \(d\)-behavior of \(q\) over \(\mathcal A\) is controlled by restriction. These notions are exactly the compatibility conditions needed to make restriction respect semigroup multiplication: weak heirs correspond to
\[
r(s\ast q)=r(s)\ast r(q),
\]
whereas weak coheirs correspond to
\[
r(q\ast s)=r(q)\ast r(s).
\]
Under the hypothesis that every minimal left ideal in \(S(\mathcal B)\) is a group, the Ellis groups of \(S(\mathcal A)\) are isomorphic to closed subgroups of the Ellis groups of \(S(\mathcal B)\). In the stable case, weak heirs and weak coheirs are identified with nonforking conditions on the translated fragments \(\Delta_M\) and \(\Delta_M^*\) [2209.14838].

The same body of literature also uses “relatives” in a broader family-classification sense rather than as a formal weakening. The survey on pure braid groups treats \(wP_n\), \(vP_n\), \(wP_n^+\), and \(vP_n^+\) as relatives of \(P_n\), distinguished by resonance varieties, Chen ranks, Koszulness, and formality [1602.05291]. In regular-map theory, the six Petrie relatives of a map arise from duality and Petrie-duality [1210.2064]. Over finite fields, relatives of the Hermitian curve are plane curves
\[
(x^{\sqrt q},y^{\sqrt q},z^{\sqrt q})A\,{}^t(x,y,z)=0,\qquad A\in GL(3,\mathbb F_q),
\]
with point-count congruence \(N_q(C)\equiv 1\pmod{\sqrt q}\) and a classification of those having at least two rational inflexions [2402.14192]. In arithmetic, the even values \(\beta(2),\beta(4),\dots\) are described as relatives of Catalan’s constant, and at least one of \(\beta(2),\beta(4),\beta(6),\beta(8),\beta(10),\beta(12)\) is proved irrational [1804.09922]. In topology, the close relatives \(B(\kappa,a,b)\) of Hilbertian balls are all shown to be homeomorphic whenever \(\mu(a,b)<1\), including the positive part and certain half-ball and band-cut variants [2607.01924].

Across these contexts, the recurrent mathematical pattern is stable: a “weak relative” retains enough of the ambient or structural signature of a stronger notion to permit fixed-point theorems, rigidity upgrades, homeomorphism classifications, or semigroup comparisons, while still being formally less restrictive than the original relation.

Source: https://www.emergentmind.com/topics/weak-relatives