Related papers: Essential dimension and pro-finite group schemes

We prove that all finitely generated fully residually free groups (limit groups) have a sequence of finite dimensional unitary representations that `strongly converge' to the regular representation of the group. The corresponding statement…

We investigate whether a finitely generated profinite group G could have a finitely generated infinite image. A result of Dan Segal shows that this is impossible if G is prosoluble. We prove that such an image does not exist if G is…

Let k be a field, and let {\pi}:\tilde{X} -> X be a proper birational morphism of irreducible k-varieties, where \tilde{X} is smooth and X has at worst quotient singularities. When the characteristic of k is zero, a theorem of Koll\'ar in…

Let $\mathscr {C}(G,H,\psi)$ be a finite group scheme-theoretical category over an algebraically closed field of characteristic $p\ge 0$ as introduced by the first author. For any indecomposable exact module category over $\mathscr…

Let $\mathcal X$ be a regular variety, flat and proper over a complete regular curve over a finite field, such that the generic fiber $X$ is smooth and geometrically connected. We prove that the Brauer group of $\mathcal X$ is finite if and…

Let $p$ be a prime integer, $k$ be a $p$-closed field of characteristic $\neq p$, $T$ be a torus defined over $k$, $F$ be a finite $p$-group, and $1\to T \to G \to F \to 1$ be an exact sequence of algebraic groups. Extending earlier work of…

The aim of this project is to attach a geometric structure to the ring of integers. It is generally assumed that the spectrum $\mathrm{Spec}(\mathbb{Z})$ defined by Grothendieck serves this purpose. However, it is still not clear what…

A group $G$ is said to satisfy the finitely generated intersection property (f.g.i.p.) if the intersection of any two finitely generated subgroups of $G$ is again finitely generated. The aim of this article is to understand when the…

We define a dimension for a triangulated category. We prove a representabilityTheorem for a certain class of functors on finite dimensional triangulatedcategories. We study the dimension of the boundedderived category of an algebra or a…

Graphons are analytic objects associated with convergent sequences of dense graphs. Finitely forcible graphons, i.e., those determined by finitely many subgraph densities, are of particular interest because of their relation to various…

We examine asymptotic dimension and property A for groups acting on complexes. In particular, we prove that the fundamental group of a finite, developable complex of groups will have finite asymptotic dimension provided the geometric…

Those are the notes for the 2015 Summer Research Institute on Algebraic Geometry. We report on Deligne's finiteness theorem for $\ell$-adic representations on smooth varieties defined over a finite field, on its crystalline version, and on…

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…

We study the essential dimension and essential p-dimension of the moduli stack of vector bundles over a smooth orbifold curve containing a rational point. We improve the known bounds on this essential dimension and obtain an equality modulo…

In this paper, we study the anabelian geometry of hyperbolic polycurves of dimension 2 over sub-p-adic fields. In 1-dimensional case, Mochizuki proved the Hom version of the Grothendieck conjecture for hyperbolic curves over sub-p-adic…

Grothendieck proved in EGA IV that if any integral scheme of finite type over a locally noetherian scheme X admits a desingularization, then X is quasi-excellent, and conjectured that the converse is probably true. We prove this conjecture…

Let $G$ be a linear algebraic group over a field. We show that, under mild assumptions, in a family of primitive generically free $G$-varieties over a base variety $B$ the essential dimension of the geometric fibers may drop on a countable…

We formulate and prove a version of the Segal Conjecture for infinite groups. For finite groups it reduces to the original version. The condition that G is finite is replaced in our setting by the assumption that there exists a finite model…

We prove that the local etale fundamental group of a strongly $F$-regular singularity is finite (and likewise for the \'etale fundamental group of the complement of a codimension $\geq 2$ set), analogous to results of Xu and…

Let R be a regular ring of characteristic p. Hochster showed that the category of Lyubeznik's F-modules has enough injectives, so that every F-module has an injective resolution in this category. We show that under mild conditions on R, for…