Related papers: Coding in the automorphism group of a computably c…
We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and…
Let $k$ be a field. We characterize the group schemes $G$ over $k$, not necessarily affine, such that $\mathsf{D}_{\mathrm{qc}}(B_kG)$ is compactly generated. We also describe the algebraic stacks that have finite cohomological dimension in…
Isomorphisms are constructed between generalized Schur algebras in different degrees. The construction covers both the classical case (of general linear groups over infinite fields of arbitrary characteristic) and the quantized case (in…
We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on the separation principles, calibrating an arithmetic…
We propose a definition of computable manifold by introducing computability as a structure that we impose to a given topological manifold, just in the same way as differentiability or piecewise linearity are defined for smooth and PL…
In this paper, we provide a conceptual new construction of the algebraic structure on the pair of the Hochschild cohomology spectrum (cochain complex) and Hochschild homology spectrum, which is analogous to the structure of calculus on a…
We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2-categories and their applications to 4d topological quantum field theories and 2-tangles (surfaces embedded in 4-dimensional space). Then we give…
We give classifications of group gradings, up to equivalence and up to isomorphism, on the tensor product of a Cayley algebra $\mathcal{C}$ and a Hurwitz algebra over a field of characteristic different from 2. We also prove that the…
We develop the theory of ``branch algebras'', which are infinite-dimensional associative algebras that are isomorphic, up to taking subrings of finite codimension, to a matrix ring over themselves. The main examples come from groups acting…
We develop a systematic approach to construct novel completely solvable rational potentials. Second-order supersymmetric quantum mechanics dictates the latter to be isospectral to some well-studied quantum systems. $\cal PT$ symmetry may…
Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms…
This work deals with the definability problem by quantifier-free first-order formulas over a finite algebraic structure. We show the problem to be coNP-complete and present two decision algorithms based on a semantical characterization of…
In this paper we look into the structure of finite-dimensional graded superalgebras of various types such as associative, Lie and Jordan over an algebraically closed field of characteristic zero.
We study the complexity of automatic structures via well-established concepts from both logic and model theory, including ordinal heights (of well-founded relations), Scott ranks of structures, and Cantor-Bendixson ranks (of trees). We…
Directed Algebraic Topology studies spaces equipped with a form of direction, to include models of non-reversible processes. In the present extension we also want to cover critical processes, indecomposable and unstoppable. The previous…
In this paper we count the number of isomorphism classes of geometrically indecomposable quasi-parabolic structures of a given type on a given vector bundle on the projective line over a finite field. We give a conjectural cohomological…
We introduce a theory for encoding and manipulating algebraic data on categories via $\textit{concentration structures}$, which are equivalence relations on morphisms that satisfy certain axioms. For any category with a concentration…
Maximally embedding dimension (MED) numerical semigroups are a wide and interesting family, with some remarkable algebraic and combinatorial properties. Associated to any numerical semigroup one can construct a MED closure, as it is well…
The \emph{index set} of a computable structure $\mathcal{A}$ is the set of indices for computable copies of $\mathcal{A}$. We determine the complexity of the index sets of various mathematically interesting structures, including arbitrary…
We investigate when a computable automorphism of a computable field can be effectively extended to a computable automorphism of its (computable) algebraic closure. We then apply our results and techniques to study effective embeddings of…