Pointwise convergence in Pringsheim’s sense of the summability of Fourier transforms on Wiener amalgam spaces

New multi-dimensional Wiener amalgam spaces \(W_c(L_p,\ell _\infty )(\mathbb{R }^d)\) are introduced by taking the usual one-dimensional spaces coordinatewise in each dimension. The strong Hardy-Littlewood maximal function is investigated on these spaces. The pointwise convergence in Pringsheim’s sense of the \(\theta \) -summability of multi-dimensional Fourier transforms is studied. It is proved that if the Fourier transform of \(\theta \) is in a suitable Herz space, then the \(\theta \) -means \(\sigma _T^\theta f\) converge to \(f\) a.e. for all \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) . Note that \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset W_c(L_r,\ell _\infty )(\mathbb{R }^d) \supset L_r(\mathbb{R }^d)\) and \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset L_1(\log L)^{d-1}(\mathbb{R }^d)\) , where \(1 . Moreover, \(\sigma _T^\theta f(x)\) converges to \(f(x)\) at each Lebesgue point of \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) .     

Representations of set-valued risk measures defined on the l-tensor product of Banach lattices

We obtain a representation for set-valued risk measures which are defined on the completed \(l\) -tensor product \(E\widetilde{\otimes }_l G\) of Banach lattices \(E\) and \(G\) . This representation extends known representations for set-valued risk measures defined on Bochner spaces \(L^p(\mathbb {P}, \mathbb {R}^d)\) of \(p\) -integrable functions with values in \(\mathbb {R}^d\) .     

Extremal geometry of a Brownian porous medium

The path \(W[0,t]\) of a Brownian motion on a \(d\) -dimensional torus \(\mathbb T ^d\) run for time \(t\) is a random compact subset of \(\mathbb T ^d\) . We study the geometric properties of the complement \(\mathbb T ^d{{\setminus }} W[0,t]\) as \(t\rightarrow \infty \) for \(d\ge 3\) . In particular, we show that the largest regions in \(\mathbb T ^d{{\setminus }} W[0,t]\) have a linear scale \(\varphi _d(t)=[(d\log t)/(d-2)\kappa _d t]^{1/(d-2)}\) , where \(\kappa _d\) is the capacity of the unit ball. More specifically, we identify the sets \(E\) for which \(\mathbb T ^d{{\setminus }} W[0,t]\) contains a translate of \(\varphi _d(t)E\) , and we count the number of disjoint such translates. Furthermore, we derive large deviation principles for the largest inradius of \(\mathbb T ^d{{\setminus }} W[0,t]\) as \(t\rightarrow \infty \) and the \(\varepsilon \) -cover time of \(\mathbb T ^d\) as \(\varepsilon \downarrow 0\) . Our results, which generalise laws of large numbers proved by Dembo et al. (Electron J Probab 8(15):1–14, 2003), are based on a large deviation estimate for the shape of the component with largest capacity in \(\mathbb T ^d{{\setminus }} W_{\rho (t)}[0,t]\) , where \(W_{\rho (t)}[0,t]\) is the Wiener sausage of radius \(\rho (t)\) , with \(\rho (t)\) chosen much smaller than \(\varphi _d(t)\) but not too small. The idea behind this choice is that \(\mathbb T ^d {{\setminus }} W[0,t]\) consists of “lakes”, whose linear size is of order \(\varphi _d(t)\) , connected by narrow “channels”. We also derive large deviation principles for the principal Dirichlet eigenvalue and for the maximal volume of the components of \(\mathbb T ^d {{\setminus }} W_{\rho (t)}[0,t]\) as \(t\rightarrow \infty \) . Our results give a complete picture of the extremal geometry of \(\mathbb T ^d{{\setminus }} W[0,t]\) and of the optimal strategy for \(W[0,t]\) to realise extreme events.     

On the Action of Riesz Transforms on the Class of Bounded Functions

