skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: A comparison of dg algebra resolutions with prime residual characteristic
Abstract In this article, we fix a prime integer p and compare certain dg algebra resolutions over a local ring whose residue field has characteristic p. Namely, we show that given a closed surjective map between such algebras there is a precise description for the minimal model in terms of the acyclic closure and that the latter is a quotient of the former. A first application is that the homotopy Lie algebra of a closed surjective map is abelian. We also use these calculations to show deviations enjoy rigidity properties which detect the (quasi-)complete intersection property.  more » « less
Award ID(s):
2002173
PAR ID:
10520374
Author(s) / Creator(s):
;
Publisher / Repository:
Quarterly Journal of Mathematics
Date Published:
Journal Name:
The Quarterly Journal of Mathematics
Volume:
74
Issue:
3
ISSN:
0033-5606
Page Range / eLocation ID:
867 to 887
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract The Fourier and Fourier–Stieltjes algebras over locally compact groupoids have been defined in a way that parallels their construction for groups. In this article, we extend the results on surjectivity or lack of surjectivity of the restriction map on the Fourier and Fourier–Stieltjes algebras of groups to the groupoid setting. In particular, we consider the maps that restrict the domain of these functions in the Fourier or Fourier–Stieltjes algebra of a groupoid to an isotropy subgroup. These maps are continuous contractive algebra homomorphisms. When the groupoid is étale, we show that the restriction map on the Fourier algebra is surjective. The restriction map on the Fourier–Stieltjes algebra is not surjective in general. We prove that for a transitive groupoid with a continuous section or a group bundle with discrete unit space, the restriction map on the Fourier–Stieltjes algebra is surjective. We further discuss the example of an HLS groupoid, and obtain a necessary condition for surjectivity of the restriction map in terms of property FD for groups, introduced by Lubotzky and Shalom. As a result, we present examples where the restriction map for the Fourier–Stieltjes algebra is not surjective. Finally, we use the surjectivity results to provide conditions for the lack of certain Banach algebraic properties, including the (weak) amenability and existence of a bounded approximate identity, in the Fourier algebra of étale groupoids. 
    more » « less
  2. Abstract Using the invariant theory of arc spaces, we find minimal strong generating sets for certain cosets of affine vertex algebras inside free field algebras that are related to classical Howe duality. These results have several applications. First, for any vertex algebra $${{\mathcal {V}}}$$, we have a surjective homomorphism of differential algebras $$\mathbb {C}[J_{\infty }(X_{{{\mathcal {V}}}})] \rightarrow \text {gr}^{F}({{\mathcal {V}}})$$; equivalently, the singular support of $${{\mathcal {V}}}$$ is a closed subscheme of the arc space of the associated scheme $$X_{{{\mathcal {V}}}}$$. We give many new examples of classically free vertex algebras (i.e., this map is an isomorphism), including $$L_{k}({{\mathfrak {s}}}{{\mathfrak {p}}}_{2n})$$ for all positive integers $$n$$ and $$k$$. We also give new examples where the kernel of this map is nontrivial but is finitely generated as a differential ideal. Next, we prove a coset realization of the subregular $${{\mathcal {W}}}$$-algebra of $${{\mathfrak {s}}}{{\mathfrak {l}}}_{n}$$ at a critical level that was previously conjectured by Creutzig, Gao, and the 1st author. Finally, we give some new level-rank dualities involving affine vertex superalgebras. 
    more » « less
  3. For a Gromov-Hausdorff convergent sequence of closed manifolds $$M_i^n\ghto X$$ with $$\Ric\ge-(n-1)$$, $$ \mathrm{diam}(M_i)\le D$$, and $$\mathrm{vol}(M_i)\ge v>0,$$ we study the relation between $$\pi_1(M_i)$$ and $$X$$. It was known before that there is a surjective homomorphism $$\phi_i:\pi_1(M_i)\to \pi_1(X)$$ by the work of Pan--Wei. In this paper, we construct a surjective homomorphism $$\psi_i$$ from the interior of the effective regular set in $$X$$ back to $$M_i$$. These surjective homomorphisms $$\phi_i$$ and $$\psi_i$$ are natural in the sense that their composition $$\phi_i \circ \psi_i$$ is exactly the homomorphism induced by the inclusion map from the effective regular set to $$X$$. 
    more » « less
  4. Abstract We introduce the cohomological blowup of a graded Artinian Gorenstein algebra along a surjective map, which we term BUG (blowup Gorenstein) for short. This is intended to translate to an algebraic context the cohomology ring of a blowup of a projective manifold along a projective submanifold. We show, among other things, that a BUG is a connected sum, that it is the general fiber in a flat family of algebras, and that it preserves the strong Lefschetz property. We also show that standard graded compressed algebras are rarely BUGs, and we classify those BUGs that are complete intersections. We have included many examples throughout this manuscript. 
    more » « less
  5. Abstract We consider the complexity of special $$\alpha $$ -limit sets, a kind of backward limit set for non-invertible dynamical systems. We show that these sets are always analytic, but not necessarily Borel, even in the case of a surjective map on the unit square. This answers a question posed by Kolyada, Misiurewicz, and Snoha. 
    more » « less