On Ginzburg's bivariant Chern classes

The convolution product is an important tool in geometric representation theory. Ginzburg constructed the ``bivariant" Chern class operation from a certain convolution algebra of Lagrangian cycles to the convolution algebra of Borel-Moore homology. In this paper we prove a ``constructible function version" of one of Ginzburg's results; motivated by its proof, we introduce another bivariant algebraic homology theory on smooth morphisms of nonsingular varieties and show that the Ginzburg bivariant Chern class is the unique Grothendieck transformation from the Fulton-MacPherson bivariant theory of constructible functions to this new bivariant algebraic homology theory, modulo a reasonable conjecture. Furthermore, taking a hint from this conjecture, we introduce another bivariant theory of constructible functions, and we show that the Ginzburg bivariant Chern class is the unique Grothendieck transformation from to satisfying the ``normalization condition" and that it becomes the Chern-Schwartz-MacPherson class when restricted to the morphisms to a point.

     

Bivariant Chern classes for morphisms with nonsingular target varieties

W. Fulton and R. MacPherson posed the problem of unique existence of a bivariant Chern class—a Grothendieck transformation from the bivariant theory F of constructible functions to the bivariant homology theory H. J.-P. Brasselet proved the existence of a bivariant Chern class in the category of embeddable analytic varieties with cellular morphisms. In general however, the problem of uniqueness is still unresolved. In this paper we show that for morphisms having nonsingular target varieties there exists another bivariant theory of constructible functions and a unique bivariant Chern class γ: . Partially supported by Grant-in-Aid for Scientific Research (C) (No. 15540086+No. 17540088), the Japanese Ministry of Education, Science, Sports and Culture.     

On the Stability of Sizing Optimization Problems for a Class of Nonlinearly Elastic Materials

In this work we deal with a stability aspect of sizing optimization problems for a class of nonlinearly elastic materials, where the underlying state problem is nonlinear in both the displacements and the stresses. In [14] it is shown under which conditions there exists a unique solution of discrete design problems for a body made of the considered nonlinear material, if the nonlinear state problem is solved exactly. In numerical examples the nonlinear state problem has to be solved iteratively, and therefore it can be solved only up to some small error \eps . The question of interest is how this affects the optimal solution, respectively the set of solutions, of the design problem. We show with the theory of point-to-set mappings that if the material is not too nonlinear, then the optimal design depends continuously on the error \eps . Accepted 15 March 2001. Online publication 14 August 2001.     

On Ginzburg's Bivariant Chern Classes, II

For a morphism whose target variety is nonsingular, the Chern–Schwartz–MacPherson class homomorphism followed by capping with the pullback of the Segre class of the target variety is called the Ginzburg–Chern class. In this paper, using the Verdier–Riemann–Roch for Chern Class, we show that the correspondence assigning to a bivariant constructible function on any morphism with nonsingular target variety the Ginzburg–Chern class of it is the unique Grothendieck transformation satisfying the 'normalization condition' that for morphisms to a point it becomes the Chern–Schwartz–MacPherson class homomorphism, except for that the bivariant homology pullback is considered only for a smooth morphism.     

Base independent algebraic cobordism

The purpose of this article is to show that the bivariant algebraic A-cobordism groups considered previously by the author are independent of the chosen base ring A. This result is proven by analyzing the bivariant ideal generated by the so called snc relations, and, while the alternative characterization we obtain for this ideal is interesting by itself because of its simplicity, perhaps more importantly it allows us to easily extend the definition of bivariant algebraic cobordism to divisorial Noetherian derived schemes of finite Krull dimension. As an interesting corollary, we define the corresponding homology theory called algebraic bordism. We also generalize projective bundle formula, the theory of Chern classes, the Conner–Floyd theorem and the Grothendieck–Riemann–Roch theorem to this setting. The general definitions of bivariant cobordism are based on the careful study of ample line bundles and quasi-projective morphisms of Noetherian derived schemes, also undertaken in this work.     

Higher Intersection Theory on Algebraic Stacks: I

