On finite simple groups acting on homology spheres

It is a consequence of the classical Jordan bound for finite subgroups of linear groups that in each dimension n there are only finitely many finite simple groups which admit a faithful, linear action on the n-sphere. In the present paper we prove an analogue for smooth actions on arbitrary homology n-spheres: in each dimension n there are only finitely many finite simple groups which admit a faithful, smooth action on some homology sphere of dimension n, and in particular on the n-sphere. We discuss also the finite simple groups which admit an action on a homology sphere of dimension 3, 4 or 5.     

Flache T1-Stabilität in der Strati-fizierung verseller Entfaltungen

Let 0 be the local ring of a simple singularity defined over the complex numbers and the dimension of its versal deformation space. Than it is well known that any nearby singularity in this space is also simple and has smaller unfolding dimension in the hierarchy of simple singularities. In particular this implies that the =max-stratum consists just of one point namely the given singularity. We want to generalize this concept as we are interested in families of varieties with formal unchanged singularities. For this we introduce in quite generality the notion of flat T¹-stabi1ity which may be checked for any k- algebra 0 where k is for simplicity an algebraically closed field of à priori arbitrary characteristics. We call 0 formal flat T¹ stable or for short flat T¹-stable if the following is true: if R is any deformation of 0 over an Artin local finite k-algebra A and if T¹(R/A,R) is A-flat than R is isomorphic to the trivial deformation . T¹(R/A,R) is the first cotangent module of R over A with values in R. Obviously the simple singularities A_k, D_k, E₆, E₇, E₈ fulfill this criterion over C but we look also at fibres of arbitrary stable map germs, generic singularities of algebraic varieties where we have to modify this notion in order to deal with wild ramification and to quasihomo-genous hypersurface singularities where it functorializes because in this case T¹ commutes with arbitrary base change. The notion of flat T¹-stable singularities is closely related to questions of existence of equisingular families and is used in[12] and [5], [6] to stratify certain Hilbert schemes.     

On explicit basis of bivariate spline space

For a subdivision Δ of a region in d-dimensional Euclidean space, we consider computation of dimension and of basis function in spline space S _k ^r (Δ) consisting of all C piecewise polynomial functions over Δ of degree at most k. A computational scheme is presented for computing the dimension and bases of spline space S _k ^r (Δ). This scheme based on the Grobner basis algorithm and the smooth co-factor method for computing multivariate spline. For bivariate splines, explicit basis functions of S _k ^r (Δ) are obtained for any integer k and r when Δ is a cross-cut partition. The Project is partly supported by the Science and Technology New Star Plan of Beijing and Education Committee of Beijing.     

Canonical Dimension Of Orthogonal Groups

We prove Berhuy-Reichstein's conjecture on the canonical dimension of orthogonal groups showing that for any integer n ≥ 1, the canonical dimension of SO_2n+1 and of SO_2n+2 is equal to n(n + 1)/2. More precisely, for a given (2n + 1)-dimensional quadratic form φ defined over an arbitrary field F of characteristic ≠ 2, we establish a certain property of the correspondences on the orthogonal grassmannian X of n-dimensional totally isotropic subspaces of φ, provided that the degree over F of any finite splitting field of φ is divisible by 2ⁿ; this property allows us to prove that the function field of X has the minimal transcendence degree among all generic splitting fields of φ.     

L2‐signatures,homology localization,and amenable groups

Aimed at geometric applications, we prove the homology cobordism invariance of the L²‐Betti numbers and L²‐signature defects associated to the class of amenable groups lying in Strebel's class D(R), which includes some interesting infinite/finite non‐torsion‐free groups. This result includes the only prior known condition, that Γ is a poly‐torsion‐free abelian group (or a finite p‐group). We define a new commutator series that refines Harvey's torsion‐free derived series of groups, using the localizations of groups and rings of Bousfield, Vogel, and Cohn. The series, called the local derived series, has versions for homology with arbitrary coefficients and satisfies functoriality and an injectivity theorem. We combine these two new tools to give some applications to distinct homology cobordism types within the same simple homotopy type in higher dimensions, to concordance of knots in three manifolds, and to spherical space forms in dimension 3. © 2012 Wiley Periodicals, Inc.     

无限箭图的同调群

对任意箭图Q,我们研究路代数A=kQ的Hochschild同调群H_n(A)和同调群Tor_n^Ae(A,A),其中A^e是代数A的包络代数。在本文中,我们具体地给出了各次同调群和Hochschild同调群。     

Weakly group-theoretical and solvable fusion categories

