Related papers: Representability of Elliptic Moduli Problems in De…

We summarize current work aimed at showing that moduli spaces of solutions to non-linear elliptic Fredholm partial differential equations are derived log smooth manifolds.

Proving representability of derived moduli stacks of solutions to non-linear elliptic partial differential equations generally requires significant analytic machinery. In this paper, we instead show that representability naturally follows…

We construct a sheaf theoretic and derived geometric machinery to study nonlinear partial differential equations and their singular supports. We establish a notion of derived microlocalization for solution spaces of non-linear equations and…

Fix a ruled surface S obtained as the projective completion of a line bundle L on a complex elliptic curve; we study the moduli problem of parametrizing certain pairs consisting of a sheaf E on S and a map of E to a fixed reference sheaf on…

We compute the (stable) \'etale cohomology of $\mathrm{Hom}_{n}(C, \mathcal{P}(\vec{\lambda}))$, the moduli stack of degree $n$ morphisms from a smooth projective curve $C$ to the weighted projective stack $\mathcal{P}(\vec{\lambda})$, the…

We introduce frameworks for constructing global derived moduli stacks associated to a broad range of problems, bridging the gap between the concrete and abstract conceptions of derived moduli. Our three approaches are via differential…

Elliptic stochastic differential equations (SDE) make sense when the coefficients are only continuous. We study the corresponding linearized SDE whose coefficients are not assumed to be locally bounded. This leads to existence of…

We describe derived moduli functors for a range of problems involving schemes and quasi-coherent sheaves, and give cohomological conditions for them to be representable by derived geometric n-stacks. Examples of problems represented by…

Let $X$ be a smooth scheme over an algebraically closed field. When $X$ is proper, it was proved in \cite{me1} that the moduli of $\ell$-adic continuous representations of $\pi_1^\et(X)$, $\LocSys(X)$, is representable by a (derived)…

This paper explores the embedding of lattice structures $L \subseteq \mathbb{R}^n$ into smooth manifolds $M \subseteq \mathbb{R}^n$ through a rigorous mathematical framework. Building upon the foundational results established in "Embedding…

We prove that the category of vector bundles over a fixed smooth manifold and its corresponding category of convenient modules are models for intuitionistic differential linear logic. The exponential modality is modelled by composing the…

We introduce a new moduli stack, called the Serre stable moduli stack, which corresponds to studying families of point objects in an abelian category with a Serre functor. This allows us in particular, to re-interpret the classical derived…

We establish a local model for the moduli space of holomorphic symplectic structures with logarithmic poles, near the locus of structures whose polar divisor is normal crossings. In contrast to the case without poles, the moduli space is…

Using the moduli space of semiorthogonal decompositions in a smooth projective family, introduced by the second, the third and the fourth author, we propose a novel approach to indecomposability questions for derived categories. Modulo a…

A formalism of arithmetic partial differential equations (PDEs) is being developed in which one considers several arithmetic differentiations at one fixed prime. In this theory solutions can be defined in algebraically closed p-adic fields.…

This paper deals with a study of the rational elliptic surfaces whose $J$-invariant functions are of degree one. Almost all of these elliptic surfaces have four singular fibers, while the remaining surfaces have only three singular fibers.…

This is the second part of a series of papers devoted to develop Homotopical Algebraic Geometry. We start by defining and studying generalizations of standard notions of linear and commutative algebra in an abstract monoidal model category,…

These are expanded notes from some talks given during the fall 2002, about ``homotopical algebraic geometry'' (HAG) with special emphasis on its applications to ``derived algebraic geometry'' (DAG) and ``derived deformation theory''. We use…

We show that any viscosity solution to a general fully nonlinear nonlocal elliptic equation can be approximated by smooth ($C^\infty$) solutions.

Solutions of partial differential equations (PDEs) on manifolds have provided important applications in different fields in science and engineering. Existing methods are majorly based on discretization of manifolds as implicit functions,…