-anneaux noethériens
Let be a Noetherian ring, and and be two ideals of . Let be a Serre subcategory of the category of -modules satisfying the condition and be a -module. As a generalization of the - and , the - of on is defined as --, and some properties of this concept are investigated. The relations between - and are studied, and it is proved that -, where is a Serre subcategory closed under taking injective hulls. Some conditions are provided that local cohomology modules with...
We describe the branching rule from to , where the latter is embedded via its action on binary cubic forms. We obtain both a numerical multiplicity formula, as well as a minimal system of generators for the geometric realization of the rule.
We degenerate Cox–Nagata rings to toric algebras by means of sagbi bases induced by configurations over the rational function field. For del Pezzo surfaces, this degeneration implies the Batyrev–Popov conjecture that these rings are presented by ideals of quadrics. For the blow-up of projective -space at points, sagbi bases of Cox–Nagata rings establish a link between the Verlinde formula and phylogenetic algebraic geometry, and we use this to answer questions due to D’Cruz–Iarrobino and Buczyńska–Wiśniewski....
In this paper we compute the dimension of all the sth higher secant varieties of the Segre-Veronese embeddings Yd of the product P1 × P1 × P1 in the projective space PN via divisors of multidegree d = (a,b,c) (N = (a+1)(b+1)(c+1) - 1). We find that Yd has no deficient higher secant varieties, unless d = (2,2,2) and s = 7, or d = (2h,1,1) and s = 2h + 1, with defect 1 in both cases.
We present an account of the construction by S. Sekiguchi and N. Suwa of a cyclic isogeny of affine smooth group schemes unifying the Kummer and Artin-Schreier-Witt isogenies. We complete the construction over an arbitrary base ring. We extend the statements of some results in a form adapted to a further investigation of the models of the group schemes of roots of unity.
Let be a commutative ring with identity. A proper ideal is said to be an -ideal of if for , and imply . We give a new generalization of the concept of -ideals by defining a proper ideal of to be a semi -ideal if whenever is such that , then or . We give some examples of semi -ideal and investigate semi -ideals under various contexts of constructions such as direct products, homomorphic images and localizations. We present various characterizations of this new class of...
Abhyankar proved that every field of finite transcendence degree over or over a finite field is a homomorphic image of a subring of the ring of polynomials (for some depending on the field). We conjecture that his result cannot be substantially strengthened and show that our conjecture implies a well-known conjecture on the additive idempotence of semifields that are finitely generated as semirings.
Arithmetical invariants—such as sets of lengths, catenary and tame degrees—describe the non-uniqueness of factorizations in atomic monoids.We study these arithmetical invariants by the monoid of relations and by presentations of the involved monoids. The abstract results will be applied to numerical monoids and to Krull monoids.