Related papers: Obstructions to return preservation for episturmia…
In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is…
For axiom A diffeomorphisms and equilibrium state, we prove a Large deviation result for the sequence of successive return times into a fixed open set, under some assumption on the boundary. Our result relies on and extends the work by…
For a complex analytic variety with an action of a finite group and for an invariant 1-form on it, we give an equivariant version (with values in the Burnside ring of the group) of the local Euler obstruction of the 1-form and describe its…
A class of structures is said to have the homomorphism-preservation property just in case every first-order formula that is preserved by homomorphisms on this class is equivalent to an existential-positive formula. It is known by a result…
We introduce a new natural notion of convergence for permutations at any specified scale, in terms of the density of patterns of restricted width. In this setting we prove that limits may be chosen independently at a countably infinite…
In the previous paper, we studied obstructions to the existence of complex sections on almost complex manifolds up to cobordism. We determined the obstruction rationally, in terms of the Chern classes. In this paper, we study the torsion…
This note gives a uniform, self-contained, and fairly direct approach to a variety of obstruction-theoretic problems on 8-manifolds. We give necessary and sufficient cohomological critera for the existence of almost complex and almost…
We prove a first principle of preservation of multiplicity in difference geometry, paving the way for the development of a more general intersection theory. In particular, the fibres of a \sigma-finite morphism between difference curves are…
We present infinitely many nonlocal conservation laws, a pair of compatible local Hamiltonian structures and a recursion operator for the equations describing surfaces in three-dimensional space that admit nontrivial deformations which…
Geometric Complexity Theory as initiated by Mulmuley and Sohoni in two papers (SIAM J Comput 2001, 2008) aims to separate algebraic complexity classes via representation theoretic multiplicities in coordinate rings of specific group…
An infinite word, which is aperiodic and codes the orbit of a transformation of the exchange of three intervals is called 3iet word. Such a word is thus a natural generalization of a sturmian word to a word over 3-letter alphabet. A…
We provide a new topological obstruction for complete stable minimal hypersurfaces in R^n. For $n\geq 4$, we prove that any complete orientable stable hypersurfaces in R^n has only one end. This follows from a more general analytic theorem…
We give an elementary obstruction to reducibility for knotted surfaces in the four-sphere. As a new application, we construct stably irreducible non-orientable surfaces.
We study obstructed deformation problems for two-dimensional residual Galois representations arising from weight~$2$ newforms of level~$N$. Using Poitou-Tate duality, we isolate local and global sources of obstructions and give concrete…
This paper gives a uniform, self-contained and direct approach to a variety of obstruction-theoretic problems on manifolds of dimension 7 and 6. We give necessary and sufficient cohomological criteria for the existence of various…
In contrast to finite arithmetic configurations, relatively little is known about which infinite patterns can be found in every set of natural numbers with positive density. Building on recent advances showing infinite sumsets can be found,…
A pseudoisotopy of $M$ is a diffeomorphism of $M\times I$ which is the identity on $M\times 0$. We give an explicit construction of pseudoisotopies of 4-manifolds which realize certain elements of the "second obstruction to pseudoisotopy".…
We find new obstructions to the existence of complete Riemannian metric of nonnegative sectional curvature on manifolds with infinite fundamental groups. In particular, we construct many examples of vector bundles whose total spaces admit…
Base on a conjecture, we prove that for any smooth separated stack of finite type over a number field, its descent obstruction equals its iterated descent obstruction. As a consequence, we show that for any algebraic stack over a number…
We revisit the work studying homomorphism preservation for first-order logic in sparse classes of structures initiated in [Atserias et al., JACM 2006] and [Dawar, JCSS 2010]. These established that first-order logic has the homomorphism…