In this paper and the sequel we establish a theory of Chow groups and higher Chow groups on algebraic stacks locally of finite type over a field and establish their basic properties. This includes algebraic stacks in the sense of Deligne–Mumford as well as Artin. An intrinsic difference between our approach and earlier approaches is that the higher Chow groups of Bloch enter into our theory early on and depends heavily on his fundamental work. Our theory may be more appropriately called the (Lichtenbaum) motivic homology and cohomology of algebraic stacks. One of the main themes of these papers is that such a motivic homology does provide a reasonable intersection theory for algebraic stacks (of finite type over a field), with several key properties holding integrally and extending to stacks locally of finite type. While several important properties of our higher Chow groups, like covariance for projective representable maps (that factor as the composition of a closed immersion into the projective space associated to a locally free coherent sheaf and the obvious projection), an intersection pairing and contravariant functoriality for all smooth algebraic stacks, are shown to hold integrally, our theory works best with rational coefficients.The main results of Part I are the following. The higher Chow groups are defined in general with respect to an atlas, but are shown to be independent of the choice of the atlas for smooth stacks if one uses finite coefficients with torsion prime to the characteristics or in general for Deligne–Mumford stacks. (Using some results on motivic cohomology, we extend this integrally to all smooth algebraic stacks in Part II.) Using cohomological descent, we extend Bloch's fundamental localization sequence for quasi-projective schemes to long exact localization sequences of the higher Chow groups modulo torsion for all Artin stacks: this is one of the main results of the paper. We show that these higher Chow groups modulo torsion are covariant for all proper representable maps between stacks of finite type while being contravariant for all representable flat maps and, in Part II, that they are independent of the choice of an atlas for all stacks of finite type over the given field k. The comparison with motivic cohomology, as is worked out in Part II, enables us to provide an explicit comparison of our theory for quotient stacks associated to actions of linear algebraic groups on quasi-projective schemes with the corresponding Totaro–Edidin–Graham equivariant intersection theory. As an application of our theory we compute the higher Chow groups of Deligne–Mumford stacks and show that they are isomorphic modulo torsion to the higher Chow groups of their coarse moduli spaces. As a by-product of our theory we also produce localization sequences in (integral) higher Chow groups for all schemes locally of finite type over a field: these higher Chow groups are defined as the Zariski hypercohomology with respect to the cycle complex.     

Global dynamics in a multi-group epidemic model for disease with latency spreading and nonlinear transmission rate

In this paper, we investigate a class of multi-group epidemic models with general exposed distribution and nonlinear incidence rate. Under biologically motivated assumptions, we show that the global dynamics are completely determined by the basic production number $R_0$. The disease-free equilibrium is globally asymptotically stable if $R_0\leq1$, and there exists a unique endemic equilibrium which is globally asymptotically stable if $R_0>1$. The proofs of the main results exploit the persistence theory in dynamical system and a graph-theoretical approach to the method of Lyapunov functionals. A simpler case that assumes an identical natural death rate for all groups and a gamma distribution for exposed distribution is also considered. In addition, two numerical examples are showed to illustrate the results.     

On the existence of a Gysin morphism for the Blow-up of an ordinary singularity

In this paper we characterize the Blowing-up maps of ordinary singularities for which there exists a natural Gysin morphism, i.e. a bivariant class \(\theta \in Hom_{D(Y)}(R\pi _*\mathbb {Q}_X, \mathbb {Q}_Y)\), compatible with pullback and with restriction to the complement of the singularity.     

Borel–Moore homology,Riemann–Roch transformations,and local terms

We develop various properties of étale Borel–Moore homology and study its relationship with intersection theory. Using Gabber's localized cycle classes we define étale homological Gysin morphisms and show that they are compatible with the cycle class map and Gysin morphisms in intersection theory. We also study étale versions of bivariant operations, and establish their compatibility with Riemann–Roch transformations and Fulton–MacPherson bivariant operations. As an application of these techniques we show that in certain situations local terms for correspondences acting on étale cohomology are given by cycle classes.     

Bivariant K-theory via correspondences

We use correspondences to define a purely topological equivariant bivariant K-theory for spaces with a proper groupoid action. Our notion of correspondence differs slightly from that of Connes and Skandalis. Our construction uses no special features of equivariant K-theory. To highlight this, we construct bivariant extensions for arbitrary equivariant multiplicative cohomology theories.We formulate necessary and sufficient conditions for certain duality isomorphisms in the topological bivariant K-theory and verify these conditions in some cases, including smooth manifolds with a smooth cocompact action of a Lie group. One of these duality isomorphisms reduces bivariant K-theory to K-theory with support conditions. Since similar duality isomorphisms exist in Kasparov theory, the topological and analytic bivariant K-theories agree if there is such a duality isomorphism.     

Remarks on Ginzburg's bivariant Chern classes

The convolution product is an important tool in the geometric representation theory. Ginzburg constructed the bivariant Chern class operation from a certain convolution algebra of Lagrangian cycles to the convolution algebra of Borel-Moore homology. In this paper we give some remarks on the Ginzburg bivariant Chern classes.

     

Bivariant cyclic theory

In this paper we construct a bivariant version of cyclic cohomology and study its fundamental properties. We prove universal coefficient theorems relating the bivariant theory with cyclic homology and cohomology, we construct products in the bivariant theory, and we analyse the notion of an HC-equivalence.Dedicated to Alexander Grothendieck     

