Displaying similar documents to “Troesch complexes and extensions of strict polynomial functors”

Matlis dual of local cohomology modules

Batoul Naal, Kazem Khashyarmanesh (2020)

Czechoslovak Mathematical Journal

Similarity:

Let ( R , 𝔪 ) be a commutative Noetherian local ring, 𝔞 be an ideal of R and M a finitely generated R -module such that 𝔞 M M and cd ( 𝔞 , M ) - grade ( 𝔞 , M ) 1 , where cd ( 𝔞 , M ) is the cohomological dimension of M with respect to 𝔞 and grade ( 𝔞 , M ) is the M -grade of 𝔞 . Let D ( - ) : = Hom R ( - , E ) be the Matlis dual functor, where E : = E ( R / 𝔪 ) is the injective hull of the residue field R / 𝔪 . We show that there exists the following long exact sequence 0 H 𝔞 n - 2 ( D ( H 𝔞 n - 1 ( M ) ) ) H 𝔞 n ( D ( H 𝔞 n ( M ) ) ) D ( M ) H 𝔞 n - 1 ( D ( H 𝔞 n - 1 ( M ) ) ) H 𝔞 n + 1 ( D ( H 𝔞 n ( M ) ) ) H 𝔞 n ( D ( H ( x 1 , ... , x n - 1 ) n - 1 ( M ) ) ) H 𝔞 n ( D ( H ( n - 1 M ) ) ) ... , where n : = cd ( 𝔞 , M ) is a non-negative integer, x 1 , ... , x n - 1 is a regular sequence in 𝔞 on M and, for an R -module L , H 𝔞 i ( L ) is the i th local cohomology module...

1 -cocycles on the group of contactomorphisms on the supercircle S 1 | 3 generalizing the Schwarzian derivative

Boujemaa Agrebaoui, Raja Hattab (2016)

Czechoslovak Mathematical Journal

Similarity:

The relative cohomology H diff 1 ( 𝕂 ( 1 | 3 ) , 𝔬𝔰𝔭 ( 2 , 3 ) ; 𝒟 λ , μ ( S 1 | 3 ) ) of the contact Lie superalgebra 𝕂 ( 1 | 3 ) with coefficients in the space of differential operators 𝒟 λ , μ ( S 1 | 3 ) acting on tensor densities on S 1 | 3 , is calculated in N. Ben Fraj, I. Laraied, S. Omri (2013) and the generating 1 -cocycles are expressed in terms of the infinitesimal super-Schwarzian derivative 1 -cocycle s ( X f ) = D 1 D 2 D 3 ( f ) α 3 1 / 2 , X f 𝕂 ( 1 | 3 ) which is invariant with respect to the conformal subsuperalgebra 𝔬𝔰𝔭 ( 2 , 3 ) of 𝕂 ( 1 | 3 ) . In this work we study the supergroup case. We give an explicit construction of 1 -cocycles...

Obstruction sets and extensions of groups

Francesca Balestrieri (2016)

Acta Arithmetica

Similarity:

Let X be a nice variety over a number field k. We characterise in pure “descent-type” terms some inequivalent obstruction sets refining the inclusion X ( k ) é t , B r X ( k ) B r . In the first part, we apply ideas from the proof of X ( k ) é t , B r = X ( k ) k by Skorobogatov and Demarche to new cases, by proving a comparison theorem for obstruction sets. In the second part, we show that if k are such that E x t ( , k ) , then X ( k ) = X ( k ) . This allows us to conclude, among other things, that X ( k ) é t , B r = X ( k ) k and X ( k ) S o l , B r = X ( k ) S o l k .

S -depth on Z D -modules and local cohomology

Morteza Lotfi Parsa (2021)

Czechoslovak Mathematical Journal

Similarity:

