Related papers: Algebraic Anabelian Functors
We prove that both, the embedding of the category of Hopf algebras into that of bialgebras and the forgetful functor from the category of Hopf algebras to the category of algebras, have right adjoints; in other words: every bialgebra has a…
We prove that affine invariant manifolds in strata of flat surfaces are algebraic varieties. The result is deduced from a generalization of a theorem of M\"oller. Namely, we prove that the image of a certain twisted Abel-Jacobi map lands in…
Given a complete and (locally) cartesian closed category U, it is shown that the category of functors from the category of Weil algebras to the category U is (locally, resp.) cartesian closed. The corresponding axiomatization for…
The \begin{it} Invariance Theorem \end{it} of M. Gerstenhaber and S. D. Schack states that if $\mathbb{A}$ is a diagram of algebras then the subdivision functor induces a natural isomorphism between the Yoneda cohomologies of the category…
We study the arithmetic of abelian varieties over $K=k(t)$ where $k$ is an arbitrary field. The main result relates Mordell-Weil groups of certain Jacobians over $K$ to homomorphisms of other Jacobians over $k$. Our methods also yield…
Exact categories are a natural generalisation of abelian categories and provide a fertile ground to develop relative homological algebra. In this paper, starting from a class of relative Gorenstein projective objects in an exact category…
Generalizing homogeneous spectra for rings graded by natural numbers, we introduce multihomogeneous spectra for rings graded by abelian groups. Such homogeneous spectra have the same completeness properties as their classical counterparts,…
Motivated in part by the study of the stable homology of automorphism groups of free groups, we consider cohomological calculations in the category $\mathcal{F}(\textbf{gr})$ of functors from finitely generated free groups to abelian…
Duality properties are studied for a Gorenstein algebra that is finite and projective over its center. Using the homotopy category of injective modules, it is proved that there is a local duality theorem for the subcategory of acyclic…
We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…
It is proved that the associative differential graded algebra of (polynomial) polyvector fields on a vector space (may be infinite- dimensional) is quasi-isomorphic to the corresponding cohomological Hochschild complex of (polynomial)…
We prove various finiteness and representability results for cohomology of finite flat abelian group schemes. In particular, we show that if $f\colon X\rightarrow \mathrm{Spec}(k)$ is a projective scheme over a field $k$ and $G$ is a finite…
Morphisms in the linear category A of Jacobi diagrams in handlebodies give rise to interesting contravariant functors on the category gr of finitely-generated free groups, encoding part of the composition structure of the category A. These…
We show that every affine or projective algebraic variety defined over the field of real or complex numbers is homeomorphic to a variety defined over the field of algebraic numbers. We construct such a homeomorphism by choosing a small…
In 1981, Uchida proved a conditional version of the Hom-form of the Grothendieck birational anabelian conjecture for number fields. In this paper we prove an m-step solvable conditional version of the Grothendieck birational anabelian…
We study full exact functors between triangulated categories. With some hypotheses on the source category we prove that it admits an orthogonal decomposition into two pieces such that the functor restricted to one of them is zero while the…
This paper is devoted to the study of algebraic structures leading to link homology theories. The originally used structures of Frobenius algebra and/or TQFT are modified in two directions. First, we refine 2-dimensional cobordisms by…
We present a formalization of quasi-compact and quasi-separated schemes (qcqs-schemes) in the Cubical Agda proof assistant. We follow Grothendieck's functor of points approach, which defines schemes, the quintessential notion of modern…
We reformulate a conjecture of Beauville on algebraic cycles on an abelian variety in terms of certain compatibility and vanishings of some naturally defined filtrations on the Grothendieck group of the abelian variety.
We study the transfer of (dual) relative CS-Rickart properties via functors between abelian categories. We consider fully faithful functors as well as adjoint pairs of functors. We give several applications to Grothendieck categories and,…