-
Data-Driven Contextual Optimization with Gaussian Mixtures: Flow-Based Generalization, Robust Models, and Multistage Extensions
Authors:
YoungChul Yoon,
Grani A. Hanasusanto,
Yijie Wang
Abstract:
Contextual optimization enhances decision quality by leveraging side information to improve predictions of uncertain parameters. However, existing approaches face significant challenges when dealing with multimodal or mixtures of distributions. The inherent complexity of such structures often precludes an explicit functional relationship between the contextual information and the uncertain paramet…
▽ More
Contextual optimization enhances decision quality by leveraging side information to improve predictions of uncertain parameters. However, existing approaches face significant challenges when dealing with multimodal or mixtures of distributions. The inherent complexity of such structures often precludes an explicit functional relationship between the contextual information and the uncertain parameters, limiting the direct applicability of parametric models. Conversely, while non-parametric models offer greater representational flexibility, they are plagued by the "curse of dimensionality," leading to unsatisfactory performance in high-dimensional problems. To address these challenges, this paper proposes a novel contextual optimization framework based on Gaussian Mixture Models (GMMs). This model naturally bridges the gap between parametric and non-parametric approaches, inheriting the favorable sample complexity of parametric models while retaining the expressiveness of non-parametric schemes. By employing normalizing flows, we further relax the GM assumption and extend our framework to arbitrary distributions. Finally, inspired by the structural properties of GMMs, we design a novel GMM-based solution scheme for multistage stochastic optimization problems with Markovian uncertainty. This method exhibits significantly better sample complexity compared to traditional approaches, offering a powerful methodology for solving long-horizon, high-dimensional multistage problems. We demonstrate the effectiveness of our framework through extensive numerical experiments on a series of operations management problems. The results show that our proposed approach consistently outperforms state-of-the-art methods, underscoring its practical value for complex decision-making problems under uncertainty.
△ Less
Submitted 17 September, 2025;
originally announced September 2025.
-
A decomposition of graph a-numbers
Authors:
Suyuong Choi,
Younghan Yoon
Abstract:
We study the $a$-sequence $(a_0(G), a_1(G), \cdots)$ of a finite simple graph $G$, defined recursively through a combinatorial rule and known to coincide with the sequence of rational Betti numbers of the real toric variety associated with $G$.
In this paper, we establish a combinatorial and topological decomposition formula for the $a$-sequence. As an application, we show that the $a$-sequence…
▽ More
We study the $a$-sequence $(a_0(G), a_1(G), \cdots)$ of a finite simple graph $G$, defined recursively through a combinatorial rule and known to coincide with the sequence of rational Betti numbers of the real toric variety associated with $G$.
In this paper, we establish a combinatorial and topological decomposition formula for the $a$-sequence. As an application, we show that the $a$-sequence is monotone under graph inclusion; that is, $a_i(G) \geq a_i(H)$ for all $i \geq 0$ whenever $H$ is a subgraph of $G$. We also prove that the $a$-sequence is unimodal in $i$ for a broad class of graphs $G$, including those with a Hamiltonian circuit or a universal vertex. These results provide a new class of topological spaces whose Betti number sequences are unimodal but not necessarily log concave, contributing to the study of real loci in algebraic geometry.
△ Less
Submitted 9 August, 2025;
originally announced August 2025.
-
Spectrum of cones of projective hypersurfaces with singularities isolated
Authors:
Seung-Jo Jung,
Morihiko Saito,
Youngho Yoon
Abstract:
Let $Z$ be a projective hypersurface such that its underlying reduced variety has only isolated singularities. In case its irreducible components have constant multiplicities, for instance if $\dim Z>1$, we show that the spectrum of its cone can be described by using the spectral numbers at singular points of the reduced hypersurface and the global degree. In the non-reduced plane curve case, assu…
▽ More
Let $Z$ be a projective hypersurface such that its underlying reduced variety has only isolated singularities. In case its irreducible components have constant multiplicities, for instance if $\dim Z>1$, we show that the spectrum of its cone can be described by using the spectral numbers at singular points of the reduced hypersurface and the global degree. In the non-reduced plane curve case, assuming that the underlying reduced curve has only semi-weighted-homogeneous singularities, we express the spectrum of the cone in terms of the local weights and the weighted degrees and multiplicities of local irreducible components together with the degrees and multiplicities of global ones. These generalize a formula for reduced line arrangements. In the non-reduced ordinary (that is, semi-homogeneous) singularity case, the second formula is essentially equivalent to the one obtained by the third-named author.
△ Less
Submitted 7 August, 2025; v1 submitted 23 April, 2025;
originally announced April 2025.
-
On the full subcomplexes of Bier spheres and their applications to real toric spaces
Authors:
Suyoung Choi,
Younghan Yoon,
Seonghyeon Yu
Abstract:
A Bier sphere is a simplicial sphere obtained as the deleted join of a simplicial complex and its combinatorial Alexander dual. We focus on particular classes of full subcomplexes of Bier spheres, and determine their topological types. As applications, we explicitly describe the cohomology of real toric spaces associated with Bier spheres.
A Bier sphere is a simplicial sphere obtained as the deleted join of a simplicial complex and its combinatorial Alexander dual. We focus on particular classes of full subcomplexes of Bier spheres, and determine their topological types. As applications, we explicitly describe the cohomology of real toric spaces associated with Bier spheres.
△ Less
Submitted 7 March, 2025;
originally announced March 2025.
-
Cohomology of type $B$ real permutohedral varieties
Authors:
Younghan Yoon
Abstract:
Type $A$ and type $B$ permutohedral varieties are classic examples of mathematics, and their topological invariants are well known. This naturally leads to the investigation of the topology of their real loci, known as type $A$ and type $B$ real permutohedral varieties.
The rational cohomology rings of type $A$ real permutohedral varieties are fully described in terms of alternating permutations…
▽ More
Type $A$ and type $B$ permutohedral varieties are classic examples of mathematics, and their topological invariants are well known. This naturally leads to the investigation of the topology of their real loci, known as type $A$ and type $B$ real permutohedral varieties.
The rational cohomology rings of type $A$ real permutohedral varieties are fully described in terms of alternating permutations. Until now, only rational Betti numbers of type $B$ real permutohedral varieties have been described in terms of $B$-snakes. In this paper, we explicitly describe the multiplicative structure of the cohomology rings of type $B$ real permutohedral varieties in terms of $B$-snakes.
△ Less
Submitted 26 May, 2025; v1 submitted 16 January, 2025;
originally announced January 2025.
-
Tjurina spectrum and graded symmetry of missing spectral numbers
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Morihiko Saito,
Youngho Yoon
Abstract:
For a hypersurface isolated singularity defined by $f$, the Steenbrink spectrum can be obtained as the Poincaré polynomial of the graded quotients of the $V$-filtration on the Jacobian ring of $f$. The Tjurina subspectrum is defined by replacing the Jacobian ring with its quotient by the image of the multiplication by $f$. We prove that their difference (consisting of missing spectral numbers) has…
▽ More
For a hypersurface isolated singularity defined by $f$, the Steenbrink spectrum can be obtained as the Poincaré polynomial of the graded quotients of the $V$-filtration on the Jacobian ring of $f$. The Tjurina subspectrum is defined by replacing the Jacobian ring with its quotient by the image of the multiplication by $f$. We prove that their difference (consisting of missing spectral numbers) has a canonical graded symmetry. This follows from the self-duality of the Jacobian ring, which is compatible with the action of $f$ as well as the $V$-filtration. It implies for instance that the number of missing spectral numbers which are smaller than $(n+1)/2$ (with $n$ the ambient dimension) is bounded by $[(μ-τ)/2]$. We can moreover improve the estimate of Briançon-Skoda exponent in the semisimple monodromy case.
△ Less
Submitted 6 January, 2025; v1 submitted 26 November, 2024;
originally announced November 2024.
-
Real toric manifolds associated with chordal nestohedra
Authors:
Suyoung Choi,
Younghan Yoon
Abstract:
This paper investigates the rational Betti numbers of real toric manifolds associated with chordal nestohedra. We consider the poset topology of a specific poset induced from a chordal building set, and show its EL-shellability. Based on this, we present an explicit description using alternating $\mathcal{B}$-permutations for a chordal building set $\mathcal{B}$, transforming the computing Betti n…
▽ More
This paper investigates the rational Betti numbers of real toric manifolds associated with chordal nestohedra. We consider the poset topology of a specific poset induced from a chordal building set, and show its EL-shellability. Based on this, we present an explicit description using alternating $\mathcal{B}$-permutations for a chordal building set $\mathcal{B}$, transforming the computing Betti numbers into a counting problem. This approach allows us to compute the $a$-number of a finite simple graph through permutation counting when the graph is chordal. In addition, we provide detailed computations for specific cases such as real Hochschild varieties corresponding to Hochschild polytopes.
△ Less
Submitted 9 August, 2025; v1 submitted 15 July, 2024;
originally announced July 2024.
-
Some remarks on the generalized Hertling conjecture for Tjurina spectrum
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Morihiko Saito,
Youngho Yoon
Abstract:
We study the generalized Hertling conjecture on the variance of the Tjurina spectral numbers, and provide a sufficient condition for the conjecture to fail, employing a theorem of Hertling in an essential way. We calculate certain examples using some codes in Singular.
We study the generalized Hertling conjecture on the variance of the Tjurina spectral numbers, and provide a sufficient condition for the conjecture to fail, employing a theorem of Hertling in an essential way. We calculate certain examples using some codes in Singular.
△ Less
Submitted 11 August, 2025; v1 submitted 10 June, 2024;
originally announced June 2024.
-
The cohomology rings of real permutohedral varieties
Authors:
Suyoung Choi,
Younghan Yoon
Abstract:
A permutohedral variety is a remarkable object in various areas of mathematics, and its topological invariants are widely recognized. However, only little is known about a real permutohedral variety, that is, the real locus of a permutohedral variety.
The rational Betti numbers of real permutohedral varieties were computed in terms of alternating permutations in 2012. In this paper, we provide e…
▽ More
A permutohedral variety is a remarkable object in various areas of mathematics, and its topological invariants are widely recognized. However, only little is known about a real permutohedral variety, that is, the real locus of a permutohedral variety.
The rational Betti numbers of real permutohedral varieties were computed in terms of alternating permutations in 2012. In this paper, we provide explicit descriptions of the cohomology ring of real permutohedral varieties. In particular, we describe the multiplicative structure in terms of alternating permutations.
△ Less
Submitted 30 September, 2024; v1 submitted 24 August, 2023;
originally announced August 2023.
-
The Betti numbers of real toric varieties associated to Weyl chambers of types E7 and E8
Authors:
Suyoung Choi,
Younghan Yoon,
Seonghyeon Yu
Abstract:
We compute the rational Betti numbers of the real toric varieties associated to Weyl chambers of types $E_7$ and $E_8$, completing the computations for all types of root systems.
We compute the rational Betti numbers of the real toric varieties associated to Weyl chambers of types $E_7$ and $E_8$, completing the computations for all types of root systems.
△ Less
Submitted 15 April, 2023;
originally announced April 2023.
-
Briançon-Skoda exponents and the maximal root of reduced Bernstein-Sato polynomials
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Morihiko Saito,
Youngho Yoon
Abstract:
For a holomorphic function $f$ on a complex manifold $X$, the Briançon-Skoda exponent $e^{\rm BS}(f)$ is the smallest integer $k$ with $f^k\in(\partial f)$ (replacing $X$ with a neighborhood of $f^{-1}(0)$), where $(\partial f)$ denotes the Jacobian ideal of $f$. It is shown that $e^{\rm BS}(f)\le d_X$ $(:=\dim X)$ by Brian\c con-Skoda. We prove that $e^{\rm BS}(f)\le[d_X-2\widetildeα_f]+1$ with…
▽ More
For a holomorphic function $f$ on a complex manifold $X$, the Briançon-Skoda exponent $e^{\rm BS}(f)$ is the smallest integer $k$ with $f^k\in(\partial f)$ (replacing $X$ with a neighborhood of $f^{-1}(0)$), where $(\partial f)$ denotes the Jacobian ideal of $f$. It is shown that $e^{\rm BS}(f)\le d_X$ $(:=\dim X)$ by Brian\c con-Skoda. We prove that $e^{\rm BS}(f)\le[d_X-2\widetildeα_f]+1$ with $-\widetildeα_f$ the maximal root of the reduced Bernstein-Sato polynomial $b_f(s)/(s+1)$, assuming the latter exists (shrinking $X$ if necessary). This implies for instance that $e^{\rm BS}(f)\le d_X-2$ in the case $f^{-1}(0)$ has only rational singularities, that is, if $\widetildeα_f>1$.
△ Less
Submitted 5 May, 2022; v1 submitted 16 August, 2021;
originally announced August 2021.
-
Higher Du Bois singularities of hypersurfaces
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Morihiko Saito,
Youngho Yoon
Abstract:
For a complex algebraic variety $X$, we introduce higher $p$-Du Bois singularity by imposing canonical isomorphisms between the sheaves of Kähler differential forms $Ω_X^q$ and the shifted graded pieces of the Du Bois complex $\underlineΩ_X^q$ for $q\le p$. If $X$ is a reduced hypersurface, we show that higher $p$-Du~Bois singularity coincides with higher $p$-log canonical singularity, generalizin…
▽ More
For a complex algebraic variety $X$, we introduce higher $p$-Du Bois singularity by imposing canonical isomorphisms between the sheaves of Kähler differential forms $Ω_X^q$ and the shifted graded pieces of the Du Bois complex $\underlineΩ_X^q$ for $q\le p$. If $X$ is a reduced hypersurface, we show that higher $p$-Du~Bois singularity coincides with higher $p$-log canonical singularity, generalizing a well-known theorem for $p=0$. The assertion that $p$-log canonicity implies $p$-Du Bois has been proved by Mustata, Olano, Popa, and Witaszek quite recently as a corollary of two theorems asserting that the sheaves of reflexive differential forms $Ω_X^{[q]}$ ($q\le p$) coincide with $Ω_X^q$ and $\underlineΩ_X^q$ respectively, and these are shown by calculating the depth of the latter two sheaves. We construct explicit isomorphisms between $Ω_X^q$ and $\underlineΩ_X^q$ applying the acyclicity of a Koszul complex in a certain range. We also improve some non-vanishing assertion shown by them using mixed Hodge modules and the Tjurina subspectrum in the isolated singularity case. This is useful for instance to estimate the lower bound of the maximal root of the reduced Bernstein-Sato polynomial in the case where a quotient singularity is a hypersurface and its singular locus has codimension at most 4.
△ Less
Submitted 23 March, 2022; v1 submitted 14 July, 2021;
originally announced July 2021.
-
Intersection cohomology of pure sheaf spaces using Kirwan's desingularization
Authors:
Kiryong Chung,
Youngho Yoon
Abstract:
Let $\mathbf{M}_n$ be the Simpson compactification of twisted ideal sheaves $\mathcal{I}_{L,Q}(1)$ where $Q$ is a rank $4$ quardric hypersurface in $\mathbb{P}^n$ and $L$ is a linear subspace of dimension $n-2$. This paper calculates the intersection Poincaré polynomial of $\mathbf{M}_n$ using Kirwan's desingularization method. We obtain the intersection Poincaré polynomial of the moduli space for…
▽ More
Let $\mathbf{M}_n$ be the Simpson compactification of twisted ideal sheaves $\mathcal{I}_{L,Q}(1)$ where $Q$ is a rank $4$ quardric hypersurface in $\mathbb{P}^n$ and $L$ is a linear subspace of dimension $n-2$. This paper calculates the intersection Poincaré polynomial of $\mathbf{M}_n$ using Kirwan's desingularization method. We obtain the intersection Poincaré polynomial of the moduli space for one-dimensional sheaves on del Pezzo surfaces of degree $\geq 8$ by considering wall-crossings of stable pairs and complexes.
△ Less
Submitted 22 October, 2020; v1 submitted 13 July, 2020;
originally announced July 2020.
-
Spectrum of non-degenerate functions with simplicial Newton polytopes
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Morihiko Saito,
Youngho Yoon
Abstract:
We show a precise proof of Steenbrink's formula for the spectrum of convenient Newton non-degenerate functions, and prove the symmetry of combinatorial polynomials in the simplicial case. Combined with the modified Steenbrink conjecture for spectral pairs (that is, weighted spectrum) which is recently proved in that case, this simplifies quite a lot of their calculations in such a case. We also in…
▽ More
We show a precise proof of Steenbrink's formula for the spectrum of convenient Newton non-degenerate functions, and prove the symmetry of combinatorial polynomials in the simplicial case. Combined with the modified Steenbrink conjecture for spectral pairs (that is, weighted spectrum) which is recently proved in that case, this simplifies quite a lot of their calculations in such a case. We also introduce the $Γ$-spectrum of simplicial convenient non-degenerate functions as a first approximation of the spectrum, generalizing Arnold's picture in the 2 variable case. Analyzing their difference, we can find simple formulas for weighted spectrum in the 3 or 4 variable case. This is proved by using the symmetry of combinatorial polynomials, and fails in the non-simplicial case. Combining these with the Yomdin-Steenbrink formula for the spectrum, we can prove a formula for the spectrum of certain non-isolated surface singularities with simplicial non-degenerate Newton boundaries. As a byproduct of these arguments, we find an example where the Yomdin-Steenbrink formula for spectral pairs does not hold because of fusions of compact faces under projections.
△ Less
Submitted 6 October, 2023; v1 submitted 21 November, 2019;
originally announced November 2019.
-
Bounding the State Covariance Matrix for a Randomly Switching Linear System with Noise
Authors:
Yongeun Yoon,
Corbin Klett,
Eric Feron
Abstract:
The propagation of a state vector is governed by a set of time-invariant state transition matrices that switch arbitrarily between two values. The evolution of the state is also perturbed by white Gaussian noise with a variance that switches randomly with the state transition relation. The behavior of this system can be characterized by the covariance matrix of the state vector, which is time vary…
▽ More
The propagation of a state vector is governed by a set of time-invariant state transition matrices that switch arbitrarily between two values. The evolution of the state is also perturbed by white Gaussian noise with a variance that switches randomly with the state transition relation. The behavior of this system can be characterized by the covariance matrix of the state vector, which is time varying. However, we can bound the set of covariances by comparing the switching system to an augmented system derived with Kronecker algebra. We formulate a matrix optimization problem to compute an ellipsoid that bounds the covariance dynamics, which in turn bounds the state covariance of the set of switching systems subject to white noise. In developing this approach, an invariant ellipsoid for a linear switching affine system is computed along the way.
△ Less
Submitted 21 May, 2019;
originally announced May 2019.
-
Hodge ideals and spectrum of isolated hypersurface singularities
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Morihiko Saito,
Youngho Yoon
Abstract:
We introduce Hodge ideal spectrum for isolated hypersurface singularities to see the difference between the Hodge ideals and the microlocal $V$-filtration modulo the Jacobian ideal. Via the Tjurina subspectrum, we can compare the Hodge ideal spectrum with the Steenbrink spectrum which can be defined by the microlocal $V$-filtration. As a consequence of a formula of Mustata and Popa, these two spec…
▽ More
We introduce Hodge ideal spectrum for isolated hypersurface singularities to see the difference between the Hodge ideals and the microlocal $V$-filtration modulo the Jacobian ideal. Via the Tjurina subspectrum, we can compare the Hodge ideal spectrum with the Steenbrink spectrum which can be defined by the microlocal $V$-filtration. As a consequence of a formula of Mustata and Popa, these two spectra coincide in the weighted homogeneous case. We prove sufficient conditions for their coincidence and non-coincidence in some non-weighted-homogeneous cases where the defining function is semi-weighted-homogeneous or with non-degenerate Newton boundary in most cases. We also show that the convenience condition can be avoided in a formula of Zhang for the non-degenerate case, and present an example where the Hodge ideals are not weakly decreasing even modulo the Jacobian ideal.
△ Less
Submitted 23 January, 2022; v1 submitted 4 April, 2019;
originally announced April 2019.
-
Hodge ideal and spectrum of weighted homogeneous isolated singularities
Authors:
Seung-Jo Jung,
In-Kyun Kim,
Youngho Yoon
Abstract:
This note provides a connection between the Hodge spectrum and the Hodge ideals recently developed by Mustaţǎ--Popa in the case of weighted homogeneous isolated singularities.
This note provides a connection between the Hodge spectrum and the Hodge ideals recently developed by Mustaţǎ--Popa in the case of weighted homogeneous isolated singularities.
△ Less
Submitted 24 December, 2018; v1 submitted 18 December, 2018;
originally announced December 2018.
-
On the explicit calculation of Hirzebruch-Milnor classes of hyperplane arrangements
Authors:
Xia Liao,
Youngho Yoon
Abstract:
The Hirzebruch-Milnor class is given by the difference between the homology Hirzebruch characteristic class and the virtual one. It is known that the Hirzebruch-Milnor class for a certain singular hypersurface can be calculated by using the Hodge spectrum of each stratum of singular locus. So far there is no explicit calculation of this invariant for any non-trivial examples, and we calculate this…
▽ More
The Hirzebruch-Milnor class is given by the difference between the homology Hirzebruch characteristic class and the virtual one. It is known that the Hirzebruch-Milnor class for a certain singular hypersurface can be calculated by using the Hodge spectrum of each stratum of singular locus. So far there is no explicit calculation of this invariant for any non-trivial examples, and we calculate this invariant by two different ways for low dimmensional hyperplane arrangements.
△ Less
Submitted 2 July, 2018;
originally announced July 2018.
-
Spectrum of Projective Plane Curve Arrangements with Ordinary Singularities
Authors:
Youngho Yoon
Abstract:
The Hodge spectrum is an important analytic invariant of singularities encoding the Hodge filtration and the monodromy of the Milnor fiber. Explicit formulas exist for only a few cases. In this article the main result is a combinatorial formula for homogeneous polynomials in three variables whose reduced one define projective curve arrangements having only ordinary multiple points.
The Hodge spectrum is an important analytic invariant of singularities encoding the Hodge filtration and the monodromy of the Milnor fiber. Explicit formulas exist for only a few cases. In this article the main result is a combinatorial formula for homogeneous polynomials in three variables whose reduced one define projective curve arrangements having only ordinary multiple points.
△ Less
Submitted 15 February, 2019; v1 submitted 11 April, 2018;
originally announced April 2018.
-
Rank one local systems and forms of degree one
Authors:
Nero Budur,
Botong Wang,
Youngho Yoon
Abstract:
Cohomology support loci of rank one local systems of a smooth quasiprojective complex algebraic variety are finite unions of torsion-translated complex subtori of the character variety of the fundamental group. Tangent spaces of the character variety are (partially) represented by logarithmic 1-forms. In this paper, we give a relation between cohomology support loci and the natural strata of 1-for…
▽ More
Cohomology support loci of rank one local systems of a smooth quasiprojective complex algebraic variety are finite unions of torsion-translated complex subtori of the character variety of the fundamental group. Tangent spaces of the character variety are (partially) represented by logarithmic 1-forms. In this paper, we give a relation between cohomology support loci and the natural strata of 1-forms given by the dimension of the vanishing locus. This relation generalizes the one for the projective case due to Green and Lazarsfeld and also generalizes the partial relation due to Dimca in the quasi-projective case.
△ Less
Submitted 26 July, 2015; v1 submitted 16 April, 2015;
originally announced April 2015.
-
Spectrum of hyperplane arrangements in four variables
Authors:
Youngho Yoon
Abstract:
One of the most important invariants in singularity theory is the Hodge spectrum. Calculating the Hodge spectrum is a difficult task and formulas exist for only a few cases. In this article the main result is the formula for reduced hyperplane arrangements in four variables.
One of the most important invariants in singularity theory is the Hodge spectrum. Calculating the Hodge spectrum is a difficult task and formulas exist for only a few cases. In this article the main result is the formula for reduced hyperplane arrangements in four variables.
△ Less
Submitted 8 March, 2014; v1 submitted 7 November, 2012;
originally announced November 2012.
-
A lower bound to the action dimension of a group
Authors:
Sung Yil Yoon
Abstract:
The action dimension of a discrete group G, actdim(G), is defined to be the smallest integer m such that G admits a properly discontinuous action on a contractible m-manifold. If no such m exists, we define actdim(G) = infty. Bestvina, Kapovich, and Kleiner used Van Kampen's theory of embedding obstruction to provide a lower bound to the action dimension of a group. In this article, another lowe…
▽ More
The action dimension of a discrete group G, actdim(G), is defined to be the smallest integer m such that G admits a properly discontinuous action on a contractible m-manifold. If no such m exists, we define actdim(G) = infty. Bestvina, Kapovich, and Kleiner used Van Kampen's theory of embedding obstruction to provide a lower bound to the action dimension of a group. In this article, another lower bound to the action dimension of a group is obtained by extending their work, and the action dimensions of the fundamental groups of certain manifolds are found by computing this new lower bound.
△ Less
Submitted 21 May, 2004;
originally announced May 2004.
