Related papers: The elementary obstruction and the Weil restrictio…

In this paper, for a smooth variety equiped with an action of a connected algebraic group (not necessary linear), we introduce the notion of invariant Brauer sub-group and the notion of invariant \'etale Brauer-Manin obstruction. Then we…

In this paper, we study obstructions to the Dirichlet property by two approaches: density of non-positive points and functionals on adelic R-divisors. Applied to the algebraic dynamical systems, these results provide examples of nef adelic…

We show that the Shimura varieties of level one parametrizing QM-abelian varieties have rarely rational points.

We prove, and mechanize in Rocq, an abstract obstruction theorem for primitive closure predicates, defined as $C : \mathsf{Form} \to \mathsf{Prop}$ over the closed implication-falsity fragment $A,B ::= \bot \mid A \to B$. Two structurally…

On a M\"obius surface, as defined by D. Calderbank, we study a variant of the Einstein-Weyl (EW) equation which we call scalar-flat M\"obius EW (sf-MEW). This is a conformally invariant, finite type, overdetermined system of semi-linear…

We construct the Weil restriction map for l-adic cohomology and, more generally, for mixed Weil cohomology theories. We study its compatibility with the motivic cycle class map and show that these constructions admit a natural…

We prove the -- to the best knowledge of the authors -- first result on the fine asymptotic behavior of the regular part of the free boundary of the obstacle problem close to singularities. The result is motivated by our recent partial…

Assuming natural variational realization conjectures, we give uniform bounds for the obstruction to the integral Tate conjecture in 1-dimensional families of algebraic varieties over an infinite finitely generated field.

In the present paper we describe topological obstructions to embedding of a (complex) matrix algebra bundle into a trivial one under some additional arithmetic condition on their dimensions. We explain a relation between this problem and…

For algebraic stacks over number fields, we define their Brauer-Manin sets, Brauer-Manin pairings, and extend the descent theory of Colliot-Th\'el\`ene and Sansuc. By extending Sansuc's exact sequence, we show the torsionness of Brauer…

In this paper, we consider an obstruction-theoretical construction of characteristic classes of fiber bundles by simplicial method. We can get a certain obstruction class for a deformation of $C_\infty$-algebra models of fibers and a…

This is a textbook on arithmetic geometry with special regard to unramified Brauer groups of algebraic varieties. The topics include Galois cohomology, Brauer groups, obstructions to stable rationality, arithmetic and geometry of quadrics,…

We study the existence, uniqueness, and regularity of weak solutions to a class of obstacle problems, where the obstacle condition can be imposed on a subset of the domain. In particular, we establish the optimal H\"older regularity for…

We introduce a concept that we call module restriction, which generalizes the classical Weil restriction. We first establish some fundamental properties, as existence and \'etaleness. Then we apply our results to show that Grothendiecks…

Let $p$ be an odd prime, and let $k$ be an arbitrary field of characteristic not $p$. In this article we determine the obstructions for the realizability as Galois groups over $k$ of all groups of orders $p^5$ and $p^6$, that have an…

We determine the behavior under Weil restriction of the group of connected components of the special fiber of an arbitrary smooth group scheme (whose Weil restriction exists) over an arbitrary (commutative and unital) local ring.…

The paper is a survey of some results about Weil algebras applicable in differential geometry, especially in some classification questions on bundles of generalized velocities and contact elements. Mainly, a number of claims concerning a…

We show how the Weil pairing can be used to evaluate the assigned characters of an imaginary quadratic order $\mathcal{O}$ in an unknown ideal class $[\mathfrak{a}] \in \mathrm{Cl}(\mathcal{O})$ that connects two given…

We will investigate proof-theoretic and linguistic aspects of first-order linear logic. We will show that adding partial order constraints in such a way that each sequent defines a unique linear order on the antecedent formulas of a sequent…

Let X be a smooth or proper variety defined over a finite field. The geometric etale fundamental group of X is a normal subgroup of the Weil group, so conjugation gives it a Weil action. We consider the pro-Q_l-algebraic completion of the…