相关论文: The \'{E}tale Homotopy Type and Obstructions to th…

Let U be a connected scheme of finite cohomological dimension in which every finite set of points is contained in an affine open subscheme. Suppose that alpha is a class in H^2(U_et,Gm)_{tors}. For each positive integer m, the K-theory of…

This article focuses on smooth, projective, and geometrically integral varieties $X$ defined over a number field $k$ with torsion-free geometric Picard groups. We establish an isomorphism between the Brauer groups of $X$ and its symmetric…

We investigate inductive types in type theory, using the insights provided by homotopy type theory and univalent foundations of mathematics. We do so by introducing the new notion of a homotopy-initial algebra. This notion is defined by a…

Let $X$ be a rationally connected algebraic variety, defined over a number field $k$. We find a relation between the arithmetic of rational points on $X$ and the arithmetic of zero-cycles. More precisely, we consider the following…

We investigate {\it Gottlieb map}s, which are maps $f:E\to B$ that induce the maps between the Gottlieb groups $\pi_n (f)|_{G_n(E)}:G_n(E)\to G_n(B)$ for all $n$, from a rational homotopy theory point of view.We will define the obstruction…

For a smooth projective variety $X$ defined over a global field $K$, one can form a notion of Weak Approximation for the Chow group of zero-cycles of $X$. There exists a Brauer-Manin obstruction to Weak Approximation here akin to that for…

We show that the Brauer-Manin obstruction is the only obstruction to strong approximation for all stacky curves over global fields with finite abelian fundamental groups. This includes all stacky curves of genus $g = \frac{1}{2}$, thus…

Let $X$ be a normal noetherian scheme and $Z \subseteq X$ a closed subset of codimension $\geq 2$. We consider here the local obstructions to the map $\hat{\pi}_{1}(X\backslash Z) \to \hat{\pi}_{1}(X)$ being an isomorphism. Assuming $X$ has…

Let $X$ be a smooth projective variety over a number field, fibered over a curve, with geometrically integral fibers. We prove that, supposing the finiteness of $\sha(Jac(C))$, if the fibers over a generalised Hilbertian subset satisfy the…

Let k be any global field of characteristic not 2. We construct a k-variety X such that X(k) is empty, but for which the emptiness cannot be explained by the Brauer-Manin obstruction or even by the Brauer-Manin obstruction applied to finite…

It is possible to talk about the \'etale homotopy equivalence of rational points on algebraic varieties by using a relative version of the \'etale homotopy type. We show that over $p$-adic fields rational points are homotopy equivalent in…

We consider local-global principles for torsors under linear algebraic groups, over function fields of curves over complete discretely valued fields. The obstruction to such a principle is a version of the Tate-Shafarevich group; and for…

We determine the Artin-Mazur \'etale homotopy types of moduli stacks of polarised abelian schemes using transcendental methods and derive some arithmetic properties of the \'etale fundamental groups of these moduli stacks. Finally we…

The goal of this paper is to set up an obstruction theory in the context of algebras over an operad and in the framework of differential graded modules over a field. Precisely, the problem we consider is the following: Suppose given two…

Classical descent theory of Colliot-Th\'el\`ene and Sansuc for rational points tells that, over a smooth variety $X$, the algebraic Brauer--Manin subset equals the descent obstruction subset defined by a universal torsor. Moreover, Harari…

A new approach to \'etale homotopy theory is presented which applies to a much broader class of objects than previously existing approaches, namely it applies not only to all schemes (without any local Noetherian hypothesis), but also to…

We define an invariant for the existence of r pointwise linearly independent sections in the tangent bundle of a closed manifold. For low values of r, explicit computations of the homotopy groups of certain Thom spectra combined with…

We develop square zero obstruction theory for modules over $\mathbb{E}_1$-algebras in an arbitrary stable (presentably) monoidal $\infty$-category. We explicitly describe the obstruction element as the homotopy class of a canonically…

Let $k$ be a number field. We construct homogeneous spaces of $SL_{n,k}$ with finite nilpotent non-abelian stabilizers for which the Brauer-Manin obstruction does not explain the failure of strong approximation (resp. the failure of the…

In this note we introduce the concept of reflective projective varieties. These are stratified projective varieties with certain dimension constraints on their dual varieties. We prove that for such varieties, the Chern-Schwartz-MacPherson…