A C-minimal analogue with a nowhere differentiable power function

Let Cp\mathbb{C}_p be the completion of Qpalg\mathbb{Q}_p^{\mathrm{alg}}. For αCp\alpha\in\mathbb{C}_p, let fαf_\alpha be the function defined on a sufficiently small ball around 00 by

fα(x)=(1+x)α=1+αx+α(α1)2x2+.f_\alpha(x)=(1+x)^\alpha=1+\alpha x+\frac{\alpha(\alpha-1)}{2}x^2+\cdots.

Let MCpM\subseteq\mathbb{C}_p be an algebraically closed subfield, and let vv denote the valuation.

C-minimal analogue conjecture. There is some αCp\alpha\in\mathbb{C}_p and an algebraically closed subfield MCpM\subseteq\mathbb{C}_p closed under fαf_\alpha such that the structure (M,+,,v,fα)(M,+,\cdot,v,f_\alpha) is C-minimal and αM\alpha\notin M, so fαf_\alpha is nowhere differentiable within the structure MM.

This proposes a C-minimal analogue of the weakly o-minimal construction studied in the paper, combining C-minimality with failure of generic differentiability. The statement is presented as a direction for further research, and no resolution is given here.

Sources & referencesView supporting material

Primary source

Will Johnson, “Weakly o-minimal fields have the exchange property but not generic differentiability”, arXiv:2606.08527 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.