Related papers: Answering Two OPAC Problems Involving Banff Quiver…

Rice's Theorem states that every nontrivial language property of the recursively enumerable sets is undecidable. Borchert and Stephan initiated the search for complexity-theoretic analogs of Rice's Theorem. In particular, they proved that…

Let $C$ be a cone in a locally convex Hausdorff topological vector space $X$ containing $0$. We show that there exists a (essentially unique) nonempty family $\mathscr{K}$ of nonempty subsets of the topological dual $X^\prime$ such that $$…

In this work we use the number classification in families of the form 6n+1, and 6n+5 with n integer (Such families contain all odd prime numbers greater than 3 and other compound numbers related with primes). We will use this kind of…

We define quantum matrix groups GL(3) by their coaction on appropriate quantum planes and the requirement that the Poincare series coincides with the classical one. It is shown that this implies the existence of a Yang-Baxter operator.…

We show that three different kinds of cohomology - Baues-Wirsching cohomology, the (S,O)-cohomology of Dwyer-Kan, and the Andre-Quillen cohomology of a Pi-algebra - are isomorphic, under certain assumptions. This is then used to identify…

Let $M$ be a connected, closed, oriented three-manifold and $K$, $L$ two rationally null-homologous oriented simple closed curves in $M$. We give an explicit algorithm for computing the linking number between $K$ and $L$ in terms of a…

We study the Grothendieck classes of quiver cycles, i.e. invariant closed subvarieties of the representation space of a quiver. For quivers without oriented loops we show that the class of a quiver cycle is determined by quiver…

We show that the class MIP* of languages that can be decided by a classical verifier interacting with multiple all-powerful quantum provers sharing entanglement is equal to the class RE of recursively enumerable languages. Our proof builds…

In this paper we study two types of collections of operators on a Banach space on the subject of forming operator ideals. One of the types allows us to construct an uncountable chain of closed ideals in each of the operator algebras…

A language L is low for a relativizable complexity class C, if C$^L$ = C. For the classes #P, GapP, and SpanP the exact low classes of languages are known: Low(#P) = UP $\cap$ coUP, Low(GapP) = SPP, and Low(SpanP) = NP $\cap$ coNP. In this…

We study multiplier algebras for a large class of Banach algebras which contains the group algebra $L_1(G)$, the Beurling algebras $L_1(G, \omega)$, and the Fourier algebra $A(G)$ of a locally compact group $G$. This study yields numerous…

For a quiver with potential, we can associate a vanishing cycle to each representation space. If there is a nice torus action on the potential, the vanishing cycles can be expressed in terms of truncated Jacobian algebras. We study how…

We prove the Categorified Wrapping Number Conjecture for large classes of annular links, including alternating annular links and tangle closures exhibiting plumbed link phenomena. We do so by characterizing when a resolution is sufficient…

For appropriate parameters $k,p,q$, we introduce and systematically study the class of $(k,p,q)$-differential subalgebras. This is a vast class of Banach $^*$-algebras defined by their relation with their $C^*$-envelopes. Some examples are…

In a series of papers, Aluffi and Faber computed the degree of the $GL_3$ orbit closure of an arbitrary plane curve. We attempt to generalize this to the equivariant setting by studying how orbits degenerate under some natural…

In this paper we introduce a new class of $K$-algebras associated with quivers. Given any finite chain $\mathbf{K}_r: K=K_0\subseteq K_1\subseteq ... \subseteq K_r$ of fields and a chain $\mathbf{E}_r : H_0\subset H_1\subset ... \subset…

In this paper, we consider the family of pattern-replacement equivalence relations referred to as the "indices and values adjacent" case. Each such equivalence is determined by a partition $P$ of a subset of $S_c$ for some $c$. In 2010,…

We prove that the problems of classifying triples of symmetric or skew-symmetric matrices up to congruence, local commutative associative algebras with zero cube radical and square radical of dimension 3, and Lie algebras with central…

Ordered vector spaces E and F are said to be order isomorphic if there is a (not necessarily linear) bijection between them that preserves order. We investigate some situations under which an order isomorphism between two Banach lattices…

We study a series of real nonassociative algebras $\mathbb{O}_{p,q}$ introduced in $[5]$. These algebras have a natural $\mathbb{Z}_2^n$-grading, where $n=p+q$, and they are characterized by a cubic form over the field $\mathbb{Z}_2$. We…