Intersection theory of projective linear spaces

We study the intersection theory of a class of projective linear spaces (generalizations of projective space bundles in which the fibres are linear but of varying dimensions). In particular we give exact sequences for the Chow and Chow cohomology groups reminiscent of those for regular blowups. During this research the author was supported by a Sloan foundation doctoral disertation fellowship     

Backward Stochastic Differential Equations and Dirichlet Problems of Semilinear Elliptic Operators with Singular Coefficients

In this paper, we prove that there exists a unique solution to the Dirichlet boundary value problem for a general class of semilinear second order elliptic differential operators which do not necessarily have the maximum principle and are non-symmetric in general. Our method is probabilistic. It turns out that we need to solve a class of backward stochastic differential equations with singular coefficients, which is of independent interest itself. The theory of Dirichlet forms also plays an important role.     

A cohomological characterization of Alexander schemes

Vistoli defined Alexander schemes in [19], which behave like smooth varieties from the viewpoint of intersection theory with Q-coefficients. In this paper, we will affirmatively answer Vistoli’s conjecture that Alexander property is Zariski local. The main tool is the abelian category of bivariant sheaves, and we will spend most of our time for proving basic properties of this category. We show that a scheme is Alexander if and only if all the first cohomology groups of bivariant sheaves vanish, which is an analogy of Serre’s theorem, which says that a scheme is affine if and only if all the first cohomology groups of quasi-coherent sheaves vanish. Serre’s theorem implies that the union of affine closed subschemes is again affine. Mimicking the proof line by line, we will prove that the union of Alexander open subschemes is again Alexander. Oblatum 1-XII-1997 & 14-XII-1998 / Published online: 10 May 1999     

Grassmann bundles

Summary In the classical theory of the Grassmann Variety there are three principal results. The Basis Theorem asserts that the Chow ring has a selfdual linear basis of classes. Determinantal Formulawhich expresses any basic class as a determinant in the special classes. Finally the ring structure is elucidated by Pieri's Formulawhich expresses the intersection of a basic class and a special class in terms of the basic classes. Here we show how all these results can be established also for the Chow ring of a Grassmann bundle. There are however some differences. In the classical case the basic classes are Schubert classes: this is impossible in the general case as there need not be enough Schubert classes to provide a basis and in the general case there is a pair of dual bases which both reduce to the Schubert basis in the classical case. In addition to these generalizations of the classical results we also enlarge on the theory of Schubert classes developed in the important paper of Kempf and Laksov [4].Following them we shall henceforth use the phrase « determinantal formula » to mean their formula for Schubert classes and our generalization of it to « improper » Schubert classes.     

Bivariant Hopf Cyclic Cohomology

For module algebras and module coalgebras over an arbitrary bialgebra, we define two types of bivariant cyclic cohomology groups called bivariant Hopf cyclic cohomology and bivariant equivariant cyclic cohomology. These groups are defined through an extension of Connes' cyclic category Λ. We show that, in the case of module coalgebras, bivariant Hopf cyclic cohomology specializes to Hopf cyclic cohomology of Connes and Moscovici and its dual version by fixing either one of the variables as the ground field. We also prove an appropriate version of Morita invariance for both of these theories.     

On topological Radon transformations

We construct a functor, which we call the topological Radon transform, from a category of complex algebraic varieties with morphisms given by divergent diagrams, to constructible functions. The topological Radon transform is thus the composition of a pull-back and a push-forward of constructible functions. We show that the Chern-Schwartz-MacPherson transformation makes the topological Radon transform of constructible functions compatible with a certain homological Verdier-Radon transform. We use this set-up to prove, given a projective variety X, a formula for the Chern-Mather class of the dual variety in terms of that of X.     

Powerfully nilpotent groups of maximal powerful class

In this paper we continue the study of powerfully nilpotent groups started in Traustason and Williams (J Algebra 522:80–100, 2019). These are powerful p-groups possessing a central series of a special kind. To each such group one can attach a powerful class that leads naturally to the notion of a powerful coclass and classification in terms of an ancestry tree. The focus here is on powerfully nilpotent groups of maximal powerful class but these can be seen as the analogs of groups of maximal class in the class of all finite p-groups. We show that for any given positive integer r and prime $$p>r$$, there exists a powerfully nilpotent group of maximal powerful class and we analyse the structure of these groups. The construction uses the Lazard correspondence and thus we construct first a powerfully nilpotent Lie ring of maximal powerful class and then lift this to a corresponding group of maximal powerful class. We also develop the theory of powerfully nilpotent Lie rings that is analogous to the theory of powerfully nilpotent groups.