Related papers: Formally Integrable Structures II. Division Proble…
In his proof of the fundamental lemma of the Langlands program, Ng\^o initiated the study of the decomposition theorem for abelian fibrations. When an abelian fibration admits a duality structure, the decomposition theorem and the perverse…
The attempt is to give a formal concpet of system, and with this provide a definition of category, that will also satisfy the definition of a system. An axiomatic base is given, for constructing the group of integers. In the process, we…
This is an expository paper about the Borel complexity of structure and classification theorems. It sorts several classical problems relative to known benchmarks of complexity. As a corollary various problems proposed by people such as von…
This paper investigates the geometric constraints imposed on a domain by overdetermined problems for partial differential equations. Serrin's symmetry results are extended to overdetermined problems with potentially degenerate ellipticity…
Algebraic integrability of the elliptic Calogero--Moser quantum problem related to the deformed root systems $\pbf{A_{2}(2)}$ is proved. Explicit formulae for integrals are found.
We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of…
Given a complex, elliptic coefficient function we investigate for which values of $p$ the corresponding second-order divergence form operator, complemented with Dirichlet, Neumann or mixed boundary conditions, generates a strongly…
By using a suitable topological argument based on cohomological linking and by exploiting a Trudinger-Moser inequality in fractional spaces recently obtained, we prove existence of multiple solutions for a problem involving the nonlinear…
We study algebraic structures ($L_\infty$ and $A_\infty$-algebras) introduced by Gaiotto, Moore and Witten in their recent work devoted to certain supersymmetric 2-dimensional massive field theories. We show that such structures can be…
The aim of this paper is to bring together two approaches to non-conservative systems -- the generalized variational principle of Herglotz and the fractional calculus of variations. Namely, we consider functionals whose extrema are sought,…
Locally variational systems of differential equations on smooth manifolds, having certain de Rham cohomology group trivial, automatically possess a global Lagrangian. This important result due to Takens is, how-ever, of sheaf-theoretic…
Hybrid inverse problems are mathematical descriptions of coupled-physics (also called multi-waves) imaging modalities that aim to combine high resolution with high contrast. The solution of a high-resolution inverse problem, a first step…
We prove the existence of solutions for some integro-differential systems containing equations with and without the drift terms in the H^2 spaces by virtue of the fixed point technique when the elliptic equations contain second order…
The Calder\'on problem for the fractional Schr\"odinger equation was introduced in the work \cite{GSU}, which gave a global uniqueness result also in the partial data case. This article improves this result in two ways. First, we prove a…
A general structure theorem on higher order invariants is proven. For an arithmetic group, the structure of the corresponding Hecke module is determined. It is shown that the module does not contain any irreducible submodule. This explains…
We provide a new proof of a important theorem in the Lagrangian formalism about necessary and sufficient conditions for a second-order variational system of equations to follow from a first-order Lagrangian.
We prove results on solvability of nonlinear elliptic partial differential systems of principle type of second order. They are consequences of existence of non-radial solutions for nonlinear partial differential systems of Poisson type. As…
G\"odel's argument for the First Incompleteness Theorem is, structurally, a proof by contradiction. This article intends to reframe the argument by, first, isolating an additional assumption the argument relies on, and then, second, arguing…
We consider the Euler approach to construction and to investigation of the superintegrable systems related to the addition theorems. As an example we reconstruct Drach systems and get some new two-dimensional superintegrable Stackel…
A theory of a derivator version of six-functor-formalisms is developed, using an extension of the notion of fibered multiderivator due to the author. Using the language of (op)fibrations of 2-multicategories this has (like a usual fibered…