Related papers: Kato-Nakayama's comparison theorem and analytic lo…
With a view to proving the conjecture of "dlt extension" related to the abundance conjecture, a sequence of potential candidates for replacing the Ohsawa measure in the Ohsawa-Takegoshi $L^2$ extension theorem, called the "lc-measures",…
We analyze the problem of comparing unitary transformations. The task is to decide, with minimal resources and maximal reliability, whether two given unitary transformations are identical or different. It is possible to make such…
In these notes, uniform convergence on compacta is studied on the space of functions taking values in the set of finite Borel measures. Related limit theorems, including L\'evy's continuity theorem and functional limit theorems for…
We describe a translation from a fragment of SUMO (SUMO-K) into higher-order set theory. The translation provides a formal semantics for portions of SUMO which are beyond first-order and which have previously only had an informal…
In this note, we state various generalisations of the Nakano vanishing theorem under weak positivity assumptions, and compare them with the known results.
By adapting arguments of Annala-Hoyois-Iwasa in the log setting, we prove Poincar\'e duality for smooth projective morphisms in logarithmic motivic homotopy theory. As an application, we show that the crystalline cohomology of a log…
A new approach to \'etale homotopy theory is presented which applies to a much broader class of objects than previously existing approaches, namely it applies not only to all schemes (without any local Noetherian hypothesis), but also to…
We study elementary theories of well-pointed toposes and pretoposes, regarded as category-theoretic or "structural" set theories in the spirit of Lawvere's "Elementary Theory of the Category of Sets". We consider weak intuitionistic and…
We obtain sufficient conditions ensuring the topological equivalence of two perturbed difference linear systems whose linear part has a property of generalized exponential dichotomy. When the exponential dichotomy is verified, we obtain a…
We extend the conjecture on the derived equivalence and K-equivalence to the logarithmic case and prove it in the toric case.
We consider a complex of tori of length 2 defined over a number field k. We establish here some local and global duality theorems for the (\'etale or Galois) hypercohomology of such a complex. We prove the existence of a Poitou-Tate exact…
We suggest an explanation for the part of the Satake Correspondence which relates the quantum cohomology of complex Grassmannians and the quantum cohomology of complex projective space, as well as their respective Stokes data, based on the…
We introduce an abstract topos-theoretic framework for building Galois-type theories in a variety of different mathematical contexts; such theories are obtained from representations of certain atomic two-valued toposes as toposes of…
This paper deals with extension of analytic covers. We prove topological extension theorems for analytic covers. The main result is an extension theorem which only uses the extension of the ramification divisor. We give also a Thullen-type…
A duality of $\kappa$-normed topological vector spaces is defined and investigated. For such spaces the analog of the Mackey-Arens theorem is proved. There are investigated cases, when $\kappa$-normability of a topological vector space…
In 1986, Kato set up a framework of conjectures relating (higher) $0$-cycles and \'etale cohomology for smooth projective schemes over finite fields or rings of integers in local fields through the homology of so-called Kato complexes. In…
Comparative constructions pose a challenge in Natural Language Inference (NLI), which is the task of determining whether a text entails a hypothesis. Comparatives are structurally complex in that they interact with other linguistic…
We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for \'etale cohomology with nontrivial coefficients, as well as in the relative setting, i.e.…
The main result of this thesis is the construction of a tannakian context over the category of sup-lattices, associated with an arbitrary Grothendieck topos, and the attainment of new results in tannakian representation theory from it.…
Approximations to the Kruskal-Katona theorem are stated and proven. These approximations are weaker than the theorem, but much easier to work with numerically.