-
On Stability of Syzygy Bundles
Authors:
Snehajit Misra,
Nabanita Ray
Abstract:
In this article, we investigate the stability of syzygy bundles corresponding to ample and globally generated vector bundles on smooth irreducible projective surfaces.
In this article, we investigate the stability of syzygy bundles corresponding to ample and globally generated vector bundles on smooth irreducible projective surfaces.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Well-posedness of an evaporation model for a spherical droplet exposed to an air flow
Authors:
Eberhard Bänsch,
Martin Doß,
Carsten Gräser,
Nadja Ray
Abstract:
In this paper, we address the well-posedness of an evaporation model for a spherical liquid droplet taking into account the convective impact of an air flow in the ambient gas phase. From a mathematical perspective, we are dealing with a coupled ODE-PDE system for the droplet radius, the temperature distribution, and the vapor concentration. The nonlinear coupling arises from the evaporation rate…
▽ More
In this paper, we address the well-posedness of an evaporation model for a spherical liquid droplet taking into account the convective impact of an air flow in the ambient gas phase. From a mathematical perspective, we are dealing with a coupled ODE-PDE system for the droplet radius, the temperature distribution, and the vapor concentration. The nonlinear coupling arises from the evaporation rate modeled by the Hertz-Knudsen equation. Under physically meaningful assumptions, we prove existence and uniqueness of a weak solution until the droplet has evaporated completely. Numerical simulations are performed to illustrate how different air flows affect the evaporation process.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
Positivity and base loci for vector bundles revisited
Authors:
Mihai Fulger,
Nabanita Ray
Abstract:
We give equivalent descriptions for the augmented and diminished base loci of vector bundles in characteristic zero. We show that these base loci behave well under pullback, tensor product, and direct sum. Pathological behavior is observed on some nonsplit exact sequences.
We give equivalent descriptions for the augmented and diminished base loci of vector bundles in characteristic zero. We show that these base loci behave well under pullback, tensor product, and direct sum. Pathological behavior is observed on some nonsplit exact sequences.
△ Less
Submitted 23 March, 2023;
originally announced March 2023.
-
Distance-dependent chase-escape on trees
Authors:
Sarai Hernandez-Torres,
Matthew Junge,
Naina Ray,
Nidhi Ray
Abstract:
We give a necessary and sufficient condition for species coexistence in a parasite-host growth process on infinite $d$-ary trees. The novelty of this work is that the spreading and death rates for hosts depend on the distance to the nearest parasite.
We give a necessary and sufficient condition for species coexistence in a parasite-host growth process on infinite $d$-ary trees. The novelty of this work is that the spreading and death rates for hosts depend on the distance to the nearest parasite.
△ Less
Submitted 15 November, 2022; v1 submitted 20 September, 2022;
originally announced September 2022.
-
Slope Semistability and Positive cones of Grassmann bundles
Authors:
Snehajit Misra,
Nabanita Ray
Abstract:
Let $E$ be a vector bundle of rank $r$ on a smooth complex projective variety $X$. In this article, we compute the nef and pseudoeffective cones of divisors in the Grassmann bundle $Gr_X(k,E)$ parametrizing $k$-dimensional subspaces of the fibers of $E$, where $1\leq k \leq rank(E)$, under assumptions on $X$ as well as on the vector bundle $E$. In particular, we show that nef cone and the pseudoef…
▽ More
Let $E$ be a vector bundle of rank $r$ on a smooth complex projective variety $X$. In this article, we compute the nef and pseudoeffective cones of divisors in the Grassmann bundle $Gr_X(k,E)$ parametrizing $k$-dimensional subspaces of the fibers of $E$, where $1\leq k \leq rank(E)$, under assumptions on $X$ as well as on the vector bundle $E$. In particular, we show that nef cone and the pseudoeffective cone of $Gr_X(k,E)$ coincide if and only if $E$ is a slope semistable bundle on $X$ with $c_2(End(E))=0$. We also discuss about the nefness and ampleness of the universal quotient bundle $Q_k$ on $Gr_X(k,E)$.
△ Less
Submitted 23 May, 2022;
originally announced May 2022.
-
Seshadri constants of parabolic vector bundles
Authors:
Indranil Biswas,
Krishna Hanumanthu,
Snehajit Misra,
Nabanita Ray
Abstract:
Let $X$ be a complex projective variety, and let $E_{\ast}$ be a parabolic vector bundle on $X$. We introduce the notion of \textit{parabolic Seshadri constants} of $E_{\ast}$. It is shown that these constants are analogous to the classical Seshadri constants of vector bundles, in particular, they have parallel definitions and properties. We prove a Seshadri criterion for parabolic ampleness of…
▽ More
Let $X$ be a complex projective variety, and let $E_{\ast}$ be a parabolic vector bundle on $X$. We introduce the notion of \textit{parabolic Seshadri constants} of $E_{\ast}$. It is shown that these constants are analogous to the classical Seshadri constants of vector bundles, in particular, they have parallel definitions and properties. We prove a Seshadri criterion for parabolic ampleness of $E_{\ast}$ in terms of parabolic Seshadri constants. We also compute parabolic Seshadri constants for symmetric powers and tensor products of parabolic vector bundles.
△ Less
Submitted 7 June, 2023; v1 submitted 9 March, 2022;
originally announced March 2022.
-
Local existence of strong solutions to micro-macro models for reactive transport in evolving porous media
Authors:
Stephan Gärttner,
Peter Knabner,
Nadja Ray
Abstract:
Two-scale models pose a promising approach in simulating reactive flow and transport in evolving porous media. Classically, homogenized flow and transport equations are solved on the macroscopic scale, while effective parameters are obtained from auxiliary cell problems on possibly evolving reference geometries (micro-scale). Despite their perspective success in rendering lab/field-scale simulatio…
▽ More
Two-scale models pose a promising approach in simulating reactive flow and transport in evolving porous media. Classically, homogenized flow and transport equations are solved on the macroscopic scale, while effective parameters are obtained from auxiliary cell problems on possibly evolving reference geometries (micro-scale). Despite their perspective success in rendering lab/field-scale simulations computationally feasible, analytic results regarding the arising two-scale bilaterally coupled system often restrict to simplified models. In this paper, we first derive smooth-dependence results concerning the partial coupling from the underlying geometry to macroscopic quantities. Therefore, alterations of the representative fluid domain are described by smooth paths of diffeomorphisms. Exploiting the gained regularity of the effective space- and time-dependent macroscopic coefficients, we present local-in-time existence results for strong solutions to the partially coupled micro-macro system using fixed-point arguments. What is more, we extend our results to the bilaterally coupled diffusive transport model including a level-set description of the evolving geometry.
△ Less
Submitted 31 January, 2022;
originally announced January 2022.
-
Estimating permeability of 3D micro-CT images by physics-informed CNNs based on DNS
Authors:
Stephan Gärttner,
Faruk O. Alpak,
Andreas Meier,
Nadja Ray,
Florian Frank
Abstract:
In recent years, convolutional neural networks (CNNs) have experienced an increasing interest in their ability to perform a fast approximation of effective hydrodynamic parameters in porous media research and applications. This paper presents a novel methodology for permeability prediction from micro-CT scans of geological rock samples. The training data set for CNNs dedicated to permeability pred…
▽ More
In recent years, convolutional neural networks (CNNs) have experienced an increasing interest in their ability to perform a fast approximation of effective hydrodynamic parameters in porous media research and applications. This paper presents a novel methodology for permeability prediction from micro-CT scans of geological rock samples. The training data set for CNNs dedicated to permeability prediction consists of permeability labels that are typically generated by classical lattice Boltzmann methods (LBM) that simulate the flow through the pore space of the segmented image data. We instead perform direct numerical simulation (DNS) by solving the stationary Stokes equation in an efficient and distributed-parallel manner. As such, we circumvent the convergence issues of LBM that frequently are observed on complex pore geometries, and therefore, improve the generality and accuracy of our training data set. Using the DNS-computed permeabilities, a physics-informed CNN PhyCNN) is trained by additionally providing a tailored characteristic quantity of the pore space. More precisely, by exploiting the connection to flow problems on a graph representation of the pore space, additional information about confined structures is provided to the network in terms of the maximum flow value, which is the key innovative component of our workflow. The robustness of this approach is reflected by very high prediction accuracy, which is observed for a variety of sandstone samples from archetypal rock formations.
△ Less
Submitted 13 April, 2022; v1 submitted 4 September, 2021;
originally announced September 2021.
-
Stability and semi-stability of (2,2)-type surfaces
Authors:
A. J. Parameswaran,
Nabanita Ray
Abstract:
We describe the GIT compactification of the moduli of (2,2)-type effective divisors of $\mathbb{P}^1\times\mathbb{P}^2$ (i.e., surfaces of the linear system $\vert π_1^*\mathcal{O}_{\mathbb{P}^1}(2)\otimes π_2^*\mathcal{O}_{\mathbb{P}^2}(2)\vert$ ) which are generically Del Pezzo surfaces of degree two. In order to get the compactification, we characterize stable and semi-stable (2,2)-type surface…
▽ More
We describe the GIT compactification of the moduli of (2,2)-type effective divisors of $\mathbb{P}^1\times\mathbb{P}^2$ (i.e., surfaces of the linear system $\vert π_1^*\mathcal{O}_{\mathbb{P}^1}(2)\otimes π_2^*\mathcal{O}_{\mathbb{P}^2}(2)\vert$ ) which are generically Del Pezzo surfaces of degree two. In order to get the compactification, we characterize stable and semi-stable (2,2)-type surfaces, and also determine the equivalence classes of strictly semi-stable (2,2)-type surfaces. Moreover, we describe the boundary of the moduli of (2,2)-type surfaces.
△ Less
Submitted 30 March, 2023; v1 submitted 14 September, 2020;
originally announced September 2020.
-
Weyl and Zariski chambers on projective surfaces
Authors:
Krishna Hanumanthu,
Nabanita Ray
Abstract:
Let $X$ be a nonsingular complex projective surface. The Weyl and Zariski chambers give two interesting decompositions of the big cone of $X$. We study these two decompositions and determine when a Weyl chamber is contained in the interior of a Zariski chamber and vice versa. We also determine when a Weyl chamber can intersect non-trivially with a Zariski chamber.
Let $X$ be a nonsingular complex projective surface. The Weyl and Zariski chambers give two interesting decompositions of the big cone of $X$. We study these two decompositions and determine when a Weyl chamber is contained in the interior of a Zariski chamber and vice versa. We also determine when a Weyl chamber can intersect non-trivially with a Zariski chamber.
△ Less
Submitted 28 April, 2020; v1 submitted 11 October, 2019;
originally announced October 2019.
-
Towards Solving the Navier-Stokes Equation on Quantum Computers
Authors:
Navamita Ray,
Tirtha Banerjee,
Balasubramanya Nadiga,
Satish Karra
Abstract:
In this paper, we explore the suitability of upcoming novel computing technologies, in particular adiabatic annealing based quantum computers, to solve fluid dynamics problems that form a critical component of several science and engineering applications. We start with simple flows with well-studied flow properties, and provide a framework to convert such systems to a form amenable for deployment…
▽ More
In this paper, we explore the suitability of upcoming novel computing technologies, in particular adiabatic annealing based quantum computers, to solve fluid dynamics problems that form a critical component of several science and engineering applications. We start with simple flows with well-studied flow properties, and provide a framework to convert such systems to a form amenable for deployment on such quantum annealers. We analyze the solutions obtained both qualitatively and quantitatively as well as the sensitivities of the various solution selection schemes on the obtained solution.
△ Less
Submitted 16 April, 2019;
originally announced April 2019.
-
Nef cones of projective bundles over surfaces and Seshadri constants
Authors:
Snehajit Misra,
Nabanita Ray
Abstract:
In this article, we give a description of the closed cone of curves of the projective bundle $\mathbb{P}(E)$ over a smooth projective variety $X$. Using duality, we then calculate the nef cone of divisors in $\mathbb{P}(E)$ over some special surfaces $X$ and for some special bundles on $X$. As an application, we also calculate the Seshadri constants of semistable ample vector bundles with vanishin…
▽ More
In this article, we give a description of the closed cone of curves of the projective bundle $\mathbb{P}(E)$ over a smooth projective variety $X$. Using duality, we then calculate the nef cone of divisors in $\mathbb{P}(E)$ over some special surfaces $X$ and for some special bundles on $X$. As an application, we also calculate the Seshadri constants of semistable ample vector bundles with vanishing discriminant on some special ruled surfaces at special points.
△ Less
Submitted 4 August, 2021; v1 submitted 3 April, 2019;
originally announced April 2019.
-
Compact Feature-Aware Hermite-Style High-Order Surface Reconstruction
Authors:
Yipeng Li,
Xinglin Zhao,
Navamita Ray,
Xiangmin Jiao
Abstract:
High-order surface reconstruction is an important technique for CAD-free, mesh-based geometric and physical modeling, and for high-order numerical methods for solving partial differential equations (PDEs) in engineering applications. In this paper, we introduce a novel method for accurate and robust reconstructions of piecewise smooth surfaces from a triangulated surface. Our proposed method exten…
▽ More
High-order surface reconstruction is an important technique for CAD-free, mesh-based geometric and physical modeling, and for high-order numerical methods for solving partial differential equations (PDEs) in engineering applications. In this paper, we introduce a novel method for accurate and robust reconstructions of piecewise smooth surfaces from a triangulated surface. Our proposed method extends the Continuous Moving Frames (CMF) and the Weighted Averaging of Local Fittings (WALF) methods (Engrg. Comput. 28 (2012)) in two main aspects. First, it utilizes a Hermite-style least squares approximation to achieve fourth and higher-order accuracy with compact support, even if the input mesh is relatively coarse. Second, it introduces an iterative feature-aware parameterization to ensure high-order accurate, G0 continuous reconstructions near sharp features. We present the theoretical framework of the method and compare it against CMF and WALF in terms of accuracy and stability. We also demonstrate that the use of the Hermite-style reconstruction in the solutions of PDEs using finite element methods (FEM), and show that quartic and sextic FEMs using the high-order reconstructed surfaces produce nearly identical results as using exact geometry while providing additional flexibility.
△ Less
Submitted 23 January, 2019;
originally announced January 2019.
-
Geometry of $\mathbb{P}^{2}$ blown up at seven points
Authors:
Nabanita Ray
Abstract:
In this paper, we prove that $\mathbb{P}^2$ blown up at seven general points admits a conic bundle structure over $\mathbb{P}^1$ and it can be embedded as $(2,2)$ divisor in $\mathbb{P}^{1}\times\mathbb{P}^{2}$. Conversely, any smooth surface in the complete linear system $\mid (2,2) \mid$ of $\mathbb{P}^{1}\times\mathbb{P}^{2}$ is obtained by blowing up $\mathbb{P}^2$ at seven points. We also sho…
▽ More
In this paper, we prove that $\mathbb{P}^2$ blown up at seven general points admits a conic bundle structure over $\mathbb{P}^1$ and it can be embedded as $(2,2)$ divisor in $\mathbb{P}^{1}\times\mathbb{P}^{2}$. Conversely, any smooth surface in the complete linear system $\mid (2,2) \mid$ of $\mathbb{P}^{1}\times\mathbb{P}^{2}$ is obtained by blowing up $\mathbb{P}^2$ at seven points. We also show any smooth surface linearly equivalent to $(2,2)$ in $\mathbb{P}^{1}\times\mathbb{P}^{2}$ has at most four $(-2)$ curves (the curve which has self intersection $(-2)$).
△ Less
Submitted 17 April, 2020; v1 submitted 10 May, 2018;
originally announced May 2018.
-
On the symmetric squares of complex and quaternionic projective space
Authors:
Yumi Boote,
Nigel Ray
Abstract:
The problem of computing the integral cohomology ring of the symmetric square of a topological space has been of interest since the 1930s, but limited progress has been made on the general case until recently. In this work we offer a solution for the complex and quaternionic projective spaces $KP^n$, by taking advantage of their rich geometrical structure. Our description is in terms of generators…
▽ More
The problem of computing the integral cohomology ring of the symmetric square of a topological space has been of interest since the 1930s, but limited progress has been made on the general case until recently. In this work we offer a solution for the complex and quaternionic projective spaces $KP^n$, by taking advantage of their rich geometrical structure. Our description is in terms of generators and relations, and our methods entail ideas that have appeared in the literature of quantum chemistry, theoretical physics, and combinatorics. We deal first with the case $KP^\infty$, and proceed by identifying the truncation required for passage to finite n. The calculations rely upon a ladder of long exact cohomology sequences, which arises by comparing cofibrations associated to the diagonals of the symmetric square and the corresponding Borel construction. The cofibrations involve classic configuration spaces of unordered pairs of 1-dimensional subspaces of $K^{n+1}$, and their one-point compactifications; the latter are identified as Thom spaces by combining Lowdin's symmetric orthogonalisation process (and its quaternionic extension) with a dash of Pin geometry. The ensuing integral cohomology rings may be conveniently expressed using generalised Fibonacci polynomials. By way of validation, we note that our conclusions are compatible with mod 2 computations of Nakaoka and with homological results of Milgram.
△ Less
Submitted 18 July, 2016; v1 submitted 7 March, 2016;
originally announced March 2016.
-
Illustration of iterative linear solver behavior on simple 1D and 2D problems
Authors:
Nicolas Ray,
Sokolov Dmitry
Abstract:
In geometry processing, numerical optimization methods often involve solving sparse linear systems of equations. These linear systems have a structure that strongly resembles to adjacency graphs of the underlying mesh. We observe how classic linear solvers behave on this specific type of problems. For the sake of simplicity, we minimise either the squared gradient or the squared Laplacian, evaluat…
▽ More
In geometry processing, numerical optimization methods often involve solving sparse linear systems of equations. These linear systems have a structure that strongly resembles to adjacency graphs of the underlying mesh. We observe how classic linear solvers behave on this specific type of problems. For the sake of simplicity, we minimise either the squared gradient or the squared Laplacian, evaluated by finite differences on a regular 1D or 2D grid. We observed the evolution of the solution for both energies, in 1D and 2D, and with different solvers: Jacobi, Gauss-Seidel, SSOR (Symmetric successive over-relaxation) and CG (conjugate gradient [She94]). Plotting results at different iterations allows to have an intuition of the behavior of these classic solvers.
△ Less
Submitted 5 October, 2015;
originally announced October 2015.
-
The equivariant $K$-theory and cobordism rings of divisive weighted projective spaces
Authors:
Megumi Harada,
Tara S. Holm,
Nigel Ray,
Gareth Williams
Abstract:
We apply results of Harada, Holm and Henriques to prove that the Atiyah-Segal equivariant complex $K$-theory ring of a divisive weighted projective space (which is singular for nontrivial weights) is isomorphic to the ring of integral piecewise Laurent polynomials on the associated fan. Analogues of this description hold for other complex-oriented equivariant cohomology theories, as we confirm in…
▽ More
We apply results of Harada, Holm and Henriques to prove that the Atiyah-Segal equivariant complex $K$-theory ring of a divisive weighted projective space (which is singular for nontrivial weights) is isomorphic to the ring of integral piecewise Laurent polynomials on the associated fan. Analogues of this description hold for other complex-oriented equivariant cohomology theories, as we confirm in the case of homotopical complex cobordism, which is the universal example. We also prove that the Borel versions of the equivariant $K$-theory and complex cobordism rings of more general singular toric varieties, namely those whose integral cohomology is concentrated in even dimensions, are isomorphic to rings of appropriate piecewise formal power series. Finally, we confirm the corresponding descriptions for any smooth, compact, projective toric variety, and rewrite them in a face ring context. In many cases our results agree with those of Vezzosi and Vistoli for algebraic $K$-theory, Anderson and Payne for operational $K$-theory, Krishna and Uma for algebraic cobordism, and Gonzalez and Karu for operational cobordism; as we proceed, we summarize the details of these coincidences.
△ Less
Submitted 9 February, 2015; v1 submitted 7 June, 2013;
originally announced June 2013.
-
Rigorous Homogenization of a Stokes-Nernst-Planck-Poisson Problem for various Boundary Conditions
Authors:
Nadja Ray,
Adrian Muntean,
Peter Knabner
Abstract:
We perform the periodic homogenization (i.e. $\eps\to 0$) of the non-stationary Stokes-Nernst-Planck-Poisson system using two-scale convergence, where $\eps$ is a suitable scale parameter. The objective is to investigate the influence of \textsl{different boundary conditions and variable choices of scalings in $\eps$} of the microscopic system of partial differential equations on the structure of…
▽ More
We perform the periodic homogenization (i.e. $\eps\to 0$) of the non-stationary Stokes-Nernst-Planck-Poisson system using two-scale convergence, where $\eps$ is a suitable scale parameter. The objective is to investigate the influence of \textsl{different boundary conditions and variable choices of scalings in $\eps$} of the microscopic system of partial differential equations on the structure of the (upscaled) limit model equations. Due to the specific nonlinear coupling of the underlying equations, special attention has to be paid when passing to the limit in the electrostatic drift term. As a direct result of the homogenization procedure, various classes of upscaled model equations are obtained.
△ Less
Submitted 7 November, 2011;
originally announced November 2011.
-
Weighted projective spaces and iterated Thom spaces
Authors:
Anthony Bahri,
Matthias Franz,
Nigel Ray
Abstract:
For any (n+1)-dimensional weight vector χ of positive integers, the weighted projective space P(χ) is a projective toric variety, and has orbifold singularities in every case other than CP^n. We study the algebraic topology of P(χ), paying particular attention to its localisation at individual primes p. We identify certain p-primary weight vectors π for which P(π) is homeomorphic to an iterated Th…
▽ More
For any (n+1)-dimensional weight vector χ of positive integers, the weighted projective space P(χ) is a projective toric variety, and has orbifold singularities in every case other than CP^n. We study the algebraic topology of P(χ), paying particular attention to its localisation at individual primes p. We identify certain p-primary weight vectors π for which P(π) is homeomorphic to an iterated Thom space over S^2, and discuss how any P(χ) may be reconstructed from its p-primary factors. We express Kawasaki's computations of the integral cohomology ring H^*(P(χ);Z) in terms of iterated Thom isomorphisms, and recover Al Amrani's extension to complex K-theory. Our methods generalise to arbitrary complex oriented cohomology algebras E^*(P(χ)) and their dual homology coalgebras E_*(P(χ)), as we demonstrate for complex cobordism theory (the universal example). In particular, we describe a fundamental class in Ω^U_{2n}(P(χ)), which may be interpreted as a resolution of singularities.
△ Less
Submitted 11 September, 2011;
originally announced September 2011.
-
The classification of weighted projective spaces
Authors:
Anthony Bahri,
Matthias Franz,
Dietrich Notbohm,
Nigel Ray
Abstract:
We obtain two classifications of weighted projective spaces; up to homeomorphism and up to homotopy equivalence. We show that the former coincides with Al Amrani's classification up to isomorphism of algebraic varieties, and deduce the latter by proving that the Mislin genus of any weighted projective space is rigid.
We obtain two classifications of weighted projective spaces; up to homeomorphism and up to homotopy equivalence. We show that the former coincides with Al Amrani's classification up to isomorphism of algebraic varieties, and deduce the latter by proving that the Mislin genus of any weighted projective space is rigid.
△ Less
Submitted 3 December, 2012; v1 submitted 9 August, 2011;
originally announced August 2011.
-
The KO*-rings of BT^m, the Davis-Januszkiewicz Spaces and certain toric manifolds
Authors:
L. Astey,
A. Bahri,
M. Bendersky,
F. R. Cohen,
D. M. Davis,
S. Gitler,
M. Mahowald,
N. Ray,
R. Wood
Abstract:
This paper contains an explicit computation of the KO*-ring structure of an m-fold product of CP^{\infty}, the Davis-Januszkiewicz spaces and toric manifolds which have trivial Sq^2-homology.
This paper contains an explicit computation of the KO*-ring structure of an m-fold product of CP^{\infty}, the Davis-Januszkiewicz spaces and toric manifolds which have trivial Sq^2-homology.
△ Less
Submitted 1 July, 2010;
originally announced July 2010.
-
Toric Genera
Authors:
Victor M. Buchstaber,
Taras E. Panov,
Nigel Ray
Abstract:
Our primary aim is to develop a theory of equivariant genera for stably complex manifolds equipped with compatible actions of a torus T^k. In the case of omnioriented quasitoric manifolds, we present computations that depend only on their defining combinatorial data; these draw inspiration from analogous calculations in toric geometry, which seek to express arithmetic, elliptic, and associated g…
▽ More
Our primary aim is to develop a theory of equivariant genera for stably complex manifolds equipped with compatible actions of a torus T^k. In the case of omnioriented quasitoric manifolds, we present computations that depend only on their defining combinatorial data; these draw inspiration from analogous calculations in toric geometry, which seek to express arithmetic, elliptic, and associated genera of toric varieties in terms only of their fans. Our theory focuses on the universal toric genus Φ, which was introduced independently by Krichever and Loeffler in 1974, albeit from radically different viewpoints. In fact Φis a version of tom Dieck's bundling transformation of 1970, defined on T^k-equivariant complex cobordism classes and taking values in the complex cobordism algebra of the classifying space. We proceed by combining the analytic, the formal group theoretic, and the homotopical approaches to genera, and refer to the index theoretic approach as a recurring source of insight and motivation. The resultant flexibility allows us to identify several distinct genera within our framework, and to introduce parametrised versions that apply to bundles equipped with a stably complex structure on the tangents along their fibres. In the presence of isolated fixed points, we obtain universal localisation formulae, whose applications include the identification of Krichever's generalised elliptic genus as universal amongst genera that are rigid on SU-manifolds. We follow the traditions of toric geometry by working with a variety of illustrative examples wherever possible. For background and prerequisites we attempt to reconcile the literature of east and west, which developed independently for several decades after the 1960s.
△ Less
Submitted 19 November, 2009; v1 submitted 23 August, 2009;
originally announced August 2009.
-
The equivariant cohomology of weighted projective space
Authors:
Anthony Bahri,
Matthias Franz,
Nigel Ray
Abstract:
We describe the integral equivariant cohomology ring of a weighted projective space in terms of piecewise polynomials, and thence by generators and relations. We deduce that the ring is a perfect invariant, and prove a Chern class formula for weighted projective bundles.
We describe the integral equivariant cohomology ring of a weighted projective space in terms of piecewise polynomials, and thence by generators and relations. We deduce that the ring is a perfect invariant, and prove a Chern class formula for weighted projective bundles.
△ Less
Submitted 18 May, 2008; v1 submitted 11 August, 2007;
originally announced August 2007.
-
Categorical aspects of toric topology
Authors:
Taras Panov,
Nigel Ray
Abstract:
We argue for the addition of category theory to the toolkit of toric topology, by surveying recent examples and applications. Our case is made in terms of toric spaces X_K, such as moment-angle complexes Z_K, quasitoric manifolds M, and Davis-Januszkiewicz spaces DJ(K). We first exhibit X_K as the homotopy colimit of a diagram of spaces over the small category cat(K), whose objects are the faces…
▽ More
We argue for the addition of category theory to the toolkit of toric topology, by surveying recent examples and applications. Our case is made in terms of toric spaces X_K, such as moment-angle complexes Z_K, quasitoric manifolds M, and Davis-Januszkiewicz spaces DJ(K). We first exhibit X_K as the homotopy colimit of a diagram of spaces over the small category cat(K), whose objects are the faces of a finite simplicial complex K and morphisms their inclusions. Then we study the corresponding cat(K)-diagrams in various algebraic Quillen model categories, and interpret their homotopy colimits as algebraic models for X_K. Such models encode many standard algebraic invariants, and their existence is assured by the Quillen structure. We provide several illustrative calculations, often over the rationals, including proofs that quasitoric manifolds (and various generalisations) are rationally formal; that the rational Pontrjagin ring of the loop space ΩDJ(K) is isomorphic to the quadratic dual of the Stanley-Reisner algebra Q[K] for flag complexes K; and that DJ(K) is coformal precisely when K is flag. We conclude by describing algebraic models for the loop space ΩDJ(K) for any complex K, which mimic our previous description as a homotopy colimit of topological monoids.
△ Less
Submitted 16 February, 2008; v1 submitted 2 July, 2007;
originally announced July 2007.
-
Spaces of polytopes and cobordism of quasitoric manifolds
Authors:
Victor M. Buchstaber,
Taras E. Panov,
Nigel Ray
Abstract:
Our aim is to bring the theory of analogous polytopes to bear on the study of quasitoric manifolds, in the context of stably complex manifolds with compatible torus action. By way of application, we give an explicit construction of a quasitoric representative for every complex cobordism class as the quotient of a free torus action on a real quadratic complete intersection. We suggest a systemati…
▽ More
Our aim is to bring the theory of analogous polytopes to bear on the study of quasitoric manifolds, in the context of stably complex manifolds with compatible torus action. By way of application, we give an explicit construction of a quasitoric representative for every complex cobordism class as the quotient of a free torus action on a real quadratic complete intersection. We suggest a systematic description for omnioriented quasitoric manifolds in terms of combinatorial data, and explain the relationship with non-singular projective toric varieties (otherwise known as toric manifolds). By expressing the first and third authors' approach to the representability of cobordism classes in these terms, we simplify and correct two of their original proofs concerning quotient polytopes; the first relates to framed embeddings in the positive cone, and the second involves modifying the operation of connected sum to take account of orientations. Analogous polytopes provide an informative setting for several of the details.
△ Less
Submitted 1 December, 2006; v1 submitted 13 September, 2006;
originally announced September 2006.
-
Homotopy decompositions and K-theory of Bott towers
Authors:
Yusuf Civan,
Nigel Ray
Abstract:
We describe Bott towers as sequences of toric manifolds M^k, and identify the omniorientations which correspond to their original construction as toric varieties. We show that the suspension of M^k is homotopy equivalent to a wedge of Thom complexes, and display its complex K-theory as an algebra over the coefficient ring. We extend the results to KO-theory for several families of examples, and…
▽ More
We describe Bott towers as sequences of toric manifolds M^k, and identify the omniorientations which correspond to their original construction as toric varieties. We show that the suspension of M^k is homotopy equivalent to a wedge of Thom complexes, and display its complex K-theory as an algebra over the coefficient ring. We extend the results to KO-theory for several families of examples, and compute the effects of the realification homomorphism; these calculations breathe geometric life into Bahri and Bendersky's recent analysis of the Adams Spectral Sequence. By way of application we investigate stably complex structures on M^k, identifying those which arise from omniorientations and those which are almost complex. We conclude with observations on the role of Bott towers in complex cobordism theory.
△ Less
Submitted 19 August, 2004;
originally announced August 2004.
-
On Davis-Januszkiewicz homotopy types I; formality and rationalisation
Authors:
Dietrich Notbohm,
Nigel Ray
Abstract:
For an arbitrary simplicial complex K, Davis and Januszkiewicz have defined a family of homotopy equivalent CW-complexes whose integral cohomology rings are isomorphic to the Stanley-Reisner algebra of K. Subsequently, Buchstaber and Panov gave an alternative construction (here called c(K)), which they showed to be homotopy equivalent to Davis and Januszkiewicz's examples. It is therefore natura…
▽ More
For an arbitrary simplicial complex K, Davis and Januszkiewicz have defined a family of homotopy equivalent CW-complexes whose integral cohomology rings are isomorphic to the Stanley-Reisner algebra of K. Subsequently, Buchstaber and Panov gave an alternative construction (here called c(K)), which they showed to be homotopy equivalent to Davis and Januszkiewicz's examples. It is therefore natural to investigate the extent to which the homotopy type of a space is determined by having such a cohomology ring. We begin this study here, in the context of model category theory. In particular, we extend work of Franz by showing that the singular cochain algebra of c(K) is formal as a differential graded noncommutative algebra. We specialise to the rationals by proving the corresponding result for Sullivan's commutative cochain algebra, and deduce that the rationalisation of c(K) is unique for a special family of complexes K. In a sequel, we will consider the uniqueness of c(K) at each prime separately, and apply Sullivan's arithmetic square to produce global results for this family.
△ Less
Submitted 13 January, 2005; v1 submitted 11 November, 2003;
originally announced November 2003.
-
Colimits, Stanley-Reisner algebras, and loop spaces
Authors:
Taras Panov,
Nigel Ray,
Rainer Vogt
Abstract:
We study diagrams associated with a finite simplicial complex K, in various algebraic and topological categories. We relate their colimits to familiar structures in algebra, combinatorics, geometry and topology. These include: right-angled Artin and Coxeter groups (and their complex analogues, which we call circulation groups); Stanley-Reisner algebras and coalgebras; Davis and Januszkiewicz's s…
▽ More
We study diagrams associated with a finite simplicial complex K, in various algebraic and topological categories. We relate their colimits to familiar structures in algebra, combinatorics, geometry and topology. These include: right-angled Artin and Coxeter groups (and their complex analogues, which we call circulation groups); Stanley-Reisner algebras and coalgebras; Davis and Januszkiewicz's spaces DJ(K) associated with toric manifolds and their generalisations; and coordinate subspace arrangements. When K is a flag complex, we extend well-known results on Artin and Coxeter groups by confirming that the relevant circulation group is homotopy equivalent to the space of loops $ΩDJ(K)$. We define homotopy colimits for diagrams of topological monoids and topological groups, and show they commute with the formation of classifying spaces in a suitably generalised sense. We deduce that the homotopy colimit of the appropriate diagram of topological groups is a model for $ΩDJ(K)$ for an arbitrary complex K, and that the natural projection onto the original colimit is a homotopy equivalence when K is flag. In this case, the two models are compatible.
△ Less
Submitted 9 February, 2002;
originally announced February 2002.
-
Tangential Structures on Toric Manifolds, and Connected Sums of Polytopes
Authors:
Victor M. Buchstaber,
Nigel Ray
Abstract:
We extend work of Davis and Januszkiewicz by considering {\it omnioriented} toric manifolds, whose canonical codimension-2 submanifolds are independently oriented. We show that each omniorientation induces a canonical stably complex structure, which is respected by the torus action and so defines an element of an equivariant cobordism ring. As an application, we compute the complex bordism group…
▽ More
We extend work of Davis and Januszkiewicz by considering {\it omnioriented} toric manifolds, whose canonical codimension-2 submanifolds are independently oriented. We show that each omniorientation induces a canonical stably complex structure, which is respected by the torus action and so defines an element of an equivariant cobordism ring. As an application, we compute the complex bordism groups and cobordism ring of an arbitrary omnioriented toric manifold. We consider a family of examples $B_{i,j}$, which are toric manifolds over products of simplices, and verify that their natural stably complex structure is induced by an omniorientation. Studying connected sums of products of the $B_{i,j}$ allows us to deduce that every complex cobordism class of dimension >2 contains a toric manifold, necessarily connected, and so provides a positive answer to the toric analogue of Hirzebruch's famous question for algebraic varieties. In previous work, we dealt only with disjoint unions, and ignored the relationship between the stably complex structure and the action of the torus. In passing, we introduce a notion of connected sum $#$ for simple $n$-dimensional polytopes; when $P^n$ is a product of simplices, we describe $P^n# Q^n$ by applying an appropriate sequence of {\it pruning operators}, or hyperplane cuts, to $Q^n$.
△ Less
Submitted 2 October, 2000;
originally announced October 2000.
-
Flag manifolds and the Landweber-Novikov algebra
Authors:
Victor M. Buchstaber,
Nigel Ray
Abstract:
We investigate geometrical interpretations of various structure maps associated with the Landweber-Novikov algebra S^* and its integral dual S_*. In particular, we study the coproduct and antipode in S_*, together with the left and right actions of S^* on S_* which underly the construction of the quantum (or Drinfeld) double D(S^*). We set our realizations in the context of double complex cobord…
▽ More
We investigate geometrical interpretations of various structure maps associated with the Landweber-Novikov algebra S^* and its integral dual S_*. In particular, we study the coproduct and antipode in S_*, together with the left and right actions of S^* on S_* which underly the construction of the quantum (or Drinfeld) double D(S^*). We set our realizations in the context of double complex cobordism, utilizing certain manifolds of bounded flags which generalize complex projective space and may be canonically expressed as toric varieties. We discuss their cell structure by analogy with the classical Schubert decomposition, and detail the implications for Poincare duality with respect to double cobordism theory; these lead directly to our main results for the Landweber-Novikov algebra.
△ Less
Submitted 2 June, 1998;
originally announced June 1998.