Related papers: The arithmetic local Nori fundamental group

We prove that the torsion subgroup of the abelian fundamental group is finite for a regular geometrically integral projective variety over a local field. We also study the structure of $SK_1(X)$ for a regular projective variety $X$ over a…

The concept of gyrogroups, with a weaker algebraic structure without associative law, was introduced under the background of $c$-ball of relativistically admissible velocities with Einstein velocity addition. A topological gyrogroup is just…

We prove that every place $P$ of an algebraic function field $F|K$ of arbitrary characteristic admits local uniformization, provided that the sum of the rational rank of its value group and the transcendence degree of its residue field $FP$…

Given a global field K and a positive integer n, there exists an abelian extension L/K (of exponent n) such that the local degree of L/K is equal to n at every finite prime of K, and is equal to two at the real primes if n=2. As a…

Let R be a regular local ring, containing a finite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R. If the regular local ring R contains an…

In this article we establish an analog of the Quillen---Suslin's local-global principle for the elementary subgroup of the general quadratic group and the general Hermitian group. We show that unstable ${\k}$-groups of general Hermitian…

Normal elements (or multipliers) of the C* algebra of a certain class of locally compact groupoids admit a natural faithful representation as normal operators on the $L^2$-space of a dense orbit of the groupoid. We prove norm estimates on…

It was recently proven by Esnault, Shusterman and the second named author, that the \'etale fundamental group of a connected smooth projective variety over an algebraically closed field $k$ is finitely presented. In this note, we extend…

We describe the construction which takes as input a profinite group, which when applied the the absolute Galois group of a geometric field F agrees in some cases with the algebraic K-theory of F. We prove that it agrees in the case of a…

We develop a probabilistic algorithm of Kronecker type for computing a Kronecker representation of a zero-dimensional linear section of an algebraic variety $V$ defined over a perfect field $k$. The variety $V$ is the Zariski closure of the…

We introduce a notion of proper morphism for schematic finite spaces and prove the analogue of Grothendieck's finiteness theorem for it by means of the classic result for schemes and general descent arguments. This result also generalizes…

In this paper we extend the unramified class field theory for arithmetic surfaces of K. Kato and S. Saito to the relative case. Let X be a regular proper arithmetic surface and let Y be the support of divisor on X. Let CH_0(X,Y) denote the…

We develop the local-global theory of blocks for profinite groups. Given a field $k$ of characteristic $p$ and a profinite group $G$, one may express the completed group algebra $k[[G]]$ as a product $\prod_{i\in I}B_i$ of closed…

Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be…

Let $S$ be a connected Dedekind scheme and $X$ be a proper smooth connected scheme over $S$ . Let $D$ a divisor with no multiplicity of $X$ such that the irreducible components of $D$ and as well their intersections are smooth over $S$. Now…

Building on To\"en's work on affine stacks, we develop a certain homotopy theory for schemes, which we call "unipotent homotopy theory." Over a field of characteristic $p>0$, we prove that the unipotent homotopy group schemes…

We show the existence of a regular universal quotient as a smooth commutative algebraic group of the Chow group of 0-cycles on a projective reduced variety, and give over the field of complex numbers an analytic description of it. This…

To a "stable homotopy theory" (a presentable, symmetric monoidal stable $\infty$-category), we naturally associate a category of finite \'etale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call…

We prove Suslin's local-global principle for principal congruence subgroups of Chevalley groups. Let $G$ be a Chevalley--Demazure group scheme with a root system $\Phi\ne A_1$ and $E$ its elementary subgroup. Let $R$ be a ring and $I$ an…

In this thesis, we develop algorithms similar to the Gaussian elimination algorithm in symplectic and split orthogonal similitude groups. As an application to this algorithm, we compute the spinor norm for split orthogonal groups. Also, we…