Related papers: Langlands Program, Trace Formulas, and their Geome…
Can the cross product be generalized? Why are the trace and determinant so important in matrix theory? What do all the coefficients of the characteristic polynomial represent? This paper describes a technique for `doodling' equations from…
Given a reductive group scheme $G$, we give a linear algebraic description of reduced \'etale $4$-cocycles on its classifying stack $\mathrm B(G)$. These cocycles form a $2$-groupoid, which we interpret as parameters of metaplectic covers…
This is a draft version of an invited article for a forthcoming book `The genesis of Langlands Program', eds. Julia Mueller and Freydoon Shahidi, which will be published by Cambridge University Press. This is a survey of Langlands spectral…
We apply the technique of S^1-equivariant localization to sheaves on loop spaces in derived algebraic geometry, and obtain a fundamental link between two families of categories at the heart of geometric representation theory. Namely, we…
Let $\breve{K}$ be a complete discrete valuation field with an algebraically closed residue field ${k}$ and ring of integers $\breve{{O}}$. Let $T$ be a torus defined over $\breve{K}$. Let $L^+T$ denote the connected commutative…
It is natural for probabilistic programs to use conditionals to express alternative substructures in models, and loops (recursion) to express repeated substructures in models. Thus, probabilistic programs with conditionals and recursion…
We give a detailed description of the torsors that correspond to multiloop algebras. These algebras are twisted forms of simple Lie algebras extended over Laurent polynomial rings. They play a crucial role in the construction of Extended…
We develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and…
In \cite{GQ2008} R. Gow and R. Quinlan have cast a new look on the endomorphism algebra of a $K$-vector space $V$ of dimension $n$ assuming that $K$ has a Galois extension $L$ of degree $n$. In this approach the $K$-space $L$ may serve as a…
This paper performs the following steps toward the proof of GLC in the de Rham setting: (i) We deduce GLC for G=GL_n; (ii) We prove that the Langlands functor L_G constructed in [GLC1], when restricted to the cuspidal category, is…
We describe a class calculus that is expressive enough to describe and improve its own learning process. It can design and debug programs that satisfy given input/output constraints, based on its ontology of previously learned programs. It…
This paper is a first attempt at getting information on a symmetric power representation of a $GL_2$ automorphic form via a trace formula that is beyond endoscopic techniques. In particular, we study the symmetric third power representation…
General treebank analyses are graph structured, but parsers are typically restricted to tree structures for efficiency and modeling reasons. We propose a new representation and algorithm for a class of graph structures that is flexible…
The general Galois theory for functions and relational constraints over arbitrary sets described in the authors' previous paper is refined by imposing algebraic conditions on relations.
The purpose of this paper is to constructively develop a Galois theory on irreducible shifts of finite type (SFTs) and to analyze the automorphism groups of SFTs using this framework. Let $X$ and $Y$ be irreducible SFTs. We demonstrate that…
The formal degree conjecture relates the formal degree of an irreducible square-integrable representation of a reductive group over a local field to the special value of the adjoint $\gamma$-factor of its $L$-parameter. In this paper, we…
We prove a version of quantum geometric Langlands conjecture in characteristic $p$. Namely, we construct an equivalence of certain localizations of derived categories of twisted crystalline $\mathcal D$-modules on the stack of rank $N$…
This sequel to Derived Langlands II studies some PSH algebras and their numerical invariants, which generalise the epsilon factors of the local Langlands Programme. It also describes a conjectural Hopf algebra structure on the sum of the…
This paper focuses on the derivations and automorphism groups of certain finite-dimensional associative algebras over the field of complex numbers. Using classification results for algebras of dimensions two, three, and four, along with…
This note is an attempt to extend "Geometric Langlands Conjecture" from algebraic curves to algebraic surfaces. We introduce certain Hecke-type operators on vector bundles on an algebraic surface. The crucial observation is that the algebra…