The paper is devoted to the \(d\) -dimensional extension of the classical identity of Stein and Weiss concerning the action of the Hilbert transform on characteristic functions. Let \((R_j)_{j=1}^d\) be the collection of Riesz transforms in \(\mathbb{R }^d\) . For \(1\le p<\infty \) , we determine the least constants \(c_{p,d}, C_{p,d}\) such that $$\begin{aligned} \int _{\mathbb{R }^d} f(x)|R_jf(x)|^p\text{ d }x&\le c_{p,d} ||f||_{L^1(\mathbb{R }^d)},\\ \int _{\mathbb{R }^d} (1-f(x))|R_jf(x)|^p\text{ d }x&\le C_{p,d} ||f||_{L^1(\mathbb{R }^d)} \end{aligned}$$ for any Borel function \(f:\mathbb{R }^d\rightarrow [0,1]\) . The proof rests on probabilistic methods and the construction of appropriate harmonic functions on \([0,1]\times \mathbb{R }\) .     

The Hardy–Rellich Inequality and Uncertainty Principle on the Sphere

Let \(\Delta _0\) be the Laplace–Beltrami operator on the unit sphere \(\mathbb {S}^{d-1}\) of \({\mathbb R}^d\) . We show that the Hardy–Rellich inequality of the form $$\begin{aligned} \mathop \int \limits _{\mathbb {S}^{d-1}} \left| f (x)\right| ^2 \mathrm{d}{\sigma }(x) \le c_d \min _{e\in \mathbb {S}^{d-1}} \mathop \int \limits _{\mathbb {S}^{d-1}} (1- {\langle }x, e {\rangle }) \left| (-\Delta _0)^{\frac{1}{2}}f(x) \right| ^2 \mathrm{d}{\sigma }(x) \end{aligned}$$ holds for \(d =2\) and \(d \ge 4\) but does not hold for \(d=3\) with any finite constant, and the optimal constant for the inequality is \(c_d = 8/(d-3)^2\) for \(d =2, 4, 5,\) and, under additional restrictions on the function space, for \(d\ge 6\) . This inequality yields an uncertainty principle of the form $$\begin{aligned} \min _{e\in \mathbb {S}^{d-1}} \mathop \int \limits _{\mathbb {S}^{d-1}} (1- {\langle }x, e {\rangle }) |f(x)|^2 \mathrm{d}{\sigma }(x) \mathop \int \limits _{\mathbb {S}^{d-1}}\left| \nabla _0 f(x)\right| ^2 \mathrm{d}{\sigma }(x) \ge c'_d \end{aligned}$$ on the sphere for functions with zero mean and unit norm, which can be used to establish another uncertainty principle without zero mean assumption, both of which appear to be new.     

Uncertainty principles and sum complexes

Let \(p\) be a prime and let \(A\) be a nonempty subset of the cyclic group \(C_p\) . For a field \({\mathbb F}\) and an element \(f\) in the group algebra \({\mathbb F}[C_p]\) let \(T_f\) be the endomorphism of \({\mathbb F}[C_p]\) given by \(T_f(g)=fg\) . The uncertainty number \(u_{{\mathbb F}}(A)\) is the minimal rank of \(T_f\) over all nonzero \(f \in {\mathbb F}[C_p]\) such that \(\mathrm{supp}(f) \subset A\) . The following topological characterization of uncertainty numbers is established. For \(1 \le k \le p\) define the sum complex \(X_{A,k}\) as the \((k-1)\) -dimensional complex on the vertex set \(C_p\) with a full \((k-2)\) -skeleton whose \((k-1)\) -faces are all \(\sigma \subset C_p\) such that \(|\sigma |=k\) and \(\prod _{x \in \sigma }x \in A\) . It is shown that if \({\mathbb F}\) is algebraically closed then $$\begin{aligned} u_{{\mathbb F}}(A)=p-\max \{k :\tilde{H}_{k-1}(X_{A,k};{\mathbb F}) \ne 0\}. \end{aligned}$$ The main ingredient in the proof is the determination of the homology groups of \(X_{A,k}\) with field coefficients. In particular it is shown that if \(|A| \le k\) then \(\tilde{H}_{k-1}(X_{A,k};{\mathbb F}_p)\!=\!0.\)      

The theme of a vanishing period

