Motivated by Altshuler’s famous characterization of the unit vector basis of $c_0$ or $\ell _p$ among symmetric bases (Altshuler [1976, Israel Journal of Mathematics, 24, 39–44]), we obtain similar characterizations among democratic bases and among bidemocratic bases. We also prove a separate characterization of the unit vector basis of $\ell _1$.

We discuss the question of extending homeomorphisms between closed subsets of the Cantor cube $D^{\tau }$. It is established that any homeomorphism between two closed negligible subsets of $D^{\tau }$ can be extended to an autohomeomorphism of $D^{\tau }$.

We define smooth notions of concordance and sliceness for spatial graphs. We prove that sliceness of a spatial graph is equivalent to a condition on a set of linking numbers together with sliceness of a link associated with the graph. This generalizes the result of Taniyama for $\theta $-curves.

A result of Corfield, Sati, and Schreiber asserts that $\mathfrak {gl}_{n}$-weight systems associated with the defining representation are quantum states. In this short note, we extend this result to all $\mathfrak {gl}_{n}$-weight systems corresponding to labeling by symmetric and exterior powers of the defining representation.

We improve upon the traditional error term in the truncated Perron formula for the logarithm of an L-function. All our constants are explicit.

We study the double character sum $\sum \limits _{\substack {m\leq X,\\m\mathrm {\ odd}}}\sum \limits _{\substack {n\leq Y,\\n\mathrm {\ odd}}}\left (\frac {m}{n}\right )$ and its smoothly weighted counterpart. An asymptotic formula with power saving error term was obtained by Conrey, Farmer, and Soundararajan by applying the Poisson summation formula. The result is interesting because the main term involves a non-smooth function. In this paper, we apply the inverse Mellin transform twice and study the resulting double integral that involves a double Dirichlet series. This method has two advantages—it leads to a better error term, and the surprising main term naturally arises from three residues of the double Dirichlet series.

This papers classifies toric Fano threefolds with singular locus $\{ \frac {1}{k}(1,1,1) \}$ for $k \in \mathbb {Z}_{\geq 1}$ building on the work of Batyrev (1981, Nauk SSSR Ser. Mat. 45, 704–717) and Watanabe–Watanabe (1982, Tokyo J. Math. 5, 37–48). This is achieved by completing an equivalent problem in the language of Fano polytopes. Furthermore, we identify birational relationships between entries of the classification. For a fixed value $k \geq 4$, there are exactly two such toric Fano threefolds linked by a blowup in a torus-invariant line.

The $c_2$ invariant is an arithmetic graph invariant related to quantum field theory. We give a relation modulo p between the $c_2$ invariant at p and the $c_2$ invariant at $p^s$ by proving a relation modulo p between certain coefficients of powers of products of particularly nice polynomials. The relation at the level of the $c_2$ invariant provides evidence for a conjecture of Schnetz.

This paper is devoted to determine the geometry of a class of smooth projective rational surfaces whose minimal models are the Hirzebruch ones; concretely, they are obtained as the blowup of a Hirzebruch surface at collinear points. Explicit descriptions of their effective monoids are given, and we present a decomposition for every effective class. Such decomposition is used to confirm the effectiveness of some divisor classes when the Riemann–Roch theorem does not give information about their effectiveness. Furthermore, we study the nef divisor classes on such surfaces. We provide an explicit description for their nef monoids, and, moreover, we present a decomposition for every nef class. On the other hand, we prove that these surfaces satisfy the anticanonical orthogonal property. As a consequence, the surfaces are Harbourne–Hirschowitz and their Cox rings are finitely generated. Finally, we prove that the complete linear system associated with any nef divisor is base-point-free; thus, the semi-ample and nef monoids coincide. The base field is assumed to be algebraically closed of arbitrary characteristic.

