相关论文: Cancellation theorem

Let $X$ be a scheme, proper over a commutative noetherian ring $A$. We introduce the concept of an ample filter of invertible sheaves on $X$ and generalize the most important equivalent criteria for ampleness of an invertible sheaf. We also…

We present a conjecture on the irreducibility of the tensor products of fundamental representations of quantized affine algebras. This conjecture implies in particular that the irreducibility of the tensor products of fundamental…

Let T be an SMT solver with no theory solvers except for Quantifier Instantiation. Given a set of first-order clauses S saturated by Resolution (with a valid literal selection function) we show that T is complete if its Trigger function is…

Let $X$ be a projective, connected and smooth scheme defined over an algebraically closed field $k$. In this paper we prove that a tower of finite torsors (i.e., under the action of finite $k$-group schemes) can be dominated by a single…

We introduce three notion of tameness of the Nori fundamental group scheme for a normal quasiprojective variety $X$ over an algebraically closed field. It is proved that these three notions agree if $X$ admits a smooth completion with…

We prove that a triangulated category which is the underlying category of a stable derivator has a filtered enhancement, providing an affirmative answer to a conjecture in [3].

We prove that one can realize certain triangulated subcategories of the singularity category of a complete intersection as homotopy categories of matrix factorizations. Moreover, we prove that for any commutative ring and non-zerodivisor,…

To any dg-category $T$ (over some base ring $k$), we define a $D^{-}$-stack $\mathcal{M}_{T}$ in the sense of \cite{hagII}, classifying certain $T^{op}$-dg-modules. When $T$ is saturated, $\mathcal{M}_{T}$ classifies compact objects in the…

Consider a finite-dimensional algebra $A$ and any of its moduli spaces $\mathcal{M}(A,\mathbf{d})^{ss}_{\theta}$ of representations. We prove a decomposition theorem which relates any irreducible component of…

We prove that the Tate conjecture in codimension $1$ over a finitely generated field follows from the same conjecture for surfaces over its prime subfield. In positive characteristic, this is due to de Jong--Morrow over $\mathbf{F}_p$ and…

Tensor completion is a core machine learning algorithm used in recommender systems and other domains with missing data. While the matrix case is well-understood, theoretical results for tensor problems are limited, particularly when the…

The category of effective $Witt$-motives $DWM^-(k)$ with functor $WM\colon Sm_k\to DWM^-(k)$ defining motives of smooth affine varieties for perfect field $k$, $char k\neq 2$ is constructed. In the construction Voevodsky-Suslin method is…

Let $T$ be a complete, model complete o-minimal theory extending the theory of real closed ordered fields and assume that $T$ is power bounded. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring $\mathcal{O}$ and a…

We proved the contractibility of the deformation space of the geodesic triangulations on a closed surface of negative curvature. This solves an open problem proposed by Connelly et al. in 1983, in the case of hyperbolic surfaces. The main…

For $\Gamma_1$-structures on 3-manifolds, we give a very simple proof of Thurston's regularization theorem, first proved in \cite{thurston}, without using Mather's homology equivalence. Moreover, in the co-orientable case, the resulting…

We present a constructive proof of Ky Fan's combinatorial lemma concerning labellings of triangulated spheres. Our construction works for triangulations of $S^n$ that contain a flag of hemispheres. As a consequence, we produce a…

We prove a desingularization theorem for the quasi-smooth derived scheme, in the sense of Hekking. We also propose the conjecture that the K-theoretic integration of the virtual fundamental class of a quasi-smooth derived scheme could be…

For an exact dg category $\mathcal A$, we introduce its bounded dg derived category $\mathcal{D}^b_{dg}(\mathcal A)$ and establish the universal exact morphism from $\mathcal A$ to $\mathcal{D}^b_{dg}(\mathcal A)$. We prove that the dg…

We prove an equivariant version of the classical Menger-Nobeling theorem regarding topological embeddings: Whenever a group $G$ acts on a finite-dimensional compact metric space $X$, a generic continuous equivariant function from $X$ into…

We consider the D-dimensional massive dilaton gravity coupled to Maxwell and antisymmetric tensor fields (EMATD). We derive the full separability of this theory in static case. This discloses the core structure of the theory and yields the…