On the normality of the rings of Schubert varieties

We prove that the cone over a Schubert variety inG/P (P being a maximal parabolic subgroup of classical type) is normal by exhibiting a 2-regular sequence inR(w) (the homogeneous coordinate ring of the Schubert varietyX(w) inG/P under the canonical protective embeddingG/P ⊂→ (p (H° G/P,L)),L being the ample generator of (PicG/P), which vanishes on the singular locus ofX(w). We also prove the surjectivity ofH° (G/Q, L) H° (X(w), L), whereQ is a classical parabolic subgroup (not necessarily maximal) ofG andL is an ample line bundle onG/Q.     

Standard pairs for monomial ideals in semigroup rings

We extend the notion of standard pairs to the context of monomial ideals in semigroup rings. Standard pairs can be used as a data structure to encode such monomial ideals, providing an alternative to generating sets that is well suited to computing intersections, decompositions, and multiplicities. We give algorithms to compute standard pairs from generating sets and vice versa and make all of our results effective. We assume that the underlying semigroup ring is positively graded, but not necessarily normal. The lack of normality is at the root of most challenges, subtleties, and innovations in this work.     

SAGBI bases in rings of multiplicative invariants

Let k be a field and G be a finite subgroup of . We show that the ring of multiplicative invariants has a finite SAGBI basis if and only if G is generated by reflections. Received: March 5, 2002     

The existence of continuous invariants for linear difference equations

We study real continuous invariants for systems of linear difference equations. We shall prove a conjecture by Ladas about the existence of such invariants. In fact, necessary and sufficient conditions on existence of such invariants will be established. The invariants will be constructed when they exist.     

Quadratic and cubic invariants of unipotent affine automorphisms

Let K be an arbitrary field of characteristic zero, P_n:=K[x₁,…,x_n] be a polynomial algebra, and , for n2. Let σ^′Aut_K(P_n) be given by

It is proved that the algebra of invariants, , is a polynomial algebra in n−1 variables which is generated by quadratic and cubic (free) generators that are given explicitly.Let σAut_K(P_n) be given by

It is well known that the algebra of invariants, , is finitely generated (theorem of Weitzenböck [R. Weitzenböck, Über die invarianten Gruppen, Acta Math. 58 (1932) 453–494]), has transcendence degree n−1, and that one can give an explicit transcendence basis in which the elements have degrees 1,2,3,…,n−1. However, it is an old open problem to find explicit generators for F_n. We find an explicit vector space basis for the quadratic invariants, and prove that the algebra of invariants is a polynomial algebra over in n−2 variables which is generated by quadratic and cubic (free) generators that are given explicitly.The coefficients of these quadratic and cubic invariants throw light on the ‘unpredictable combinatorics’ of invariants of affine automorphisms and of SL₂-invariants.     

Hodge algebra structures on certain rings of invariants and applications

Let B be a commutative ring with identity, m, n, and r be positive integers such that r ≤ min{m, n}, a ₁, …, a _r (resp. b ₁, … b _r ) be integers such that 1 ≤ a ₁< … < a _r ≤ m (resp. 1 ≤ b ₁ < … < b _r < n) and U (resp. V) be the most general m × r (resp. r × n) matrix such that s-minors of first a _s ? 1 rows (resp. b _s ? 1 columns) of U (resp. V) are all zero for s = 1, …, r. We investigate the B-algebra C generated by all the entries of UV and all the r-minors of U and V. We introduce a Hodge algebra structure, to which the discrete Hodge algebra associate is Cohen Macaulay, on C and prove that C is Cohen-Macaulay if so is B. Using this Hodge algebra structure, we show that C is the ring of absolute invariants of a certain group action, compute the divisor class group and the canonical class of C, and give a criterion of Gorenstein property of C in terms of a ₁ ,…, a _r and b ₁…, b _r .     

Standard monomial bases, Moduli spaces of vector bundles, and Invariant theory

Consider the diagonal action of on the affine space where an algebraically closed field of characteristic We construct a "standard monomial" basis for the ring of invariants As a consequence, we deduce that is Cohen-Macaulay. As the first application, we present the first and second fundamental theorems for -actions. As the second application, assuming that the characteristic of K is we give a characteristic-free proof of the Cohen-Macaulayness of the moduli space of equivalence classes of semi-stable, rank 2, degree 0 vector bundles on a smooth projective curve of genus > 2. As the third application, we describe a K-basis for the ring of invariants for the adjoint action of on m copies of in terms of traces.     

Convex bodies and asymptotic invariants for powers of monomial ideals

Continuing a well established tradition of associating convex bodies to monomial ideals, we initiate a program to construct asymptotic Newton polyhedra from decompositions of monomial ideals. This is achieved by forming a graded family of ideals based on a given decomposition. We term these graded families powers since they generalize the notions of ordinary and symbolic powers. Asymptotic invariants for these graded families are expressed as solutions to linear optimization problems on the respective convex bodies. This allows to establish a lower bound on the Waldschmidt constant of a monomial ideal by means of a more easily computable invariant, which we introduce under the name of naive Waldschmidt constant.     

A bound on the geometric genus of projective varieties verifying certain flag conditions

Fix integers and let be the set of all integral, projective and nondegenerate varieties of degree and dimension in the projective space , such that, for all , does not lie on any variety of dimension and degree . We say that a variety satisfies a flag condition of type if belongs to . In this paper, under the hypotheses , we determine an upper bound , depending only on , for the number , where denotes the geometric genus of . In case and , the study of an upper bound for the geometric genus has a quite long history and, for , and , it has been introduced by Harris. We exhibit sharp results for particular ranges of our numerical data . For instance, we extend Halphen's theorem for space curves to the case of codimension two and characterize the smooth complete intersections of dimension in as the smooth varieties of maximal geometric genus with respect to appropriate flag condition. This result applies to smooth surfaces in . Next we discuss how far is from and show a sort of lifting theorem which states that, at least in certain cases, the varieties of maximal geometric genus must in fact lie on a flag such as , where denotes a subvariety of of degree and dimension . We also discuss further generalizations of flag conditions, and finally we deduce some bounds for Castelnuovo's regularity of varieties verifying flag conditions.

     

SBA splitting for approximation of invariants in time-dependent Hamiltonian systems

Most physical phenomena are described by time-dependent Hamiltonian systems with qualitative features that should be preserved by numerical integrators used for approximating their dynamics. The initial energy of the system together with the energy added or subtracted by the outside forces, represent a conserved quantity of the motion. For a class of time-dependent Hamiltonian systems [8] this invariant can be defined by means of an auxiliary function whose dynamics has to be integrated simultaneously with the system’s equations. We propose splitting procedures featured by a SB³A property that allows to construct composition methods with a reduced number of determining order equations and to provide the same high accuracy for both the dynamics and the preservation of the invariant quantity.     

A note on the Chow groups of projective determinantal varieties; an appendix to the paper by Grzegorz Kapustka and Michal Kapustka on “A cascade of determinantal Calabi‐Yau threefolds”

We investigate the Chow groups of projective determinantal varieties and those of their strata of matrices of fixed rank, using Chern class computations (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Principal invariants and inherent parameters of diffusion kurtosis tensors

A diffusion kurtosis (DK) tensor is a fourth order three-dimensional fully symmetric tensor, which is used in diffusion kurtosis imaging (DKI), a new model in medical engineering. To understand the biological and clinical meaning of the DK tensor, we have to measure and calculate some quantities and parameters which are independent from coordinate system choices. In this paper we study such quantities and parameters. They include the largest, the smallest and the average apparent kurtosis coefficients (AKC) values, which are invariant from the coordinate system choices, and some parameters measured in the inherent coordinate system, which is formed by the eigenvector system of the second order diffusion tensor. We study their computational formulas and relationships.     

Hochschild Cohomology of skew group rings and invariants

Let A be a k-algebra and G be a group acting on A. We show that G also acts on the Hochschild cohomology algebra HH ^⊙ (A) and that there is a monomorphism of rings HH ^⊙ (A) ^G →HH ^⊙ (A[G]). That allows us to show the existence of a monomorphism from HH ^⊙ (Ã) ^G into HH ^⊙ (A), where à is a Galois covering with group G.     

Contracting modules and standard monomial theory for symmetrizable Kac-Moody algebras

The aim of this article is to attach to the set of L-S paths of type in a canonical way a basis of the corresponding representation . This basis has some nice algebraic-geometric properties. For example, it is compatible with restrictions to Schubert varieties and has the ``standard monomial property'. As a consequence we get new simple proofs of the normality of Schubert varieties, the surjectivity of the multiplication map or the restriction map for sections of a line bundle on Schubert varieties. Other applications to the defining ideal of Schubert varieties and associated Groebner basis will be discussed in a forthcoming paper.

     

Finite SAGBI bases for polynomial invariants of conjugates of alternating groups

It is well-known, that the ring of polynomial invariants of the alternating group has no finite SAGBI basis with respect to the lexicographical order for any number of variables . This note proves the existence of a nonsingular matrix such that the ring of polynomial invariants , where denotes the conjugate of with respect to , has a finite SAGBI basis for any .