Consider a multivalued formal function of the type 1 $$\begin{aligned} \varphi (s) : = \sum _{j=0}^k\,c_j(s).s^{\lambda + m_j}.(\mathrm{Log}\,s)^j, \end{aligned}$$ where \(\lambda \) is a positive rational number, \(c_j\) is in \({{\mathrm{\mathbb {C}}}}[[s]]\) and \(m_j \in \mathbb {N}\) for \(j \in [0,k-1]\) . The theme associated with such a \(\varphi \) is the “minimal filtered integral equation” satisfied by \(\varphi \) , in a sense which is made precise in this article. We study such objects and show that their isomorphism classes may be characterized by a finite set of complex numbers, when we assume the Bernstein polynomial of \(\varphi \) to be fixed. For a given \(\lambda \) , to fix the Bernstein polynomial is equivalent to fix a finite set of integers associated with the logarithm of the monodromy in the geometric situation described below. Our aim is to construct some analytic invariants, for instance in the following situation, let \(f : X \rightarrow D\) be a proper holomorphic function defined on a complex manifold \(X\) with values in a disc \(D\) . We assume that the only critical value is \(0 \in D\) and we consider this situation as a degenerating family of compact complex manifolds to a singular compact complex space \(f^{-1}(0)\) . To a smooth \((p+1)\) -form \(\omega \) on \(X\) such that \(\mathrm{d}\omega = 0 = \mathrm{d}f \wedge \omega \) and to a vanishing \(p\) -cycle \(\gamma \) chosen in the generic fiber \(f^{-1}(s_0), s_0 \in D \setminus \{0\}\) , we associated a “vanishing period” \(F_{\gamma }(s) : = \int _{\gamma _s} \omega \big /\mathrm{d}f \) which has an asymptotic expansion at \(0\) of the form \((1)\) above, when \(\gamma \) is chosen in the spectral subspace of \(H_p(f^{-1}(s_0), {{\mathrm{\mathbb {C}}}})\) for the eigenvalue \(\mathrm{e}^{2i\pi .\lambda }\) of the monodromy of \(f\) . Here \((\gamma _s)_{s \in D^*}\) is the horizontal multivalued family of \(p\) -cycles in the fibers of \(f\) obtained from the choice of \(\gamma \) . The aim of this article was to study the module generated by such a \(\varphi \) over the algebra \(\tilde{\mathcal {A}}\) , which is the \(b\) -completion of the algebra \(\mathcal {A}\) generated by the operators \(\mathrm{a} : = \times s\) and \(\mathrm{b} : = \int _{0}^{s}\) .     

Non-coincidence of quenched and annealed connective constants on the supercritical planar percolation cluster

In this paper, we study the abundance of self-avoiding paths of a given length on a supercritical percolation cluster on \(\mathbb{Z }^d\) . More precisely, we count \(Z_N\) , the number of self-avoiding paths of length \(N\) on the infinite cluster starting from the origin (which we condition to be in the cluster). We are interested in estimating the upper growth rate of \(Z_N\) , \(\limsup _{N\rightarrow \infty } Z_N^{1/N}\) , which we call the connective constant of the dilute lattice. After proving that this connective constant is a.s. non-random, we focus on the two-dimensional case and show that for every percolation parameter \(p\in (1/2,1)\) , almost surely, \(Z_N\) grows exponentially slower than its expected value. In other words, we prove that \(\limsup _{N\rightarrow \infty } (Z_N)^{1/N}{<}\lim _{N\rightarrow \infty } \mathbb{E }[Z_N]^{1/N}\) , where the expectation is taken with respect to the percolation process. This result can be considered as a first mathematical attempt to understand the influence of disorder for self-avoiding walks on a (quenched) dilute lattice. Our method, which combines change of measure and coarse graining arguments, does not rely on the specifics of percolation on \(\mathbb{Z }^2\) , so our result can be extended to a large family of two-dimensional models including general self-avoiding walks in a random environment.     

Pseudo-effective cone of Grassmann bundles over a curve

Let \(E\) be a vector bundle over a smooth projective curve \(X\) defined over an algebraically closed field \(k\) . For any integer \(1\,\le \, r\, <\, \mathrm{rank}(E)\) , let \(\mathrm{Gr}_r(E)\,\longrightarrow \, X\) be a Grassmann bundle parametrizing all \(r\) dimensional quotients of the fibers of \(E\) . We compute the pseudo-effective cone in the real Néron–Severi group \(\mathrm{NS}(\mathrm{Gr}_r(E))_\mathbb{R }\) . We prove that this cone coincides with the nef cone in \(\mathrm{NS}(\mathrm{Gr}_r(E))_\mathbb{R }\) if and only if the vector bundle \(E\) is semistable (respectively, strongly semistable) when the characteristic of \(k\) is zero (respectively, positive). Examples are given to show that this characterization of (strong) semistability is not true for vector bundles on higher dimensional projective varieties.     

