Related papers: Homotopy Obstructions to Rational Points

The \'etale Brauer\textendash Manin obstruction is equivalent to each other among Weil restrictions of an arbitrarily given quasi-projective algebraic variety defined over a number field.

We construct a finite subgroup of Brauer-Manin obstruction for detecting the existence of integral points on integral models of homogeneous spaces of linear algebraic groups of multiplicative type. As application, the strong approximation…

Given a variety with a suitable Brauer class, we present a general pullback construction that produces varieties that has Brauer--Manin obstruction to the existence of rational points. We then study Severi--Brauer fibrations and their…

We identify a strong structural obstruction to Uniform Separation in constructive arithmetic. The mechanism is independent of semantic content; it emerges whenever two distinct evaluator predicates are sustained in parallel and inference…

A number of compactifications familiar in complex-analytic geometry, in particular, the Baily-Borel compactification and its toroidal variants, as well as the Deligne-Mumford compactifications, can be covered by open subsets whose nonempty…

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…

This is the second in a series of papers. Here we develop here an intersection theory for manifolds equipped with an action of a finite group. As in our previous paper, our approach will be homotopy theoretic, enabling us to circumvent the…

It is known algebraically that any abelian group is a direct sum of a divisible group and a reduced group (See Theorem 21.3 of \cite{Fuchs:abelian-group}). In this paper, conditions to split off rational parts in homotopy types from a given…

Embeddings of maximal tori into classical groups over global fields of characteristic not 2 are the subject matter of several recent papers, with special attention to the Hasse principle. The present paper gives necessary and sufficient…

We consider a class of formula equations in first-order logic, Horn formula equations, which are defined by a syntactic restriction on the occurrences of predicate variables. Horn formula equations play an important role in many…

In this paper we provide an explicit general construction of higher homotopy operations in model categories, which include classical examples such as (long) Toda brackets and (iterated) Massey products, but also cover unpointed operations…

We study rational cuspidal curves in projective surfaces. We specify two criteria obstructing possible configurations of singular points that may occur on such curves. One criterion generalizes the result of Fernandez de Bobadilla, Luengo,…

The space of E-infinity structures on an simplicial operad C is the limit of a tower of fibrations, so its homotopy is the abutment of a Bousfield-Kan fringed spectral sequence. The spectral sequence begins (under mild restrictions) with…

We construct a (smooth, projective) surface over the field of rational numbers, which is a counterexample to the Hasse principle not accounted for by the Manin obstruction. The construction relies on the classical 4-descent on elliptic…

We consider the structure of rational points on elliptic curves in Weierstrass form. Let x(P)=A_P/B_P^2 denote the $x$-coordinate of the rational point P then we consider when B_P can be a prime power. Using Faltings' Theorem we show that…

In this paper, we describe the homotopy type of the homotopy fixed point sets of $S^3$-actions on rational spheres and complex projective spaces, and provide some properties of $S^1$-actions on a general rational complex.

Given systems of two (inhomogeneous) quadratic equations in four variables, it is known that the Hasse principle for integral points may fail. Sometimes this failure can be explained by some integral Brauer-Manin obstruction. We study the…

We explain how to relate the problem of finding a mirror manifold for a Calabi-Yau manifold to the problem of characterizing the rational homotopy types of closed K\"{a}hler manifolds.

We describe a homotopy-theoretic approach to the theory of moduli of realizations of Blanc-Dwyer-Goerss, reproducing their obstructions to realizing a given $\Pi$-algebra as homotopy groups of a pointed space. Our techniques are based on…

Let C be the complex field and K=C((x,y)) or K=C((x))(y). Let G be a connected linear algebraic group over K. Under the assumption that the K-variety G is K-rational, i.e. that the function field is purely transcendant, it was proved that a…