Let $K={\mathbb {Q}}(\sqrt {-7})$ and $\mathcal {O}$ the ring of integers in $K$. The prime $2$ splits in $K$, say $2{\mathcal {O}}={\mathfrak {p}}\cdot {\mathfrak {p}}^*$. Let $A$ be an elliptic curve defined over $K$ with complex multiplication by $\mathcal {O}$. Assume that $A$ has good ordinary reduction at both $\mathfrak {p}$ and ${\mathfrak {p}}^*$. Write $K_\infty$ for the field generated by the $2^\infty$–division points of $A$ over $K$ and let ${\mathcal {G}}={\mathrm {Gal}}(K_\infty /K)$. In this paper, by adopting a congruence formula of Yager and De Shalit, we construct the two-variable $2$-adic $L$-function on $\mathcal {G}$. Then by generalizing De Shalit’s local structure theorem to the two-variable setting, we prove a two-variable elliptic analogue of Iwasawa’s theorem on cyclotomic fields. As an application, we prove that every branch of the two-variable measure has Iwasawa $\mu$ invariant zero.

In this paper, we analyse the possible homotopy types of the total space of a principal SU(2)-bundle over a 3-connected 8-dimensional Poincaré duality complex. Along the way, we also classify the 3-connected 11-dimensional complexes E formed from a wedge of S4’s and S7’s by attaching a 11-cell.

The aim of this article is to extend the scope of the theory of regularity structures in order to deal with a large class of singular stochastic partial differential equations of the form

\begin{equation*}\partial_t u = \mathfrak{L} u+ F(u, \xi),\end{equation*}

where the differential operator $\mathfrak{L}$ fails to be elliptic. This is achieved by interpreting the base space $\mathbb{R}^{d}$ as a non-trivial homogeneous Lie group $\mathbb{G}$ such that the differential operator $\partial_t -\mathfrak{L}$ becomes a translation invariant hypoelliptic operator on $\mathbb{G}$. Prime examples are the kinetic Fokker-Planck operator $\partial_t -\Delta_v - v\cdot \nabla_x$ and heat-type operators associated with sub-Laplacians. As an application of the developed framework, we solve a class of parabolic Anderson type equations

\begin{equation*}\partial_t u = \sum_{i} X^2_i u + u (\xi-c)\end{equation*}

on the compact quotient of an arbitrary Carnot group.

We initiate the study of deformation theory in the context of derived and higher log geometry. After reconceptualizing the ‘exactification’-procedures in ordinary log geometry in terms of Quillen’s approach to the cotangent complex, we construct an “tangent bundle’ over the category of log ring spectra. The fibers recover the categories of modules over the underlying ring spectra, and the resulting cotangent complex functor specializes to log topological André–Quillen homology on each fiber. As applications, we characterize log square-zero extensions and derive a log variant of étale rigidity, applicable to some tamely ramified extensions of ring spectra.

In the article, we investigate Trudinger–Moser type inequalities in presence of logarithmic kernels in dimension N. A sharp threshold, depending on N, is detected for the existence of extremal functions or blow-up, where the domain is the ball or the entire space $\mathbb{R}^N$. We also show that the extremal functions satisfy suitable Euler–Lagrange equations. When the domain is the entire space, such equations can be derived by a N-Laplacian Schrödinger equation strongly coupled with a higher order fractional Poisson’s equation. The results extends [16] to any dimension $N \geq 2$.

Let G be the Lie group ${\mathbb{R}}^2\rtimes {\mathbb{R}}^+$ endowed with the Riemannian symmetric space structure. Take a distinguished basis $X_0,\, X_1,\,X_2$ of left-invariant vector fields of the Lie algebra of G, and consider the Laplacian $\Delta=-\sum_{i=0}^2X_i^2$ and the first-order Riesz transforms $\mathcal R_i=X_i\Delta^{-1/2}$, $i=0,1,2$. We first show that the atomic Hardy space H1 in G introduced by the authors in a previous paper does not admit a characterization in terms of the Riesz transforms $\mathcal R_i$. It is also proved that two of these Riesz transforms are bounded from H1 to H1.

