Related papers: Tame categorical local Langlands correspondence

We develop a categorical compositional distributional semantics for Lambek Calculus with a Relevant Modality !L*, which has a limited edition of the contraction and permutation rules. The categorical part of the semantics is a monoidal…

We establish the local Langlands conjecture for small rank general spin groups $GSpin_4$ and $GSpin_6$ as well as their inner forms. We construct appropriate $L$-packets and prove that these $L$-packets satisfy the properties expected of…

Gopal Prasad and A. S. Rapinchuk defined a notion of weakly commensurable lattices in a semisimple group, and gave a classification of weakly commensurable Zariski dense subgroups. A motivation was to classify pairs of locally symmetric…

A new technique is proposed to classify a topological field in abelian lattice gauge theories. We perform the classification by regarding the topological field as a local composite field of the gauge field tensor instead of the vector…

First a few reformulations of Frankl's conjecture are given, in terms of reduced families or matrices, or analogously in terms of lattices. These lead naturally to a stronger conjecture with a neat formulation which might be easier to…

In quantum geometric Langlands, the Satake equivalence plays a less prominent role than in the classical theory. Gaitsgory--Lurie proposed a conjectural substitute, later termed the fundamental local equivalence. With a few exceptions, we…

This thesis aims to serve as an introduction to the theory of quasitilings for amenable groups. In order to showcase the power of this theory, we focus on the study of the Sofic L\"uck Approximation Conjecture, which can be proven for…

We show that local-global compatibility (at split primes) away from $p$ holds at all points of the $p$-adic eigenvariety of a definite $n$-variable unitary group. The novelty is we allow non-classical points, possibly non-\'{e}tale over…

Suppose $G$ is a tamely ramified $p$-adic reductive group. We construct a partial local Langlands correspondence between the set of irreducible smooth representations of $G$ having depth $r$ and a certain set of $G^\vee$-conjugacy classes…

We give a direct proof of the local converse theorem for quasi-split non-split $\mathrm{SO}_{2l}$ over a local non-Archimedean field of characteristic $p\neq 2$, applying the theory of Howe vectors and partial Bessel functions.

We formulate and analyze several finiteness conjectures for linear algebraic groups over higher-dimensional fields. In fact, we prove all of these conjectures for algebraic tori as well as in some other situations. This work relies in an…

Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…

One of the major open problems in automata and logic is the following: is there an algorithm which inputs a regular tree language and decides if the language can be defined in first-order logic? The goal of this paper is to present this…

In this paper, in the first we give definitions of some classes of division rings which strictly contain the class of centrally finite division rings. One of our main purpose is to construct non-trivial examples of rings of new defined…

We give bounds for the module sectional category of products of maps which generalise a theorem of Jessup for Lusternik-Schnirelmann category. We deduce also a proof of a Ganea type conjecture for topological complexity. This is a first…

For a big tt-category, we give a characterization of the Telescope Conjecture (TC) in terms of definable tensor-ideals generated by homological residue fields. We formulate a stalk-locality property of (TC) and prove that it holds in the…

We study a category of semiinfinite sheaves on the affine flag variety of a connected reductive algebraic group, with coefficients in a field of arbitrary characteristic, generalizing some results of Gaitsgory and showing that this category…

Special kinds of rank 2 vector bundles with (possibly irregular) connections on P^1 are considered. We construct an equivalence between the derived category of quasi-coherent sheaves on the moduli stack of such bundles and the derived…

This text provides an introduction to distributed local algorithms -- an area at the intersection of theoretical computer science and discrete mathematics. We collect recent results in the area and demonstrate how they lead to a clean…

We develop some foundations of commutative algebra, with a view towards algebraic geometry, in symmetric tensor categories. Most results establish analogues of classical theorems, in tensor categories which admit a tensor functor to some…