Related papers: Two small remarks on Nori fundamental group scheme
We determine when an arithmetic subgroup of a reductive group defined over a global function field is of type FP_\infty by comparing its large-scale geometry to the large-scale geometry of lattices in real semisimple Lie groups.
Here we initiate a program to study relationships between finite groups and arithmetic-geometric invariants in a systematic way. To do this we first introduce a notion of optimal module for a finite group in the setting of holomorphic mock…
Let G be a connected reductive group over the complex numbers with a fixed pinning. We define and study the totally positive part of the set of maximal tori of G.
For a vector bundle E on a model of a smooth projective curve over a p-adic number field a p-adic representation of the geometric fundamental group of X has been defined in work with Annette Werner if the reduction of E is strongly…
We settle some open problems in the special case of groups in o-minimal structures, such as the equality of G^00 and G^000 and the equivalence of definable amenability and existence of a type with bounded orbit. We prove almost exactness of…
Rapid progress has been made recently on symmetry breaking operators for real reductive groups. Based on Program A-C for branching problems (T.Kobayashi [Progr.Math.2015]), we illustrate a scheme of the classification of (local and…
A standard assumption in the study of logarithmic structures is "fineness", but this assumption is not preserved by intersections, fiber products, and more general limits. We explain how a coherent logarithmic scheme $X$ has a natural…
Let $k$ be a field, $K/k$ a field extension, $X$ a connected scheme proper over $k$, $x_K\in X_K(K)$ lying over $x\in X(k)$, $\mathcal{C}_X$ and $\mathcal{C}_{X_K}$ the Tannakian categories over $X$ and $X_K$ respectively,…
This paper is a summary of author's results on finite flat commutative group schemes. The properties of the generic fibre functor are discussed. A complete classification of finite local flat commutative group schemes over mixed…
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…
Given the toric (or toral) arrangement defined by a root system $\Phi$, we describe the poset of its layers (connected components of intersections) and we count its elements. Indeed we show how to reduce to zero-dimensional layers, and in…
Let $k$ be a nonperfect separably closed field. Let $G$ be a (possibly non-connected) reductive group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In our previous work, we…
We construct a functor, from the category of schemes to the category of graded rings, that is an initial object for having a theory of Chern classes with an additive first Chern class. For any scheme $X$, the graded ring that our functor…
We define R-equivalence for group schemes over a semilocal ring and relate this with rational properties. Two main cases are investigated: tori and isotropic semisimple simply connected group schemes where we show in certain cases that…
We present a diagram surveying equivalence or strict implication for properties of different nature (algebraic, model theoretic, topological, etc.) about groups definable in o-minimal structures. All results are well-known and an extensive…
Let S be a Noetherian scheme, f:X->Y a surjective S-morphism of S-schemes, with X of finite type over S. We discuss what makes Y of finite type. First, we prove that if S is excellent, Y is reduced, and f is universally open, then Y is of…
The purpose of this paper is to extend the symmetry of maximals of the ring of a germ of reducible plane curve proved by Delgado to a relation between the relative maximals of a fractional ideal and the absolute maximals of its dual for any…
We introduce structured decompositions, category-theoretic structures which simultaneously generalize notions from graph theory (including treewidth, layered treewidth, co-treewidth, graph decomposition width, tree independence number,…
We give scheme-theoretic descriptions of the category of fibre functors on the categories of sheaves associated to the Zariski, Nisnevich, \'etale, rh, cdh, ldh, eh, qfh, and h topologies on the category of separated schemes of finite type…
Let (X, O_X) be a noetherian formal scheme and consider D_qct(X) its derived category of sheaves with quasi-coherent torsion homology. We show that there is a bijection between the set of rigid (i.e. \tensor-ideals) localizing subcategories…