The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

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...

Coppersmith-Rivlin type inequalities and the order of vanishing of polynomials at 1

(2016)

Acta Arithmetica

Similarity:

For n ∈ ℕ, L > 0, and p ≥ 1 let κ p ( n , L ) be the largest possible value of k for which there is a polynomial P ≢ 0 of the form P ( x ) = j = 0 n a j x j , | a 0 | L ( j = 1 n | a j | p ) 1 / p , a j , such that ( x - 1 ) k divides P(x). For n ∈ ℕ, L > 0, and q ≥ 1 let μ q ( n , L ) be the smallest value of k for which there is a polynomial Q of degree k with complex coefficients such that | Q ( 0 ) | > 1 / L ( j = 1 n | Q ( j ) | q ) 1 / q . We find the size of κ p ( n , L ) and μ q ( n , L ) for all n ∈ ℕ, L > 0, and 1 ≤ p,q ≤ ∞. The result about μ ( n , L ) is due to Coppersmith and Rivlin, but our proof is completely different and much shorter even...

Polynomials with values which are powers of integers

Rachid Boumahdi, Jesse Larone (2018)

Archivum Mathematicum

Similarity:

Let P be a polynomial with integral coefficients. Shapiro showed that if the values of P at infinitely many blocks of consecutive integers are of the form Q ( m ) , where Q is a polynomial with integral coefficients, then P ( x ) = Q ( R ( x ) ) for some polynomial R . In this paper, we show that if the values of P at finitely many blocks of consecutive integers, each greater than a provided bound, are of the form m q where q is an integer greater than 1, then P ( x ) = ( R ( x ) ) q for some polynomial R ( x ) .