Related papers: On the Lau group scheme
We introduce a geometric completion of the stack of maps from stable marked curves to the quotient stack [point/GL(1)], and use it to construct some gauge-theoretic analogues of the Gromov-Witten invariants. We also indicate the…
We clarify some aspects of quantum group gauge theory and its recent generalisations (by T. Brzezinski and the author) to braided group gauge theory and coalgebra gauge theory. We outline the diagrammatic version of the braided case. We…
Let $G$ be a Poisson Lie group and $\g$ its Lie bialgebra. Suppose that $\g$ is a group Lie bialgebra. This means that there is an action of a discrete group $\Gamma$ on $G$ deforming the Poisson structure into coboundary equivalent ones.…
Let $p$ be an odd prime. Let $F$ be a non-archimedean local field of residue characteristic $p$, and let $\mathbb{F}_q$ be its residue field. Let $\mathcal{H}^{(1)}_{\mathbb{F}_q}$ be the pro-$p$-Iwahori-Hecke algebra of the $p$-adic group…
The notion of $m/\Gamma$-pointed stable curves is introduced. It should be viewed as a generalization of the notion of m-pointed stable curves of a given genus, where the labels of the marked points are only determined up to the action of a…
This work is a spin-off of an on-going programme which aims at revisiting the original studies of Lie and Cartan on pseudogroups and geometric structures from a modern perspective. We encode geometric structures induced by transitive Lie…
We point out, and draw some consequences of, the fact that the Poisson Lie group G* dual to G=GL_n(C) (with its standard complex Poisson structure) may be identified with a certain moduli space of meromorphic connections on the unit disc…
We use finite group topological lattice gauge theory, also known as the quantum double model, as a lens to explore a notion of topological order enriched by a non-invertible symmetry. For invertible symmetry enriched topological order,…
This paper develops a new chain model for the commutative graph complex $\mathsf{GC}_2$ which takes Lie graph homology as an input. Our main technical result is the identification of a large contractible complex of (certain) tadpoles and…
We study in this article the dual of a (strictly) commutative group stack $G$ and give some applications. Using the Picard functor and the Picard stack of $G$, we first give some sufficient conditions for $G$ to be dualizable. Then, for an…
In [CS01, Page 109] Grothendieck sketches the construction of a complex J_*(X) or commutative pro-algebraic groups, associated to a smooth variety X, and for which each J_i(X) is a product of local factors called the local generalized…
Let $F$ be a non-archimedean local field and let $T$ be a torus over $F$. With $\cT^{NR}$ denoting the N\'eron-Raynaud model of $T$, a result of Chai and Yu asserts that the model $\cT^{NR} \times_{\fO_F} \fO_F/\fp_F^m$ is canonically…
We discuss two generalizations of Lie groupoids. One consists of Lie $n$-groupoids defined as simplicial manifolds with trivial $\pi_{k\geq n+1}$. The other consists of stacky Lie groupoids $\cG\rra M$ with $\cG$ a differentiable stack. We…
According to the O'Nan--Scott Theorem, a finite primitive permutation group either preserves a structure of one of three types (affine space, Cartesian lattice, or diagonal semilattice), or is almost simple. However, diagonal groups are a…
Topological T-duality is a transformation taking a gerbe on a principal torus bundle to a gerbe on a principal dual-torus bundle. We give a new geometric construction of T-dualization, which allows the duality to be extended in following…
Previous work of Kisin and Gee proves potential diagonalisability of two dimensional Barsotti-Tate representations of the Galois group of a finite extension $K/\mathbb{Q}_p$. In this paper we build upon their work by relaxing the…
We consider the algebraic K-theory of a truncated polynomial algebra in several commuting variables, K(k[x_1, ..., x_n]/(x_1^a_1, ..., x_n^a_n)). This naturally leads to a new generalization of the big Witt vectors. If k is a perfect field…
For a prime p and natural number n with p greater than or equal to n, we establish the existence of a non-functorial one-to-one correspondence between isomorphism classes of groups of order p^n whose derived subgroup has exponent dividing…
Fix a scheme $S$ of characteristic $p$. Let $\mathscr{M}$ be an $S$-algebraic stack and let $\mbox{Fdiv}(\mathscr{M})$ be the stack of $\mbox{F}$-divided objects, that is sequences of objects $x_i\in\mathscr{M}$ with isomorphisms…
Although contemporary model theory has been called "algebraic geometry minus fields", the formal methods of the two fields are radically different. This dissertation aims to shrink that gap by presenting a theory of logical schemes,…