相关论文: The \'{E}tale Homotopy Type and Obstructions to th…
This is a computational study of bottlenecks on algebraic varieties. The bottlenecks of a smooth variety $X \subseteq \mathbb{C}^n$ are the lines in $\mathbb{C}^n$ which are normal to $X$ at two distinct points. The main result is a…
Since Poonen's construction of a variety $X$ defined over a number field $k$ for which $X(k)$ is empty and the \'etale Brauer--Manin set $X(\mathbf{A}_k)^\text{Br,et}$ is not, several other examples of smooth, projective varieties have been…
We develop a formalism of cohomological descent encoding adelic points and obstructions to local-global principle on algebraic stacks. As an application, by constructing new obstructions using the formalism, we obtain some comparison…
We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded…
The aim of this paper is to revisit the question of local-global principles for embeddings of \'etale algebras with involution into central simple algebras with involution over global fields of characteristic not 2. A necessary and…
We investigate the question of whether the existence of a family of local zero-cycles of degree $d$ orthogonal to the Brauer group implies the non-emptiness of the Brauer-Manin set for certain varieties. We provide various examples of…
We extend the descent theory of Colliot-Th\'el\`ene and Sansuc to arbitrary smooth algebraic varieties by removing the condition that every invertible regular function is constant. This links the Brauer--Manin obstruction for integral…
Given an abelian variety $A$ over a number field, we consider the generalized Kummer varieties of $A$ coming from quotients of $A$ by an automorphism of prime order $p > 2$. We prove that the Brauer-Manin obstruction on these generalized…
Wall's finiteness obstruction is an algebraic K-theory invariant which decides if a finitely dominated space is homotopy equivalent to a finite CW complex. The object of this survey is to describe the invariant (which was first formulated…
We consider local-global principles for rational points on varieties, in particular torsors, over one-variable function fields over complete discretely valued fields. There are several notions of such principles, arising either from the…
The goal of this note is to explain a derivation of the formulas for the local Euler obstructions of determinantal varieties of general, symmetric and skew-symmetric matrices, by studying the invariant de Rham complex and using character…
It is known that, under a necessary non-compactness assumption, the Brauer-Manin obstruction is the only one to strong approximation on homogeneous spaces $X$ under a linear group $G$ (or under a connected algebraic group, under assumption…
A torsor under a k-group scheme G on a variety X over a number field k imposes a descent obstruction against the existence of rational points on X. We discuss the finite descent obstruction, that is for all such torsors under finite…
Homotopy Brouwer theory is a tool to study the dynamics of surface homeomorphisms. We introduce and illustrate the main objects of homotopy Brouwer theory, and provide a proof of Handel's fixed point theorem. These are the notes of a…
In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…
In this paper we define a rigid rational homotopy type, associated to any variety $X$ over a perfect field $k$ of positive characteristic. We prove comparison theorems with previous definitions in the smooth and proper, and log-smooth and…
Given a map f: M \to M of closed topological manifolds we define torsion obstructions whose vanishing is a necessary condition for f being homotopy equivalent to a projection of a locally trivial fiber bundle. If N = S^1, these torsion…
Given a Lie group acting on a manifold $M$ preserving a closed $n+1$-form $\omega$, the notion of homotopy moment map for this action was introduced in Callies-Fregier-Rogers-Zambon [6], in terms of $L_{\infty}$-algebra morphisms. In this…
Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…
Following [GS22], [LM20] and [CWX20], we study the Brauer-Manin obstruction for integral points on similar Markoff-type cubic surfaces. In particular, we construct a family of counterexamples to strong approximation which can be explained…