Related papers: C*-algebraic normalization and Godement-Jacquet fa…
Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Veneri [1981], we prove several facts about sets of terms having a given intersection type. Our main result is that every strongly normalizing…
Various subsets of the tracial state space of a unital C*-algebra are studied. The largest of these subsets has a natural interpretation as the space of invariant means. II_1-factor representations of a class of C*-algebras considered by…
We establish an infinitesimal variant of Guo-Jacquet trace formula for the case of $(GL_{2n,D}, GL_{n,D}\times GL_{n,D})$. It is a kind of Poisson summation formula obtained by an analogue of Arthur's truncation process. It consists in the…
An algebra of germs of real functions is generalised quasianalytic if to each element of the algebra we can associate, injectively, a power series with nonnegative real exponents. We prove a quantifier elimination and a rectilinearisation…
We develop a technique for normalization for $\infty$-type theories. The normalization property helps us to prove a coherence theorem: the initial model of a given $\infty$-type theory is $0$-truncated. The coherence theorem justifies…
We study the $c$-vectors, $g$-vectors, and $F$-polynomials for generalized cluster algebras satisfying a normalization condition and a power condition recovering classical recursions and separation of additions formulas. We establish a…
In this paper, we define a generalization of Khovanov-Lauda-Rouquier algebras which we call weighted Khovanov-Lauda-Rouquier algebras. We show that these algebras carry many of the same structures as the original Khovanov-Lauda-Rouquier…
The Huneke-Wiegand conjecture has prompted much recent research in Commutative Algebra. In studying this conjecture for certain classes of rings, Garc\'ia-S\'anchez and Leamer construct a monoid S_\Gamma^s whose elements correspond to…
This paper is devoted to the theory of $GL_n({\mathbb Z})$-conjugacy classes of regular integer $n\times n$ matrices. Such a matrix is $GL_n({\mathbb Q})$-conjugate to the companion matrix of its characteristic polynomial. But the set of…
The class of normal subshifts includes irreducible infinite topological Markov shifts, irreducible infinite sofic shifts, synchronized systems, Dyck shifts, $\beta$-shifts, substitution minimal shifts, and so on. We will characterize…
Ideals in Leavitt path algebras have been shown to share many properties with those of integral domains. Since studying factorizations of ideals in integral domains into special types of ideals (particularly, prime, prime-power, primary,…
Let K be a finite Galois extension of Q. The normal basis theorem provides an element of K whose conjugates form a Q-basis of K. Here we obtain such an element with controlled size. This improves a recent result by Fukshansky and Jeong. By…
We introduce stabilised property Gamma, a C*-algebraic variant of property Gamma which is invariant under stable isomorphism. We then show that simple separable nuclear C*-algebras with stabilised property Gamma and $\mathrm{Cu}(A) \cong…
For an inclusion of C*-algebras $D\subseteq A$ with $D$ abelian, we show that when $n\in A$ normalizes $D$, $n^*n$ and $nn^*$ commute with $D$. As a corollary, when $D$ is a regular MASA in $A$, every approximate unit for $D$ is also an…
We investigate the normal subgroups of the groups of invertibles and unitaries in the connected component of the identity. By relating normal subgroups to closed two-sided ideals we obtain a "sandwich condition" describing all the closed…
The canonical quantization of the chiral Wess-Zumino-Novikov-Witten (WZNW) monodromy matrices (both the diagonal and the general one) requires additional numerical factors that can be attributed to renormalization. We discuss, for G=SU(n),…
We show that a unital ring is generated by its commutators as an ideal if and only if there exists a natural number $N$ such that every element is a sum of $N$ products of pairs of commutators. We show that one can take $N \leq 2$ for…
In this paper we present a pure algebraic construction of the normal factorization of multimode squeezed states and calculate their inner products. This procedure allows one to orthonormalize bases generated by squeezed states. We calculate…
We examine inclusions of $C^*$-algebras of the form $A^H \subseteq A \rtimes_{r} G$, where $G$ and $H$ are groups acting on a unital simple $C^*$-algebra $A$ by outer automorphisms and $H$ is finite. It follows from a theorem of Izumi that…
We prove that the m-generated Grassmann algebra can be embedded into a 2^{m-1}x2^{m-1} matrix algebra over a factor of a commutative polynomial algebra in m indeterminates. Cayley-Hamilton and standard identities for nxn matrices over the…