Uniqueness of generalized p-area minimizers and integrability of a horizontal normal in the Heisenberg group

We study the uniqueness of generalized \(p\) -minimal surfaces in the Heisenberg group. The generalized \(p\) -area of a graph defined by \(u\) reads \(\int |\nabla u+\vec {F}|+Hu.\) If \(u\) and \(v\) are two minimizers for the generalized \(p\) -area satisfying the same Dirichlet boundary condition, then we can only get \(N_{\vec {F}}(u) = N_{\vec {F}}(v)\) (on the nonsingular set) where \(N_{\vec {F}}(w) := \frac{\nabla w+\vec {F}}{|\nabla w+\vec {F}|}.\) To conclude \(u = v\) (or \(\nabla u = \nabla v)\) , it is not straightforward as in the Riemannian case, but requires some special argument in general. In this paper, we prove that \(N_{\vec {F}}(u) = N_{ \vec {F}}(v)\) implies \(\nabla u = \nabla v\) in dimension \(\ge \) 3 under some rank condition on derivatives of \(\vec {F}\) or the nonintegrability condition of contact form associated to \(u\) or \(v\) . Note that in dimension 2 ( \(n=1),\) the above statement is no longer true. Inspired by an equation for the horizontal normal \(N_{\vec {F}}(u),\) we study the integrability for a unit vector to be the horizontal normal of a graph. We find a Codazzi-like equation together with this equation to form an integrability condition.     

Spectral Measures Associated with the Factorization of the Lebesgue Measure on a Set via Convolution

Let \(Q\) be a fundamental domain of some full-rank lattice in \({\mathbb {R}}^d\) and let \(\mu \) and \(\nu \) be two positive Borel measures on \({\mathbb {R}}^d\) such that the convolution \(\mu *\nu \) is a multiple of \(\chi _Q\) . We consider the problem as to whether or not both measures must be spectral (i.e. each of their respective associated \(L^2\) space admits an orthogonal basis of exponentials) and we show that this is the case when \(Q = [0,1]^d\) . This theorem yields a large class of examples of spectral measures which are either absolutely continuous, singularly continuous or purely discrete spectral measures. In addition, we propose a generalized Fuglede’s Conjecture for spectral measures on \({\mathbb {R}}^1\) and we show that it implies the classical Fuglede’s Conjecture on \({\mathbb {R}}^1\) .     

On a subsemigroup of the universal covering of Lie semigroups

Let \(G\) be a connected Lie group and \(S\) a generating Lie semigroup. An important fact is that generating Lie semigroups admit simply connected covering semigroups. Denote by \(\widetilde{S}\) the simply connected universal covering semigroup of \(S\) . In connection with the problem of identifying the semigroup \(\Gamma (S)\) of monotonic homotopy with a certain subsemigroup of the simply connected covering semigroup \(\widetilde{S}\) we consider in this paper the following subsemigroup $$\begin{aligned} \widetilde{S}_{L}=\overline{\left\langle \mathrm {Exp}(\mathbb {L} (S))\right\rangle } \subset \widetilde{S}, \end{aligned}$$ where \(\mathrm {Exp}:\mathbb {L}(S)\rightarrow S\) is the lifting to \( \widetilde{S}\) of the exponential mapping \(\exp :\mathbb {L}(S)\rightarrow S\) . We prove that \(\widetilde{S}_{L}\) is also simply connected under the assumption that the Lie semigroup \(S\) is right reversible. We further comment how this result should be related to the identification problem mentioned above.     

\mathcal {A}_{p, {\mathbb {E}}} Weights,Maximal Operators,and Hardy Spaces Associated with a Family of General Sets

