Related papers: FI-sets with relations

Let $\mathfrak{F}_n$ be the set of all cuspidal automorphic representations $\pi$ of $\mathrm{GL}_n$ with unitary central character over a number field $F$. We prove the first unconditional zero density estimate for the set…

The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on categories with finite limits and colimits. As an…

Let $G$ be a connected graph on $n$ vertices and $1 \le k \le n-1$ an integer. The $k$-token graph of $G$ is the graph $F_k(G)$ whose vertices are all the $k$-subsets of vertices of $G$, two of which are adjacent whenever their symmetric…

Let $\mathfrak{F}_n$ be the set of all cuspidal automorphic representations $\pi$ of $\mathrm{GL}_n$ over a number field with unitary central character. We prove two unconditional large sieve inequalities for the Hecke eigenvalues of…

The set $X$ of $k$-subsets of an $n$-set has a natural graph structure where two $k$-subsets are connected if and only if the size of their intersection is $k-1$. This is known as the Johnson graph. The symmetric group $S_n$ acts on the…

A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine…

Let $M$ be a random matrix chosen according to Haar measure from the unitary group $\mathrm{U}(n,\mathbb{C})$. Diaconis and Shahshahani proved that the traces of $M,M^2,\ldots,M^k$ converge in distribution to independent normal variables as…

In this paper, we study the graph classification problem from the graph homomorphism perspective. We consider the homomorphisms from $F$ to $G$, where $G$ is a graph of interest (e.g. molecules or social networks) and $F$ belongs to some…

Hofstadter's G function is recursively defined via $G(0)=0$ and then $G(n)=n-G(G(n-1))$. Following Hofstadter, we vary the number $k$ of nested recursive calls in this equation and obtain a family of functions $(F\_k)$. Here we establish…

We introduce "continuous deformed preprojective algebras" attached to infinite affine Dynkin quivers of type A_{\infty}, A_{+\infty}, D_{\infty}. We define a one-parameter family of deformations of the wreath product of a symmetric group…

Dimensions of objects in fusion categories are cyclotomic integers, hence number theoretic results have implications in the study of fusion categories and finite depth subfactors. We give two such applications. The first application is…

Let $FI(X,K)$ be the finitary incidence algebra of a non-connected partially ordered set $X$ over a field $K$ of characteristic different from $2$. For the case where every multiplicative automorphism of $FI(X,K)$ is inner, we present…

We investigate the relationship between finite groups and incidence geometries through their automorphism structures. Building upon classical results on the realizability of groups as automorphism groups of graphs, we develop a general…

A relaxation of the notion of invariant set, known as $k$-quasi-invariant set, has appeared several times in the literature in relation to group dynamics. The results obtained in this context depend on the fact that the dynamic is generated…

We construct a functor from the category of graphs to the category of groups which is faithful and "almost" full, in the sense that it induces bijections of the Hom sets up to trivial homomorphisms and conjugation in the category of groups.…

We describe a connection between the combinatorics of generators for certain groups and the combinatorics of Helly's 1913 theorem on convex sets. We use this connection to prove fixed point theorems for actions of these groups on…

We construct a functor valued invariant of oriented tangles on certain singular blocks of category O. Parabolic subcategories of these blocks categorify tensor products of various fundamental sl(k) representations. Projective functors…

Every finitely generated self-similar group naturally produces an infinite sequence of finite $d$-regular graphs $\Gamma_n$. We construct self-similar groups, whose graphs $\Gamma_n$ can be represented as an iterated zig-zag product and…

In the geometric Langlands program over function fields, Braverman-Gaitsgory and Laumon constructed geometric Eisenstein functors which geometrize the classical construction of Eisenstein series. Fargues and Scholze very recently…

Two adjoint functors can be seen as generalisations of the two functions within a Galois connection. If instead the adjoints are not generalised from functions, but from relations, then analogously the object of study becomes a more general…