Related papers: Generic derivations on o-minimal structures

This article explains and extends semialgebraic homotopy theory (developed by H. Delfs and M. Knebusch) to o-minimal homotopy theory (over a field). The homotopy category of definable CW-complexes is equivalent to the homotopy category of…

The goal of this text is to exhibit some of the ideas and methods from geometric model theory, translated to the particular context of differentially closed fields, exhibiting in a more or less self-contained way the tools needed for the…

This is the second paper of a series of papers on a version of categories $\mathcal{O}$ for root-reductive Lie algebras. Let $\mathfrak{g}$ be a root-reductive Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic…

$\text{TT}^{\Box}_{{\mathcal C}}$ is a generic family of effectful, extensional type theories with a forcing interpretation parameterized by modalities. This paper identifies a subclass of $\text{TT}^{\Box}_{{\mathcal C}}$ theories that…

We clarify the notion of the DS --- generalized Drinfeld-Sokolov --- reduction approach to classical ${\cal W}$-algebras. We first strengthen an earlier theorem which showed that an $sl(2)$ embedding ${\cal S}\subset {\cal G}$ can be…

We study lifting problems for operator semigroups in the Calkin algebra $\mathscr{Q}(\mathcal{H})$, our approach being mainly based on the Brown--Douglas--Fillmore theory. With any normal $C_0$-semigroup $(q(t))_{t\geq 0}$ in…

We described all \delta-derivations of semisimple f.-d. structurable algebras over algebraically closed field with characteritic is not equal 2,3,5.

Starting with a Grothendieck category $\mathcal{G}$ and a torsion pair $\mathbf{t}=(\mathcal{T},\mathcal{F})$ in $\mathcal G$, we study the local finite presentability and local coherence of the heart $\mathcal{H}_{\mathbf{t}}$ of the…

Let $R$ be a ring with identity, $M,N$ right modules over $R$. An additive mapping $\delta$ from $R$ to $R$ is called derivation on ring $R$ if it satisfies the Leibniz condition. If $\delta$ is a derivation on $R$ and $f:M \rightarrow N$…

We study the $T\bar{T}$ deformation of two-dimensional Yang-Mills theory at genus zero by carrying out the analysis at the level of its instanton representation. We first focus on the perturbative sector by considering its power expansion…

We prove a generalization of the topological Tverberg theorem. One special instance of our general theorem is the following: Let $\Delta$ denote the 8-dimensional simplex viewed as an abstract simplicial complex, and suppose that its…

We prove Zilber's Trichotomy Conjecture for strongly minimal expansions of two-dimensional groups, definable in o-minimal structures: Theorem. Let M be an o-minimal expansion of a real closed field, (G;+) a 2-dimensional group definable in…

A classical result of Sz.-Nagy asserts that a Hilbert space contraction operator $T$ can be dilated to a unitary $\cU$. A more general multivariable setting for these ideas is the setup where (i) the unit disk is replaced by a domain…

In this article, we establish the foundations of a computational field theory, which we term Topological Kleene Field Theory (TKFT), inspired by Stephen Kleene's seminal work on partial recursive functions and drawing parallels with…

Topological defect lines (TDLs) in two-dimensional conformal field theories (CFTs) are standard examples of generalized symmetries in quantum field theory. Integrable lattice incarnations of these TDLs, such as those provided by…

We show that the following two theories are equiconsistent: (T) ZFC, CH and "There is a dense ideal on the first uncountable cardinal such that if j is the generic embedding associated with it then its restriction on ordinals is independent…

We develop a unified Courant--Hilbert framework for constructing two-dimensional integrable sigma models deformed by two couplings: a marginal one $\gamma$ and an irrelevant one $\lambda$. The integrability condition is encoded in a…

Open descendants extend Conformal Field Theory to unoriented surfaces with boundaries. The construction rests on two types of generalizations of the fusion algebra. The first is needed even in the relatively simple case of diagonal models.…

The differential $\lambda$-calculus studies how the quantitative aspects of programs correspond to differentiation and to Taylor expansion inside models of linear logic. Recent work has generalized the axioms of Taylor expansion so they…

We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras. We discuss axiomatization and…