We introduce two new classes of fusion categories which are obtained by a certain procedure from finite groups – weakly group-theoretical categories and solvable categories. These are fusion categories that are Morita equivalent to iterated extensions (in the world of fusion categories) of arbitrary, respectively solvable finite groups. Weakly group-theoretical categories have integer dimension, and all known fusion categories of integer dimension are weakly group-theoretical. Our main results are that a weakly group-theoretical category C has the strong Frobenius property (i.e., the dimension of any simple object in an indecomposable C-module category divides the dimension of C), and that any fusion category whose dimension has at most two prime divisors is solvable (a categorical analog of Burnside's theorem for finite groups). This has powerful applications to classification of fusion categories and semsisimple Hopf algebras of a given dimension. In particular, we show that any fusion category of integer dimension <84 is weakly group-theoretical (i.e. comes from finite group theory), and give a full classification of semisimple Hopf algebras of dimensions pqr and pq², where p,q,r are distinct primes.     

G‐invariant persistent homology

Classical persistent homology is a powerful mathematical tool for shape comparison. Unfortunately, it is not tailored to study the action of transformation groups that are different from the group Homeo(X) of all self‐homeomorphisms of a topological space X. This fact restricts its use in applications. In order to obtain better lower bounds for the natural pseudo‐distance d_G associated with a group G ? Homeo(X), we need to adapt persistent homology and consider G‐invariant persistent homology. Roughly speaking, the main idea consists in defining persistent homology by means of a set of chains that is invariant under the action of G. In this paper, we formalize this idea and prove the stability of the persistent Betti number functions in G‐invariant persistent homology with respect to the natural pseudo‐distance d_G. We also show how G‐invariant persistent homology could be used in applications concerning shape comparison, when the invariance group is a proper subgroup of the group of all self‐homeomorphisms of a topological space. In this paper, we will assume that the space X is triangulable, in order to guarantee that the persistent Betti number functions are finite without using any tameness assumption. Copyright © 2014 John Wiley & Sons, Ltd.     

On the ordered K0 group of a simple C*-algebra

It is shown that any countable simple and unperforated partially ordered Abelian group with order unit, paired in an arbitrary way with a compact metrizable Choquet simplex, occurs as the K₀group of a simple unital ^*-algebra which is the inductive limit of a sequence of subhomogeneous ^*-algebras of a particularly simple form.     

Stable Comparison of Multidimensional Persistent Homology Groups with Torsion

The present lack of a stable method to compare persistent homology groups with torsion is a relevant problem in current research about Persistent Homology and its applications in Pattern Recognition. In this paper we introduce a pseudo-distance d _T that represents a possible solution to this problem. Indeed, d _T is a pseudo-distance between multidimensional persistent homology groups with coefficients in an Abelian group, hence possibly having torsion. Our main theorem proves the stability of the new pseudo-distance with respect to the change of the filtering function, expressed both with respect to the max-norm and to the natural pseudo-distance between topological spaces endowed with ? ⁿ -valued filtering functions. Furthermore, we prove a result showing the relationship between d _T and the matching distance in the 1-dimensional case, when the homology coefficients are taken in a field and hence the comparison can be made.     

On Bounding the Betti Numbers and Computing the Euler Characteristic of Semi-Algebraic Sets

In this paper we prove new bounds on the sum of the Betti numbers of closed semi-algebraic sets and also give the first single exponential time algorithm for computing the Euler characteristic of arbitrary closed semi-algebraic sets. Given a closed semi-algebraic set S R ^k defined as the intersection of a real variety, Q=0, deg(Q)≤d, whose real dimension is k', with a set defined by a quantifier-free Boolean formula with no negations with atoms of the form P _i =0, P _i ≥ 0, P _i ≤ 0, deg(P _i ) ≤ d, 1≤ i≤ s, we prove that the sum of the Betti numbers of S is bounded by s ^k' (O(d)) ^k . This result generalizes the Oleinik—Petrovsky—Thom—Milnor bound in two directions. Firstly, our bound applies to arbitrary unions of basic closed semi-algebraic sets, not just for basic semi-algebraic sets. Secondly, the combinatorial part (the part depending on s ) in our bound, depends on the dimension of the variety rather than that of the ambient space. It also generalizes the result in [4] where a similar bound is proven for the number of connected components. We also prove that the sum of the Betti numbers of S is bounded by s ^k' 2 ^{O(k2 m4)} in case the total number of monomials occurring in the polynomials in is m. Using the tools developed for the above results, as well as some additional techniques, we give the first single exponential time algorithm for computing the Euler characteristic of arbitrary closed semi-algebraic sets. Received September 9, 1997, and in revised form March 18, 1998, and October 5, 1998.     

Computational Tools in Weighted Persistent Homology

In this paper, the authors study further properties and applications of weighted homology and persistent homology. The Mayer-Vietoris sequence and generalized Bockstein spectral sequence for weighted homology are introduced. For applications, the authors show an algorithm to construct a filtration of weighted simplicial complexes from a weighted network. They also prove a theorem to calculate the mod p² weighted persistent homology provided with some information on the mod p weighted persistent homology.     

Principal minors, Part I: A method for computing all the principal minors of a matrix

An order O(2ⁿ) algorithm for computing all the principal minors of an arbitrary n × n complex matrix is motivated and presented, offering an improvement by a factor of n³ over direct computation. The algorithm uses recursive Schur complementation and submatrix extraction, storing the answer in a binary order. An implementation of the algorithm in MATLAB® is also given and practical considerations are discussed and treated accordingly.     

Exact Lagrangians in plumbings

Consider a Stein manifold M obtained by plumbing cotangent bundles of manifolds of dimension greater than or equal to 3 at points. We prove that the Fukaya category of closed exact Spin Lagrangians with vanishing Maslov class in M is generated by the compact cores of the plumbing. As applications, we classify exact Lagrangian spheres in A ₂-Milnor fibres of arbitrary dimension, derive constraints on exact Lagrangian fillings of Legendrian unknots in disk cotangent bundles, and prove that the categorical equivalence given by the spherical twist in a homology sphere is typically not realised by any compactly supported symplectomorphism.     

Real quadrics in C n , complex manifolds and convex polytopes

In this paper, we investigate the topology of a class of non-Kähler compact complex manifolds generalizing that of Hopf and Calabi-Eckmann manifolds. These manifolds are diffeomorphic to special systems of real quadrics C ⁿ which are invariant with respect to the natural action of the real torus (S ¹) ⁿ onto C ⁿ . The quotient space is a simple convex polytope. The problem reduces thus to the study of the topology of certain real algebraic sets and can be handled using combinatorial results on convex polytopes. We prove that the homology groups of these compact complex manifolds can have arbitrary amount of torsion so that their topology is extremely rich. We also resolve an associated wall-crossing problem by introducing holomorphic equivariant elementary surgeries related to some transformations of the simple convex polytope. Finally, as a nice consequence, we obtain that affine non-Kähler compact complex manifolds can have arbitrary amount of torsion in their homology groups, contrasting with the Kähler situation.     

Linear Optimization Queries

Let Γ₀ be a set of n halfspaces in E^d (where the dimension d is fixed) and let m be a parameter, n ≤ m ≤ n^d/2. We show that Γ₀ can be preprocessed in time and space O(m^1+δ) (for any fixed δ > 0) so that given a vector c E^d and another set Γ_q of additional halfspaces, the function c · x can be optimized over the intersection of the halfspaces of Γ₀ Γ_q in time O((n/m^1/d/2 + |Γ_q|)log^4d+3n). The algorithm uses a multidimensional version of Megiddo′s parametric search technique and recent results on halfspace range reporting. Applications include an improved algorithm for computing the extreme points of an n-point set P in E^d, improved output-sensitive computation of convex hulls and Voronoi diagrams, and a Monte-Carlo algorithm for estimating the volume of a convex polyhedron given by the set of its vertices (in a fixed dimension).     

On theL2-Discrepancy for Anchored Boxes

TheL₂-discrepancy for anchored axis-parallel boxes has been used in several recent computational studies, mostly related to numerical integration, as a measure of the quality of uniform distribution of a given point set. We point out that if the number of points is not large enough in terms of the dimension (e.g., fewer than 10⁴points in dimension 30) then nearly the lowest possibleL₂-discrepancy is attained by a pathological point set, and hence theL₂-discrepancy may not be very relevant for relatively small sets. Recently, Hickernell obtained a formula for the expectedL₂-discrepancy of certain randomized low-discrepancy set constructions introduced by Owen. We note that his formula remains valid also for several modifications of these constructions which admit a very simple and efficient implementation. We also report results of computational experiments with various constructions of low-discrepancy sets. Finally, we present a fairly precise formula for the performance of a recent algorithm due to Heinrich for computing theL₂-discrepancy.     

Manifold Reconstruction in Arbitrary Dimensions Using Witness Complexes

It is a well-established fact that the witness complex is closely related to the restricted Delaunay triangulation in low dimensions. Specifically, it has been proved that the witness complex coincides with the restricted Delaunay triangulation on curves, and is still a subset of it on surfaces, under mild sampling conditions. In this paper, we prove that these results do not extend to higher-dimensional manifolds, even under strong sampling conditions such as uniform point density. On the positive side, we show how the sets of witnesses and landmarks can be enriched, so that the nice relations that exist between restricted Delaunay triangulation and witness complex hold on higher-dimensional manifolds as well. We derive from our structural results an algorithm that reconstructs manifolds of any arbitrary dimension or co-dimension at different scales. The algorithm combines a farthest-point refinement scheme with a vertex pumping strategy. It is very simple conceptually, and it does not require the input point sample to be sparse. Its running time is bounded by c(d)n ², where n is the size of the input point cloud, and c(d) is a constant depending solely (yet exponentially) on the dimension d of the ambient space. Although this running time makes our reconstruction algorithm rather theoretical, recent work has shown that a variant of our approach can be made tractable in arbitrary dimensions, by building upon the results of this paper. This work was done while S.Y. Oudot was a post-doctoral fellow at Stanford University. His email there is no longer valid.     

On Milnor Fibrations of Arrangements

We use covering space theory and homology with local coefficientsto study the Milnor fiber of a homogeneous polynomial. Thesetechniques are applied in the context of hyperplane arrangements,yielding an explicit algorithm for computing the Betti numbersof the Milnor fiber of an arbitrary real central arrangementin C³, as well as the dimensions of the eigenspaces of the algebraicmonodromy. We also obtain combinatorial formulas for these invariantsof the Milnor fiber of a generic arrangement of arbitrary dimensionusing these methods.