Number Theory [math.NT]

Lower bounds for counting $A_4$-quartic fields

math.NT

A conjecture of Malle predicts the quantity of number fields with bounded discriminant of given Galois group. We present a lower bound matching this in the case of quartic fields with Galois group $A_4$.

The commutative algebra of congruence ideals and applications to number theory

math.NT

math.AC

In his proof of Fermat's Last Theorem, Wiles deployed a commutative algebra technique, namely a numerical criterion for detecting isomorphisms of rings. In our recent work we pick up on Wiles' work and generalize the numerical criterion to ``higher codimension''. A critical ingredient is a notion of congruence module in higher codimension: this has turned out to be a key definition whose utility extends beyond the role it plays in the numerical criterion. In this paper we trace the origin of some of the ideas that led to our work, both in number theory and commutative algebra, and new directions that emerge from it. We introduce a related notion of a congruence ideal, develop some commutative algebra needed to work with it, and hint at applications to number theory.

Joint distributions of error terms for primes in arithmetic progressions modulo 11

math.NT

We provide a formula for the logarithmic density of the set of positive real numbers on which two prime counting functions $\psi(x;q,a)$ and $\psi(x;q,b)$ are simultaneously larger than their asymptotic main terms, as well as a method for calculating the numerical values of such densities with rigorously bounded errors. We apply these formulas to the pairwise races in the case $q=11$, determining which pairs of residues $a$ and $b$ are more or less correlated in this way. The outcomes when $q=11$ provide a deeper mathematical illumination of the "mirror image" and "cyclic ordering" phenomena observed by Bays and Hudson.

The inter-universal Teichm\"uller theory and new Diophantine results over rational numbers. II

math.NT

[This is an older version of the paper, which will be updated soon.] In the present paper, we continue our research on the generalized Fermat equation $x^r + y^s = z^t$ with signature $(r, s, t)$, where $r, s, t \ge 2$ are positive integers such that $\frac{1}{r} + \frac{1}{s} + \frac{1}{t} < 1$. All known positive primitive solutions for the generalized Fermat equation when $\frac{1}{r} + \frac{1}{s} + \frac{1}{t} < 1$ are related to the Catalan solutions $1^n + 2^3 = 3^2$ and nine non-Catalan solutions. By applying inter-universal Teichm\"uller theory and its slight modification in the case of elliptic curves over rational numbers, we deduce that the generalized Fermat equation $x^r + y^s = z^t$ has no non-trivial primitive solution except for those related to the Catalan solutions and nine non-Catalan solutions mentioned above, when $(r, s, t)$ is not a permutation of the following signatures: $\bullet$ $(4,5,n)$, $(4,7,n)$, $(5,6,n)$, with $7 \le n \le 303$. $\bullet$ $(2,3,n)$, $(3,4,n)$, $(3,8,n)$, $(3,10,n)$, with $11\le n \le 109$ or $n\in \{113, 121\}$. $\bullet$ $(3,5,n)$, with $7\le n \le 3677$; $(3,7,n)$, $(3,11,n)$, with $11 \le n \le 667$. $\bullet$ $(3,m,n)$, with $13 \le m \le 17$, $m < n \le 29$; $(2,m,n)$, with $m \ge 5$, $n\ge 7$. As a corollary, to solve the generalized Fermat equation $x^r + y^s = z^t$ with exponents $r,s,t \ge 4$, we are left with $244$ signatures $(r,s,t)$ up to permutation; to solve the Beal conjecture, we are left with $2446$ signatures $(r,s,t)$ up to permutatio

Multiplicative dependence in the denominators of points of elliptic curves

math.NT

Let $E_1, \ldots, E_s $ be $s$, not necessary distinct, elliptic curves over $\mathbb Q$. Given $s$ non-torsion $\mathbb Q$-rational points $P_i \in E_i(\mathbb Q)$ and arbitrary $\mathbb Q$-rational points $Q_i \in E_i(\mathbb Q)$, $i =1, \ldots, s$, we give an upper bound on the frequency of $s$-tuples \[ (n_1P_1+Q_1,\ldots, n_sP_s+Q_s) \in E_1(\mathbb Q) \times \ldots \times E_s(\mathbb Q) \] with $n_1, \ldots, n_s$ in an arbitrary interval of length $N$, whose denominators or $x$-coordinates are multiplicatively dependent.

