On the recognition problem of quasi-homogeneous locally nilpotent derivations in dimension three

We give a criterion to decide if a given w-homogeneous derivation on A?k[X₁,X₂,X₃] is locally nilpotent. We deduce an algorithm which decides if a k-subalgebra of A, which is finitely generated by w-homogeneous elements, is the kernel of some locally nilpotent derivation.     

Triangulable locally nilpotent derivations in dimension three

In this paper we give an algorithm to recognize triangulable locally nilpotent derivations in dimension three. In case the given derivation is triangulable, our method produces a coordinate system in which it exhibits a triangular form.     

Power linear keller maps of rank two are linearly triangularizable

Let R be a field with characteristic zero. In this paper it is proved that power linear Keller maps Rⁿ→Rⁿ with rank at most two are linearly triangularizable.     

A note about measures and Jacobians of singular random matrices

This paper explains the differences between the densities and the Jacobians of the transforms of the same singular random matrices treated by several authors. Some comments on the results proposed by Srivastava [Singular Wishart and multivariate beta distributions, Ann. Statist. 31 (2003) 1537-1560] are presented. Definitions about a measure with respect to which a singular random matrix possesses a density are proposed. Finally two Jacobians of certain transforms under any of those measures are found.     

Images of locally finite derivations of polynomial algebras in two variables

In this paper we show that the image of any locally finite k-derivation of the polynomial algebra k[x,y] in two variables over a field k of characteristic zero is a Mathieu subspace. We also show that the two-dimensional Jacobian conjecture is equivalent to the statement that the image of every k-derivation D of k[x,y] such that and is a Mathieu subspace of k[x,y].     

Quadratic linear Keller maps of nilpotency index three

Let be a homogeneous polynomial map of degree d2 and a power linear map such that f and F_A are a generalized Gorni-Zampieri pair. We discuss the relation between the nilpotency indices of JH and J(Ay)^(d) and we show that f is linearly triangularizable if and only if F_A is linearly triangularizable. As a consequence, we show that a quadratic linear Keller map F_A=y+(Ay)⁽²⁾ with nilpotency index three, i.e., (J(Ay)⁽²⁾)³=0, is linearly triangularizable.     

Indecomposable higher Chow cycles on Jacobians

We construct some natural indecomposable elements of with trivial regulator, and in particular, prove that is uncountable for C a generic curve or a generic hyperelliptic curve of genus . Received: 10 October 2000 / in final form: 12 June 2001 / Published online: 1 February 2002     

Positivity of quiver coefficients through Thom polynomials

We use the Thom Polynomial theory developed by Fehér and Rimányi to prove the component formula for quiver varieties conjectured by Knutson, Miller, and Shimozono. This formula expresses the cohomology class of a quiver variety as a sum of products of Schubert polynomials indexed by minimal lace diagrams, and implies that the quiver coefficients of Buch and Fulton are non-negative. We also apply our methods to give a new proof of the component formula from the Gröbner degeneration of quiver varieties, and to give generating moves for the KMS-factorizations that form the index set in K-theoretic versions of the component formula.     

The Picard group of the forms of the affine line and of the additive group

We obtain an explicit upper bound on the torsion of the Picard group of the forms of ${\mathbb{A}}_k^1$ and their regular completions. We also obtain a sufficient condition for the Picard group of the forms of ${\mathbb{A}}_k^1$ to be nontrivial and we give examples of nontrivial forms of ${\mathbb{A}}_k^1$ with trivial Picard groups.     

Compactifications of contractible affine 3-folds into smooth Fano 3-folds with <Emphasis Type="Italic">B</Emphasis><Subscript>2</Subscript>=2

After the contributions of Furushima, Nakayama, Peternell and Schneider, in 1993, Furushima [Fur93] finally succeeded in the classification of the compactifications of the affine 3-space into smooth Fano 3-folds with B₂=1. In this paper, we consider the compactifications of the contractible affine 3-folds X (not necessarily X=) into smooth Fano 3-folds V with B₂=2. Consequently, we classify all such compactifications X↪(V,D₁∪D₂) in the case where K_V+D₁+D₂ is not nef. Furthermore, we see that infinitely many mutually non-isomorphic exotic 's can be compactified into Fano 3-folds with B₂=2. This phenomenon never occurs when B₂=1. During this research the author was supported as a Twenty-First Century COE Kyoto Mathematics Fellow.     

Smoothness of the images of members of a linear system under an endomorphism of the affine plane

Let φ=(f,g) be an endomorphism of the affine plane C² defined by two polynomials f,g∈C[x,y] and let Λ={C_b∣b∈C} be the pencil of lines C_b defined by x=b. We shall consider the smoothness criterion of the image curve φ(C_b). The hypersurface V whose coordinate ring is C[x,f,g] and the normalization of V will play interesting roles in analyzing the properties of the set φ(Λ)={φ(C_b)∣b∈C}.     

