Related papers: Global formality at the $G_\infty$-level

We study deformations of orbit closures for the action of a connected semisimple group $G$ on its Lie algebra $\mathfrak{g}$, especially when $G$ is the special linear group. The tools we use are on the one hand the invariant Hilbert scheme…

Let $M$ be a compact, pseudoconvex-oriented, $(2n+1)$-dimensional, abstract CR manifold of hypersurface type, $n\geq 2$. We prove the following: (i) If $M$ admits a strictly CR-plurisubharmonic function on $(0,q_0)$-forms, then the complex…

Let $A$ and $B$ be abelian varieties defined over the function field $k(S)$ of a smooth algebraic variety $S/k.$ We establish criteria, in terms of restriction maps to subvarieties of $S,$ for existence of various important classes of…

We construct $p$-adic $L$-functions for regularly refined cuspidal automorphic representations of symplectic type on $\operatorname{GL}_{2n}$ over totally real fields, which are parahoric spherical at every finite place. Furthermore, we…

Let $f$ be a morphism from a klt pair $(X, \Delta)$ to an abelian variety $A$, $m\geq1$ a rational number and $D$ a Cartier divisor on $X$ such that $D\sim_{\mathbb Q}m(K_X+\Delta)$. We prove that the sheaf $f_*\mathcal{O}_X(D)$ becomes…

This paper explores formalizing Geometric (or Clifford) algebras into the Lean 3 theorem prover, building upon the substantial body of work that is the Lean mathematics library, mathlib. As we use Lean source code to demonstrate many of our…

Let $\mathcal{G}$ be a generalized matrix algebra over a commutative ring $\mathcal{R}$ and $\mathcal{Z(G)}$ be the center of $\mathcal{G}$. Suppose that ${\mathfrak q}\colon \mathcal{G}\times \mathcal{G}\longrightarrow \mathcal{G}$ is an…

We construct a global Hecke-Baxter operator for integrable systems of arithmetic type associated with the group $GL_2$. This is an element of a global Hecke algebra associated with the double coset space $GL_2(\mathbb{Z})\backslash…

Let $L/K$ be a Galois extension of local fields of characteristic $0$ with Galois group $G$. If $\mathcal{F}$ is a formal group over the ring of integers in $K$, one can associate to $\mathcal F$ and each positive integer $n$ a $G$-module…

Let G = SL_2(K) with K a local function field of characteristic 2. We review Artin-Schreier theory for the field K, and show that this leads to a parametrization of L-packets in the smooth dual of G. We relate this to a recent geometric…

In this paper, we define what it means for an object in an abstract module category to be dualizable and we give a homological description of the direct limit closure of the dualizable objects. Our description recovers existing results of…

This note aims to give a short proof of the recent result due to Etg\"u-Lekili (2017) and Lekili-Ueda (2021): the zigzag algebra of any finite tree over a field of characteristic 0 is intrinsically formal if and only if the tree is of type…

Let $G$ be a compact Lie group with maximal torus $T$. If $|N_G(T)/T|$ is invertible in the field $k$ then the algebra of cochains $C^*(BG;k)$ is formal as an $A_\infty$ algebra, or equivalently as a DG algebra.

We study in this paper the global hypoellipticity property in the Gevrey category for the generalized twisted Laplacian on forms. Different from the 0-form case, where the twisted Laplacian is a scalar operator, this is a system of…

We generalize to the super context, the known fact that if an affine algebraic group $G$ over a commutative ring $k$ acts freely (in an appropriate sense) on an affine scheme $X$ over $k$, then the dur sheaf $X\tilde{\tilde{/}}G$ of…

Let K be any field, and let G be a semisimple group over K. Suppose the characteristic of K is positive and is very good for G. We describe all group scheme homomorphisms phi:SL(2) --> G whose image is geometrically G-completely reducible…

In this paper we study formal moduli for wildly ramified Galois covering. We prove a local-global principle. We then focus on the infinitesimal deformations of the Z/pZ-covers. We explicitly compute a deformation of an automorphism of order…

This paper is devoted to the study of the relation between `formal exponential maps,' the Atiyah class, and Kapranov $L_\infty[1]$ algebras associated with dg manifolds in the $C^\infty$ context. Given a dg manifold, we prove that a `formal…

In a recent paper, the second author and Joana Cirici proved a theorem that says that given appropriate hypotheses, $n$-formality of a differential graded algebraic structure is equivalent to the existence of a chain-level lift of a…

The Dolbeault resolution of the sheaf of holomorphic vector fields $Lie$ on a complex manifold $M$ relates $Lie$ to a sheaf of differential graded Lie algebras, known as the Fr\"olicher-Nijenhuis algebra $g$. We establish - following B. L.…