Computing class groups and unit groups in Magma

math.NT

We describe the computation of class groups and unit groups of number fields as implemented in Magma (V2.29). After quickly reviewing the main algorithms based on factor bases, relation collection, and analytic class number evaluation, we distinguish their behavior across formalizable, rigorous, GRH-conditional, and heuristic regimes.

Factorization of power GCD matrices and power LCM matrices on certain gcd-closed sets

math.NT

For integers $x$ and $y$, $(x, y)$ and $[x, y]$ stand for the greatest common divisor and the least common multiple of $x$ and $y$ respectively. Denote by $|T|$ the number of elements of a finite set $T$. Let $a,b$ and $n$ be positive integers and let $S=\{x_1, \cdots, x_n\}$ be a set of $n$ distinct positive integers. We denote by $(S^a)$ (resp. $[S^a]$) the $n\times n$ matrix having the $a$th power of $(x_i,x_j)$ (resp. $[x_i,x_j]$) as its $(i,j)$-entry. For any $x\in S$, define $G_{S}(x):=\{d\in S: d

On the ternary Estermann problem with almost proportional summands

math.NT

For $n \geq 3$, an asymptotic formula is derived for the number of representations of a sufficiently large natural number $N$ in the form $p_1+p_2+m^n=N$, where $p_1$, $p_2$ $-$ prime numbers, $m$ $-$ natural number satisfying the conditions $$ \left|p_k-\mu_kN\right|\le H, \quad k=1,2,\qquad \left|m^n-\mu_3N\right|\le H,\qquad H \ge N^{1-\frac1{n(n-1)}} {\mathscr{L}}^{\frac{2^{n+1}}{n-1}+n-1},$$ for $\mu_1+\mu_2+\mu_3=1, \ \ \mu_i >0, \mathscr{L} = \ln{N}. $ Keywords: Estermann problem, almost proportional summands, short exponential sum of G. Weyl, small neighborhood of centers of major arcs. Bibliography: 20 titles.

Prime Geodesic Theorem for Arithmetic Compact Surfaces

math.NT

We generalize Koyama's $7/10$ bound of the error term in the prime geodesic theorems to the principal congruence subgroups for quaternion algebras. Our method avoids the spectral side of the Jacquet--Langlands correspondences, and relates the counting function directly to those for the principal congruence subgroups of Eichler orders of level less than one.

Moments of the zeros of Faber polynomials of the Miller basis

math.NT

We study the zeros of modular forms in the Miller basis, a natural basis for the space of modular forms. We show that the zeros of their Faber polynomials have linear moments. By analyzing the moments we can extend the known range of the forms in the Miller basis for which at least one of the zeros is not on the arc - the circular part of the boundary of the fundamental domain. Additionally, for forms in the Miller basis of an index asymptotically linear in the weight such that all zeros are on the arc, we compute the limit distribution of the zeros, which depends on the asymptotic ratio of the index to the weight.

Vanishing Coefficients of q^{5n+r} and q^{7n+r} in Certain Infinite q-series Expansions

math.NT

Motivated by the recent work of several authors on vanishing coefficients of the arithmetic progression in certain $q$-series expansion, we study some variants of these $q$-series and prove some comparable results. For instance, if $\sum_{n=0}^{\infty}c_1(n)q^n=\left(\pm q^2,\pm q^3; q^5\right)_\infty^2 \left( q, q^{14}; q^{15}\right)_\infty$, then $c_1(5n+3)=0$.

Distribution of mixed character sums and extremal problems for Littlewood polynomials

math.NT

math.CA

math.CV

math.PR

We prove distributional results for mixed character sums \begin{equation*} \sum_{n\le x }\chi(n)e(n\theta), \end{equation*} for fixed $\theta\in [0,1]$ and random character $\chi \pmod q$, as well as for a fixed character $\chi$ and randomly sampled $\theta\in [0,1].$ We present various applications of our results. For example, we construct Littlewood polynomials with large Mahler measure, thus establishing a new record in the Mahler problem (1963). We also show that $L_{2k}$ norms of well-known Turyn polynomials are asymptotically minimized at the shift $\alpha=1/4,$ proving a conjecture of G\"unther and Schmidt. An important ingredient in our work is a general way of dealing with "log-integrability" problems.

Ratios of two exponents of van der Laan-Padovan numbers

math.NT

The van der Laan-Padovan sequence $P_n ~ (n=0, 1, \ldots)$ is defined by $P_0=1, P_1=P_2=0$, and $P_{n+3}=P_{n+1}+P_n$ for $n=0, 1, \ldots$. We determine all pairs $(P_m, P_n)$ satisfying $P_m^b/P_n^a=2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4}$ for some integers $g_1, g_2, g_3, g_4$, $a$, and $b$. More generally, for a linear recurrence sequence $u_n$ satisfying the dominant root condition and a given set of primes $p_1, \ldots, p_k$, there exist only finitely many pairs $(u_m, u_n)$ satisfying $u_m^b/u_n^a=p_1^{g_1} \cdots p_k^{g_k}$ for some integers $g_1, \ldots, g_k$, $a$, and $b$.