Sub-Finsler geometry in dimension three

We define the notion of sub-Finsler geometry as a natural generalization of sub-Riemannian geometry with applications to optimal control theory. We compute a complete set of local invariants, geodesic equations, and the Jacobi operator for the three-dimensional case and investigate homogeneous examples.     

Bézoutians and injectivity of polynomial maps

We prove that an endomorphism f of affine space is injective on rational points if its Bézoutian is constant. Similarly, f is injective at a given rational point if its reduced Bézoutian is constant. We also show that if the Jacobian determinant of f is invertible, then f is injective at a given rational point if and only if its reduced Bézoutian is constant.     

Derived McKay correspondence via pure-sheaf transforms

In most cases where it has been shown to exist the derived McKay correspondence can be written as a Fourier–Mukai transform which sends point sheaves of the crepant resolution Y to pure sheaves in . We give a sufficient condition for to be the defining object of such a transform. We use it to construct the first example of the derived McKay correspondence for a non-projective crepant resolution of . Along the way we extract more geometrical meaning out of the Intersection Theorem and learn to compute θ-stable families of G-constellations and their direct transforms.     

A logarithmic interpretation of Edixhoven's jumps for Jacobians

Let A be an abelian variety over a discretely valued field. Edixhoven has defined a filtration on the special fiber of the Néron model of A that measures the behavior of the Néron model under tame base change. We interpret the jumps in this filtration in terms of lattices of logarithmic differential forms in the case where A is the Jacobian of a curve C, and we give a compact explicit formula for the jumps in terms of the combinatorial reduction data of C.     

Representations and the Jacobian Conjecture

In this paper we apply the representation theory of the Lie algebra sl₂(C) to the problem of describing Hessian nilpotent polynomials, which are important in the theory of the Jacobian Conjecture. In the two variable case we describe them as the maximal and minimal weight vectors of the irreducible representations of sl₂(C). For the first time this gives a characterization of the Hessian nilpotent polynomials in terms of linear differential operators.     

The projective dimension of three cubics is at most 5

Let R be a polynomial ring over a field and I an ideal generated by three forms of degree three. Motivated by Stillman's question, Engheta proved that the projective dimension $\mathrm{pd}(R/I)$ of $R/I$ is at most 36, although the example with largest projective dimension he constructed has $\mathrm{pd}(R/I)=5$. Based on computational evidence, it had been conjectured that $\mathrm{pd}(R/I)\le 5$. In the present paper we prove this conjectured sharp bound.     

Adjacency of Young tableaux and the Springer fibers

We connect different results about irreducible components of the Springer fibers of type A. Firstly, we show a relation between the Spaltenstein partition of the fibers and a total order on the set of standard Young tableaux. Next, using a result of Steinberg, we connect a work of the first author to the Robinson–Schensted map. We also perform the Spaltenstein study of the relative position of the Springer fibers and -fibrations of the flag manifold. This leads us to consider the adjacency relation on the set of standard Young tableaux and to define oriented and labeled graphs with the standard Young tableaux as vertices. Using this adjacency relation, we describe some smooth irreducible components of the Springer fibers. Finally, we show that these graphs can be identified with some full subgraphs of the Bruhat graph.     

Permanents,Doty coalgebras and dominant dimension of Schur algebras

A (hidden) multiplication on _AZ(n,r)$A_{\mathbb{Z}}(n,r)$, the Z$\mathbb{Z}$-dual of the integral Schur algebra _SZ(n,r)$S_{\mathbb{Z}}(n,r)$ is explicitly constructed, possibly without a unit. The image of the multiplication map is shown to be spanned by bipermanents. Let k   be any field of characteristic p>0$p>0$. The image of the induced multiplication on _Ak(n,r)=_AZ(n,r)_⊗Zk$A_k(n,r)=A_{\mathbb{Z}}(n,r){\otimes }_{\mathbb{Z}}k$ turns out to coincide with the Doty coalgebra _Dn,r,p$D_{n,r,p}$ of truncated symmetric powers. Combined with a new straightening formula for bipermanents, it is proved that such a multiplication induces an isomorphism _Ak(n,r)_⊗Sk(n,r)Ak(n,r)≅_Ak(n,r)$A_k(n,r){\otimes }_{S_k(n,r)}{A}_k(n,r)\cong A_k(n,r)$ as _Sk(n,r)$S_k(n,r)$-bimodules if and only if r≤n(p−1)$r\le n(p-1)$, if and only if _Dn,r,p=_Ak(n,r)$D_{n,r,p}=A_k(n,r)$. As a result, _Sk(n,r)$S_k(n,r)$ is a gendo-symmetric algebra, and its dominant dimension is at least two and admits a combinatorial characterization as long as r≤n(p−1)$r\le n(p-1)$.