6 papers
Global Fukaya category II: applications
Yasha Savelyev
To paraphrase, part I constructs a bundle of categories given the input of a Hamiltonian fibration over a smooth manifold. Here we show that this bundle is generally…
Strict contactomorphisms are scarce
Yong-Geun Oh, Yasha Savelyev
The notion of non-projectible contact forms on a given compact manifold is introduced by the first-named author in [Ohb], the set of which he also shows is a residual subset of…
Quantum Maslov classes
Yasha Savelyev
We give a construction of ``quantum Maslov characteristic classes'', generalizing to higher dimensional cycles the Hu-Lalonde-Seidel morphism. We also state a conjecture extending…
Incompleteness theorems via Turing category
Yasha Savelyev
We give a reframing of Godel's first and second incompleteness theorems that applies even to some undefinable theories of arithmetic. The usual Hilbert-Bernays provability conditio…
Mean curvature versus diameter and energy quantization
Yasha Savelyev
We first partially extend a theorem of Topping, on the relation between mean curvature and intrinsic diameter, from immersed submanifolds of to almost everywhere…
Non-computability of human intelligence
Yasha Savelyev
We revisit the question (most famously) initiated by Turing: can human intelligence be completely modeled by a Turing machine? We show that the answer is \emph{no}, assuming a cert…