Suppose that \({\mathbb {E}}:=\{E_r(x)\}_{r\in {\mathcal {I}}, x\in X}\) is a family of open subsets of a topological space \(X\) endowed with a nonnegative Borel measure \(\mu \) satisfying certain basic conditions. We establish an \(\mathcal {A}_{{\mathbb {E}}, p}\) weights theory with respect to \({\mathbb {E}}\) and get the characterization of weighted weak type (1,1) and strong type \((p,p)\) , \(1<p\le \infty \) , for the maximal operator \({\mathcal {M}}_{{\mathbb {E}}}\) associated with \({\mathbb {E}}\) . As applications, we introduce the weighted atomic Hardy space \(H^1_{{\mathbb {E}}, w}\) and its dual \(BMO_{{\mathbb {E}},w}\) , and give a maximal function characterization of \(H^1_{{\mathbb {E}},w}\) . Our results generalize several well-known results.     

Construction of relative difference sets and Hadamard groups

‘There exist normal \((2m,2,2m,m)\) relative difference sets and thus Hadamard groups of order \(4m\) for all \(m\) of the form $$\begin{aligned} m= x2^{a+t+u+w+\delta -\epsilon +1}6^b 9^c 10^d 22^e 26^f \prod _{i=1}^s p_i^{4a_i} \prod _{i=1}^t q_i^2 \prod _{i=1}^u \left( (r_i+1)/2)r_i^{v_i}\right) \prod _{i=1}^w s_i \end{aligned}$$ under the following conditions: \(a,b,c,d,e,f,s,t,u,w\) are nonnegative integers, \(a_1,\ldots ,a_r\) and \(v_1,\ldots ,v_u\) are positive integers, \(p_1,\ldots ,p_s\) are odd primes, \(q_1,\ldots ,q_t\) and \(r_1,\ldots ,r_u\) are prime powers with \(q_i\equiv 1\ (\mathrm{mod}\ 4)\) and \(r_i\equiv 1\ (\mathrm{mod}\ 4)\) for all \(i, s_1,\ldots ,s_w\) are integers with \(1\le s_i \le 33\) or \(s_i\in \{39,43\}\) for all \(i, x\) is a positive integer such that \(2x-1\) or \(4x-1\) is a prime power. Moreover, \(\delta =1\) if \(x>1\) and \(c+s>0, \delta =0\) otherwise, \(\epsilon =1\) if \(x=1, c+s=0\) , and \(t+u+w>0, \epsilon =0\) otherwise. We also obtain some necessary conditions for the existence of \((2m,2,2m,m)\) relative difference sets in partial semidirect products of \(\mathbb{Z }_4\) with abelian groups, and provide a table cases for which \(m\le 100\) and the existence of such relative difference sets is open.     

Fixed points and homology of superelliptic Jacobians

Let \(\eta : C_{f,N}\rightarrow \mathbb {P}^1\) be a cyclic cover of \(\mathbb {P}^1\) of degree \(N\) which is totally and tamely ramified for all the ramification points. We determine the group of fixed points of the cyclic covering group \({{\mathrm{Aut}}}(\eta )\simeq \mathbb {Z}/ N \mathbb {Z}\) acting on the Jacobian \(J_N:={{\mathrm{Jac}}}(C_{f,N})\) . For each prime \(\ell \) distinct from the characteristic of the base field, the Tate module \(T_\ell J_N\) is shown to be a free module over the ring \(\mathbb {Z}_\ell [T]/(\sum _{i=0}^{N-1}T^i)\) . We also study the subvarieties of \(J_N\) and calculate the degree of the induced polarization on the new part \(J_N^\mathrm {new}\) of the Jacobian.     

Limit theorems for von Mises statistics of a measure preserving transformation

