Related papers: Harder-Narasimhan theory
We note that Gabber's rigidity theorem for the algebraic K-theory of henselian pairs also holds true for hermitian K-theory with respect to arbitrary form parameters.
We establish some comparison results among the different parameterized Galois theories for $q$-difference equations, completing the work by CHatzidakis, Hardouin and Singer, that addresses the problem in the case without parameters. Our…
Some formulas and speculations are presented relative to integrable systems and quantum mechanics.
This is a sequel to "Kodaira-Saito vanishing via Higgs bundles in positive characteristic" (arXiv:1611.09880). However, unlike the previous paper, all the arguments here are in characteristic zero. The main result is a Kodaira vanishing…
We give a generalized version of the Freyd conjecture and a way to think about a possible proof. The essential point is to describe an elementary formal reduction of the question that holds in any triangulated category. There are no new…
In this paper we continue the study of the Hamiltonian formalism of the healthy extended Horava-Lifshitz gravity. We find the constraint structure of given theory and argue that this is the theory with the second class constraints. Then we…
We give an unconditional version of a conditional, on the Extended Riemann Hypothesis, result of L. Babai, A. Banerjee, R. Kulkarni and V. Naik (2010) on the evasiveness of sparse graphs.
An open problem concerning Riemann sums, posed by O. Furdui, is considered.
We prove a new and unified GAGA theorem. This recovers all analytic and formal GAGA results in the literature, and is also valid in the non-noetherian setting. Our method can also be used to establish various Lefschetz theorems and…
We give a short proof for the Hartogs's extension theorem on (n-1)-complete complex spaces.
Algebraic deformations of modules over a ring are considered. The resulting theory closely resembles Gerstenhaber's deformation theory of associative algebras.
This paper has been withdrawn by the author due to the version of [A complete proof of Hamilton's conjecture] at arXiv:1008.1576
We extend the main result of (G. Badia and G. Olkhovikov. A Lindstr\"om theorem for intuitionistic propositional logic. Notre Dame Journal of Formal Logic, 61 (1): 11--30 (2020)) to the first-order intuitionistic logic (with and without…
The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…
We point out that some questions in quantum field theory are undecidable in a precise mathematical sense. More concretely, it will be demonstrated that there is no algorithm answering whether a given 2d supersymmetric Lagrangian theory…
This abstract presents (without proofs) some new results on commutativity degree of finite groups.
In this paper, we propose a geometric Hamilton-Jacobi theory for systems of implicit differential equations. In particular, we are interested in implicit Hamiltonian systems, described in terms of Lagrangian submanifolds of $TT^*Q$…
In this article using elementary school level Geometry we observe an alternative proof of Pythagorean Theorem from Heron's Formula.
We provide a new simple and transparent proof of the version of Kummer's test given in [Tong, J. (1994). Amer. Math. Monthly. 101(5): 450--452]. Our proof is based on an application of a Hardy--Littlewood Tauberian theorem.
We prove some new results related to Tanaka's formula.