Hochster's type formulae

Fernando Sancho de Salas,Alejandro Torres Sancho

2024-05-14

Abstract:We give an elementary proof and generalize some Hochsters's type formulae on local cohomology and Ext's of squarefree modules

Commutative Algebra

What problem does this paper attempt to address?

A Proof of a Conjecture of Marino-Vafa on Hodge Integrals

CCM Liu,KF Liu,R Zhou

DOI: https://doi.org/10.4310/jdg/1090511689

2003-01-01

Journal of Differential Geometry

Abstract:We prove a remarkable formula for Hodge integrals conjectured by Marino andVafa based on large N duality, using functorial virtual localization on certainmoduli spaces of relative stable morphisms.
A cohomological Hasse principle over two-dimensional local rings

Yong Hu

DOI: https://doi.org/10.1093/imrn/rnw149

2016-06-13

Abstract:Let $K$ be the fraction field of a two-dimensional henselian, excellent, equi-characteristic local domain. We prove a local-global principle for Galois cohomology with finite coefficients over $K$. We use classical machinery from étale cohomology theory, drawing upon an idea in Saito's work on two-dimensional local class field theory. This approach works equally well over the function field of a curve over an equi-characteristic henselian discrete valuation field, thereby giving a different proof of (a slightly generalized version of) a recent result of Harbater, Hartmann and Krashen. We also present two applications. One is the Hasse principle for torsors under quasi-split semisimple simply connected groups without $E_8$ factor. The other gives an explicit upper bound for the Pythagoras number of a Laurent series field in three variables. This bound is sharper than earlier estimates.

Number Theory,K-Theory and Homology
Some Lê-Greuel type formulae on stratified spaces

Matthias Zach

2024-11-05

Abstract:We extend the circle of ideas from a previous paper on hypersurfaces to functions $f \colon (\mathbb C^n, 0) \to (\mathbb C^k, 0)$ with an isolated singularity in a stratified sense on an arbitrary, but fixed complex analytic germ $(X, 0)$. An extension of Tib{\u a}r's Bouquet Theorem to this setup allows for a topological definition of Milnor numbers $\mu(\alpha; f)$ for each stratum $V^\alpha$ of $X$ and we prove several formulas which compute these numbers as (alternating) sums of certain ``homological indices''. The main technical result at work in the background is a local Riemann-Roch type theorem, relating a topological obstruction to holomorphic Euler characteristics.

Algebraic Geometry
On the Endomorphism Algebra of Abelian Varieties Associated with Hilbert Modular Forms

Alireza Shavali

2024-10-27

Abstract:In this article, we will generalize an explicit formula proved by Quer for the Brauer class of the endomorphism algebra of abelian varieties associated to modular forms of weight 2 to the case of Hilbert modular forms of parallel weight 2, under the condition that the degree of the base field over Q is an odd number.

Number Theory
A note on the cohomology of moduli spaces of local shtukas

David Hansen,Christian Johansson

2024-04-05

Abstract:We study localized versions of the spectral action of Fargues--Scholze, using methods from higher algebra. As our main motivation and application, we deduce a formula for the cohomology of moduli spaces of local shtukas under certain genericity assumptions, and discuss its relation with the Kottwitz conjecture.

Number Theory,Representation Theory
Hopf formulae for homology of skew braces

M. Gran,T. Letourmy,L. Vendramin

2024-09-27

Abstract:The variety of skew braces contains several interesting subcategories as subvarieties, as for instance the varieties of radical rings, of groups and of abelian groups. In this article the methods of non-abelian homological algebra are applied to establish some new Hopf formulae for homology of skew braces, where the coefficient functors are the reflectors from the variety of skew braces to each of the three above-mentioned subvarieties. The corresponding central extensions of skew braces are characterized in purely algebraic terms, leading to some new results, such as an explicit Stallings-Stammbach exact sequence associated with any exact sequence of skew braces, and a new result concerning central series.

Quantum Algebra,Category Theory,Rings and Algebras
An Ext-Tor duality theorem, cohomological dimension, and applications

Rafael Holanda,Cleto B. Miranda-Neto

2023-12-15

Abstract:We provide a duality theorem between Ext and Tor modules over a Cohen-Macaulay local ring possessing a canonical module, and use it to prove some freeness criteria for finite modules. The applications include a characterization of codimension three complete intersection ideals and progress on a long-held multi-conjecture of Vasconcelos. By a similar technique, we furnish another theorem which in addition makes use of the notion of cohomological dimension and is mainly of interest in dimension one; as an application, we show that the celebrated Huneke-Wiegand conjecture in the case of complete intersections holds true provided that a single additional condition is satisfied.

