Related papers: The elementary obstruction and the Weil restrictio…
We answer in the affirmative two conjectures made by Klein and Williams. First, in a range of dimensions, the equivariant Reidemeister trace defines a complete obstruction to removing $n$-periodic points from a self-map $f$. Second, this…
We study the functor of Weil restriction in the category of Huber's adic spaces and in the category of Berkovich spaces. We prove criteria for the representability of these functors in the respective categories. As an application of adic…
Following Bright and Newton, we construct an explicit K$3$ surface over the rational numbers having good reduction at 2, and for which 2 is the only prime at which weak approximation is obstructed.
We study the obstacle problem related to a wide class of nonlinear integro-differential operators, whose model is the fractional subLaplacian in the Heisenberg group. We prove both the existence and uniqueness of the solution, and that…
Since Chern and Grothendieck, Chern's characteristic class theory has made significant progress. In particular with regard to the classes of singular varieties. Conjectured by Grothendieck and Deligne and demonstrated by MacPherson, Chern…
We give an algorithm that takes a smooth hypersurface over a number field and computes a $p$-adic approximation of the obstruction map on the Tate classes of a finite reduction. This gives an upper bound on the "middle Picard number" of the…
In [1] it was shown that the Kochen Specker theorem can be written in terms of the non-existence of global elements of a certain varying set over the partially ordered set of boolean subalgebras of projection operators on some Hilbert…
We consider the obstacle problem with irregular barriers for semilinear elliptic equation involving measure data and operator corresponding to a general quasi-regular Dirichlet form. We prove existence and uniqueness of a solution as well…
We present an argument due to Thom to formulate a priori cohomology obstructions for a projective variety to admit an embedded resolution of singularities, and generalize the argument to a field of characteristic $p > 0$. We show that these…
We present new criteria that obstruct an isogeny class of abelian varieties over a finite field with a given Weil polynomial from containing a Jacobian of a genus-3 hyperelliptic curve. Based on our analysis of the Weil polynomials of…
We revisit Akbulut and King's first example of a compact semialgebraic set which satisfies Sullivan's local Euler characteristic condition, but which is not homeomorphic to an algebraic set. A nontrivial obstruction is computed using the…
We show that three different kinds of cohomology - Baues-Wirsching cohomology, the (S,O)-cohomology of Dwyer-Kan, and the Andre-Quillen cohomology of a Pi-algebra - are isomorphic, under certain assumptions. This is then used to identify…
For a curve over a global field we consider for which integers d the d-primary part of the Brauer group can obstruct the existence of rational points. We give examples showing it is possible that there is a d-primary obstruction for…
We develop an obstruction theory for the existence of gauge equivalences in complete differential graded Lie algebras. Specifically, this theory provides a characterization of homotopy equivalences between differential graded algebras…
Several types of generically-nondegenerate Poisson structures can be effectively studied as symplectic structures on naturally associated Lie algebroids. Relevant examples of this phenomenon include log-, elliptic, $b^k$-, scattering and…
We prove that for a large class of subvarieties of abelian varieties over global function fields, the Brauer-Manin condition on adelic points cuts out exactly the rational points. This result is obtained from more general results concerning…
Let $X$ be a closed subvariety of an abelian variety $A$ over a global function field $k$ such that the base change of $A$ to an algebraic closure does not have any positive dimensional isotrivial quotient. We prove that every adelic point…
For any pencil of conics or higher-dimensional quadrics over the rationals, with all degenerate fibres defined over the rationals, we show that the Brauer-Manin obstruction controls weak approximation. The proof is based on the Hasse…
Commutator anomalies obstruct solving the Wheeler-DeWitt constraint equation in Dirac quantization of quantum gravity-matter theory. When the obstruction is removed, there result quantal modifications to the constraints. The same classical…
We prove that there exist rational but not uniformly rational smooth algebraic varieties. The proof is based on computing a certain numerical obstruction developed in the case of compactifications of affine spaces. We show that for some…