相关论文: Planar Heyting Algebras for Children 2: Local Oper…

In this report, we introduce observation algebras, constructed by considering the downclosed subsets of a coherence space ordered by reverse inclusion. These may be interpreted as specifications of sets of events via some predicates with…

In this paper we provide a systematic way of producing representations of cohomological, K-theoretical and categorified Hall algebras, and study the output of our construction in several cases. We thus recover and categorify in a unified…

Haas' theorem describes all partchworkings of a given non-singular plane tropical curve $C$ giving rise to a maximal real algebraic curve. The space of such patchworkings is naturally a linear subspace $W_C$ of the…

Algorithmicists are well-aware that fast dynamic programming algorithms are very often the correct choice when computing on compositional (or even recursive) graphs. Here we initiate the study of how to generalize this folklore intuition to…

In this paper we give an inherently toric description of a special class of sheaves (known as equivariant sheaves) over toric varieties, due in part to A. A. Klyachko. We apply this technology to heterotic compactifications, in particular…

Vertex algebras formalize the subalgebra of holomorphic fields of a conformal field theory. OPE-algebras were proposed as a generalization of vertex algebras that formalizes the algebra of all fields of a conformal field theory. We prove…

We generalize the notion of a small sheaf of sets over a topological space or manifold to define the notion of a small stack of groupoids over an \'etale topological or differentiable stack. We then provide a construction analogous to the…

We use sheaf theory and the six operations to define and study the (equivariant) homology of stacks. The construction makes sense in the algebraic, complex-analytic, or even topological categories.

Conformal algebras, recently introduced by Kac, encode an axiomatic description of the singular part of the operator product expansion in conformal field theory. The objective of this paper is to develop the theory of ``multi-dimensional''…

We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or `S-operads', and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad…

The paper aims at investigating perturbative quantum field theory (pQFT) in the approach of Epstein and Glaser (EG) and, in particular, its formulation in the language of graphs and Hopf algebras (HAs). Various HAs are encountered, each one…

Within the framework of the discrete Wess-Zumino-Novikov-Witten theory we analyze the structure of vertex operators on a lattice. In particular, the lattice analogues of operator product expansions and braid relations are discussed. As the…

Let K be a local non-archimedian field, F=K((t)) and let G be a split semi-simple group. The purpose of this paper is to study certain analogs of spherical (and Iwahori) Hecke algebras for representations of the group G(F) and its central…

The quantization of the simple one-dimensional Hamiltonian H=xp is of interest for its mathematical properties rather than for its physical relevance. In fact, the Berry-Keating conjecture speculates that a proper quantization of H=xp could…

We start by clarifying and extending the multibraces notation, which economically describes substitutions of multilinear maps and tensor products of vectors. We give definitions and examples of homotopy algebras, strongly homotopy…

We consider correlation functions for a vertex operator algebra on a genus two Riemann surface formed by sewing two tori together. We describe a generalisation of genus one Zhu recursion where we express an arbitrary genus two $n$--point…

Let $H$ be a semisimple Hopf algebras over an algebraically closed field $k$ of characteristic $0.$ We define Hopf algebraic analogues of commutators and their generalizations and show how they are related to $H',$ the Hopf algebraic…

We construct a new family of mod $p$ weight shifting differential operators on Hodge type Shimura varieties at hyperspecial level. First we construct basic theta operators, labelled by positive roots, that generalize Katz's theta operator…

In this paper, we focus on the variety DHMSH of dually hemimorphic semi-Heyting algebras from a logical point of view. Firstly, we present a Hilbert-style axiomatization of a new logic called Dually hemimorphic semi-Heyting logic (DHMSH,…

In this thesis, we explore the representation theory of double affine Hecke algebras (DAHAs) through the lens of stated skein theory. Over the past decade, there have been several works establishing robust connections between skein algebras…