Let $\varphi$ be a normal semifinite faithful weight on a von Neumann algebra $A$, let $(\sigma ^\varphi _r)_{r\in {\mathbb R}}$ denote the modular automorphism group of $\varphi$, and let $T\colon A\to A$ be a linear map. We say that $T$ admits an absolute dilation if there exists another von Neumann algebra $M$ equipped with a normal semifinite faithful weight $\psi$, a $w^*$-continuous, unital and weight-preserving $*$-homomorphism $J\colon A\to M$ such that $\sigma ^\psi \circ J=J\circ \sigma ^\varphi$, as well as a weight-preserving $*$-automorphism $U\colon M\to M$ such that $T^k={\mathbb {E}}_JU^kJ$ for all integer $k\geq 0$, where $ {\mathbb {E}}_J\colon M\to A$ is the conditional expectation associated with $J$. Given any locally compact group $G$ and any real valued function $u\in C_b(G)$, we prove that if $u$ induces a unital completely positive Fourier multiplier $M_u\colon VN(G) \to VN(G)$, then $M_u$ admits an absolute dilation. Here, $VN(G)$ is equipped with its Plancherel weight $\varphi _G$. This result had been settled by the first named author in the case when $G$ is unimodular so the salient point in this paper is that $G$ may be nonunimodular, and hence, $\varphi _G$ may not be a trace. The absolute dilation of $M_u$ implies that for any $1\lt p\lt \infty$, the $L^p$-realization of $M_u$ can be dilated into an isometry acting on a noncommutative $L^p$-space. We further prove that if $u$ is valued in $[0,1]$, then the $L^p$-realization of $M_u$ is a Ritt operator with a bounded $H^\infty$-functional calculus.

We investigate the sums $(1/\sqrt {H}) \sum _{X < n \leq X+H} \chi (n)$, where $\chi $ is a fixed non-principal Dirichlet character modulo a prime q, and $0 \leq X \leq q-1$ is uniformly random. Davenport and Erdős, and more recently Lamzouri, proved central limit theorems for these sums provided $H \rightarrow \infty $ and $(\log H)/\log q \rightarrow 0$ as $q \rightarrow \infty $, and Lamzouri conjectured these should hold subject to the much weaker upper bound $H=o(q/\log q)$. We prove this is false for some $\chi $, even when $H = q/\log ^{A}q$ for any fixed $A> 0$. However, we show it is true for ‘almost all’ characters on the range $q^{1-o(1)} \leq H = o(q)$.

Using Pólya’s Fourier expansion, these results may be reformulated as statements about the distribution of certain Fourier series with number theoretic coefficients. Tools used in the proofs include the existence of characters with large partial sums on short initial segments, and moment estimates for trigonometric polynomials with random multiplicative coefficients.

We give a simple way to study the isotypical components of the homology of simplicial complexes with actions of finite groups and use it for Milnor fibres of isolated complete intersection singularity (icis). We study the homology of images of mappings ft that arise as deformations of complex map germs $f:(\mathbb{C}^n,S)\to(\mathbb{C}^p,0)$, with n < p, and the behaviour of singularities (instabilities) in this context. We study two generalizations of the notion of image Milnor number µI given by Mond and give a workable way of compute them, in corank one, with Milnor numbers of icis. We also study two unexpected traits when $p \gt n+1$: stable perturbations with contractible image and homology of $\text{im} f_t$ in unexpected dimensions. We show that Houston’s conjecture, µI constant in a family implies excellency in Gaffney’s sense, is false, but we give a correct modification of the statement of the conjecture which we also prove.

We determine the cohomology of the closed Drinfeld stratum of p-adic Deligne–Lusztig schemes of Coxeter type attached to arbitrary inner forms of unramified groups over a local non-archimedean field. We prove that the corresponding torus weight spaces are supported in exactly one cohomological degree and are pairwise non-isomorphic irreducible representations of the pro-unipotent radical of the corresponding parahoric subgroup. We also prove that all Moy–Prasad quotients of this stratum are maximal varieties, and we investigate the relation between the resulting representations and Kirillov’s orbit method.

We provide a uniform bound on the partial sums of multiplicative functions under very general hypotheses. As an application, we give a nearly optimal estimate for the count of $n \le x$ for which the Alladi–Erdős function $A(n) = \sum_{p^k \parallel n} k p$ takes values in a given residue class modulo q, where q varies uniformly up to a fixed power of $\log x$. We establish a similar result for the equidistribution of the Euler totient function $\phi(n)$ among the coprime residues to the ‘correct’ moduli q that vary uniformly in a similar range and also quantify the failure of equidistribution of the values of $\phi(n)$ among the coprime residue classes to the ‘incorrect’ moduli.

