相关论文: On AI's "semistable torsion classes and canonical …
Computer algebra is widely used in various fields of mathematics, physics and other sciences. The simplification of tensor expressions is an important special case of computer algebra. In this paper, we consider the reduction of tensor…
In the 3rd episode of the serial exposition, quotient algebra partitions of rank zero earlier introduced undergo further partitions generated by bi-subalgebras of higher ranks. The refined versions of quotient algebra partitions admit not…
In this paper we characterize two-dimensional semi-log canonical hypersurfaces in arbitrary characteristic from the viewpoint of the initial term of the defining equation. As an application, we prove a conjecture about a uniform bound of…
We extend the class of abelian groups for which a conjecture of Asai and Yoshida on the number of crossed homomorphisms holds. We also prove a general result which connects certain problems concerning divisibility in groups to the…
We generalize Illusie's result to prove the decomposition of the de Rham complex with smooth horizontal coefficients for a semistable $S$-morphism $f:X\ra Y$ which is liftable over $\Z/p^2\Z$. As an application, we prove the Koll\'ar…
We present an understandable, efficient, and streamlined proof of the Holonomy Decomposition for finite transformation semigroups and automata. This constructive proof closely follows the existing computational implementation. Its novelty…
We classify two classes of B_2-graded Lie algebras which have a second compatible grading by an abelian group A: (a) graded-simple Lie algebras for A torsion-free and (b) division-A-graded Lie algebras. Our results describe the centreless…
We study birational maps among 1) the moduli space of semistable torsion sheaves of Hilbert polynomial $4m+2$ on a smooth quadric surface, 2) the moduli space of semistable torsion sheaves of Hilbert polynomial $m^{2}+3m+2$ on…
In this paper we give an elementary proof of the Fundamental Theorem of Algebra for polynomials over the rational tropical semi-ring. We prove that, tropically, the rational numbers are algebraically closed. We provide a simple algorithm…
This paper presents a systematic methodology based on the algebraic theory of signal processing to classify and derive fast algorithms for linear transforms. Instead of manipulating the entries of transform matrices, our approach derives…
We prove a Galois equidistribution result for torsion points in $\mathbb G_m^n$ in the $p$-adic setting for test functions of the form $\log |F|_p$ where $F$ is a nonzero polynomial with coefficients in the $p$-adic numbers. Our result…
The paper presents a new short proof of one of Adams's theorems and a $t$-trace-class theorem for parabolic Morrey spaces.
Let $f \in \mathbb{Z}[y]$ be a polynomial such that $f(\mathbb{N}) \subseteq \mathbb{N}$, and let $p_{\mathcal{A}_{f}}(n)$ denote number of partitions of $n$ whose parts lie in the set $\mathcal{A}_f:=\{f(n):n \in \mathbb{N}\}$. Under…
The purpose of this paper is to give two applications of Fourier transforms and generic vanishing theorems: - we give a cohomological characterization of principal polarizations - we prove that if $X$ an abelian variety and $\Theta $ a…
In a recent paper, Amini et al. introduce a general framework to prove duality theorems between special decompositions and their dual combinatorial object. They thus unify all known ad-hoc proofs in one single theorem. While this…
We prove a factorization theorem of generalized functions for moduli spaces of semistable parabolic bundles of any rank.
We generalize results from topological robotics on the topological complexity (TC) of aspherical spaces to sectional categories of fibrations inducing subgroup inclusions on the level of fundamental groups. In doing so, we establish new…
Let $X$ be a smooth projective variety. We study a relationship between the derived category of $X$ and that of a canonical divisor. As an application, we will study Fourier-Mukai transforms when $\kappa (X)=dim X-1$.
We prove two theorems on the locally finite decompositions of the cones of divisors by the cones which correspond to canonical and minimal models. We introduce the concept of the numerical linear systems in order to simplify the argument on…
We consider elliptic fibrations with arbitrary base dimensions, and generalise previous work by the second author. In particular, we check universal closedness for the moduli of semistable objects with respect to a polynomial stability that…