Related papers: Definability, interpretations and \'etale fundamen…
In this paper, we introduce an algebraic-topological invariant for commutative pm-rings, termed the spectral fundamental group, which is denoted by $\pi_{k}^{alg}(A)$. This group is defined via homotopy classes of loops within the space of…
This is an introduction to the study of abstract homotopy theory by means of model categories and $(\infty,1)$-categories. The only prerequisites are very basic general topology and abstract algebra. None categorical background is needed.…
We give a brief exposition on the uses of non-commutative fundamental groups for the study of Diophantine problems via a non-abelian Albanese map.
A group is metabelian if its commutator subgroup is abelian. For finitely generated metabelian groups, classical commutative algebra, algebraic geometry and geometric group theory, especially the latter two subjects, can be brought to bear…
We define the projective stable category of a coherent scheme. It is the homotopy category of an abelian model structure on the category of unbounded chain complexes of quasi-coherent sheaves. We study the cofibrant objects of this model…
The topological fundamental group $\pi_{1}^{top}$ is a homotopy invariant finer than the usual fundamental group. It assigns to each space a quasitopological group and is discrete on spaces which admit universal covers. For an arbitrary…
Orthogonality in model theory captures the idea of absence of non-trivial interactions between definable sets. We introduce a somewhat opposite notion of cohesiveness, capturing the idea of interaction among all parts of a given definable…
In \cite{KP}, the last two authors introduced formal orbifold curves defined over an algebraically closed field of positive characteristics. They studied both \'etale and Nori fundamental group schemes associated to such objects. Our aim…
The traditional Pi-theorem tells us that for any dimensionally invariant relation there exists a full set of independent dimensionless "Pi groups" which can be used to nondimensionalise the relation. In this paper, we seek to understand…
We discuss the structure of integral etale motivic cohomology groups of smooth and projective schemes over algebraically closed fields, finite fields, local fields, and arithmetic schemes.
Let $k$ be an algebraically closed field of characteristic $p>0$ and let $C/k$ be a smooth connected affine curve. Denote by $\pi_1(C)$ its algebraic fundamental group. The goal of this paper is to characterize a certain subset of closed…
We define a notion of super-transitivity for \`etale algebra objects $A \in \mathcal{C}(\mathfrak{sl}_N, k)$. This definition is a direct analogue of the notion of super-transitivity for subfactors, and measures at what depth the first…
In this article, we introduce and study the concept of $\textit{spherical-vectors}$, which can be perceived as a natural extension of the arguments of complex numbers in the context of quaternions. We initially establish foundational…
We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimensio. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that…
Group field theory is a background-independent approach to quantum gravity whose starting point is the definition of a quantum field theory on an auxiliary group manifold (not interpreted as spacetime, but rather as the finite-dimensional…
We set up some basic module theory over semirings, with particular attention to what is needed in scheme theory over semirings. We show that while not all the usual definitions of vector bundle agree over semirings, all the usual…
We define the algebraic fundamental group functor of a reductive group scheme over an arbitrary (non-empty) base scheme and prove that this functor is exact.
Let M be an irreducible smooth projective variety defined over \bar{{\mathbb F}_p}. Let \pi(M, x_0) be the fundamental group scheme of M with respect to a base point x_0. Let G be a connected semisimple linear algebraic group over…
We define an unstable equivariant motivic homotopy category for an algebraic group over a Noetherian base scheme. We show that equivariant algebraic $K$-theory is representable in the resulting homotopy category. Additionally, we establish…
An \'etale structure over a topological space $X$ is a continuous family of structures (in some first-order language) indexed over $X$. We give an exposition of this fundamental concept from sheaf theory and its relevance to countable model…