Bases for pseudovarieties closed under bideterministic product
Sign Up to like & getrecommendations! Published in 2019 at "Algebra universalis"
DOI: 10.1007/s00012-019-0621-5
Abstract: We show that if $\mathsf V$ is a semigroup pseudovariety containing the finite semilattices and contained in $\mathsf {DS}$, then it has a basis of pseudoidentities between finite products of regular pseudowords if, and only… read more here.
Keywords: mathsf; pseudovarieties closed; bideterministic product; closed bideterministic ... See more keywords
Weighted-blowup correspondence of orbifold Gromov–Witten invariants and applications
Sign Up to like & getrecommendations! Published in 2019 at "Mathematische Annalen"
DOI: 10.1007/s00208-019-01850-3
Abstract: Let $$\mathsf {X}$$X be a compact symplectic orbifold groupoid with $$\mathsf {S}$$S being a compact symplectic sub-orbifold groupoid, and $${\underline{\mathsf {X}}_{\mathfrak {a}}}$$X̲a be the weight-$${\mathfrak {a}}$$a blowup of $$\mathsf {X}$$X along $$\mathsf {S}$$S with $$\mathsf… read more here.
Keywords: weighted blowup; blowup correspondence; gromov witten; mathsf ... See more keywords
TILTING THEORY FOR GORENSTEIN RINGS IN DIMENSION ONE
Sign Up to like & getrecommendations! Published in 2020 at "Forum of Mathematics, Sigma"
DOI: 10.1017/fms.2020.28
Abstract: In representation theory, commutative algebra and algebraic geometry, it is an important problem to understand when the triangulated category $\mathsf{D}_{\operatorname{sg}}^{\mathbb{Z}}(R)=\text{}\underline{\mathsf{CM}}_{0}^{\mathbb{Z}}R$ admits a tilting (respectively, silting) object for a $\mathbb{Z}$-graded commutative Gorenstein ring $R=\bigoplus _{i\geqslant 0}R_{i}$.… read more here.
Keywords: theory; mathsf; underline mathsf; mathbb ... See more keywords
A linear logic framework for multimodal logics
Sign Up to like & getrecommendations! Published in 2022 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129522000366
Abstract: Abstract One of the most fundamental properties of a proof system is analyticity, expressing the fact that a proof of a given formula F only uses subformulas of F. In sequent calculus, this property is… read more here.
Keywords: linear logic; cut admissibility; mathsf; framework ... See more keywords
SPDE limit of weakly inhomogeneous ASEP
Sign Up to like & getrecommendations! Published in 2020 at "Electronic Journal of Probability"
DOI: 10.1214/20-ejp565
Abstract: We study ASEP in a spatially inhomogeneous environment on a torus $ \mathcal{T} \simeq \{0,1,\ldots,N-1\} $ of $ N $ sites. A given inhomogeneity $ \widetilde{\mathsf{a}}(x)\in(0,\infty) $, $ x\in\mathcal{T} $, perturbs the overall asymmetric jumping… read more here.
Keywords: inhomogeneity widetilde; weakly inhomogeneous; limit weakly; spde limit ... See more keywords