Commutative Algebra
Chevalley--Monk formulas for bow varieties

Till Wehrhan

2024-05-23

Abstract:We prove a formula for the multiplication of equivariant first Chern classes of tautological bundles of type A bow varieties with respect to the stable envelope basis. This formula naturally generalizes the classical Chevalley--Monk formula and can be formulated in terms of creating crossings of skein type diagrams that label the stable envelope basis.

Algebraic Geometry,Representation Theory
A global proof of the homological excess intersection formula

Oscar Finegan

2024-06-25

Abstract:We provide a novel proof of the homological excess intersection formula for local complete intersections. The novelty is that the proof makes use of global morphisms comparing the intersections to a self intersection.

Algebraic Geometry,Category Theory
Some Closed Formulas and Conjectures for Hodge Integrals

J Zhou

DOI: https://doi.org/10.4310/mrl.2003.v10.n3.a1

2003-01-01

Mathematical Research Letters

Abstract:We announce the proof of some closed formulas for Hodge integrals, including some low degree cases of a remarkable formula conjectured by Marino and Vafa based on string duality, and a conjecture by Monni, Song, and Song. We also make some conjectures based on the proved formulas.
Higher K-theory of forms II. From exact categories to chain complexes

Marco Schlichting

2024-11-14

Abstract:We prove basic statements about the Hermitian K-theory of exact form categories with weak equivalences. Notably, we extend a quadratic functor with values in abelian groups from an exact category to its category of bounded chain complexes in a way that does not change Grothendieck-Witt spaces. This is used in joint work with Marlowe for the comparison of the classical 1-categorical version of the Hermitian K-theory of exact categories with the infinity-categorical version of Calmes-Dotto-Harpaz-Hebestreit-Land-Moi-Nardin-Nikolaus-Steimle.

K-Theory and Homology
Deconstructing Auslander's formulas, I. Fundamental sequences associated with additive functors

Alex Martsinkovsky

2024-10-18

Abstract:For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the functor. For half-exact functors, the obtained sequences are exact. For general functors, nontrivial homology may only appear at the derived functors. Specializing to the familiar Hom and tensor product functors on finitely presented modules, we recover the classical formulas of Auslander. Unlike those formulas, our results hold for arbitrary rings and arbitrary modules, finite or infinite. The same formalism leads to universal coefficient theorems for homology and cohomology of arbitrary complexes. The new results are even more explicit for the cohomology of projective complexes and the homology of flat complexes.

Representation Theory,Algebraic Topology,Category Theory,K-Theory and Homology,Rings and Algebras
The local cohomology spectral sequence for topological modular forms

Robert Bruner,John Greenlees,John Rognes

DOI: https://doi.org/10.1007/s00209-022-03033-4

2022-08-06

Mathematische Zeitschrift

Abstract:We discuss proofs of local cohomology theorems for topological modular forms, based on Mahowald–Rezk duality and on Gorenstein duality, and then make the associated local cohomology spectral sequences explicit, including their differential patterns and hidden extensions.

mathematics
Waldspurger formulas in higher cohomology

Santiago Molina

2023-10-19

Abstract:The classical Waldspurger formula, which computes periods of quaternionic automorphic forms in maximal torus, has been used in a wide variety of arithmetic applications, such as the Birch and Swinnerton-Dyer conjecture in rank 0 situations. This is why this formula is considered the rank 0 analogue of the celebrated Gross-Zagier formula. On the other hand, Eichler-Shimura correspondence allows us to interpret this quaternionic automorphic form as a cocycle in higher cohomology spaces of certain arithmetic groups. In this way we can realize the corresponding automorphic representation in the etale cohomology of certain Shimura varieties. In this work we find a formula, analogous to that of Waldspurger, which relates cap-products of this cocycle and fundamental classes associated with maximal torus with special values of Rankin-Selberg L-functions.

Number Theory
The cohomology of real Grassmannians via Schubert stratifications

Eric Berry,Scotty Tilton

DOI: https://doi.org/10.48550/arXiv.2011.07695

2020-11-25

Abstract:In this paper, we present a closed formula for the cohomology of real Grassmannians. To achieve this, we use a theory of stratified spaces to compute the differentials in a chain complex that computes the cohomology. Specifically, we organize Schubert cells as a conically smooth stratified space in the sense of Ayala, Francis, Tanaka; the links therein yield the sought differentials, using methods in differential topology. Further, we identify the isomorphism type of this chain complex and we use this result to provide a closed formula for the additive structure of the cohomology of real Grassmannians with arbitrary coefficients.