We prove two sharp anisotropic weighted geometric inequalities that hold for star-shaped and F-mean convex hypersurfaces in $\mathbb{R}^{n+1}$, which involve the anisotropic p-momentum, the anisotropic perimeter, and the volume of the region enclosed by the hypersurface. We also consider their quantitative versions characterized by asymmetry index and the Hausdorff distance between the hypersurface and a rescaled Wulff shape. As a corollary, we obtain the stability of the Weinstock inequality for the first non-zero Steklov eigenvalue for star-shaped and strictly mean convex domains.

Let X be a smooth, projective and geometrically connected curve defined over a finite field ${\mathbb {F}}_q$ of characteristic p different from $2$ and $S\subseteq X$ a subset of closed points. Let $\overline {X}$ and $\overline {S}$ be their base changes to an algebraic closure of ${\mathbb {F}}_q$. We study the number of $\ell $-adic local systems $(\ell \neq p)$ in rank $2$ over $\overline {X}-\overline {S}$ with all possible prescribed tame local monodromies fixed by k-fold iterated action of Frobenius endomorphism for every $k\geq 1$. In all cases, we confirm conjectures of Deligne predicting that these numbers behave as if they were obtained from a Lefschetz fixed point formula. In fact, our counting results are expressed in terms of the numbers of some Higgs bundles.

This paper initiates the explicit study of face numbers of matroid polytopes and their computation. We prove that, for the large class of split matroid polytopes, their face numbers depend solely on the number of cyclic flats of each rank and size, together with information on the modular pairs of cyclic flats. We provide a formula which allows us to calculate $f$-vectors without the need of taking convex hulls or computing face lattices. We discuss the particular cases of sparse paving matroids and rank two matroids, which are of independent interest due to their appearances in other combinatorial and geometric settings.

Let Λ be an artin algebra and $\mathcal{M}$ be an n-cluster tilting subcategory of Λ-mod with $n \geq 2$. From the viewpoint of higher homological algebra, a question that naturally arose in Ebrahimi and Nasr-Isfahani (The completion of d-abelian categories. J. Algebra 645 (2024), 143–163) is when $\mathcal{M}$ induces an n-cluster tilting subcategory of Λ-Mod. In this article, we answer this question and explore its connection to Iyama’s question on the finiteness of n-cluster tilting subcategories of Λ-mod. In fact, our theorem reformulates Iyama’s question in terms of the vanishing of Ext and highlights its relation with the rigidity of filtered colimits of $\mathcal{M}$. Also, we show that ${\rm Add}(\mathcal{M})$ is an n-cluster tilting subcategory of Λ-Mod if and only if ${\rm Add}(\mathcal{M})$ is a maximal n-rigid subcategory of Λ-Mod if and only if $\lbrace X\in \Lambda-{\rm Mod}~|~ {\rm Ext}^i_{\Lambda}(\mathcal{M},X)=0 ~~~ {\rm for ~all}~ 0 \lt i \lt n \rbrace \subseteq {\rm Add}(\mathcal{M})$ if and only if $\mathcal{M}$ is of finite type if and only if ${\rm Ext}_{\Lambda}^1({\underrightarrow{\lim}}\mathcal{M}, {\underrightarrow{\lim}}\mathcal{M})=0$. Moreover, we present several equivalent conditions for Iyama’s question which shows the relation of Iyama’s question with different subjects in representation theory such as purity and covering theory.

In this note, we formulate a ‘one-sided’ version of Wormald’s differential equation method. In the standard ‘two-sided’ method, one is given a family of random variables that evolve over time and which satisfy some conditions, including a tight estimate of the expected change in each variable over one-time step. These estimates for the expected one-step changes suggest that the variables ought to be close to the solution of a certain system of differential equations, and the standard method concludes that this is indeed the case. We give a result for the case where instead of a tight estimate for each variable’s expected one-step change, we have only an upper bound. Our proof is very simple and is flexible enough that if we instead assume tight estimates on the variables, then we recover the conclusion of the standard differential equation method.