BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Let {Gn} be a periodic sequence of integers modulo m and let {SGn} be the partial sum sequence defined by SGn:=∑k=0nGk (mod m). We give a formula for the period of {SGn}. We also show that for a generalized Fibonacci sequence F(a,b)n such that F(a,b)0=a and F(a,b)1=b, we have SiF(a,b)n=Si−1F(a,b)n+2−(i−2n+i)a−(i−1n+i)b where SiF(a,b)n is the i-th partial sum sequence successively defined by SiF(a,b)n:=∑k=0nSi−1F(a,b)k. This is a generalized version of the well-known formula ∑k=0nFk=Fn+2−1 of the Fibonacci sequence Fn.
The purpose of this paper is to study an extended version of bivariant derived algebraic cobordism where the cycles carry a vector bundle on the source as additional data. We show that, over a field of characteristic 0, this extends the analogous homological theory of Lee and Pandharipande constructed earlier. We then proceed to study in detail the restricted theory where only rank 1 vector bundles are allowed, and prove a weak version of projective bundle formula for bivariant cobordism. Since the proof of this theorem works very generally, we introduce precobordism theories over arbitrary Noetherian rings of finite Krull dimension as a reasonable class of theories where the proof can be carried out, and prove some of their basic properties. These results can be considered as the first steps towards a Levine-Morel style algebraic cobordism over a base ring that is not a field of characteristic 0.
For a simply connected complex algebraic variey X, by the mixed Hodge structures (W∙,F∙) and (W~∙,F~∙) of the homology group H∗(X;Q) and the homotopy groups π∗(X)⊗Q respectively, we have the following mixed Hodge polynomials MHX(t,u,v):=∑k,p,qdim(GrF∙pGrp+qW∙Hk(X;C))tku−pv−q, MHXπ(t,u,v):=∑k,p,qdim(GrF~∙pGrp+qW~∙(πk(X)⊗C))tku−pv−q, which are respectively called \emph{the homological mixed Hodge polynomial} and \emph{the homotopical mixed Hodge polynomial}. In this paper we discuss some inequalities concerning these two mixed Hodge polynomials.
In 1920s R. L. Moore introduced \emph{upper semicontinuous} and \emph{lower semicontinuous} decompositions in studying decomposition spaces. Upper semicontinuous decompositions were studied very well by himself and later by R.H. Bing in 1950s. In this paper we consider lower semicontinuous decompositions D of a topological space X such that the decomposition spaces X/D are Alexandroff spaces. If the associated proset (preordered set) of the decomposition space X/D is a poset, then the decomposition map π:X→X/D is \emph{a continuous map from the topological space X to the poset X/D with the associated Alexandroff topology}, which is nowadays called \emph{a poset-stratified space}. As an application, we capture the face poset of a real hyperplane arrangement A of Rn as the associated poset of the decomposition space Rn/D(A) of the decomposition D(A) determined by the arrangement A. We also show that for any locally small category C the set homC(X,Y) of morphisms from X to Y can be considered as a poset-stratified space, and that for any objects S,T (where S plays as a source object and T as a target object) there are a covariant functor st∗S:C→Strat and a contravariant functor stT∗ stT∗:C→Strat from C to the category Strat of poset-stratified spaces. We also make a remark about Yoneda's Lemmas as to poset-stratified space structures of homC(X,Y).
For a field $\K$ of characteristic zero, we introduce a cohomologically symplectic poset structure ${\mathcal P}_{\K}(X)$ on a simply connected space X from the viewpoint of $\K$-homotopy theory. It is given by the poset of inclusions of subgroups preserving c-symplectic structures in the group ${\mathcal E}(X_{\K})$ of $\K$-homotopy classes of $\K$-homotopy self-equivalences of X, which is defined by the $\K$-Sullivan model of X. We observe that the height of the Hasse diagram of ${\mathcal P}_{\K}(X)$ added by 1, denoted by c-s-${\rm depth}_{\K}(X)$, is finite and often depends on the field $\K$. In this paper, we will give some examples of ${\mathcal P}_{\K}(X)$.
Let K_0(V/X) be the relative Grothendieck group of varieties over X in obj(V), with V the category of (quasi-projective) algebraic (resp. compact complex analytic) varieties over a base field k. Then we constructed the motivic Hirzebruch class transformation in the algebraic context for k of characteristic zero and in the compact complex analytic context. It unifies the well-known three characteristic class transformations of singular varieties: MacPherson's Chern class, Baum-Fulton-MacPherson's Todd class and the L-class of Goresky-MacPherson and Cappell-Shaneson. In this paper we construct a bivariant relative Grothendieck group K_0(V/-) and in the algebraic context (in any characteristic) two Grothendieck transformations mC_y resp. T_y defined on K_0(V/-). Evaluating at y=0, we get a motivic lift T_0 of Fulton-MacPherson's bivariant Riemann-Roch transformation. The associated covariant transformations agree for k of characteristic zero with our motivic Chern- and Hirzebruch class transformations defined on K_0(V/X). Finally, evaluating at y=-1, we get for k of characteristic zero, a motivic lift T_{-1} of Ernström-Yokura's bivariant Chern class transformation.
Donaldson-Thomas invariant is expressed as the weighted Euler characteristic of the so-called Behrend (constructible) function. In \cite{Behrend} Behrend introduced a DT-type invariant for a morphism. Motivated by this invariant, we extend the motivic Hirzebruch class to naive Donaldson-Thomas type analogues. We also discuss a categorification of the DT-type invariant for a morphism from a bivariant-theoretic viewpoint, and we finally pose some related questions for further investigations.
We obtain a formula for the generating series of (the push-forward under the Hilbert-Chow morphism of) the Hirzebruch homology characteristic classes of the Hilbert schemes of points for a smooth quasi-projective variety of arbitrary pure dimension. This result is based on a geometric construction of a motivic exponentiation generalizing the notion of motivic power structure, as well as on a formula for the generating series of the Hirzebruch homology characteristic classes of symmetric products. We apply the same methods for the calculation of generating series formulae for the Hirzebruch classes of the push-forwards of "virtual motives" of Hilbert schemes of a threefold. As corollaries, we obtain counterparts for the MacPherson (and Aluffi) Chern classes of Hilbert schemes of a smooth quasi-projective variety (resp. for threefolds). For a projective Calabi-Yau threefold, the latter yields a Chern class version of the dimension zero MNOP conjecture.
We prove generating series formulae for suitable twisted characteristic classes of symmetric products of a singular complex quasi-projective variety. More concretely, we study homology Hirzebruch classes for motivic coefficients, as well as for complexes of mixed Hodge modules. As a special case, we obtain a generating series formula for the (intersection) homology Hirzebruch classes of symmetric products. In some cases, the latter yields a similar formula for twisted homology L-classes generalizing results of Hirzebruch-Zagier and Moonen. Our methods also apply to the study of Todd classes of (complexes of) coherent sheaves, as well as Chern classes of (complexes of) constructible sheaves, generalizing to arbitrary coefficients results of Moonen and resp. Ohmoto.
A topologically-invariant and additive homology class is mostly not a natural transformation as it is. In this paper we discuss turning such a homology class into a natural transformation; i.e., a "categorification" of it. In a general categorical set-up we introduce a generalized relative Grothendieck group from a cospan of functors of categories and also consider a categorification of additive invariants on objects. As an example, we obtain a general theory of characteristic homology classes of singular varieties.
The relative Grothendieck group $K_0(\m V/X)$ is the free abelian group generated by the isomorphism classes of complex algebraic varieties over X modulo the "scissor relation". The motivic Hirzebruch class ${T_y}_*: K_0(\m V /X) \to H_*^{BM}(X) \otimes \bQ[y]$ is a unique natural transformation satisfying that for a nonsingular variety X the value ${T_y}_*([X \xrightarrow {\op {id}_X} X])$ of the isomorphism class of the identity XidXX is the Poincaré dual of the Hirzebruch cohomology class of the tangent bundle TX. It "unifies" the well-known three characteristic classes of singular varieties: MacPherson's Chern class, Baum-Fulton-MacPherson's Todd class (or Riemann-Roch) and Goresky-MacPherson's L-class or Cappell-Shaneson's L-class. In this paper we construct a bivariant relative Grothendieck group $\bK_0(\m V/X \to Y)$ so that it equals the original relative Grothendieck group $K_0(\m V/X)$ when Y is a point. We also construct a unique Grothendieck transformation $T_y: \bK_0(\m V/X \to Y) \to \bH(X \to Y) \otimes \bQ[y]$ satisfying a certain normalization condition for a smooth morphism so that it equals the motivic Hirzebruch class ${T_y}_*: K_0(\m V /X) \to H_*^{BM}(X) \otimes \bQ[y]$ when Y is a point. When y=0, $T_0: \bK_0(\m V/X \to Y) \to \bH(X \to Y) \otimes \bQ$ is a "motivic" lift of Fulton-MacPherson's bivariant Riemann-Roch $\ga_{td}^{\op {FM}}:\bK_{alg}(X \to Y) \to \bH(X \to Y) \otimes \bQ$.
Motivic characteristic classes of possibly singular algebraic varieties are homology class versions of motivic characteristics, not classes in the so-called motivic (co)homology. This paper is a survey on them with more emphasis on capturing infinitude finitely and on the motivic nature, in other words, the scissor relation or additivity.
The Milnor class is a generalization of the Milnor number, defined as the difference (up to sign) of Chern--Schwartz--MacPherson's class and Fulton--Johnson's canonical Chern class of a local complete intersection variety in a smooth variety. In this paper we introduce a "motivic" Grothendieck group Kℓ.c.iProp(V/X→S) and natural transformations from this Grothendieck group to the homology theory. We capture the Milnor class, more generally Hirzebruch--Milnor class, as a special value of a distinguished element under these natural transformations. We also show a Verdier-type Riemann--Roch formula for our motivic Hirzebruch-Milnor class. We use Fulton--MacPherson's bivariant theory and the motivic Hirzebruch class.
In 1981 W. Fulton and R. MacPherson introduced the notion of bivariant theory (BT), which is a sophisticated unification of covariant theories and contravariant theories. This is for the study of singular spaces. In 2001 M. Levine and F. Morel introduced the notion of algebraic cobordism, which is a universal oriented Borel-Moore functor with products (OBMF) of geometric type, in an attempt to understand better V. Voevodsky's (higher) algebraic cobordism. In this paper we introduce a notion of oriented bivariant theory (OBT), a special case of which is nothing but the oriented Borel-Moore functor with products. The present paper is a first one of the series to try to understand Levine-Morel's algebraic cobordism from a bivariant-theoretical viewpoint, and its first step is to introduce OBT as a unification of BT and OBMF.
Michael Gromov has recently initiated what he calls ``symbolic algebraic geometry", in which objects are proalgebraic varieties: a proalgebraic variety is by definition the projective limit of a projective system of algebraic varieties. In this paper we introduce characteristic classes of proalgebraic varieties, using Grothendieck transformations of Fulton--MacPherson's Bivariant Theory, modeled on the construction of MacPherson's Chern class transformation of proalgebraic varieties. We show that a proalgebraic version of the Euler--Poincaré characteristic with values in the Grothendieck ring is a generalization of the so-called motivic measure.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.