For a measure preserving transformation \(T\) of a probability space \((X,\mathcal{F },\mu )\) and some \(d \ge 1\) we investigate almost sure and distributional convergence of random variables of the form $$\begin{aligned} x \rightarrow \frac{1}{C_n} \sum _{0\le i_1,\ldots ,\,i_d where \(C_1, C_2,\ldots \) are normalizing constants and the kernel \(f\) belongs to an appropriate subspace in some \(L_p(X^d\!,\, \mathcal{F }^{\otimes d}\!,\,\mu ^d)\) . We establish a form of the individual ergodic theorem for such sequences. Using a filtration compatible with \(T\) and the martingale approximation, we prove a central limit theorem in the non-degenerate case; for a class of canonical (totally degenerate) kernels and \(d=2\) , we also show that the convergence holds in distribution towards a quadratic form \(\sum _{m=1}^{\infty } \lambda _m\eta ^2_m\) in independent standard Gaussian variables \(\eta _1, \eta _2, \ldots \) .     

Optimal mass transport and symmetric representations of their cost functions

We consider Monge–Kantorovich problems corresponding to general cost functions \(c(x,y)\) but with symmetry constraints on a Polish space \(X\times X\) . Such couplings naturally generate anti-symmetric Hamiltonians on \(X\times X\) that are \(c\) -convex with respect to one of the variables. In particular, if \(c\) is differentiable with respect to the first variable on an open subset \(X\) in \( \mathbb {R}^d\) , we show that for every probability measure \(\mu \) on \(X\) , there exists a symmetric probability measure \(\pi _0\) on \(X\times X\) with marginals \(\mu \) , and an anti-symmetric Hamiltonian \(H\) such that \(\nabla _2H(y, x)=\nabla _1c(x,y)\) for \( \pi _0\) -almost all \((x,y) \in X \times X.\) If \(\pi _0\) is supported on a graph \((x, Sx)\) , then \(S\) is necessarily a \(\mu \) -measure preserving involution (i.e., \(S^2=I\) ) and \(\nabla _2H(x, Sx)=\nabla _1c(Sx,x)\) for \(\mu \) -almost all \(x \in X.\) For monotone cost functions such as those given by \(c(x,y)=\langle x, u(y)\rangle \) or \(c(x,y)=-|x-u(y)|^2\) where \(u\) is a monotone operator, \(S\) is necessarily the identity yielding a classical result by Krause, namely that \(u(x)=\nabla _2H(x, x)\) where \(H\) is anti-symmetric and concave-convex.     

Distributions and the Global Operator of Slice Monogenic Functions

In this paper we consider functions \(f\) defined on an open set \(U\) of the Euclidean space \(\mathbb{R }^{n+1}\) and with values in the Clifford Algebra \(\mathbb{R }_n\) . Slice monogenic functions \(f: U \subseteq \mathbb{R }^{n+1} \rightarrow \mathbb{R }_n\) belong to the kernel of the global differential operator with non constant coefficients given by \( \mathcal{G }=|{\underline{x}}|^2\frac{\partial }{\partial x_0} \ + \ {\underline{x}} \ \sum _{j=1}^n x_j\frac{\partial }{\partial x_j}. \) Since the operator \(\mathcal{G }\) is not elliptic and there is a degeneracy in \( {\underline{x}}=0\) , its kernel contains also less smooth functions that have to be interpreted as distributions. We study the distributional solutions of the differential equation \(\mathcal{G }F(x_0,{\underline{x}})=G(x_0,{\underline{x}})\) and some of its variations. In particular, we focus our attention on the solutions of the differential equation \( ({\underline{x}}\frac{\partial }{\partial x_0} \ - E)F(x_0,{\underline{x}})=G(x_0,{\underline{x}}), \) where \(E= \sum _{j=1}^n x_j\frac{\partial }{\partial x_j}\) is the Euler operator, from which we deduce properties of the solutions of the equation \( \mathcal{G }F(x_0,{\underline{x}})=G(x_0,{\underline{x}})\) .     

Structure of \mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k}) for some fields \mathbb {k}=\mathbb {Q}(\sqrt{2p_1p_2},i) with \mathbf {C}l_2(\mathbb {k})\simeq (2, 2, 2)

Let \(p_1 \equiv p_2 \equiv 5\pmod 8\) be different primes. Put \(i=\sqrt{-1}\) and \(d=2p_1p_2\) , then the bicyclic biquadratic field \(\mathbb {k}=\mathbb {Q}(\sqrt{d},i)\) has an elementary abelian 2-class group of rank \(3\) . In this paper we determine the nilpotency class, the coclass, the generators and the structure of the non-abelian Galois group \(\mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k})\) of the second Hilbert 2-class field \(\mathbb {k}_2^{(2)}\) of \(\mathbb {k}\) . We study the capitulation problem of the 2-classes of \(\mathbb {k}\) in its seven unramified quadratic extensions \(\mathbb {K}_i\) and in its seven unramified bicyclic biquadratic extensions \(\mathbb {L}_i\) .