Related papers: Wildly Compatible Systems and Six Operations

The model of asynchronous programming arises in many contexts, from low-level systems software to high-level web programming. We take a language-theoretic perspective and show general decidability and undecidability results for asynchronous…

We show that including degrees of a particular kind of provability in the search target for any theorem-prover in sufficiently powerful formal systems over finite-sized statements preserves well-definition and a sufficient consistency while…

We show that a wide class of geometrically defined overdetermined semilinear partial differential equations may be explicitly prolonged to obtain closed systems. As a consequence, in the case of linear equations we extract sharp bounds on…

We prove, for quasicompact separated schemes over ground fields, that Cech cohomology coincides with sheaf cohomology with respect to the Nisnevich topology. This is a partial generalization of Artin's result that for noetherian schemes…

We introduce and study configuration schemes, which are obtained by ``glueing'' usual schemes along closed embeddings. The category of coherent sheaves on a configuration scheme is investigated. Smooth configuration schemes provide…

The goal of this article is to prove that every surface with a regular point in the three-dimensional projective space of degree at least four, is of wild representation type under the condition that either $X$ is integral or…

Let $X$ and $\mathfrak{a}$ be an affine scheme and (respectively) a finite-dimensional associative algebra over an algebraically-closed field $\Bbbk$, both equipped with actions by a linearly-reductive linear algebraic group $G$. We…

We indicate how to construct a family of modulation function spaces that have a scaling symmetry. We also illustrate the behavior of the Schr\"odinger multiplier on such function spaces.

Finite difference schemes for the simulation of elastic waves in materi- als with jump discontinuities are presented. The key feature is the highly accurate treatment of interfaces where media discontinuities arise. The schemes are…

Solvable structures are exploited in order to find families of explicit solutions to evolution PDEs admitting suitable differential constraints. The effectiveness of the method is verified on several explicit examples.

In this paper implicit and explicit exact difference schemes (EDS) for system $\textbf{x}' = A\textbf{x}$ of three linear differential equations with constant coefficients are constructed. Numerical simulations for stiff problem and for…

In this paper we develop a theory of Grothendieck's six operations for adic constructible sheaves on Artin stacks continuing the study of the finite coefficients case in math.AG/0512097.

We introduce the notion of a holonomic D-module on a smooth (idealized) logarithmic scheme and show that Verdier duality can be extended to this context. In contrast to the classical case, the pushforward of a holonomic module along an open…

Many dynamical systems, such as the Lotka-Volterra predator-prey model and the Euler equations for the free rotation of a rigid body, are PT symmetric. The standard and well-known real solutions to such dynamical systems constitute an…

Let $Y$ be a normal and projective variety over an algebraically closed field $k$ and $V$ a vector bundle over $Y$. We prove that if there exist a $k$-scheme $X$ and a finite surjective morphism $g:X\to Y$ that trivializes $V$ then $V$ is…

A procedure for constructing bivariant theories by means of Grothendieck duality is developed. This produces, in particular, a bivariant theory of Hochschild (co)homology on the category of schemes that are flat, separated and essentially…

Let ${\mathfrak o}$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ and ${\mathfrak X}_0$ a smooth formal scheme over the formal spectrum of ${\mathfrak o}$. Given an admissible formal blow-up ${\mathfrak X}$ of…

A morphism of the reduced Gieseker -- Maruyama moduli functor (of semistable coherent torsion-free sheaves) to the reduced moduli functor of admissible semistable pairs with the same Hilbert polynomial, is constructed. It is shown that main…

Let G be a connected semisimple algebraic group over $k$, with Lie algebra $\g$. Let $\h$ be a subalgebra of $\g$. A simple finite-dimensional $\g$-module V is said to be $\h$-indecomposable if it cannot be written as a direct sum of two…

We consider overdetermined systems of difference equations for a single function $u$ which are consistent, and propose a general framework for their analysis. The integrability of such systems is defined as the existence of higher order…