Related papers: On Tarski's Decidability Problem

This paper attempts to relate some ideas of Grothendieck in his Esquisse d'un programme and some of the recent results on 2-dimensional topology and geometry. Especially, we shall discuss the Teichm\"uller theory, the mapping class groups,…

This paper is about the surprising interaction of a foundational result from model theory, about stability of theories, with algorithmic stability in learning. First, in response to gaps in existing learning models, we introduce a new…

Let $G$ be a simple algebraic group over an algebraically closed field and let $X$ be an irreducible subvariety of $G^r$ with $r \geqslant 2$. In this paper, we consider the general problem of determining if there exists a tuple $(x_1,…

The so-called type problem or forcing problem is considered as a way to generalize Sharkovskii's theorem. In this paper, by focusing on certain types of orbits, we obtain a solution of the type problem, which gives a refinement of…

For the importance of differentiation theorems in metric spaces (starting with Pansu Rademacher type theorem in Carnot groups) and relations with rigidity of embeddings see the section 1.2 in Cheeger and Kleiner paper arXiv:math/0611954 and…

These are lecture notes from my talks at the "Current Developments in Mathematics" conference (Harvard, 2006). They cover a variety of topics involving symplectic cohomology. In particular, a discussion of (algorithmic) classification…

The aim of this work is to study a kind of refinement of the entropy conjecture, in the context of partially hyperbolic diffeomorphisms with one dimensional central direction, of d-dimensional torus. We start by establishing a connection…

Disformal transformation provides a map relating different scalar-tensor and vector-tensor theories and gives access to a powerful solution-generating method in modified gravity. In view of the vast family of new solutions one can achieve,…

The first part of the paper is a brief overview of Hindman's finite sums theorem, its prehistory and a few of its further generalizations, and a modern technique used in proving these and similar results, which is based on idempotent…

We introduce a framework for internal topological symmetries in quantum field theory, including "noninvertible symmetries" and "categorical symmetries". This leads to a calculus of topological defects which takes full advantage of…

We set up a generalization of ubiquitous one-parameter families in algebraic geometry and their use for stability theories ([GIT, HL, AHLH]) to families over toric varieties and their analytic analogues. The language allows us to…

Building on our previous work (arXiv:1405.5711), we develop the first practical algorithm for computing topological zeta functions of nilpotent groups, non-associative algebras, and modules. While we previously depended upon non-degeneracy…

I reply to the four points raised by S. A. Hayward, R. Di Criscienzo, M. Nadalini, L. Vanzo, S. Zerbini (arXiv:0909.2956v1) against my comment (arXiv:0907.2020v1) to their previous article. I maintain my position on the wrongness of their…

Let M be a module over a commutative ring and let Spec(M) (resp. Max(M)) be the collection of all prime (resp. maximal) submodules of M. We topologize Spec(M) with Zariski topology, which is analogous to that for Spec(R), and consider…

This arXived paper has two independant parts, that are improved and corrected versions of different parts of a single paper once named "On equations in relatively hyperbolic groups". The first part is entitled "Existential questions in…

The Tarski number of an action of a group G on a set X is the minimal number of pieces in a paradoxical decomposition of it. For any k>3 we construct a faithful transitive action of a free group of rank k-1 with Tarski number k. Using…

By means of an analogy with Classical Mechanics and Geometrical Optics, we are able to reduce Lagrangians to a kinetic term only. This form enables us to examine the extended solution set of field theories by finding the geodesics of this…

We revisit the field content and consistency of the New General Relativity family of theories. These theories are constructed in a geometrical framework with a flat and metric-compatible connection, so the affine structure is entirely…

We prove several new results about the topology of fibers of Gelfand--Zeitlin systems on unitary and orthogonal coadjoint orbits, at the same time finding a unifying framework recovering and shedding light on essentially all known results.…

We investigate some properties of topological groups related to disconnectedness or Archimedeanness. We prove or disprove the preservation of those under operations as subgroups, quotients, products, etc. Characterizations of…