Related papers: A short note on $\pi_1\mathrm{Diff}_{\partial} (D^…

We prove that for any $k\in \mathbb{R},$ $v>0,$ and $D>0$ there are only finitely many diffeomorphism types of closed Riemannian $4$-manifolds with sectional curvature $\geq k,$ volume $\geq v,$ and diameter $\leq D.$

A subset $B$ of a group $G$ is called a difference basis of $G$ if each element $g\in G$ can be written as the difference $g=ab^{-1}$ of some elements $a,b\in B$. The smallest cardinality $|B|$ of a difference basis $B\subset G$ is called…

These notes briefly discuss basic notions concerning locally compact abelian topological groups and Fourier transforms of functions on them.

Topological phases of matter are featured with exotic edge states. However, the fractional topological numbers at edges, though predicted long ago by Jackiw and Rebbi, remain elusive in topological photonic systems. Here, we report on the…

In this note we extend some of the results of a previous paper \url{arXiv:math/0511593} to algebraically closed fields of finite characteristic. In particular, we show that there is an explicit expression in $n$ and $d$ which is divisible…

Given an $n$-vertex graph $G$ and two positive integers $d,k \in \mathbb{N}$, the ($d,kn$)-differential coloring problem asks for a coloring of the vertices of $G$ (if one exists) with distinct numbers from 1 to $kn$ (treated as…

This article provides a survey of gauge theory for families, with a particular focus on its applications to diffeomorphism groups of $4$-manifolds that were developed during the period 2021--2025.

A classic theorem of Uchimura states that the difference between the sum of the smallest parts of the partitions of $n$ into an odd number of distinct parts and the corresponding sum for an even number of distinct parts is equal to the…

A diffeomorphism f is called super exponential divergent if for every r>1, the lower limit of #Per_n(f)/r^n diverges to infinity as n tends to infinity, where Per_n(f) is the set of all periodic points of f with period n. This property is…

We consider four dimensional Lie groups with left-invariant Riemannian metrics. For such groups we classify left-invariant conformal foliations with minimal leaves of codimension two. These foliations produce local complex-valued harmonic…

We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…

We consider a normal complete rational variety with a torus action of complexity one. In the main results, we determine the roots of the automorphism group and give an explicit description of the root system of its semisimple part. The…

We are raising questions on discrete and dense subgroups of Diff(I). Most of the questions are around the problems discussed in [A1]-[A4].

In previous work, we have defined---intrinsically, entirely within the digital setting---a fundamental group for digital images. Here, we show that this group is isomorphic to the edge group of the clique complex of the digital image…

Let $M$ and $N$ be smooth manifolds, with $M$ closed and connected. If the $C^r$--diffeomorphism group of $M$ is elementarily equivalent to the $C^s$--diffeomorphism group of $N$ for some $r,s\in[1,\infty)\cup\{0,\infty\}$, then $r=s$ and…

For $\pi$ a finitely presented group, Hausmann and Weinberger defined $q(\pi) \in \mathbb Z$ to be the minimum Euler characteristic over all closed, oriented $4$-manifolds with fundamental group $\pi$. This short note establishes that this…

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $D$ be a $p$-divisible group over $k$. Let $n_D$ be the smallest non-negative integer for which the following statement holds: if $C$ is a $p$-divisible group over $k$ of…

For a locally path connected topological space, the topological fundamental group is discrete if and only if the space is semilocally simply-connected. While functoriality of the topological fundamental group for arbitrary topological…

Let $(a_1,\dots, a_m)$ be an $m$-tuple of positive, pairwise distinct, integers. If for all $1\leq i< j \leq m$ the prime divisors of $a_ia_j+1$ come from the same fixed set $S$, then we call the $m$-tuple $S$-Diophantine. In this note we…

Let G be a compact Lie group, and consider the variety Hom(Z^k,G) of representations of Z^k into G. We view this as a based space by designating the trivial representation to be its base point. We prove that the fundamental group of this…