Related papers: Canonical forms for complex matrix congruence and …

We prove that Shimura varieties admit integral canonical models for sufficiently large primes. In the case of abelian-type Shimura varieties, this recovers work of Kisin-Kottwitz for sufficiently large primes. We also prove the existence of…

We use purity, a principle borrowed from the foundations of quantum information, to show that all isometric comonoids in the category $\operatorname{CPM}\left(\operatorname{fHilb}\right)$ are necessarily pure. As a corollary, we answer an…

Universal continuous calculi are defined and it is shown that for every finite tuple of pairwise commuting Hermitian elements of a Su*-algebra (an ordered *-algebra that is symmetric, i.e. "strictly" positive elements are invertible, and…

We introduce and study a canonical quadratic form, called the torsion quadratic form, of the determinant line of a flat vector bundle over a closed oriented odd-dimensional manifold. This quadratic form caries less information than the…

This work builds on earlier work of the first three authors where a notion of congruence modules in higher codimension is introduced. The main new results are a criterion for detecting regularity of local rings in terms of congruence…

In this paper, we define the concepts of semi-canonical and canonical binary matrix. Strictly mathematical, we prove the correctness of these definitions. We describe and we implement an algorithm for finding all semi-canonical binary…

Motivated by a recent conjecture by Hernandez and Leclerc [arXiv:0903.1452], we embed a Fomin-Zelevinsky cluster algebra [arXiv:math/0104151] into the Grothendieck ring R of the category of representations of quantum loop algebras U_q(Lg)…

We study the canonical basis for the negative part of the quantum generalized Kac-Moody algebra associated to a symmetric Borcherds-Cartan matrix. The algebras associated to two different matrices satisfying certain conditions may coincide.…

For quantum symmetric pairs $(\mathbf{U}, \textbf{U}^\imath)$ of Kac-Moody type, we construct $\imath$canonical bases for the highest weight integrable $\mathbf{U}$-modules and their tensor products regarded as $\mathbf{U}^\imath$-modules,…

We give two congruence properties of Hermitian modular forms of degree 2 over $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. The one is a congruence criterion for Hermitian modular forms which is generalization of Sturm's theorem.…

A covariant quantization scheme employing reducible representations of canonical commutation relations with positive-definite metric and Hermitian four-potentials is tested on the example of quantum electrodynamic fields produced by a…

The problem of computing the index of a coincidence isometry of the hyper cubic lattice $\mathbb{Z}^{n}$ is considered. The normal form of a rational orthogonal matrix is analyzed in detail, and explicit formulas for the index of certain…

The Jantzen sum formula for cyclotomic v-Schur algebras yields an identity for some q-analogues of the decomposition matrices of these algebras. We prove a similar identity for matrices of canonical bases of higher-level Fock spaces. We…

Finitely generated Z-modules have canonical decompositions. When such modules are given in a finitely presented form there is a classical algorithm for computing a canonical decomposition. This is the algorithm for computing the Smith…

We introduce a series of $\Z_2^n$-graded quasialgebras $\bbP_n(m)$ which generalizes Clifford algebras, higher octonions, and higher Cayley algebras. The constructed series of algebras and their minor perturbations are applied to contribute…

We show that canonical bases in $\dot{U}(\mathfrak{sl}_n)$ and the Schur algebra are compatible; in fact we extend this result to $p$-canonical bases. This follows immediately from a fullness result from a functor categorifying this map. In…

The process of canonical quantization is redefined so that the classical and quantum theories coexist when \hbar>0, just as they do in the real world. This analysis not only supports conventional procedures, it also reveals new quantization…

We prove a canonical bundle formula for generically finite morphisms in the setting of generalized pairs (with $\mathbb{R}$-coefficients). This complements Filipazzi's canonical bundle formula for morphisms with connected fibres. It is then…

In this paper, we first introduce the notion of double Satake diagrams for compact symmetric triads. In terms of this notion, we give an alternative proof for the classification theorem for compact symmetric triads, which was originally…

This paper explores a full generalization of the classical corner-vector method for constructing weighted spherical designs, which we call the {\it generalized corner-vector method}. First we establish a uniform upper bound for the degree…