Generating Function of Single Centered Black Hole Index from the Igusa Cusp Form

hep-th

math.NT

We introduce manifestly duality invariant generating function of the index of single centered black holes in the heterotic string theory compactified on a six dimensional torus. This function is obtained by subtracting, from the inverse of the Igusa cusp form, the generating function of the index of two centered black holes constructed from the Dedekind eta function. We also study the analytic properties of this function in the Siegel upper half plane.

Fiberwise Gromov-Witten theory, quantum spectra of flag bundles, and prime factorization of integers

math.AG

math.DG

math.NT

This work investigates the vertical quantum cohomology and quantum spectra of flag bundles, uncovering new links between the Gromov-Witten theory of homogeneous fibrations and analytic number theory. Building on previous constructions by Astashkevich and Sadov (arXiv:hep-th/9401103) and by Biswas, Das, Oh, and Paul (arXiv:2408.06616), we establish functorial and inductive properties of vertical quantum cohomology, and relate the vertical and absolute quantum spectra. We show that the degeneracy of the small vertical quantum spectrum of a Grassmann bundle - namely, the appearance of eigenvalues with unexpectedly high multiplicities - is controlled by the prime factorization of the involved ranks. This extends earlier results for Grassmannians to the relative setting and applies, in particular, to partial flag varieties viewed as total spaces of Grassmann bundles. We then introduce three families of double sequences that classify partial flag varieties according to distinct quantum spectral and combinatorial features. Their recursive and arithmetic behavior is studied through ordinary and Dirichlet generating functions. One of these sequences satisfies a Pascal-type recursion, allowing a precise analysis of its partial Dirichlet series, whose analytic continuation exhibits logarithmic singularities determined by the nontrivial zeros of the Riemann zeta function. Moreover, for any fixed integer shift, the diagonal subsequences display eventual polynomial behavior, which admits a natural interpretation in terms of weighted walks on graphs. Finally, we examine the vanishing pattern of one of these sequences and derive equivalent formulations of Goldbach's conjecture. Overall, the paper reveals a rich correspondence between enumerative geometry, quantum spectral degeneracy, and classical problems in prime number theory.

Exceptional sets for restricted families of projections in $\mathbb{F}_q^d$

math.CO

math.CA

math.NT

Let $d\ge3$ and $\mathbb{F}_q^{d}$ be the $d$-dimensional vector space over a finite field of order $q$, where $q$ is a prime power. Fix a slice $\pi=\{x_d=\lambda\}$ of the unit sphere $S^{d-1}=\{x\colon ||x||=1\}$ and let $X_\pi$ be the set of lines through the origin meeting $\pi\cap S^{d-1}$. For $E\subset\mathbb{F}_q^{d}$ and $N\ge1$, we study the exceptional sets \[ \mathcal{T}_1(X_\pi,E,N)=\bigl\{V\in X_\pi:\ |\pi_V(E)|\le N\bigr\},\qquad \mathcal{T}_2(X_\pi,E,N)=\bigl\{V\in X_\pi:\ |\pi_{V^\perp}(E)|\le N\bigr\}, \] on their respective natural ranges of $N$. Using discrete Fourier analysis together with restriction/extension estimates for cone and sphere type quadrics over finite fields, we obtain sharp bounds (up to constant factors) for $\lvert \mathcal{T}_1\rvert$ and $\lvert \mathcal{T}_2\rvert$, with separate treatment of the special slices $\lambda=\pm1$ and of the isotropic slice $\lambda=0$. The bounds exhibit arithmetic-geometric dichotomies absent in the full Grassmannian: the quadratic character of $\lambda^{2}-1$ and the parity of $d$ determine the size of the exceptional sets. As an application, when $|E|\ge q$, there exists a positive proportion of elements $\mathbf{y}\in X_\pi$ such that the pinned dot-product sets $\{\mathbf{y}\cdot \mathbf{x}\colon \mathbf{x}\in E\}$ are of cardinality $\Omega(q)$. We further treat analogous families arising from the spheres of radii $0$ and $-1$, and by combining these slices, recover the known estimates for projections over the full Grassmannian, complementing a result of Chen (2018).