Romyar Sharifi has constructed a map $\varpi _M$ from the first homology of the modular curve $X_1(M)$ to the K-group $K_2(\operatorname {\mathrm {\mathbf {Z}}}[\zeta _M+\zeta _M^{-1}, \frac {1}{M}]) \otimes \operatorname {\mathrm {\mathbf {Z}}}[1/2]$, where $\zeta _M$ is a primitive Mth root of unity. Sharifi conjectured that $\varpi _M$ is annihilated by a certain Eisenstein ideal. Fukaya and Kato proved this conjecture after tensoring with $\operatorname {\mathrm {\mathbf {Z}}}_p$ for a prime $p\geq 5$ dividing M. More recently, Sharifi and Venkatesh proved the conjecture for Hecke operators away from M. In this note, we prove two main results. First, we give a relation between $\varpi _M$ and $\varpi _{M'}$ when $M' \mid M$. Our method relies on the techniques developed by Sharifi and Venkatesh. We then use this result in combination with results of Fukaya and Kato in order to get the Eisenstein property of $\varpi _M$ for Hecke operators of index dividing M.

We characterize the membership in the Schatten ideals $\mathcal {S}_p$, $0<p<\infty $, of composition operators acting on weighted Dirichlet spaces. Our results concern a large class of weights. In particular, we examine the case of perturbed superharmonic weights. Characterization of composition operators acting on weighted Bergman spaces to be in $\mathcal {S}_p$ is also given.

We show that a sufficiently general hypersurface of degree d in $\mathbb {P}^n$ admits a toric Gröbner degeneration after linear change of coordinates if and only if $d\leq 2n-1$.

A classical theorem of Balcar, Pelant, and Simon says that there is a base matrix of height ${\mathfrak h}$, where ${\mathfrak h}$ is the distributivity number of ${\cal P} (\omega ) / {\mathrm {fin}}$. We show that if the continuum ${\mathfrak c}$ is regular, then there is a base matrix of height ${\mathfrak c}$, and that there are base matrices of any regular uncountable height $\leq {\mathfrak c}$ in the Cohen and random models. This answers questions of Fischer, Koelbing, and Wohofsky.

In this article, we study the following question asked by Michael Hartz in a recent paper (Every complete Pick space satisfies the column-row property, to appear in Acta Mathematica): which operator spaces satisfy the column–row property? We provide a complete classification of the column–row property (CRP) for noncommutative $L_{p}$-spaces over semifinite von Neumann algebras. We study other relevant properties of operator spaces that are related to the CRP and discuss their existence and nonexistence for various natural examples of operator spaces.

We classify braided generalized near-group fusion categories whose global dimension is not an integer; there are exactly two up to Grothendieck equivalence and taking products with braided pointed fusion categories.

Let ${\mathbb D}$ be the open unit disk, and let $\mathcal {A}(p)$ be the class of functions f that are holomorphic in ${\mathbb D}\backslash \{p\}$ with a simple pole at $z=p\in (0,1)$, and $f'(0)\neq 0$. In this article, we significantly improve lower bounds of the Bloch and the Landau constants for functions in ${\mathcal A}(p)$ which were obtained in Bhowmik and Sen (2023, Monatshefte für Mathematik, 201, 359–373) and conjecture on the exact values of such constants.

We prove that for a vast class of random walks on a compactly generated group, the exponential growth of convolutions of a probability density function along almost every sample path is bounded by the growth of the group. As an application, we show that the almost sure and $L^1$ convergences of the Shannon–McMillan–Breiman theorem hold for compactly supported random walks on compactly generated groups with subexponential growth.

Given $A\subseteq GL_2(\mathbb {F}_q)$, we prove that there exist disjoint subsets $B, C\subseteq A$ such that $A = B \sqcup C$ and their additive and multiplicative energies satisfying

$$\begin{align*}\max\{\,E_{+}(B),\, E_{\times}(C)\,\}\ll \frac{|A|^3}{M(|A|)}, \end{align*}$$

where

$$ \begin{align*} M(|A|) = \min\Bigg\{\,\frac{q^{4/3}}{|A|^{1/3}(\log|A|)^{2/3}},\, \frac{|A|^{4/5}}{q^{13/5}(\log|A|)^{27/10}}\,\Bigg\}. \end{align*} $$

$A, B, C\subseteq GL_2(\mathbb {F}_q)$

$$\begin{align*}|AB+C|, ~|(A+B)C|\gg q^4,\end{align*}$$

$|A||B||C|\gg q^{10 + 1/2}$

$Forum Math.$

In this paper, we construct explicit exponential bases of unions of segments of total measure one. Our construction applies to finite or infinite unions of segments, with some conditions on the gaps between them. We also construct exponential bases on finite or infinite unions of cubes in $\mathbb {R}^d$ and prove a stability result for unions of segments that generalize Kadec’s $\frac 14$-theorem.

A simple polytope P is called B-rigid if its combinatorial type is determined by the cohomology ring of the moment-angle manifold $\mathcal {Z}_P$ over P. We show that any tensor product decomposition of this cohomology ring is geometrically realized by a product decomposition of the moment-angle manifold up to equivariant diffeomorphism. As an application, we find that B-rigid polytopes are closed under products, generalizing some recent results in the toric topology literature. Algebraically, our proof establishes that the Koszul homology of a Gorenstein Stanley–Reisner ring admits a nontrivial tensor product decomposition if and only if the underlying simplicial complex decomposes as a join of full subcomplexes.