Related papers: Notes on Moduli theory, Stacks and 2-Yoneda's Lemm…

We generalize the notion of a crossed module of groups to that of a crossed module of racks. We investigate the relation to categorified racks, namely strict 2-racks, and trunk-like objects in the category of racks, generalizing the…

We define the notion of index-module for a couple of A-lattices in a vector space, A being a Dedekind ring. We apply this notion to prove by elementary means that a weak Gras conjecture (i.e for irreducible nontrivial Q-characters) holds…

We develop some basic concepts in the theory of higher categories internal to an arbitrary $\infty$-topos. We define internal left and right fibrations and prove a version of the Grothendieck construction and of Yoneda's lemma for internal…

In the study of automorphic representations over a function field, Hitchin moduli stack and its variants naturally appear and their geometry helps the comparison of trace formulae. We give a survey on applications of this observation to a…

We develop abstract nonsense for module categories over monoidal categories (this is a straightforward categorification of modules over rings). As applications we show that any semisimple monoidal category with finitely many simple objects…

We show the equivalence between two notions of log moduli stacks which appear in literatures. In particular, we generalize M.Olsson's theorem of representation of log algebraic stacks and answer a question posted by him (\cite{Ol4} 3.5.3).…

In this survey paper we give account of several approaches to the strictification and non-strictification of monoidal categories, which are constructions that turn a monoidal category into a (non-)strict one monoidally equivalent to the…

The purpose of this paper is to describe explicitly the modules of (Siegel-)Jacobi forms of degree two of index one of any scalar valued weight with respect to some congruence subgroups of small levels $N\leq 4$. Such a structure for the…

In one of his papers, the author introduces the class of Farkas-related vectors for which a version of Farkas' lemma over integers is derived. In this paper, two similar classes are introduced and studied.

We introduce Turaev bicategories and Turaev pseudofunctors. On the one hand, they generalize the notions of Turaev categories (and Turaev functors), introduced at the turn of the millennium and originally called "crossed group categories"…

Motivated by applications in moduli theory, we introduce a flexible and powerful language for expressing lower bounds on relative dimension of morphisms of schemes, and more generally of algebraic stacks. We show that the theory is robust…

We generalize principal bundles and quotient stacks to the two-categorical context of bisites. We introduce a notion of principal 2-bundle that makes sense for a 2-category with finite flexible limits, endowed with a bitopology. We then use…

We present a study on the Yoneda-Dress construction of biset functors of linear representations over a field of characteristic zero. We give a characterization of their lattices of ideals and we provide a criterion of vanishing for their…

We introduce the notion of modular forms, focusing primarily on the group PSL2Z. We further introduce quasi-modular forms, as wel as discuss their relation to physics and their applications in a variety of enumerative problems. These notes…

Given a linear category over a finite field such that the moduli space of its objects is a smooth Artin stack (and some additional conditions) we give formulas for an exponential sum over the set of absolutely indecomposable objects and a…

A 2-group is a `categorified' version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G x G -> G has been replaced by a functor. A number of precise definitions of this notion have…

Proof nets provide permutation-independent representations of proofs and are used to investigate coherence problems for monoidal categories. We investigate a coherence problem concerning Second Order Multiplicative Linear Logic (MLL2), that…

In this article, we define and study the class of simple transitive $2$-representations of finitary $2$-categories. We prove a weak version of the classical Jordan-H\"older Theorem where the weak composition subquotients are given by simple…

We classify localising subcategories of the stable module category of a finite group that are closed under tensor product with simple (or, equivalently all) modules. One application is a proof of the telescope conjecture in this context.…

We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…