Let $G=\mathbb{H}^{n}\rtimes K$ be the Heisenberg motion group, where $K=U(n)$ acts on the Heisenberg group $\mathbb{H}^{n}=\mathbb{C}^{n}\times \mathbb{R}$ by automorphisms. We formulate and prove two analogues of Hardy’s theorem on $G$. An analogue of Miyachi’s theorem for $G$ is also formulated and proved. This allows us to generalize and prove an analogue of the Cowling–Price uncertainty principle and prove the sharpness of the constant $1/4$ in all the settings.

We prove Iitaka $C_{n,m}$ conjecture for $3$-folds over the algebraic closure of finite fields. Along the way we prove some results on the birational geometry of log surfaces over nonclosed fields and apply these to existence of relative good minimal models of $3$-folds.

We introduce the Hurwitz-type spectral zeta functions for the quantum Rabi models, and give their meromorphic continuation to the whole complex plane with only one simple pole at $s=1$. As an application, we give the Weyl law for the quantum Rabi models. As a byproduct, we also give a rationality of Rabi–Bernoulli polynomials introduced in this paper.

We give a classification of Levi-umbilical real hypersurfaces in a complex space form $\widetilde{M}_{n}(c)$, $n\geqslant 3$, whose Levi form is proportional to the induced metric by a nonzero constant. In a complex projective plane $\mathbb{C}\mathbb{P}^{2}$, we give a local construction of such hypersurfaces and moreover, we give new examples of Levi-flat real hypersurfaces in $\mathbb{C}\mathbb{P}^{2}$.

We give a descent result for formal smoothness having interesting applications: we deduce that quasiexcellence descends along flat local homomorphisms of finite type, we greatly improve Kunz’s characterization of regular local rings by means of the Frobenius homomorphisms as well as André and Radu relativization of this result, etc. In the second part of the paper, we study a similar question for the complete intersection property instead of formal smoothness, giving also some applications.

The $a$-invariant, the $F$-pure threshold, and the diagonal $F$-threshold are three important invariants of a graded $K$-algebra. Hirose, Watanabe, and Yoshida have conjectured relations among these invariants for strongly $F$-regular rings. In this article, we prove that these relations hold only assuming that the algebra is $F$-pure. In addition, we present an interpretation of the $a$-invariant for $F$-pure Gorenstein graded $K$-algebras in terms of regular sequences that preserve $F$-purity. This result is in the spirit of Bertini theorems for projective varieties. Moreover, we show connections with projective dimension, Castelnuovo–Mumford regularity, and Serre’s condition $S_{k}$. We also present analogous results and questions in characteristic zero.

Let $K$ be a complete discrete valuation field of mixed characteristic $(0,p)$ with perfect residue field. Let $(\unicode[STIX]{x1D70B}_{n})_{n\geqslant 0}$ be a system of $p$-power roots of a uniformizer $\unicode[STIX]{x1D70B}=\unicode[STIX]{x1D70B}_{0}$ of $K$ with $\unicode[STIX]{x1D70B}_{n+1}^{p}=\unicode[STIX]{x1D70B}_{n}$, and define $G_{s}$ (resp. $G_{\infty }$) the absolute Galois group of $K(\unicode[STIX]{x1D70B}_{s})$ (resp. $K_{\infty }:=\bigcup _{n\geqslant 0}K(\unicode[STIX]{x1D70B}_{n})$). In this paper, we study $G_{s}$-equivariantness properties of $G_{\infty }$-equivariant homomorphisms between torsion crystalline representations.