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.


This content will become publicly available on June 28, 2026

Title: Lefschetz properties through a topological lens
Abstract These notes were prepared for theLefschetz Preparatory School, a graduate summer course held in Krakow, May 6–10, 2024. They present the story of the algebraic Lefschetz properties from their origin in algebraic geometry to some recent developments in commutative algebra. The common thread of the notes is a bias towards topics surrounding the algebraic Lefschetz properties that have a topological flavor. These range from the Hard Lefschetz Theorem for cohomology rings to commutative algebraic analogues of these rings, namely artinian Gorenstein rings, and topologically motivated operations among such rings.  more » « less
Award ID(s):
2401482 2101225
PAR ID:
10614774
Author(s) / Creator(s):
Publisher / Repository:
Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica
Date Published:
Journal Name:
Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica
Volume:
24
Issue:
1
ISSN:
2300-133X
Page Range / eLocation ID:
7 to 47
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract The purpose of this paper and its sequel is to develop the geometry built from the commutative algebras that naturally appear as the homology of differential graded algebras and, more generally, as the homotopy of algebras in spectra. The commutative algebras in question are those in the symmetric monoidal category of graded abelian groups, and, being commutative, they form the affine building blocks of a geometry, as commutative rings form the affine building blocks of algebraic geometry. We name this geometry Dirac geometry, because the grading exhibits the hallmarks of spin in that it is a remnant of the internal structure encoded byanima, it distinguishes symmetric and anti-symmetric behavior, and the coherent cohomology of Dirac schemes and Dirac stacks, which we develop in the sequel, admits half-integer Serre twists. Thus, informally, Dirac geometry constitutes a “square root” of$$\mathbb {G}_m$$ G m -equivariant algebraic geometry. 
    more » « less
  2. Abstract Given a closed symplectic manifoldX, we construct Gromov-Witten-type invariants valued both in (complex)K-theory and in any complex-oriented cohomology theory$$\mathbb{K}$$which isKp(n)-local for some MoravaK-theoryKp(n). We show that these invariants satisfy a version of the Kontsevich-Manin axioms, extending Givental and Lee’s work for the quantumK-theory of complex projective algebraic varieties. In particular, we prove a Gromov-Witten type splitting axiom, and hence define quantumK-theory and quantum$$\mathbb{K}$$-theory as commutative deformations of the corresponding (generalised) cohomology rings ofX; the definition of the quantum product involves the formal group of the underlying cohomology theory. The key geometric input of these results is a construction of global Kuranishi charts for moduli spaces of stable maps of arbitrary genus toX. On the algebraic side, in order to establish a common framework covering both ordinaryK-theory andKp(n)-local theories, we introduce a formalism of ‘counting theories’ for enumerative invariants on a category of global Kuranishi charts. 
    more » « less
  3. We prove a version of the Lefschetz hyperplane theorem for fppf cohomology with coefficients in any finite commutative group scheme over the ground field. As consequences, we establish new Lefschetz results for the Picard scheme. 
    more » « less
  4. Abstract We develop and study a generalization of commutative rings calledbands, along with the corresponding geometric theory ofband schemes. Bands generalize both hyperrings, in the sense of Krasner, and partial fields in the sense of Semple and Whittle. They form a ring‐like counterpart to the field‐like category ofidyllsintroduced by the first and third authors in the previous work. The first part of the paper is dedicated to establishing fundamental properties of bands analogous to basic facts in commutative algebra. In particular, we introduce various kinds of ideals in a band and explore their properties, and we study localization, quotients, limits, and colimits. The second part of the paper studies band schemes. After giving the definition, we present some examples of band schemes, along with basic properties of band schemes and morphisms thereof, and we describe functors into some other scheme theories. In the third part, we discuss some “visualizations” of band schemes, which are different topological spaces that one can functorially associate to a band scheme . 
    more » « less
  5. Abstract Motivated by recent work on the use of topological methods to study collections of rings between an integral domain and its quotient field, we examine spaces of subrings of a commutative ring, endowed with the Zariski or patch topologies. We introduce three notions to study such a space : patch bundles, patch presheaves and patch algebras. When is compact and Hausdorff, patch bundles give a way to approximate with topologically more tractable spaces, namely Stone spaces. Patch presheaves encode the space into stalks of a presheaf of rings over a Boolean algebra, thus giving a more geometrical setting for studying . To both objects, a patch bundle and a patch presheaf, we associate what we call a patch algebra, a commutative ring that efficiently realizes the rings in as factor rings, or even localizations, and whose structure reflects various properties of the rings in . 
    more » « less