Let R be a Noetherian ring, and I and J be two ideals of R . Let S be a Serre subcategory of the category of R -modules satisfying the condition C I and M be a Z D -module. As a generalization of the S - depth ( I , M ) and depth ( I , J , M ) , the S - depth of ( I , J ) on M is defined as S - depth ( I , J , M ) = inf { S - depth ( 𝔞 , M ) : 𝔞 W ˜ ( I , J ) } , and some properties of this concept are investigated. The relations between S - depth ( I , J , M ) and H I , J i ( M ) are studied, and it is proved that S - depth ( I , J , M ) = inf { i : H I , J i ( M ) S } , where S is a Serre subcategory closed under taking injective hulls. Some conditions are provided that local cohomology...

On a generalization of the Beiter Conjecture

Bartłomiej Bzdęga (2016)

Acta Arithmetica

Similarity:

We prove that for every ε > 0 and every nonnegative integer w there exist primes p 1 , . . . , p w such that for n = p 1 . . . p w the height of the cyclotomic polynomial Φ n is at least ( 1 - ε ) c w M n , where M n = i = 1 w - 2 p i 2 w - 1 - i - 1 and c w is a constant depending only on w; furthermore l i m w c w 2 - w 0 . 71 . In our construction we can have p i > h ( p 1 . . . p i - 1 ) for all i = 1,...,w and any function h: ℝ₊ → ℝ₊.

Cotorsion pairs in comma categories

Yuan Yuan, Jian He, Dejun Wu (2024)

Czechoslovak Mathematical Journal

Similarity:

Let 𝒜 and be abelian categories with enough projective and injective objects, and T : 𝒜 a left exact additive functor. Then one has a comma category ( T ) . It is shown that if T : 𝒜 is 𝒳 -exact, then ( 𝒳 , 𝒳 ) is a (hereditary) cotorsion pair in 𝒜 and ( 𝒴 , 𝒴 ) ) is a (hereditary) cotorsion pair in if and only if 𝒳 𝒴 , 𝐡 ( 𝒳 , 𝒴 ) ) is a (hereditary) cotorsion pair in ( T ) and 𝒳 and 𝒴 are closed under extensions. Furthermore, we characterize when special preenveloping classes in abelian categories 𝒜 and can induce special preenveloping...

Cominimaxness of local cohomology modules

Moharram Aghapournahr (2019)

Czechoslovak Mathematical Journal

Similarity:

Let R be a commutative Noetherian ring, I an ideal of R . Let t 0 be an integer and M an R -module such that Ext R i ( R / I , M ) is minimax for all i t + 1 . We prove that if H I i ( M ) is FD 1 (or weakly Laskerian) for all i < t , then the R -modules H I i ( M ) are I -cominimax for all i < t and Ext R i ( R / I , H I t ( M ) ) is minimax for i = 0 , 1 . Let N be a finitely generated R -module. We prove that Ext R j ( N , H I i ( M ) ) and Tor j R ( N , H I i ( M ) ) are I -cominimax for all i and j whenever M is minimax and H I i ( M ) is FD 1 (or weakly Laskerian) for all i .

The Roquette category of finite p -groups

Serge Bouc (2015)

Journal of the European Mathematical Society

Similarity:

Let p be a prime number. This paper introduces the Roquette category p of finite p -groups, which is an additive tensor category containing all finite p -groups among its objects. In p , every finite p -group P admits a canonical direct summand P , called the edge of P . Moreover P splits uniquely as a direct sum of edges of Roquette p -groups, and the tensor structure of p can be described in terms of such edges. The main motivation for considering this category is that the additive functors...

Thompson’s conjecture for the alternating group of degree 2 p and 2 p + 1

Azam Babai, Ali Mahmoudifar (2017)

Czechoslovak Mathematical Journal

Similarity:

For a finite group G denote by N ( G ) the set of conjugacy class sizes of G . In 1980s, J. G. Thompson posed the following conjecture: If L is a finite nonabelian simple group, G is a finite group with trivial center and N ( G ) = N ( L ) , then G L . We prove this conjecture for an infinite class of simple groups. Let p be an odd prime. We show that every finite group G with the property Z ( G ) = 1 and N ( G ) = N ( A i ) is necessarily isomorphic to A i , where i { 2 p , 2 p + 1 } .

