Abstract Let G be a finite group whose order is not divisible by the characteristic of the ground field $\mathbb {F}$ . We prove a decomposition of the Hochschild homology groups of the equivariant dg category $\mathscr {C}^G$ associated with the action of G on a small dg category $\mathscr {C}$ which admits finite direct sums. When, in addition, the ground field $\mathbb {F}$ is algebraically closed this decomposition is related to a categorical action of $\text {Rep}(G)$ on $\mathscr {C}^G$ and the resulting action of the representation ring $R_{\mathbb {F}}(G)$ on $HH_\bullet (\mathscr {C}^G)$ .
AbstractThe concept of an abelian DG-category, introduced by the first-named author in Positselski (Exact DG-categories and fully faithful triangulated inclusion functors. arXiv:2110.08237 [math.CT]), unites the notions of abelian categories and (curved) DG-modules in a common framework. In this paper we consider coderived and contraderived categories in the sense of Becker. Generalizing some constructions and results from the preceding papers by Becker (Adv Math 254:187–232, 2014. arXiv:1205.4473 [math.CT]) and by the present authors (Positselski and Št’ovíček in J Pure Appl Algebra 226(#4):106883, 2022. arXiv:2101.10797 [math.CT]), we define the contraderived category of a locally presentable abelian DG-category $$\textbf{B}$$ B with enough projective objects and the coderived category of a Grothendieck abelian DG-category $$\textbf{A}$$ A . We construct the related abelian model category structures and show that the resulting exotic derived categories are well-generated. Then we specialize to the case of a locally coherent Grothendieck abelian DG-category $$\textbf{A}$$ A , and prove that its coderived category is compactly generated by the absolute derived category of finitely presentable objects of $$\textbf{A}$$ A , thus generalizing a result from the second-named author’s preprint (Št’ovíček in On purity and applications to coderived and singularity categories. arXiv:1412.1615 [math.CT]). In particular, the homotopy category of graded-injective left DG-modules over a DG-ring with a left coherent underlying graded ring is compactly generated by the absolute derived category of DG-modules with finitely presentable underlying graded modules. We also describe compact generators of the coderived categories of quasi-coherent matrix factorizations over coherent schemes.
AbstractIn this paper we study the finitistic dimensions of commutative noetherian non-positive DG-rings with finite amplitude. We prove that any DG-module M of finite flat dimension over such a DG-ring satisfies $${\textrm{proj}\,\textrm{dim}}_A(M) \le \dim (\textrm{H}^0 (A)) - \inf (M)$$ proj dim A ( M ) ≤ dim ( H 0 ( A ) ) - inf ( M ) . We further provide explicit constructions of DG-modules with prescribed projective dimension and deduce that the big finitistic projective dimension satisfies the bounds $$\dim (\textrm{H}^0 (A)) - {\text {amp}}(A) \le \textsf{FPD}(A) \le \dim (\textrm{H}^0(A))$$ dim ( H 0 ( A ) ) - amp ( A ) ≤ FPD ( A ) ≤ dim ( H 0 ( A ) ) . Moreover, we prove that DG-rings exist which achieve either bound. As a direct application, we prove new vanishing results for the derived Hochschild (co)homology of homologically smooth algebras.
In arXiv:2207.08617 [math.DG] Brendle-Hirsch-Johne proved that $T^m\times S^{n-m}$ does not admit metrics with positive $m$-intermediate curvature when $n\leq 7$. Chu-Kwong-Lee showed in arXiv:2208.12240 [math.DG] a corresponding rigidity statement when $n\leq 5$. In this paper, we show the sharpness of the dimension constraints by giving concrete counterexamples in $n\geq 7$ and extending the rigidity result to $n=6$. Concerning uniformly positive intermediate curvature, we show that simply-connected manifolds with dimension $\leq 5$ and bi-Ricci curvature $\geq 1$ have finite Urysohn 1-width. Counterexamples are constructed in dimension $\geq 6$.
AbstractThis work compares the wave propagation properties of discontinuous Galerkin (DG) schemes for advection‐diffusion problems in particular with respect to the discretization of diffusion terms. Extending previous investigations, the advection discretization now additionally varies between the choices of central or upwind fluxes. The results show that a previously recognized better performance of central schemes for well‐resolved problems only hold for even polynomial degrees and that upwind‐type discretizations also perform better on Gauss‐Lobatto nodes.
We generalize a Cheeger-Muller type theorem for flat, unitary bundles on infinite covering spaces over manifolds-with-boundary, proven by Burghelea, Friedlander and Kappeller arXiv:dg-ga/9510010 [math.DG]. Employing recent anomaly results by Bruning, Ma and Zhang, we prove an analogous statement for a general flat bundle that is only required to have a unimodular restriction to the boundary.
Forty-six years after the birth of supersymmetry in 1973 from works of Julius Wess and Bruno Zumino, the standard quantum-field-theorists and particle physicists' language of `superspaces', `supersymmetry', and `supersymmetric action functionals in superspace formulation' as given in Chapters IV, V, VI, VII, XXII of the classic on supersymmetry and supergravity: Julius Wess & Jonathan Bagger: Supersymmetry and Supergravity (2nd ed.), is finally polished, with only minimal mathematical patches added for consistency and accuracy in dealing with nilpotent objects from the Grassmann algebra involved, to a precise setting in the language of complexified ${\Bbb Z}/2$-graded $C^\infty$-Algebraic Geometry. This is completed after the lesson learned from D(14.1) (arXiv:1808.05011 [math.DG]) and the notion of `$d=3+1$, $N=1$ towered superspaces' as complexified ${\Bbb Z}/2$-graded $C^\infty$-schemes, their distinguished sectors, and purge-evaluation maps first developed in SUSY(1) (= D(14.1.Supp.1)) (arXiv:1902.06246 [hep-th]) and further polished in the current work. While the construction depends on a choice of a trivialization of the spinor bundle by covariantly constant sections, as long as the transformation law and the induced isomorphism under a change of trivialization of the spinor bundle by covariantly constant sections are understood, any object or structure thus defined or constructed is mathematically well-defined. The construction can be generalized to all other space-time dimensions with simple or extended supersymmetries. This is part of the mathematical foundation required to study fermionic D-branes in the Ramond-Neveu-Schwarz formulation.
We show that the Ricci flat Calabi's metrics on holomorphic line bundles over compact Kaehler-Einstein manifolds are not projectively induced. As a byproduct we solve a conjecture addressed in [arXiv:1705.03908v2 [math.DG]] by proving that any multiple of the Eguchi-Hanson metric on the blow-up of C^2 at the origin is not projectively induced.
Let $M^{n+1}$ be an orientable compact Riemannian manifold with positive Ricci curvature. We prove that the Almgren-Pitts width of $M^{n+1}$ is achieved by an orientable index $1$ minimal hypersurface with multiplicity $1$ and optimal regularity. This extends to dimensions $n+1\geq 8$ the results of Ketover-Marques-Neves arXiv:1601.04514v1 [math.DG] and X. Zhou arXiv:1504.00966v2 [math.DG].
The complexified ${\Bbb Z}/2$-graded $C^\infty$-Algebraic Geometry aspect of a superspace(-time) $\widehat{X}$ in Sec.\,1 of D(14.1) (arXiv:1808.05011 [math.DG]) together with the Spin-Statistics Theorem in Quantum Field Theory, which requires fermionic components of a superfield be anticommuting, lead us to the notion of towered superspace(-time) $\widehat{X}^{\widehat{\boxplus}}$ and the built-in purely even physics sector $X^{\mbox{physics}}$ from $\widehat{X}^{\widehat{\boxplus}}$. We use this to reproduce the $d=3+1$, $N=1$ Wess-Zumino model and the $d=3+1$, $N=1$ supersymmetric $U(1)$ gauge theory with matter --- as in, e.g., Chap.\,V and Chap.\,VI \& part of Chap.\,VII of the classical Supersymmetry \& Supergravity textbook by Julius Wess and Jonathan Bagger --- and, hence, recast physicists' two most basic supersymmetric quantum field theories solidly into the realm of (complexified ${\Bbb Z}/2$-graded) $C^\infty$-Algebraic Geometry. Some traditional differential geometers' ways of understanding supersymmetric quantum field theories are incorporated into the notion of a purge-evaluation/index-contracting map ${\cal P}:C^\infty(X^{\mbox{physics}})\rightarrow C^\infty(\widehat{X})$ in the setting. This completes for the current case a $C^\infty$-Algebraic Geometry language we sought for in D(14.1), footnote 2, that can directly link to the study of supersymmetry in particle physics. Once generalized to the nonabelian case in all dimensions and extended $N\ge 2$, this prepares us for a fundamental (as opposed to solitonic) description of super D-branes parallel to Ramond-Neveu-Schwarz fundamental superstrings
AbstractLet A be a commutative noetherian ring, let a ⊆ A be an ideal, and let I be an injective A-module. A basic result in the structure theory of injective modules states that the A-module Γa(I) consisting of ɑ-torsion elements is also an injective A-module. Recently, de Jong proved a dual result: If F is a flat A-module, then the ɑ-adic completion of F is also a flat A-module. In this paper we generalize these facts to commutative noetherian DG-rings: let A be a commutative non-positive DG-ring such that H0(A) is a noetherian ring and for each i < 0, the H0(A)-module Hi(A) is finitely generated. Given an ideal ⊆ H0(A), we show that the local cohomology functor R associated with does not increase injective dimension. Dually, the derived -adic completion functor LΛ does not increase flat dimension.
In this sequel to works D(11.1) (arXiv:1406.0929 [math.DG]), D(11.2) (arXiv:1412.0771 [hep-th]), and D(11.3.1) (arXiv:1508.02347 [math.DG]), we re-examine --- and reformulate when in need --- several basic notions in super $C^{\infty}$-algebraic geometry as guided by the mathematical formulation of Ramond-Neveu-Schwarz fermionic strings and of Green-Schwarz fermionic strings from the viewpoint of Grothendieck on Algebraic Geometry. Two theorems that are the super counterpart of Theorem~3.1.1 and Theorem~3.2.1 of D(11.3.1) are proved. They unify the notion of "smooth maps from an Azumaya/matrix super smooth manifold with a fundamental module to a super smooth manifold" introduced in D(11.2), making it a complete super parallel to the setting for D-branes in the realm of algebraic geometry in D(1) (arXiv:0709.1515 [math.AG]) and D(2) (arXiv:0809.2121 [math.AG]), and in the realm of differential or $C^{\infty}$-algebraic geometry in D(11.1) and D(11.3.1). A prototypical definition of dynamical fermionic stacked D-brane world-volume on a space-time in the same spirit of RNS fermionic strings or GS fermionic strings is thus laid down. Similar to D(11.3.1), which paved the path to the construction of non-Abelian Dirac-Born-Infeld action (D(13.1) (arXiv:1606.08529 [hep-th])) and the standard action (D(13.3) (arXiv:1704.03237 [hep-th])) for fundamental bosonic stacked D-branes, the current notes shall serve the same for the construction of supersymmetric action for fundamental fermionic stacked D-branes of various dimensions --- a theme of another subseries of the D-project. A notion of "noncommutative $C^{\infty}$-rings" and "morphism" between them is introduced at the end as a byproduct.
In earlier works, D(1) (arXiv:0709.1515 [math.AG]), D(11.1) (arXiv:1406.0929 [math.DG]), D(11.2) (arXiv:1412.0771 [hep-th]), and D(11.3.1) (arXiv:1508.02347 [math.DG]), we have explained why a D-brane in string theory, when treated as a fundamental dynamical object, can be described by a map $\varphi$ from an Azumaya/matrix manifold $X^{Az}$ (cf. D-brane world-volume) with a fundamental module with a connection $(E,\nabla)$ (cf. Chan-Paton bundle) to the target space-time $Y$. In this sequel, we construct a non-Abelian Dirac-Born-Infeld action functional $S_{DBI}^{(\Phi, g, B)}(\varphi,\nabla)$ for such pairs $(\varphi,\nabla)$. We next develop a technical tool needed to study variations of this action and apply it to derive the first variation $\delta S_{DBI}^{(\Phi,g,B)}/\delta(\varphi,\nabla)$ of $S_{DBI}^{(\Phi,g,B)}$ with respect to $(\varphi,\nabla)$. The equations of motion that govern the dynamics of D-branes then follow. A complete action for a D-brane world-volume must include also the Chern-Simons/Wess-Zumino term $S_{CS/WZ}^{(C)}(\varphi,\nabla)$ that governs how the D-brane world-volume couples with the Ramond-Ramond fields $C$ on $Y$. In the current notes, a version $S^{(C,B)}_{CS/WZ}(\varphi,\nabla)$ of non-Abelian Chern-Simons/Wess-Zumino action functional for $(\varphi,\nabla)$ that follows the same guide with which we construct $S^{(\Phi,g,B)}_{DBI}(\varphi,\nabla)$ is constructed for lower-dimensional D-branes (i.e. D(-1)-, D0-, D1-, D2-branes). Its first variation $\delta S^{(C,B)}_{CS/WZ}(\varphi,\nabla)/\delta(\varphi,\nabla)$ is derived and its contribution to the equations of motion for $(\varphi, \nabla)$ follows. The current notes lay down a foundation toward the dynamics of D-branes along the line of this D-project.
In the paper arXiv:1411.4887 [math.AP] it is shown that the set of Riemannian metrics which do not admit global limiting Carleman weights is open and dense, by studying the conformally invariant Weyl and Cotton tensors. In the paper arXiv:1011.2507 [math.DG] it is shown that the set of Riemannian metrics which do not admit local limiting Carleman weights at any point is residual, showing that it contains the set of metrics for which there are no local conformal diffeomorphisms between any distinct open subsets. This paper is a continuation of arXiv:1411.4887 [math.AP] in order to prove that the set of Riemannian metrics which do not admit local limiting Carleman weights \emph{at any point} is open and dense.