Related papers: On the bumpy fundamental group scheme

We introduce a tensor compatibility condition for t-structures. For any Noetherian scheme $X$, we prove that there is a one-to-one correspondence between the set of filtrations of Thomason subsets and the set of aisles of compactly…

In this paper, we prove that for a noetherian formal scheme X, its derived category of sheaves of modules with quasi-coherent torsion homologies D_qct(X) is generated by a single compact object. In an appendix we prove that the category of…

We introduce a generalization of the notion of a negligible morphism and study the associated tensor ideals and thick ideals. These ideals are defined by considering deformations of a given monoidal category $\mathcal{C}$ over a local ring…

Since the time when the first optical instruments have been invented, an idea that the visible image of an object under observation depends on tools of observation became commonly assumed in physics. A way to formalize it in mathematics is…

In \cite{armstrong}, M. Armstrong proved a beautiful result describing fundamental groups of quotient spaces. In this paper we prove an analogue of Armstrong's theorem in the setting of $F$-divided \cite{dS07} and essentially finite…

A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…

Many tight frames of interest are constructed via their Gramian matrix (which determines the frame up to unitary equivalence). Given such a Gramian, it can be determined whether or not the tight frame is projective group frame, i.e., is the…

For any type of fundamental groupoid scheme, we construct an algebraic cohomology theory for varieties with coefficients in the base field. This is a minor variant of \'etale cohomology, involving neither de Rham complexes nor…

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…

We generalize Bouc's construction of orthogonal idempotents in the double Burnside algebra to the setting of the double $\mathbb{C}^\times$-fibered Burnside algebra. This yields a structural decomposition of the evaluations of…

Given a Noetherian formal scheme $\hat X$ over ${\rm Spf}(R)$, where $R$ is a complete DVR, we first prove a theorem of meromorphic descent along a possibly infinite cover of $\hat{X}$. Using this we construct a specialization functor from…

We define a category of planar diagrams whose Grothendieck group contains an integral version of the infinite rank Heisenberg algebra, thus yielding a categorification of this algebra. Our category, which is a q-deformation of one defined…

The aim of this paper is to develop the theory of groups definable in the $p$-adic field ${\mathbb Q}_p$, with ``definable $f$-generics" in the sense of an ambient saturated elementary extension of ${\mathbb Q}_p$. We call such groups…

A pseudomodular group is a finite coarea nonarithmetic Fuchsian group whose cusp set is exactly $\mathbb{P}^1(\mathbb{Q})$. Long and Reid constructed finitely many of these by considering Fricke groups, i.e., those that uniformize…

Let $X \hookrightarrow \mathbb{P}^r$ be a smooth projective variety defined by homogeneous polynomials of degree $\leq d$ over an algebraically closed field. Let $\mathbf{Pic}\, X$ be the Picard scheme of $X$. Let $\mathbf{Pic}^0 X$ be the…

If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to…

Let f: X -> Z be a separated essentially-finite-type flat map of noetherian schemes, and \delta: X --> X \times_Z X the diagonal map. The fundamental class C_f (globalizing residues) is a map from the relative Hochschild functor…

The Zariski theorem says that for every hypersurface in a complex projective (resp. affine) space of dimension at least 3 and for every generic plane in the projective (resp. affine) space the natural embedding generates an isomorphism of…

Let $X$ be a smooth proper variety over an algebraically closed field of positive characteristic $p$. We find cohomological conditions for the Artin-Mazur formal group functors $\Phi^{i}(X,\mathbb{G}_m)$ to be formally smooth. We show that…

Let $\mathcal{F}$ be a set of finite groups. A finite group $G$ is called an \emph{$\mathcal{F}$-cover} if every group in $\mathcal{F}$ is isomorphic to a subgroup of $G$. An $\mathcal{F}$-cover is called \emph{minimal} if no proper…