Related papers: Equivariant isomorphisms of Ext and Tor modules
Let $g$ be a reductive Lie algebra over a field of characteristic zero. Suppose $g$ acts on a complex of vector spaces $M$ by $i_\lambda$ and $L_\lambda$, which satisfy the identities as contraction and Lie derivative do for smooth…
In math.GR/0510298, we showed that every F-quasigroup is linear over a special kind of Moufang loop called an NK-loop. Here we extend this relationship by showing an equivalence between the equational class of (pointed) F-quasigroups and…
Given integers $n \geq k \geq d$, let $X_{n,k,d}$ be the moduli space of $n$-tuples of lines $(\ell_1, \dots, \ell_n)$ in $\mathbb{C}^k$ such that $\ell_1 + \cdots + \ell_n$ has dimension $d$. We give a quotient presentation of the…
$Q$ is a quiver of type $\tilde A(n-1,1)$ if its graph is of affine type $\tilde A_{n-1}$ and if its arrows have a certain orientation. We develop a bijection between the set of indecomposable $kQ$-modules whose dimension vectors are…
We introduce a notion of $Q$-algebra that can be considered as a generalization of the notion of $Q$-manifold (a supermanifold equipped with an odd vector field obeying $\{Q,Q\} =0$). We develop the theory of connections on modules over…
We consider relative Tor functors built from resolutions described by a semidualizing module C over a commutative noetherian ring R. We show that the bifunctors Tor^{F_CM}_i (-,-) and Tor^{P_CM}_i (-,-), defined using flat-like and…
Let $M$ and $N$ be differential graded (DG) modules over a positively graded commutative DG algebra $A$. We show that the Ext-groups $\operatorname{Ext}^i_A(M,N)$ defined in terms of semi-projective resolutions are not in general isomorphic…
Given a ring $R$, we study the bimodules $M$ for which the trivial extension $R\propto M$ is morphic. We obtain a complete characterization in the case where $R$ is left perfect, and we prove that $R\propto Q/R$ is morphic when $R$ is a…
Let A be a commutative ring, and let \a = \frak{a} be a finitely generated ideal in it. It is known that a necessary and sufficient condition for the derived \a-torsion and \a-adic completion functors to be nicely behaved is the weak…
A smooth projective toric variety $X=X_\Sigma$ has a geometric quotient description $V /\!/ T$. Using $2|1$-pointed quasimap invariants, one can define a quantum $H^*(T)$-module $QM(X)$, which deforms a natural module structure given by the…
A differential module is a module equipped with a square-zero endomorphism. This structure underpins complexes of modules over rings, as well as differential graded modules over graded rings. We establish lower bounds on the class--a…
We introduce higher-dimensional module factorizations associated to a regular sequence. They include higher-dimensional matrix factorizations, which are commutative cubes consisting of free modules with edges being classical matrix…
In this paper we study extension problems for torsors in positive characteristic. Let $F$ be a field of characteristic $p>0$ and $U/F$ be a unipotent algebraic group. As our first main result, we prove that every $U$-torsor defined over the…
We show that there exist infinitely many pairs of non-homeomorphic closed oriented SOL torus bundles with the same quantum (TQFT) invariants. This follows from the arithmetic behind the conjugacy problem in $SL(2,\Z)$ and its congruence…
We prove that a quasi-isomorphism $f : A \to B$ between commutative DG rings, where $B$ admits a divided power structure, can be factored as $f = \tilde{f} \circ e$, where $e : A \to \tilde{B}$ is a split injective quasi-isomorphism, and…
Let $U$ be a smooth connected complex algebraic variety, and let $f\colon U\to \mathbb C^*$ be an algebraic map. To the pair $(U,f)$ one can associate an infinite cyclic cover $U^f$, and (homology) Alexander modules are defined as the…
Let $R$ be a finite ring and let $M, N$ be two finite left $R$-modules. We present two distinct deterministic algorithms that decide in polynomial time whether or not $M$ and $N$ are isomorphic, and if they are, exhibit an isomorphism. As…
Let $(Q,\mathfrak n,k)$ be a commutative local Noetherian ring, $f_1,\dots, f_c$ a $Q$-regular sequence in $\mathfrak n$, and $R=Q/(f_1,\dots,f_c)$. Given a complex of finitely generated free $R$-modules, we give a construction of a complex…
Let $R$ be commutative Noetherian ring and let $\fa$ be an ideal of $R$. For complexes $X$ and $Y$ of $R$--modules we investigate the invariant $\inf{\mathbf R}\Gamma_{\fa}({\mathbf R}\Hom_R(X,Y))$ in certain cases. It is shown that, for…
We study the Ext modules in the category of left modules over a twisted algebra of a finite quiver over a ringed space $(X,\mathcal O_X)$, allowing for the presence of relations. We introduce a spectral sequence which relates the Ext…