Related papers: An inductive-recursive universe generic for small …

The Grothendieck-Serre conjecture predicts that on a regular local ring, no nontrivial reductive torsor becomes trivial over the fraction field. While this conjecture has been proven in the equicharacteristic case, it remains open in the…

In this paper, we construct a local ring $A$ such that the kernel of the map $G_0(A)\subq \to G_0(\hat{A})\subq$ is not zero, where $\hat{A}$ is the comletion of $A$ with respect to the maximal ideal, and $G_0()\subq$ is the Grothendieck…

We develop theory of (possibly large) cotilting objects of injective dimension at most one in general Grothendieck categories. We show that such cotilting objects are always pure-injective and that they characterize the situation where the…

We conjecture the existence of a simple geometric structure underlying questions of reducibility of parabolically induced representations of reductive p-adic groups.

We study representations of the classical infinite dimensional real simple Lie groups $G$ induced from factor representations of minimal parabolic subgroups $P$. This makes strong use of the recently developed structure theory for those…

We apply the concept of generic existence to p-point, q, and selective independent families that complements and emulates the ultrafilter generic existence results from Canjar and Ketonen.

We prove a generalisation of the correspondence, due to Resende and Lawson--Lenz, between \'etale groupoids---which are topological groupoids whose source map is a local homeomorphisms---and complete pseudogroups---which are inverse monoids…

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…

We introduce the crisp topology for schemes as a refinement of the fpqc topology. This Grothendieck topology uses the new notion of crisp morphisms, which generalise universal injectivity from ring homomorphisms to arbitrary morphisms of…

An inner model M is MINIMAL if there is a class A such that <M,A> is amenable yet has no transitive proper elementary submodel. We study minimal universes in the context of 0#. For example we prove: If 0# exists then there is an inner model…

In category theory circles it is well-known that the Schreier theory of group extensions can be understood in terms of the Grothendieck construction on indexed categories. However, it is seldom discussed how this relates to extensions of…

There is increasing interest within the research community in the design and use of recursive probability models. Although there still remains concern about computational complexity costs and the fact that computing exact solutions can be…

We consider reflexive and involutive transition systems over an ordered alphabet $A$ equipped with an involution. We give a description of the injective envelope of any two-element set in terms of Galois lattice, from which we derive a test…

A power structure over a ring is a method to give sense to expressions of the form $(1+a_1t+a_2t^2+\ldots)^m$, where $a_i$, $i=1, 2,\ldots$, and $m$ are elements of the ring. The (natural) power structure over the Grothendieck ring of…

We set the foundations of a theory of Grothendieck $(\infty,2)$-topoi based on the notion of fibrational descent, which axiomatizes both the existence of a classifying object for fibrations internal to an $(\infty,2)$-category as well as…

We prove a conjecture of Casselman and Shahidi stating that the unique irreducible generic subquotient of a standard module is necessarily a subrepresentation for a large class of connected quasi-split reductive groups, in particular for…

Although cosmology is usually considered an observational science, where there is little or no space for experimentation, other approaches can (and have been) also considered. In particular, we can change rather drastically the above, more…

We define a variety of notions of cubical sets, based on sites organized using substructural algebraic theories presenting PRO(P)s or Lawvere theories. We prove that all our sites are test categories in the sense of Grothendieck, meaning…

Some conditions for the Galois map to be injective are given in the groupoid acting on a noncommutative ring context. In the particular case in which the Galois extension is a central Galois algebra, it is given a complete characterization…

A global representation is a compatible collection of representations of the outer automorphism groups of the groups belonging to some collection of finite groups $\mathscr{U}$. Global representations assemble into an abelian category…