Related papers: Formal groups arising from formal punctured ribbon…
We provide a concrete criterion to determine whether or not two given elements of PU(2,1) can be written as products of real reflections, with one reflection in common. As an application, we show that the Picard modular groups ${\rm…
This paper investigates the critical group of a faithful representation of a finite group. It computes the order of the critical group in terms of the character values, and gives some restrictions on its subgroup structure. It also computes…
Radical subgroups play an important role in both finite group theory and representation theory. This is the first of a series of papers of ours in classifying radical $p$-subgroups of finite reductive groups and in verifying the inductive…
The complement of a hyperplane arrangement in the complex projective space is known to be formal. We prove the global Milnor fiber associated to the homogeneous polynomial defining the arrangement may not even be 1-formal, by giving an…
We investigate the complex reflection group $\mathfrak{G}$ associated with the octahedral group, identified as the ninth entry in the Shephard-Todd classification. We determine all irreducible representations of $\mathfrak{G}$ and compute…
We associate to every divisorial (e.g. smooth) variety $X$ with only constant invertible global functions and finitely generated Picard group a $Pic(X)$-graded homogeneous coordinate ring. This generalizes the usual homogeneous coordinate…
We set up a framework for using algebraic geometry to study the generalised cohomology rings that occur in algebraic topology. This idea was probably first introduced by Quillen and it underlies much of our understanding of complex oriented…
A paper on ordinal partitions by Erd\H{o}s and Milner (1972) has been formalised using the proof assistant Isabelle/HOL, augmented with a library for Zermelo-Fraenkel set theory. The work is part of a project on formalising the partition…
We prove that the description of cubic functors is a wild problem in the sense of the representation theory. On the contrary, we describe several special classes of such functors (2-divisible, weakly alternative, vector spaces and torsion…
We develop a theory of separable ring extensions and separable functors for nonunital rings in the setting of firm modules. We prove nonunital analogues of classical results on functorial separability and semisimplicity, and apply these…
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…
In this paper, the concept of a picture fuzzy subgroup of a group is studied, and the notion of the direct product of picture fuzzy subgroups is introduced. Several characterisations of the direct product of picture fuzzy subgroups are…
We develop a string-net construction of a modular functor whose algebraic input is a pivotal bicategory; this extends the standard construction based on a spherical fusion category. An essential ingredient in our construction is a graphical…
In this short note we use the presentations found in \cite{MP} and \cite{Po} to show that the Picard modular groups ${\rm PU}(2,1,\mathcal{O}_d)$ with $d=1,3,7$ (respectively the quaternion hyperbolic lattice ${\rm PSp}(2,1,\mathcal{H})$…
In \cite{KP}, the last two authors introduced formal orbifold curves defined over an algebraically closed field of positive characteristics. They studied both \'etale and Nori fundamental group schemes associated to such objects. Our aim…
In 2017, Catanese--Perroni gave a natural correspondence between the Picard group of a double cover and a set of pairs of a vector bundle of rank two and a certain morphism of vector bundles on the base space. In this paper, we describe the…
Let G be a profinite group which is topologically finitely generated, p a prime number and d an integer. We show that the functor from rigid analytic spaces over Q_p to sets, which associates to a rigid space Y the set of continuous…
We investigate sections of the arithmetic fundamental group pi_1(X) where X is either a smooth affinoid p-adic curve, or a formal germ of a p-adic curve, and prove that they can be lifted (unconditionally) to sections of cuspidally abelian…
We prove that torsors under parahoric group schemes on the punctured spectrum of Fontaine's ring $A_{\mathrm{inf}}$, extend to the whole spectrum. Using descent we can extend a similar result for the ring $\mathfrak{S}$ of Kisin and Pappas…
We provide a complete system of invariants for the formal classification of complex analytic unipotent germs of diffeomorphism at $\cn{n}$ fixing the orbits of a regular vector field. We reduce the formal classification problem to solve a…