On the irreducibility and monodromy of Tutte polynomials

math.CO

math.NT

We study algebraic properties of the Tutte polynomial of a matroid and its generalizations to other combinatorially defined bivariate polynomial invariants. Merino, de Mier and Noy showed that the Tutte polynomial of a connected matroid is irreducible, and Bohn, Cameron and M{\"u}ller conjectured the stronger property that the Galois/monodromy group of the Tutte polynomial of a connected matroid of rank r is isomorphic to the full symmetric group on r letters. First, we generalize the result of Merino-de Mier-Noy to the context of general ranked sets by exploiting a recent translation of the Brylawski relations, satisfied by the coefficients of the Tutte polynomial, into a functional identity. Second, we give the first confirmation of the conjecture of Bohn-Cameron-M{\"u}ller for infinite families of connected matroids, including the cycle graphs and the uniform matroids. Moreover, we apply the large sieve to obtain a probabilistic statement showing that suitable linear combinations of coprime Tutte polynomials generically satisfy the conjecture.

On the generating series of the degree sequence

math.DS

math.AG

math.NT

We study the generating series associated with the degree sequence of a monomial self-map of a projective toric variety. We establish conditions under which this series has its circle of convergence as a natural boundary, and hence is a transcendental, non-holonomic function. In the case of toric surfaces, our results are sharp; moreover, we answer a question of Bell by proving that their reductions modulo $p$ are transcendental for all but finitely many prime numbers $p$.

Asymptotics of Schwartz functions

math.NT

math.RT

v3

Let $G$ be a split, simply connected, almost simple algebraic group, and let $P$ be a maximal parabolic subgroup of $G$. Braverman and Kazhdan in \cite{BKnormalized} defined a Schwartz space on the affine closure $X_P$ of $P^{\mathrm{der}}\backslash G$. An alternate, more analytically tractable definition was given in \cite{Getz:Hsu:Leslie}, following several earlier works. When $G$ is a classical group or $G_2$, we show the two definitions coincide and prove several previously conjectured properties of the Schwartz space that will be useful in applications. Along the way, we give an alternative construction of the ring of differential operators on $X_P$ using the Fourier theory. We also establish the Poisson summation formulae in these cases.

Big Heegner points, generalized Heegner classes and $p$-adic $L$-functions in the quaternionic setting

math.NT

v2

The goal of this paper is to study the $p$-adic variation of Heegner points and generalized Heegner classes for ordinary families of quaternionic modular forms. We compare classical specializations of big Heegner points (introduced in the quaternionic setting by one of the authors in collaboration with S. Vigni) with generalized Heegner classes, extending a result of Castella to the quaternionic setting. We also compare big Heegner points with $p$-adic families of generalized Heegner classes, introduced in this paper in the quaternionic setting, following works by Jetchev--Loeffler--Zerbes, \cite{JLZ}, B\"{u}y\"{u}kboduk--Lei and Ota. These comparison results are obtained by exploiting the relation between $p$-adic families of generalized Heegner classes and $p$-families of $p$-adic $L$-functions, introduced in this paper following constructions of Brooks and Burungale-Castella-Kim.

Global long root $A$-packets for $\mathsf{G}_2$: the dihedral case

math.NT

math.RT

v2

Cuspidal automorphic representations $\tau$ of $\mathrm{PGL}_2$ correspond to global long root $A$-parameters for $\mathsf{G}_2$. Using an exceptional theta lift between $\mathrm{PU}_3$ and $\mathsf{G}_2$, we construct the associated global $A$-packet and prove the Arthur multiplicity formula for these representations when $\tau$ is dihedral and satisfies some technical hypotheses. We also prove that this subspace of the discrete automorphic spectrum forms a full near equivalence class. Our construction yields new examples of quaternionic modular forms on $\mathsf{G}_2$.

Explicit Bound of $\pmb{|\zeta\left(1+it\right)|}$

math.NT

v2

In this work, we show that for all $t\geq e$, \[|\zeta(1+it)|\leq 0.6443 \log t. \] The equality is achieved when $t=17.7477$. We also use the Riemann-Siegel formula and numerical computations to show that \[|\zeta(1+it)|\leq\frac{1}{2}\log t+0.6633\hspace{1cm}\text{when}\;t\geq e.\]When $t\geq 100$, the bound $\frac{1}{2}\log t+0.6633$ is better than the bound $0.6443\log t$.

Ramanujan's partition generating functions modulo $\ell$

math.NT

math.CO

v2

For the partition function $p(n)$, Ramanujan proved the striking identities $$ P_5(q):=\sum_{n\geq 0} p(5n+4)q^n =5\prod_{n\geq 1} \frac{\left(q^5;q^5\right)_{\infty}^5}{(q;q)_{\infty}^6}, $$ $$ P_7(q):=\sum_{n\geq 0} p(7n+5)q^n =7\prod_{n\geq 1}\frac{\left(q^7;q^7\right)_{\infty}^3}{(q;q)_{\infty}^4}+49q \prod_{n\geq 1}\frac{\left(q^7;q^7\right)_{\infty}^7}{(q;q)_{\infty}^8}, $$ where $(q;q)_{\infty}:=\prod_{n\geq 1}(1-q^n).$ As these identities imply his celebrated congruences modulo 5 and 7, it is natural to seek, for primes $\ell \geq 5,$ closed form expressions of the power series $$ P_{\ell}(q):=\sum_{n\geq 0} p(\ell n-\delta_{\ell})q^n\pmod{\ell}, $$ where $\delta_{\ell}:=\frac{\ell^2-1}{24}.$ In this paper, we prove that $$ P_{\ell}(q)\equiv c_{\ell} \frac{T_{\ell}(q)}{ (q^\ell; q^\ell )_\infty} \pmod{\ell}, $$ where $c_{\ell}\in \mathbb{Z}$ is explicit and $T_{\ell}(q)$ is the generating function for the Hecke traces of $\ell$-ramified values of special Dirichlet series for weight $\ell-1$ cusp forms on $SL_2(\mathbb{Z})$. This is a new proof of Ramanujan's congruences modulo 5, 7, and 11, as there are no nontrivial cusp forms of weight 4, 6, and 10.

Quasimodular forms arising from Jacobi's theta function and special symmetric polynomials

math.NT

math.AT

math.CO

v2

Ramanujan derived a sequence of even weight $2n$ quasimodular forms $U_{2n}(q)$ from derivatives of Jacobi's weight $3/2$ theta function. Using the generating function for this sequence, one can construct sequences of quasimodular forms of all nonnegative integer weights with minimal input: a weight 1 modular form and a power series $F(X)$. Using the weight 1 form $\theta(q)^2$ and $F(X)=\exp(X/2)$, we obtain a sequence $\{Y_n(q)\}$ of weight $n$ quasimodular forms on $\Gamma_0(4)$ whose symmetric function avatars $\widetilde{Y}_n(\pmb{x}^k)$ are the symmetric polynomials $T_n(\pmb{x}^k)$ that arise naturally in the study of syzygies of numerical semigroups. With this information, we settle two conjectures about the $T_n(\pmb{x}^k).$ Finally, we note that these polynomials are systematically given in terms of the Borel-Hirzebruch $\widehat{A}$-genus for spin manifolds, where one identifies power sum symmetric functions $p_i$ with Pontryagin classes.

An average Brun-Titchmarsh theorem and shifted primes with a large prime factor

math.NT

v3

The author studies an average version of Brun-Titchmarsh theorem with large moduli. Using Maynard's recent breakthrough on the Bombieri-Friedlander-Iwaniec type triple convolution estimates, we refine the previous result of Baker and Harman (1996). As an application, we improve a result of Baker and Harman (1998) on shifted primes with a large prime factor, showing that the largest prime factor of $p - 1$ is larger than $p^{0.679}$ for infinitely many primes $p$.

Counting $2 \times 2$ integer matrices with a given determinant

math.NT

math.CO

v2

Given positive integers $h, N$ satisfying $1 \leqslant h \leqslant 2N^2$, we define $T(h,N)$ to be the number of $2\times 2$ integer matrices with determinant equal to $h$ whose entries lie in $[-N,N]$. Our first result states that for any $\varepsilon >0$, one has \[ T(h,N) = \frac{16}{\zeta(2)} N^2 \bigg( \sum_{d |h} \frac{1}{d} \bigg) + O_{\varepsilon}(N^{\varepsilon} (N+ h)).\] This quantitatively improves upon recent work of Afifurrahman and Ganguly--Guria. We further show that when $N^{1 + \delta} \leqslant h \leqslant 2N^2$ for any fixed $\delta>0$, the error term above is of roughly the right order. Our second result delivers an asymptotic formula for $T(h,N)$ with square-root cancellation whenever $h = N^2 + O(N)$. This error term is much stronger than its corresponding analogue in the smoothened version of this problem. More generally, for any $\varepsilon >0$ and any $N,h \in \mathbb{N}$ with $1\leq h \leq 2N^2$, we prove that \[ T(h,N) = \bigg( \frac{8}{\zeta(2)} - 4 \bigg)N^2 \bigg( \sum_{d |h} \frac{1}{d} \bigg) + O_{\varepsilon}(N^{\varepsilon}(N+ |h-N^2|)). \]

A functional equation for multiple zeta functions and generalized confluent hypergeometric functions

math.NT

v2

In this paper, we introduce a new function, the multiple confluent hypergeometric functions, and establish a functional equation for the $r$-variable Euler--Zagier multiple zeta functions using it. In the case when $r=2$, this functional equation includes the well-known functional equation for the Euler--Zagier double zeta functions obtained by Matsumoto.

Fourier interpolation in dimensions 3 and 4 and real-variable Kloosterman sums

math.NT

math.CA

v2

We give a construction of radial Fourier interpolation formulas in dimensions 3 and 4 using Maass--Poincar\'e type series. As a corollary we obtain explicit formulas for the basis functions of these interpolation formulas in terms of what we call real-variable Kloosterman sums, which were previously introduced by Stoller. We also improve the bounds on the corresponding basis functions $a_{n,d}(x)$, $d=3,4$, for fixed $x$, in terms of the index $n$.

Low degree Hurwitz stacks in the Grothendieck ring

math.AG

math.NT

v3

For $2 \leq d \leq 5$, we show that the class of the Hurwitz space of smooth degree $d$, genus $g$ covers of $\mathbb P^1$ stabilizes in the Grothendieck ring of stacks as $g \to \infty$, and we give a formula for the limit. We also verify this stabilization when one imposes ramification conditions on the covers, and obtain a particularly simple answer for this limit when one restricts to simply branched covers.

Completing the picture for the Skolem Problem on order-4 linear recurrence sequences

cs.FL

math.NT

v4

For almost a century, the decidability of the Skolem Problem - that is, the problem of finding whether a given linear recurrence sequence (LRS) has a zero term - has remained open. A breakthrough in the 1980s established that the Skolem Problem is indeed decidable for algebraic LRS of order at most 3, and real algebraic LRS of order at most 4. However, for general algebraic LRS of order 4 the question of decidability has remained open. Our main contribution in this paper is to prove decidability for this last case, i.e. we show that the Skolem Problem is decidable for all algebraic LRS of order at most 4.

Duality for $p$-adic geometric pro-\'etale cohomology

math.AG

math.NT

v2

We prove that $p$-adic geometric pro-\'etale cohomology of smooth partially proper rigid analytic varieties over $p$-adic fields seen in the category of Topological Vector Spaces satisfies a Poincar\'e duality as we have conjectured. This duality descends, via fully-faithfulness results of Colmez-Nizio{\l}, from a Poincar\'e duality for solid quasi-coherent sheaves on the Fargues-Fontaine curve representing this cohomology. The latter duality is proved by passing, via comparison theorems, to analogous sheaves representing syntomic cohomology and then reducing to Poincar\'e duality for ${\mathbf B}^+_{\rm st}$-twisted Hyodo-Kato and filtered $\mathbf{B}^+_{\rm dr}$-cohomologies that, in turn, reduce to Serre duality for smooth Stein varieties -- a classical result.