Related papers: The Farrell-Jones conjecture for arbitrary lattice…
We study the relative cone conjecture for families of $K$-trivial varieties with vanishing irregularity. As an application we prove that the relative movable and the relative nef cone conjectures hold for fibrations in projective IHS…
We prove the Shafarevich conjecture for varieties with globally generated cotangent bundle, subject to mild numerical conditions.
Let ${\bf G}$ be a connected reductive algebraic group defined over the finite field $\mathbb{F}_q$ with $q$ elements. We propose some conjectures concerning the simple quotients of $M\otimes N$, where $M,N$ are objects in the…
We prove that a Quillen adjunction of model categories (of which we do not require functorial factorizations and of which we only require finite bicompleteness) induces a canonical adjunction of underlying quasicategories.
We establish two consequences of the Kawamata--Morrison--Totaro cone conjecture, and prove them unconditionally in all dimensions. First, for a K-trivial variety, the natural action of its automorphism group on the set of ample divisor…
With quantaloids carefully constructed from multi-adjoint frames, it is shown that multi-adjoint concept lattices, multi-adjoint property-oriented concept lattices and multi-adjoint object-oriented concept lattices are derivable from Isbell…
Arthur's conjectures predict the existence of some very interesting unitary representations occurring in spaces of automorphic forms. We prove the unitarity of the "Langlands element" (i.e., the one specified by Arthur) of all unipotent…
We prove that, under mild assumptions, a lattice in a product of semi-simple Lie group and a totally disconnected locally compact group is, in a certain sense, arithmetic. We do not assume the lattice to be finitely generated or the ambient…
The proof of the combinatorial Hard Lefschetz Theorem for the ``virtual'' intersection cohomology of a not necessarily rational polytopal fan that has been presented by K. Karu completely establishes Stanley's conjectures for the…
Let $E$ be an elliptic curve over $\mathbb{Q}$ and $G=\langle\sigma_1, \dots, \sigma_n\rangle$ be a finitely generated subgroup of $\operatorname{Gal}(\overline{\mathbb{Q}}/ \mathbb{Q})$. Larsen's conjecture claims that the rank of the…
We show that every distributive lattice-ordered pregroup can be embedded into a functional algebra over an integral chain, thus improving the existing Cayley/Holland-style embedding theorem. We use this to show that the variety of all…
This note contains a (short) proof of the following generalisation of the Friedman--Mineyev theorem (earlier known as the Hanna Neumann conjecture): if $A$ and $B$ are nontrivial free subgroups of a virtually free group containing a free…
We prove a generalization of Fulton's conjecture which relates intersection theory on an arbitrary flag variety to invariant theory.
We give an unconditional proof of the Coba conjecture for wonderful compactifications of adjoint type for semisimple Lie groups of type $A_n$. We also give a proof of a slightly weaker conjecture for wonderful compactifications of adjoint…
For a finite-dimensional Lie algebra $\mathfrak g$ over a field $\mathbb K\supset \mathbb C$, we deduce from the compatibility between cup products Kontsevich (2003, Section 8) and from the main result of Shoikhet (2001) an alternative way…
We prove that any Lie subgroup $G$ (with finitely many connected components) of an infinite-dimensional topological group $\mathcal G$ which is an amalgamated product of two closed subgroups, can be conjugated to one factor. We apply this…
We provide elementary proofs of the Nielsen-Schreier Theorem and the Kurosh Subgroup Theorem via wreath products. Our proofs are diagrammatic in nature and work simultaneously in the abstract and profinite categories. A new proof that open…
We introduce and study relatively divisible and relatively flat objects in exact categories in the sense of Quillen. For every relative cotorsion pair $(\mathcal{A},\mathcal{B})$ in an exact category $\mathcal{C}$, $\mathcal{A}$ coincides…
We introduce the basic notions and present examples and results on Lie categories -- categories internal to the category of smooth manifolds. Demonstrating how the units of a Lie category $\mathcal C$ dictate the behavior of its invertible…
In this paper, we provide number-theoretic formulas for Farrell-Tate cohomology for SL\_2 over rings of S-integers in number fields satisfying a weak regularity assumption. These formulas describe group cohomology above the virtual…