Algebraic Topology
A Formalism of F -modules for Rings with Complete Local Finite F -Representation Type

Eamon Quinlan-Gallego

DOI: https://doi.org/10.1093/imrn/rnae054

2024-04-01

International Mathematics Research Notices

Abstract:Abstract We develop a formalism of unit $F$-modules in the style of Lyubeznik and Emerton-Kisin for rings that have finite $F$-representation type after localization and completion at every prime ideal. As applications, we show that if $R$ is such a ring then the iterated local cohomology modules $H^{n_{1}}_{I_{1}} \circ \cdots \circ H^{n_{s}}_{I_{s}}(R)$ have finitely many associated primes, and that all local cohomology modules $H^{n}_{I}(R / gR)$ have closed support when $g$ is a nonzerodivisor on $R$.

mathematics
Hall polynomials for tame type

Bangming Deng,Shiquan Ruan

DOI: https://doi.org/10.1016/j.jalgebra.2016.10.002

IF: 0.908

2017-04-01

Journal of Algebra

Abstract:In the present paper we prove that Hall polynomial exists for each triple of decomposition sequences which parameterize isomorphism classes of coherent sheaves of a domestic weighted projective line X over finite fields. These polynomials are then used to define the generic Ringel–Hall algebra of X as well as its Drinfeld double. Combining this construction with a result of Cramer, we show that Hall polynomials exist for tame quivers, which not only refines a result of Hubery, but also confirms a conjecture of Berenstein and Greenstein.

mathematics
On Koszul complex of a supermodule

Darío Sánchez Gómez,Fernando Sancho de Salas

2024-01-26

Abstract:This paper is devoted to an exposition of the Koszul complex of a supermodule and its Berezinian from an intrinsic and as general as possible point of view. As an application, an analogue to Bott's formula in the supercommutative setting computing the cohomology of twisted differential p-forms sheaves on the projective superspaces is given.

Algebraic Geometry
A unified approach to formal local cohomology and local Tate cohomology

Mohsen Asgharzadeh,Kamran Divaani-Aazar

DOI: https://doi.org/10.48550/arXiv.1111.6786

2011-11-29

Abstract:Let R be a commutative Noetherian ring. We introduce a theory of formal local cohomology for complexes of R-modules. As an application, we establish some relations between formal local cohomology, local homology, local cohomology and local Tate cohomology through some natural isomorphisms. We investigate vanishing of formal local cohomology modules. Also, we give a characterization of Cohen-Macaulay complexes.

Commutative Algebra
Gopakumar-Vafa Bps Invariants, Hilbert Schemes and Quasimodular Forms. I

Shuai Guo,Jian Zhou

DOI: https://doi.org/10.1016/j.aim.2014.09.013

IF: 1.675

2014-01-01

Advances in Mathematics

Abstract:We prove a closed formula for leading Gopakumar–Vafa BPS invariants of local Calabi–Yau geometries given by the canonical line bundles of toric Fano surfaces. It shares some similar features with Göttsche–Yau–Zaslow formula: Connection with Hilbert schemes, connection with quasimodular forms, and quadratic property after suitable transformation. In Part I of this paper we will present the case of projective plane, more general cases will be presented in Part II.

Hochster's type formulae

A Proof of a Conjecture of Marino-Vafa on Hodge Integrals

A cohomological Hasse principle over two-dimensional local rings

Some Lê-Greuel type formulae on stratified spaces

On the Endomorphism Algebra of Abelian Varieties Associated with Hilbert Modular Forms

A note on the cohomology of moduli spaces of local shtukas

Hopf formulae for homology of skew braces

An Ext-Tor duality theorem, cohomological dimension, and applications

Chevalley--Monk formulas for bow varieties

A global proof of the homological excess intersection formula

Some Closed Formulas and Conjectures for Hodge Integrals

Higher K-theory of forms II. From exact categories to chain complexes

Deconstructing Auslander's formulas, I. Fundamental sequences associated with additive functors

The local cohomology spectral sequence for topological modular forms

Waldspurger formulas in higher cohomology

The cohomology of real Grassmannians via Schubert stratifications

A Formalism of F -modules for Rings with Complete Local Finite F -Representation Type

Hall polynomials for tame type

On Koszul complex of a supermodule

A unified approach to formal local cohomology and local Tate cohomology

Gopakumar-Vafa Bps Invariants, Hilbert Schemes and Quasimodular Forms. I