We show that equivariant tilting modules over algebras induce equivalences of derived factorization categories. As an application, we the category a noncommutative resolution linear section Pfaffian variety is equivalent to gauged Landau-Ginzburg model $(\Lambda,\chi, w)^{\mathbb{G}_m}$, where $\Lambda$ quotient singularity $W/\operatorname{GSp}(Q)$ arising from certain representation $W$ sympl...

In this paper we prove that Broué’s abelian defect group conjecture holds for the Tits group F4(2) . Also we prove that under certain conditions we are able to lift derived equivalences and use this to prove Broué’s conjecture for the group F4(2).

Two logics are implicationally equivalent if the axioms and inference rules of each imply the axioms of the other. Characterizing the inferential equivalences of various formulations of the sentential calculi is foundational. Using an automated deduction system, I show that Łukasiewicz's CN can be derived from Frege's Begriffsschrift, the first sentential calculus ; the proof appears to be novel.

In the paper “Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities” to appear in Theoretical Computer Science, we present a comparison of behavioral equivalences for nondeterministic and probabilistic processes. In particular, we consider strong trace, failure, testing, and bisimulation equivalences. For each of these groups of equivalences, we examine the...

Abstract We consider the smallest triangulated subcategory of unbounded derived module category a ring that contains injective modules and is closed under set indexed coproducts. If this entire category, then we say injectives generate for ring. In particular, ask whether, if collection rings, do related constructions, vice versa. provide sufficient conditions statement to hold various construc...

For the irreducible holomorphic symplectic eightfold Z associated to a cubic fourfold Y not containing plane, we show that natural Abel–Jacobi map from Hprim4(Y) Hprim2(Z) is Hodge isometry. We describe full H2(Z) in terms of Mukai lattice K3 category A Y. give numerical conditions for be birational moduli space sheaves on surface or Hilb4(K3). propose conjecture how use produce equivalences de...

A functor is constructed from the category of globular CW-complexes to that of flows. It allows to compare the S-homotopy equivalences (resp. the T-homotopy equivalences) of globular complexes with the S-homotopy equivalences (resp. the T-homotopy equivalences) of flows. Moreover, one proves that this functor induces an equivalence of categories from the localization of the category of globular...

In this paper we propose a hierarchy of games that allows us to make a systematic comparison of process equivalences by characterizing process equivalences as games. The well-known linear/branching time hierarchy of process equivalences can be embedded into the game hierarchy, which not only provides us with a refined analysis of process equivalences, but also offers a guidance to defining inte...

We shall show that every stable equivalence (functor) between representation-finite selfinjective algebras not of type (D3m, s/3, 1) with m ≥ 2, 3 s lifts to a standard derived equivalence. This implies that all stable equivalences between these algebras are of Morita type.