Related papers: Extreme Nonuniqueness of End-Sum
We show that finitely generated cohomology is invariant under separable equivalences for all algebras. As a result, we obtain a proof of the finite generation of cohomology for finite symmetric tensor categories in characteristic zero, as…
Motivated by classical facts concerning closed manifolds, we introduce a strong finiteness property in K-homology. We say that a C*-algebra has uniformly summable K-homology if all its K-homology classes can be represented by Fredholm…
It is known that exactly eight varieties of Heyting algebras have a model-completion, but no concrete axiomatisation of these model-completions were known by now except for the trivial variety (reduced to the one-point algebra) and the…
By extending a construction due to Gross and McMullen [2], we show that for any odd integer n and for any even integer d>n+2 there are infinitely many Salem numbers $\alpha$ of degree d such that $\alpha^n-1$ is a unit. A similar result is…
The adjunction inequality is a key tool for bounding the genus of smoothly embedded surfaces in 4-manifolds. Using gauge-theoretic invariants, many versions of this inequality have been established for both closed surfaces and surfaces with…
The study of sums of finite sets of integers has mostly concentrated on sets with very small sumsets (Freiman's theorem and related work) and on sets with very large sumsets (Sidon sets and $B_h$-sets). This paper considers the full range…
In this paper we propose a new treatment about infinite dimensional manifolds, using the language of category and functor. Our definition of infinite dimensional manifolds is a natural generalization of finite dimensional manifolds in the…
Huayi Chen introduces the notion of an approximable graded algebra, which he uses to prove a Fujita-type theorem in the arithmetic setting, and asked if any such algebra is the graded ring of a big line bundle on a projective variety. This…
We answer two questions about the topology of end spaces of infinite type surfaces and the action of the mapping class group that have appeared in the literature. First, we give examples of infinite type surfaces with end spaces that are…
Generalising an example by Girondo and Wolfart, we use finite group theory to construct Riemann surfaces admitting two or more regular dessins (i.e. orientably regular hypermaps) with automorphism groups of the same order, and in many cases…
We produce examples of pairwise non-diffeomorphic closed irreducible 4-manifolds with non-trivial free abelian fundamental group of rank less than three and small Euler characteristic. These exotic smooth structures become standard after…
For most positive integer pairs $(a,b)$, the topological space $#a{\mathbb C \mathbb P}^2#b{\bar{\mathbb C \mathbb P^2}}$ is shown to admit infinitely many inequivalent smooth structures which dissolve upon performing a single connected sum…
We prove that the cohomology ring of a finite-dimensional restricted Lie superalgebra over a field of characteristic $p > 2$ is a finitely-generated algebra. Our proof makes essential use of the explicit projective resolution of the trivial…
In this paper we investigate the extremal properties of the sum $$\sum_{i=1}^n|MA_i|^{\lambda},$$ where $A_i$ are vertices of a regular simplex, a cross-polytope (orthoplex) or a cube and $M$ varies on a sphere concentric to the sphere…
Starting from a small number of well-motivated axioms, we derive a unique definition of sums with a noninteger number of addends. These "fractional sums" have properties that generalize well-known classical sum identities in a natural way.…
In this paper, we present the foundations of Summability Calculus, which places various established results in number theory, infinitesimal calculus, summability theory, asymptotic analysis, information theory, and the calculus of finite…
For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…
It is proven that, in any given base, there are infinitely many palindromic numbers having at most six prime divisors, each relatively large. The work involves equidistribution estimates for the palindromes in residue classes to large…
Let $A$ be a simple abelian variety over a number field $k$ such that $\operatorname{End}(A)$ is noncommutative. We show that $A$ splits modulo all but finitely many primes of $k$. We prove this by considering the subalgebras of…
We describe and prove correctness of two practical algorithms for finding indecomposable summands of finitely generated modules over a finitely generated k-algebra R. The first algorithm applies in the (multi)graded case, which enables the…