Related papers: Coboundary categories and local rules
Let $K$ be a complete discretely valued field with the residue field $\kappa$. Assume that cohomological dimension of $\kappa$ is less than or equal to $1$ (for example, $\kappa$ is an algebraically closed field or a finite field). Let $F$…
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…
This paper develops a systematic framework for integrating local categories that model logical connectives using higher category theory. By extending these local categories into a unified two-category enriched with natural isomorphisms, the…
We introduce the term "protonormal" to refer to a subgroup H of a group G such that for every x in G the subgroups x^{-1}Hx and H commute as sets. If moreover (G,H) is a Hecke pair we show that the Hecke algebra H(G,H) is generated by the…
We introduce some classes of genuine higher categories in homotopy type theory, defined as well-behaved subcategories of the category of types. We give several examples, and some techniques for showing other things are not examples. While…
This paper contains results from two areas -- formal theory of Kan extensions and concrete categories. The contribution to the former topic is based on the extension of the concept of Kan extension to the cones and we prove that limiting…
We develop a theory of descent and forms of tensor categories over arbitrary fields. We describe the general scheme of classification of such forms using algebraic and homotopical language, and give examples of explicit classification of…
We consider several questions about restriction of representations of classical and metaplectic groups over local and global fields to subgroups, extending considerably the scope of the earlier work on $SO(n),SO(n-1)$. This includes Bessel…
Let G be a connected split reductive group over a complete discrete valuation ring of mixed characteristic. We use the theory of intermediate extensions due to Abe-Caro and arithmetic Beilinson-Bernstein localization to classify irreducible…
Local quantum fields in 1+1 dimensions can have bounded field operators. The class of such fields which in addition obey Huygens' principle (time-like commutativity) and conformal covariance, is completely determined.
We find explicit subdivision rules for all special cubulated groups. A subdivision rule for a group produces a sequence of tilings on a sphere which encode all quasi-isometric information for a group. We show how these tilings detect…
Let $\Delta$ be an infinite, locally finite tree with more than two ends. Let $\Gamma<\aut(\Delta)$ be an acylindrical uniform lattice. Then the boundary algebra $\cl A_\Gamma = C(\partial\Delta)\rtimes \Gamma$ is a simple Cuntz-Krieger…
In this work we further develop a nonlocal calculus theory (initially introduced in [5]) associated with singular fractional-type operators which exhibit kernels with finite support of interactions. The applicability of the framework to…
Lie symmetries of K(m,n) equations with time-dependent coefficients are classified. Group classification is presented up to widest possible equivalence groups, the usual equivalence group of the whole class for the general case and…
Many first-order equational theories, such as the theory of groups or boolean algebras, can be presented by a smaller set of axioms than the original one. Recent studies showed that a homological approach to equational theories gives us…
In this paper, we obtain the central limit theorem of Hecke eigenvalues in very general setting of split simple algebraic groups over $\mathbb{Q}$, using irreducible characters of compact Lie groups.
We discuss the classical statement of group classification problem and some its extensions in the general case. After that, we carry out the complete extended group classification for a class of (1+1)-dimensional nonlinear…
Let $H$ be a semisimple algebraic group, $K$ a maximal compact subgroup of $G:=H(\mathbb{R})$, and $\Gamma\subset H(\mathbb{Q})$ a congruence arithmetic subgroup. In this paper, we generalize existing subconvex bounds for Hecke-Maass forms…
Local cohomology functors are constructed for the category of cohomological functors on an essentially small triangulated category T equipped with an action of a commutative noetherian ring. This is used to establish a local-global…
We extend the 2-representation theory of finitary 2-categories to certain 2-categories with infinitely many objects, denoted locally finitary 2-categories, and extend the classical classification results of simple transitive…