Related papers: Equivariant isomorphisms of Ext and Tor modules
Let G be a complex reductive algebraic group. Fix a Borel subgroup B of G, with unipotent radical U, and a maximal torus T in B with character group X(T). Let S be a submonoid of X(T) generated by finitely many dominant weights. V. Alexeev…
We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when…
Let $T$ be a monad on a category $\mathscr{C}$. In this paper, we introduce the notion of higher derivations on the monad $T$ and characterize them in terms of ordinary derivations on $T$. We also define higher derivations on modules over…
We study equivariant modules over $GL(V)$ over the polynomial ring $R = Sym V$. We introduce for every partition $\lambda$ the elementary equivariant module $M_{\lambda}$. Then we prove that any finitely generated equivariant module admits…
We prove a natural isomorphism between toral Chern-Simons theory with gauge group $\mathbb T=\mathfrak t/\Lambda\cong U(1)^n$ and the Reshetikhin-Turaev theory associated with the finite quadratic module determined by an even, integral,…
We study H. Dao's invariant $\eta_c^R$ of pairs of modules defined over a complete intersection ring $R$ of codimension $c$ having an isolated singularity. Our main result is that $\eta_c^R$ vanishes for all pairs of modules when $R$ is a…
In this paper, for a vertex operator algebra $V$ with an automorphism $g$ of order $T,$ an admissible $V$-module $M$ and a fixed nonnegative rational number $n\in\frac{1}{T}\Bbb{Z}_{+},$ we construct an $A_{g,n}(V)$-bimodule $\AA_{g,n}(M)$…
Quantum oscillations (QO) describe the periodic variation of physical observables as a function of inverse magnetic field in metals. The Onsager relation connects the basic QO frequencies with the extremal areas of closed Fermi surface…
We study certain representations of quantum toroidal $\mathfrak{gl}_1$ algebra for $q=t$. We construct explicit bosonization of the Fock modules $\mathcal{F}_u^{(n',n)}$ with a nontrivial slope $n'/n$. As a vector space, it is naturally…
For a module-finite algebra over a commutative noetherian ring, we give a complete description of flat cotorsion modules in terms of prime ideals of the algebra, as a generalization of Enochs' result for a commutative noetherian ring. As a…
Let $R=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ of characteristic $p>0,$ let $\m=(x_1,..., x_n)$ be the maximal ideal generated by the variables, let $^*E$ be the naturally graded injective hull of $R/\m$ and let $^*E(n)$ be…
Let $Q$ be a local ring with maximal ideal $\mathfrak{n}$ and let $f,g\in \mathfrak{n}\smallsetminus\mathfrak{n}^2$ with $fg=0$. When $M$ is a finite $Q$-module with $fM=0$, we show that a minimal free resolution of $M$ over $Q$ has a…
For finitely generated modules M and N over a complete intersection R, the vanishing of Tor_i^R(M,N) for all i> 0 gives a tight relationship among depth properties of M, N and their tensor product. Here we concentrate on the converse and…
We study the invariant algebraic D-modules on an affine variety under the action of an algebraic group.For linear algebraic groups with the multiplication action by themselves, such D-modules correspond to representations of their Lie…
Let F_{q^n} be the field of order q^n, and let Tr be the trace map from F_{q^n} to its q-element subfield. We exhibit nine sequences of polynomials of the form f(x):=x+c*Tr(x^k), with c in F_{q^n}, such that for each polynomial the function…
We show that log flat torsors over a family $X/S$ of nodal curves under a finite flat commutative group scheme $G/S$ are classified by maps from the Cartier dual of $G$ to the log Jacobian of $X$. We deduce that fppf torsors on the smooth…
Let R be a commutative Noetherian domain, and let M and N be finitely generated R-modules. We give new criteria for determining when M tensor N has torsion. We also give constructive formulas for producing a module in the isomorphism class…
It is well known that the moduli space of flat connections on a trivial principal bundle MxG, where G is a connected Lie group, is isomorphic to the representation variety Hom(\pi_1(M), G)/G. For a tiling T, viewed as a marked copy of R^d,…
Toral automorphisms, represented by unimodular integer matrices, are investigated with respect to their symmetries and reversing symmetries. We characterize the symmetry groups of GL(n,Z) matrices with simple spectrum through their…
We apply the methods of Fukaya, Kato and Sharifi to refine Mazur's study of the Eisenstein ideal. Given prime numbers $N$ and $p\geq 5$ such that $p\mid \varphi(N)$, we study the quotient of the cohomology group of modular curve $X_{0}(N)$…