---
title: Inscribed Banach–Colmez Tangent Spaces
url: https://www.emergentmind.com/topics/inscribed-banach-colmez-tangent-spaces
type: topic
---

# Inscribed Banach–Colmez Tangent Spaces

Inscribed Banach--Colmez tangent spaces are Banach--Colmez-valued tangent objects that arise after enriching diamonds and \(v\)-sheaves by an inscribed structure. In the present literature, they are attached most explicitly to fixed-determinant moduli of mixed characteristic local shtukas with one leg, where the tangent space at a point \(z\) is identified with the Banach--Colmez space \(BC(z^*\mathcal E^\circ_{\max})\) of global sections of a vector-bundle modification on the Fargues--Fontaine curve. Their connectedness detects a geometrically distinguished locus, called the non-very-special locus, and is conjecturally equivalent to cohomological smoothness of the underlying diamond; this conjecture is proved in the EL infinite-level Rapoport--Zink case. The notion depends on two antecedents: the reinterpretation of Banach--Colmez spaces in terms of coherent sheaves on the Fargues--Fontaine curve, and the later theory of inscribed \(v\)-sheaves with internal tangent bundles [1801.00422] [2508.11589] [2508.11595].

## 1. Banach--Colmez spaces and the Fargues--Fontaine antecedent