Stable tubes in extriangulated categories

Li Wang, Jiaqun Wei, Haicheng Zhang (2022)

Czechoslovak Mathematical Journal

Similarity:

Let 𝒳 be a semibrick in an extriangulated category. If 𝒳 is a τ -semibrick, then the Auslander-Reiten quiver Γ ( ( 𝒳 ) ) of the filtration subcategory ( 𝒳 ) generated by 𝒳 is 𝔸 . If 𝒳 = { X i } i = 1 t is a τ -cycle semibrick, then Γ ( ( 𝒳 ) ) is 𝔸 / τ 𝔸 t .

Relative exactness modulo a polynomial map and algebraic ( p , + ) -actions

Philippe Bonnet (2003)

Bulletin de la Société Mathématique de France

Similarity:

Let F = ( f 1 , ... , f q ) be a polynomial dominating map from n to  q . We study the quotient 𝒯 1 ( F ) of polynomial 1-forms that are exact along the generic fibres of F , by 1-forms of type d R + a i d f i , where R , a 1 , ... , a q are polynomials. We prove that 𝒯 1 ( F ) is always a torsion [ t 1 , ... , t q ] -module. Then we determine under which conditions on F we have 𝒯 1 ( F ) = 0 . As an application, we study the behaviour of a class of algebraic ( p , + ) -actions on n , and determine in particular when these actions are trivial.

Polynomials, sign patterns and Descartes' rule of signs

Vladimir Petrov Kostov (2019)

Mathematica Bohemica

Similarity:

By Descartes’ rule of signs, a real degree d polynomial P with all nonvanishing coefficients with c sign changes and p sign preservations in the sequence of its coefficients ( c + p = d ) has pos c positive and ¬ p negative roots, where pos c ( mod 2 ) and ¬ p ( mod 2 ) . For 1 d 3 , for every possible choice of the sequence of signs of coefficients of P (called sign pattern) and for every pair ( pos , neg ) satisfying these conditions there exists a polynomial P with exactly pos positive and exactly ¬ negative roots (all of them simple). For d 4 ...

H calculus and dilatations

Andreas M. Fröhlich, Lutz Weis (2006)

Bulletin de la Société Mathématique de France

Similarity:

We characterise the boundedness of the H calculus of a sectorial operator in terms of dilation theorems. We show e. g. that if - A generates a bounded analytic C 0 semigroup ( T t ) on a UMD space, then the H calculus of A is bounded if and only if ( T t ) has a dilation to a bounded group on L 2 ( [ 0 , 1 ] , X ) . This generalises a Hilbert space result of C.LeMerdy. If X is an L p space we can choose another L p space in place of L 2 ( [ 0 , 1 ] , X ) .

Hardness of embedding simplicial complexes in d

Jiří Matoušek, Martin Tancer, Uli Wagner (2011)

Journal of the European Mathematical Society

Similarity:

Let 𝙴𝙼𝙱𝙴𝙳 k d be the following algorithmic problem: Given a finite simplicial complex K of dimension at most k , does there exist a (piecewise linear) embedding of K into d ? Known results easily imply polynomiality of 𝙴𝙼𝙱𝙴𝙳 k 2 ( k = 1 , 2 ; the case k = 1 , d = 2 is graph planarity) and of 𝙴𝙼𝙱𝙴𝙳 k 2 k for all k 3 . We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that 𝙴𝙼𝙱𝙴𝙳 d d and 𝙴𝙼𝙱𝙴𝙳 ( d - 1 ) d are undecidable for each d 5 . Our main result is NP-hardness of 𝙴𝙼𝙱𝙴𝙳 2 4 and, more generally, of 𝙴𝙼𝙱𝙴𝙳 k d for all...