Related papers: Januarials of simple and general type
Let $m$ be a positive integer and $D_m(\mathcal {A})$ be the $m$-periodic derived category of a finitary hereditary abelian category $\mathcal {A}$. Applying the derived Hall numbers of the bounded derived category $D^b(\mathcal {A})$, we…
We define a certain abstract planar algebra by generators and relations, study various aspects of its structure, and then identify it with Jones' spin planar algebra.
We introduce the notion of a categorical join, which can be thought of as a categorification of the classical join of two projective varieties. This notion is in the spirit of homological projective duality, which categorifies classical…
We give a complete characterization of countable primitive groups in several settings including linear groups, subgroups of mapping class groups, groups acting minimally on trees and convergence groups. The latter category includes as a…
Two concepts of being Archimedean are defined for arbitrary categories.
A simple construction of Whitham type hierarchies in all genera is suggested. Potentials of these hierarchies are written as integrals of hypergeometric type. Possible generalization for universal moduli space is also briefly discussed.
The simple examples of spontaneous breaking of various symmetries for the scalar theory with fundamental mass have been considered (this research was supported by the Belgian National Fund for Scientific Research). Higgs' generalizations on…
We argue for a compositional semantics grounded in a strongly typed ontology that reflects our commonsense view of the world and the way we talk about it. Assuming such a structure we show that the semantics of various natural language…
This the first of a series of articles dealing with abstract classification theory. The apparatus to assign systems of cardinal invariants to models of a first order theory (or determine its impossibility) is developed in [Sh:a]. It is…
A class of determinants is introduced. Different kind of mathematical objects, such as Fibonacci, Lucas, Tchebychev, Hermite, Laguerre, Legendre polynomials, sums and covergents are represented as determinants from this class. A closed…
C.M. Ringel defined Hall algebra associated with the category of representations of a quiver of Dynkin type and gave an explicit description of the structure constants of the corresponding Lie algebra. We utilize functorial properties of…
In these lectures we discuss some basic aspects of Hamiltonian formalism, which usually do not appear in standard texbooks on classical mechanics for physicists. We pay special attention to the procedure of Hamiltonian reduction…
We first extend the Peierls algebra of gauge invariant functions from the space ${\cal S}$ of classical solutions to the space ${\cal H}$ of histories used in path integration and some studies of decoherence. We then show that it may be…
For polynomials of degree two over finite fields, we present an improvement of Fitzgerald's characterization (Finite Fields Appl. 9(1):117-121, 2003). We then use this new characterization to obtain an explicit, complete, and simple…
Tame abstract elementary classes are a broad nonelementary framework for model theory that encompasses several examples of interest. In recent years, progress toward developing a classification theory for them have been made. Abstract…
We give a polymorphic account of the relational algebra. We introduce a formalism of ``type formulas'' specifically tuned for relational algebra expressions, and present an algorithm that computes the ``principal'' type for a given…
We study a ring containing a complete set of orthogonal idempotents as a generalized matrix ring via its Peirce decomposition. We focus on the case where some of the underlying bimodule homomorphisms are zero. Upper and lower triangular…
We propose a generalization of Carmichael numbers, where the multiplicative group $\mathbb G_\mathrm{m} = \mathrm{GL}(1)$ is replaced by $\mathrm{GL}(m)$ for $m\geq 2$. We prove basic properties of these families of numbers and give some…
We examinate, formalize and extend the reasoning behind the Cantor's first diagonal argument, obtaining a simple closed-form expression for a bijection between $\mathbb{N}^k$ and $\mathbb{N}$.
The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{\sigma (1)} a_{\sigma (2)} ... a_{\sigma (n)}$, where $\sigma$…