The modern geometric background begins with the sheaf-theoretic definition of the Banach--Colmez category \(\mathcal{BC}\). On \(\mathrm{Perf}_C\) with the pro-étale topology, one considers the constant sheaf \(Q=\underline{\mathbf Q_p}\) and the additive sheaf \(\mathbf G_a\), given by \(S\mapsto \mathcal O_S(S)\). The category \(\mathcal{BC}\) is defined as the smallest abelian subcategory, stable under extensions, containing \(\underline{Q}\) and \(\mathbf G_a\). This recovers Colmez’s original category \(\mathcal{BC}'\), in which Banach--Colmez spaces are built from finite-dimensional \(C\)-vector spaces and finite-dimensional \(\mathbf Q_p\)-vector spaces by extensions and quotients, with intrinsic numerical invariants \(\dim\) and \(\mathrm{ht}\) [1801.00422].

The decisive structural result is that Banach--Colmez spaces are not treated merely as ad hoc analytic functors. They are identified with a tilted heart of the derived category of coherent sheaves on the Fargues--Fontaine curve \(X\). Writing
\[
D(X)=D^b(\mathrm{Coh}_X),
\]
the relevant heart is
\[
\mathrm{Coh}_X^-=
\left\{
\mathcal F\in D(X)\; ;\;
H^i(\mathcal F)=0\ \text{for}\ i\neq -1,0,\;
H^{-1}(\mathcal F)<0,\;
H^0(\mathcal F)\ge 0
\right\},
\]
and the comparison theorem is
\[
R^0\tau_*:\mathrm{Coh}_X^- \xrightarrow{\sim} \mathcal{BC}.
\]
This places Banach--Colmez spaces inside slope theory, Harder--Narasimhan formalism, and derived \(t\)-structure methods [1801.00422].

Within that framework, the closest pre-inscription surrogate for tangent data is the positive-slope or vector-bundle contribution. For \(\mathcal F\in \mathrm{Coh}_X^-\), the exact triangle
\[
H^{-1}(\mathcal F)[1]\to \mathcal F\to H^0(\mathcal F)\overset{+1}\longrightarrow
\]
becomes the short exact sequence
\[
0\to H^{-1}(\mathcal F)[1]\to \mathcal F\to H^0(\mathcal F)\to 0
\]
in the tilted heart. Under the equivalence with \(\mathcal{BC}\), the positive-slope vector-bundle contribution behaves as the linearized part, whereas slope-zero and shifted negative-slope pieces encode the discrete or height contribution. This suggests the later inscribed tangent theory rather than constituting it formally [1801.00422].

A particularly important precursor is the universal cover of a \(p\)-divisible group \(G\) over \(\mathcal O_C\). Its Banach--Colmez realization fits into the exact sequence
\[
0 \to V(G) \to \tilde G \to \mathrm{Lie}(G)\otimes \mathbf G_a \to 0.
\]
Here \(\mathrm{Lie}(G)\otimes \mathbf G_a\) is the direct tangent-space surrogate, and \(V(G)\) is the rational Tate-module correction. For \(G=\mu_{p^\infty}\), one obtains
\[
0 \to Q \to (B_{\mathrm{cris}^+})^{\varphi=p}\xrightarrow{\theta} C \to 0,
\]
a prototypical one-dimensional Banach--Colmez extension of a \(C\)-line by a \(\mathbf Q_p\)-line [1801.00422].

## 2. Inscription and internal tangent theory

The theory of inscribed \(v\)-sheaves introduces the tangent formalism missing from earlier Banach--Colmez work. An inscribed fibered category over a category of locally free nilpotent thickenings is required to satisfy a coproduct-to-product condition: for any base thickening \(\mathcal B_0\) and any pair of locally free nilpotent thickenings \(\mathcal B_i/\mathcal B_0\), the natural functor
\[
\mathcal S(\mathcal B_1\sqcup_{\mathcal B_0}\mathcal B_2)\to
\mathcal S(\mathcal B_1)\times_{\mathcal S(\mathcal B_0)}\mathcal S(\mathcal B_2)
\]
is an equivalence. This is the deformation-theoretic axiom from which additivity of tangent directions is derived [2508.11589].

The internal tangent bundle is defined by square-zero extension. If \(\mathcal B\mapsto \mathcal B[\epsilon]\) denotes the free rank-one square-zero thickening, then
\[
T_{\mathcal S}(\mathcal B)=\mathcal S(\mathcal B[\epsilon]).
\]
For an inscribed presheaf \(\mathcal S\), the tangent bundle \(T_{\mathcal S}\to \mathcal S\) carries a canonical structure of an inscribed \(\mathbb B\)-module, where
\[
\mathbb B(\mathcal B)=H^0(\mathcal B,\mathcal O_{\mathcal B}).
\]
Relative tangent and normal objects are defined by
\[
T_{\mathcal Z/\mathcal S}:=\ker(df),\qquad
N_{\mathcal Z/\mathcal S}:=\operatorname{coker}(df)
\]
for a morphism \(f:\mathcal Z\to\mathcal S\) [2508.11589].

In the Fargues--Fontaine setting, tangent bundles often become inscribed Banach--Colmez spaces. For a vector bundle \(\mathcal E\) on the relative thickened Fargues--Fontaine curve, one defines
\[
BC(\mathcal E)(\mathcal X/S)=H^0(\mathcal X,\mathcal E_{\mathcal X}),
\]
and
\[
BC(\mathcal E[1])
\]
as the \(v\)-sheafification of the presheaf of \(H^1\). These are inscribed \(v\)-sheaves. The basic cohomological mechanism is the fundamental exact sequence
\[
0 \to BC(\mathcal E)\to \mathcal E\boxtimes \mathbb B_e \to
\mathcal E\boxtimes \mathbb B_{dR}/\mathcal E\boxtimes \mathbb B_{dR}^+
\to BC(\mathcal E[1])\to 0.
\]
This exact sequence is the standard conduit between vector bundles on the curve, de Rham-lattice quotients, and Banach--Colmez tangent objects [2508.11589].

The same paper computes derivatives of several inscribed period maps. In particular,
\[
d\pi_{Hdg}=\bigl(\kappa_{\omega_\nabla^{Fil}}\bigr)^\wedge,
\]
so the derivative of the inscribed Hodge period map is the Kodaira--Spencer map, and the derivative of the inscribed Liu--Zhu period map is identified on the underlying \(v\)-sheaf with the geometric Sen morphism or canonical Higgs field. This makes the inscribed tangent formalism a direct receptacle for classical \(p\)-adic Hodge-theoretic differentials [2508.11589].

## 3. Tangent spaces on moduli of local shtukas with one leg

The most explicit definition of an inscribed Banach--Colmez tangent space occurs for the fixed-determinant fiber
\[
M_{b,[\mu]}^\tau
\]
of the moduli diamond of mixed characteristic local shtukas with one leg. The data consist of a finite extension \(E/\mathbf Q_p\), a connected reductive group \(G/E\), a conjugacy class \([\mu]\), and an element \(b\in G(\breve E)\). After passing to the fixed-determinant fiber over a point
\[
\tau:\Spd \mathbb C_p\to M_{\det(b),[\det(\mu)]},
\]
one obtains an inscribed \(v\)-sheaf \(M_{b,[\mu]}^\tau\) with Hodge and Hodge--Tate period maps [2508.11595].

The Lie-theoretic input is encoded in
\[
\mathfrak g^\circ=\Lie G^{der}(E),\qquad
\mathfrak g_b^\circ=\mathfrak g^\circ\otimes_E\breve E.
\]
Using the universal meromorphic isomorphism between the trivial \(G\)-bundle and the bundle associated with \(b\), one defines two \(B_{dR}^+\)-lattices,
\[
\mathfrak g^{\circ,+}_{\max}
=
\mathfrak g_b^\circ\otimes_{\breve E} B_{dR}^+
+
\mathfrak g^\circ\otimes_E B_{dR}^+,
\]
and
\[
\mathfrak g^{\circ,+}_{\min}
=
\mathfrak g_b^\circ\otimes_{\breve E} B_{dR}^+
\cap
\mathfrak g^\circ\otimes_E B_{dR}^+.
\]
They define vector-bundle modifications \(\mathcal E^\circ_{\max}\) and \(\mathcal E^\circ_{\min}\) on the relative Fargues--Fontaine curve [2508.11595].

The basic tangent computation is
\[
T_{M_{b,[\mu]}^\tau}
=
\ker(d\det_{b,[\mu]})
=
BC(\mathcal E^\circ_{\max}),
\]
and pointwise, for
\[
z:\Spd C\to M_{b,[\mu]}^\tau,
\]
the inscribed Banach--Colmez tangent space is
\[
T_{M_{b,[\mu]}^\tau,z}=BC(z^*\mathcal E^\circ_{\max}).
\]
If \(F_z\) denotes the simultaneous fiber of the Hodge and Hodge--Tate period maps through \(z\), then
\[
T_{F_z}=BC(\mathcal E^\circ_{\min}).
\]
Moreover,
\[
(\mathcal E^\circ_{\max})^*\cong \mathcal E^\circ_{\min},
\]
so the ambient tangent space and the tangent space to the period-fiber intersection are related by duality [2508.11595].

| Object | Formula | Role |
|---|---|---|
| Ambient tangent bundle | \(T_{M_{b,[\mu]}^\tau}=BC(\mathcal E^\circ_{\max})\) | Tangent of fixed-determinant moduli |
| Pointwise tangent space | \(T_{M_{b,[\mu]}^\tau,z}=BC(z^*\mathcal E^\circ_{\max})\) | Tangent at \(z\) |
| Fiber tangent bundle | \(T_{F_z}=BC(\mathcal E^\circ_{\min})\) | Tangent to simultaneous Hodge/Hodge--Tate fiber |
| Duality | \((\mathcal E^\circ_{\max})^*\cong \mathcal E^\circ_{\min}\) | Converts slope data between max and min bundles |

This construction gives the phrase “inscribed Banach--Colmez tangent space” its precise contemporary meaning: the Banach--Colmez realization of the internal tangent object, computed as global sections of a naturally defined vector-bundle modification on the Fargues--Fontaine curve [2508.11595].

## 4. Connectedness, slope zero, and the very special locus

The geometry of these tangent spaces is controlled by Harder--Narasimhan slopes. For every geometric point \(z\), the bundle
\[
z^*\mathcal E^\circ_{\max}
\]
has nonnegative Harder--Narasimhan slopes. Because of this nonnegativity, connectedness of the Banach--Colmez tangent space is equivalent to the absence of slope \(0\): the paper states that
\[
BC(z^*\mathcal E^\circ_{\max}) \text{ is connected }
\iff
0 \text{ does not occur as an HN slope of } z^*\mathcal E^\circ_{\max}.
\]
This identifies connectedness with the exclusion of the étale or locally profinite component [2508.11595].

The main equivalence theorem gives six equivalent conditions for a point
\[
z:\Spd(C)\to M_{b,[\mu]}^\tau.
\]
They relate the absence of slope \(0\) in \(z^*\mathcal E^\circ_{\max}\) and in \(z^*\mathcal E^\circ_{\min}\), the vanishing
\[
T_{F_z,z}(\Spd C)=0,
\]
the vanishing of infinitesimal automorphisms
\[
(\Lie H_z)(\Spd C)=0,
\]
the discreteness of the stabilizer
\[
H_z(\Spd C)=\Stab_{G^{der}(E)}(\pi_{HT}^{+,\tau}(z)),
\]
and the discreteness of the simultaneous period fiber
\[
F_z(\Spd C)
\]
inside the orbit \(G^{der}(E)\cdot z\). In particular,
\[
F_z=H_z\cdot z.
\]
Thus the connectedness of the tangent space is equivalent to geometric discreteness of the intersection of the Hodge and Hodge--Tate fibers [2508.11595].

A point is called very special precisely when these equivalent conditions fail. Equivalently,
\[
z \text{ is very special }
\iff
0 \text{ occurs as an HN slope of } z^*\mathcal E^\circ_{\max}.
\]
The non-very-special locus is therefore exactly the connected-tangent locus,
\[
\overline{M_{b,[\mu]}^{\tau,non-vsp}}
=
\{z:\ BC(z^*\mathcal E^\circ_{\max}) \text{ is connected}\}.
\]
Since the slopes of \(z^*\mathcal E^\circ_{\max}\) are nonnegative, the condition that \(0\) occur as a slope is closed by semicontinuity of the Harder--Narasimhan polygon, so
\[
\overline{M_{b,[\mu]}^{\tau,vsp}} \subseteq \overline{M_{b,[\mu]}^\tau}
\]
is a closed subdiamond [2508.11595].

This shows that “connectedness” is not a purely topological qualifier. It is a slope-theoretic condition on a Banach--Colmez tangent object, and simultaneously a group-theoretic condition on stabilizers and a geometric condition on intersections of period fibers. The paper’s point is that these three languages coincide [2508.11595].

## 5. Cohomological smoothness and the Jacobian criterion

The central conjecture states that
\[
M_{b,[\mu]}^{\tau,non-vsp}\to \Spd \mathbb C_p
\quad\text{is cohomologically smooth.}
\]
The tangent-theoretic reason is that, for a vector bundle \(\mathcal E\) on the Fargues--Fontaine curve with nonnegative slopes, the Banach--Colmez space \(BC(\mathcal E)\) has a connected part coming from positive slopes and a locally profinite part coming from slope \(0\). Thus
\[
\text{strictly positive slopes}
\Longleftrightarrow
\text{connected Banach--Colmez space},
\]
whereas slope \(0\) contributes the discrete defect. This matches the Fargues--Scholze Jacobian criterion, which governs cohomological smoothness by positivity of slopes in the pulled-back relative tangent bundle [2508.11595].

The EL infinite-level Rapoport--Zink case proves the conjecture. In that case,
\[
\overline{M_{b,[\mu]}^\tau}^{\,non-vsp}\to \Spd \mathbb C_p
\]
is cohomologically smooth. The proof compares the inscribed moduli \(M_{b,[\mu]}^\tau\) with a Fargues--Scholze moduli of sections of a smooth quasi-projective scheme \(Z\) over the Fargues--Fontaine curve, and shows that for a rank-one point \(z\) corresponding to a section \(s\),
\[
BC(s^*T_{Z^{an}/X_{\mathbb C_p^\flat}})
=
T_{M_{b,[\mu]}^\tau,z}
=
BC(z^*\mathcal E^\circ_{\max}).
\]
Since \(z^*\mathcal E^\circ_{\max}\) has nonnegative slopes and the Jacobian criterion asks for strictly positive slopes, the non-very-special locus is exactly the Jacobian-smooth locus [2508.11595].

In the EL interpretation, very special points correspond to extra endomorphisms. If \(z\) corresponds, via Scholze--Weinstein, to a \(p\)-divisible group \(G_z\) up to isogeny, with
\[
A_z=\End_B(G_z),
\]
and \(F\) the center of \(B\), then
\[
z \text{ is very special }
\iff
F\hookrightarrow A_z \text{ is not an isomorphism.}
\]
The slope-zero part of the tangent space is therefore identified with extra \(B\)-linear endomorphisms beyond the center [2508.11595].

## 6. Related frameworks, analogies, and scope

Earlier Banach--Colmez literature does not define an intrinsic tangent functor on the category of Banach--Colmez spaces. Instead, it develops the analytic and exact structures from which the later inscribed theory draws. In the effective setting, an effective Banach--Colmez space is an analytic extension
\[
0\to V\to E\to L\to 0
\]
with \(V\) finite-dimensional over \(\mathbf Q_p\) and \(L\) finite-dimensional over \(\mathbf C_p\). The connected--étale decomposition
\[
0\to G^0\to G\to \pi_0(G)\to 0
\]
and the vector hull
\[
\iota:E\to E_{\mathbf C_p}
\]
already separate analytic from discrete directions. For \(p\)-divisible groups, the exact sequence
\[
0\to T(\Gamma)(\overline k)\otimes_{\mathbf Z_p}\mathbf Q_p
\to E(M)\to
t_G(\mathcal O_{\mathbf C_p})\otimes_{\mathbf Z_p}\mathbf Q_p
\to 0
\]
is an explicit precursor of tangent-like Banach--Colmez geometry [1610.09821].

The theory of oblique Banach--Colmez spaces adds Harder--Narasimhan formalism and slope filtration. Stable objects are precisely the \(E_{d,h}\), and every oblique Banach--Colmez space has a unique decreasing filtration with semistable graded pieces
\[
\Gr^\alpha X \simeq E_{d,h}^{\,n_\alpha(X)}
\qquad
(\alpha=d/h)
\]
noncanonically. This provides a graded linear model by slope, but still not an internal tangent theory in the later inscribed sense [1610.09822].

Relative Banach--Colmez geometry over a perfectoid base likewise supplies structural analogies without defining pointwise tangent spaces. For flat coherent sheaves \(\mathcal F\) on the relative Fargues--Fontaine curve \(X_S\), there are v-local presentations
\[
0 \to \mathcal O_{X_S}(-1)^d \to \mathcal O_{X_S}^{i+d} \to \mathcal F \to 0,
\]
and, for positive slopes,
\[
0 \to \mathcal O_{X_S}^d \to \mathcal E \to \mathcal F \to 0.
\]
The fully faithful functor
\[
R\tau_*:\mathcal P erf(X_S)\to D(S_v,\underline E)
\]
and computations such as
\[
R\mathcal H om_{S_v,E}(\mathcal O^\sharp,\mathcal O^\sharp)
\cong
\mathcal O^\sharp\oplus \mathcal O^\sharp[-1]
\]
supply extension-theoretic data of the type usually associated with infinitesimal deformation theory [2111.11116].

The modern phrase “inscribed Banach--Colmez tangent space” should therefore be read narrowly. It does not mean that the classical Banach--Colmez category has acquired a universal intrinsic tangent-space functor. Rather, it denotes the Banach--Colmez realization of the internal tangent object of an inscribed \(v\)-sheaf, most notably in moduli problems built from the Fargues--Fontaine curve. A plausible implication is that the earlier Banach--Colmez decomposition into connected \(C\)-linear and discrete \(\mathbf Q_p\)-linear parts is not superseded but internalized: positive-slope analytic directions become genuine tangent directions, and slope-zero pieces become the obstruction to connectedness and cohomological smoothness [1801.00422] [2508.11589] [2508.11595].

Source: https://www.emergentmind.com/topics/inscribed-banach-colmez-tangent-spaces