-
Test, multiplier and invariant ideals
Authors:
Inês B. Henriques,
M. Varbaro
Abstract:
This paper gives an explicit formula for the multiplier ideals, and consequently for the log canonical thresholds, of any GL(V)xGL(W)-invariant ideal in the symmetric algebra S of the tensor product of V with the dual of W, where V and W are vector spaces over a field of characteristic 0. This characterization is done in terms of a polytope constructed from the set of Young diagrams corresponding…
▽ More
This paper gives an explicit formula for the multiplier ideals, and consequently for the log canonical thresholds, of any GL(V)xGL(W)-invariant ideal in the symmetric algebra S of the tensor product of V with the dual of W, where V and W are vector spaces over a field of characteristic 0. This characterization is done in terms of a polytope constructed from the set of Young diagrams corresponding to the Schur modules generating the ideal.
Our approach consists in computing the test ideals of some invariant ideals of S in positive characteristic: Namely, we will compute the test ideals (and so the F-pure thresholds) of any sum of products of determinantal ideals. Even in characteristic 0, not all the invariant ideals are as the latter, but they are up to integral closure, and this is enough to reach our goals.
The results concerning the test ideals are obtained as a consequence of general results holding true in a special situation. Within such framework fall determinantal objects of a generic matrix, as well as of a symmetric matrix and of a skew-symmetric one. Similar results are thus deduced for the GL(V)-invariant ideals in the symmetric algebra of the second symmetric (or alternating) power of V. (Also monomial ideals fall in this framework, thus we recover Howald's formula for their multiplier ideals and, more generally, we get the formula for their test ideals). During the proof, we introduce the notion of "floating test ideals", a property that in a sense is satisfied by ideals defining schemes with singularities as nice as possible. As we will see, products of determinantal ideals, and by passing to characteristic 0 ideals generated by a single Schur module, have this property.
△ Less
Submitted 16 July, 2014;
originally announced July 2014.
-
F-thresholds and Generalized test ideals of determinantal ideals of maximal minors
Authors:
Inês Bonacho dos Anjos Henriques
Abstract:
We study higher jum** numbers and generalized test ideals associated to determinantal ideals over a field of positive characteristic. We work in positive characteristic and give a complete characterization of both families for ideals generated by maximal minors; and make a conjecture for the general case. Although these invariants are understood asymptotically - as their positive characteristic…
▽ More
We study higher jum** numbers and generalized test ideals associated to determinantal ideals over a field of positive characteristic. We work in positive characteristic and give a complete characterization of both families for ideals generated by maximal minors; and make a conjecture for the general case. Although these invariants are understood asymptotically - as their positive characteristic grows to infinity they essentially coincide with their characteristic zero analogues - there are known examples where the behavior in positive characteristic differs significantly from that of characteristic zero. This new knowledge associated to determinantal ideals strengthens the case that test ideals and multiplier exhibit essentially the same description even in small characteristics. We conjecture that a similar result holds for determinantal ideals of arbitrary size.
△ Less
Submitted 16 April, 2014;
originally announced April 2014.
-
Quasi-complete intersection homomorphisms
Authors:
Luchezar L. Avramov,
Inês B. Henriques,
Liana M. Şega
Abstract:
Extending a notion defined for surjective maps by Blanco, Majadas, and Rodicio, we introduce and study a class of homomorphisms of commutative noetherian rings, which strictly contains the class of locally complete intersection homomorphisms, while sharing many of its remarkable properties.
Extending a notion defined for surjective maps by Blanco, Majadas, and Rodicio, we introduce and study a class of homomorphisms of commutative noetherian rings, which strictly contains the class of locally complete intersection homomorphisms, while sharing many of its remarkable properties.
△ Less
Submitted 4 November, 2013; v1 submitted 11 October, 2010;
originally announced October 2010.
-
Free resolutions over short Gorenstein local rings
Authors:
Inês B. Henriques,
Liana M. Şega
Abstract:
Let R be a local ring with maximal ideal m admitting a non-zero element a\in\fm for which the ideal (0:a) is isomorphic to R/aR.
We study minimal free resolutions of finitely generated R-modules M, with particular attention to the case when m^4=0. Let e denote the minimal number of generators of m. If R is Gorenstein with m^4=0 and e\ge 3, we show that \Poi MRt is rational with denominator \HH…
▽ More
Let R be a local ring with maximal ideal m admitting a non-zero element a\in\fm for which the ideal (0:a) is isomorphic to R/aR.
We study minimal free resolutions of finitely generated R-modules M, with particular attention to the case when m^4=0. Let e denote the minimal number of generators of m. If R is Gorenstein with m^4=0 and e\ge 3, we show that \Poi MRt is rational with denominator \HH R{-t} =1-et+et^2-t^3, for each finitely generated R-module M. In particular, this conclusion applies to generic Gorenstein algebras of socle degree 3.
△ Less
Submitted 20 October, 2009; v1 submitted 22 April, 2009;
originally announced April 2009.