No abstract uploaded!

We prove the vanishing of the Koszul homology group$H$_{μ}(Kos($M$)_{μ}), where μ is the minimal number of generators of M. We give a counterexample that the Koszul complex of a module is not always acyclic and show its relationship with the homology of commutative rings.

Quantum-disordering a discrete-symmetry breaking state by condensing domain-walls can lead to a trivial symmetric insulator state. In this work, we show that if we bind a 1D representation of the symmetry (such as a charge) to the intersection point of several domain walls, condensing such modified domain-walls can lead to a non-trivial symmetry-protected topological (SPT) state. This result is obtained by showing that the modified domain-wall condensed state has a non-trivial SPT invariant -- the symmetry-twist dependent partition function. We propose two different kinds of field theories that can describe the above mentioned SPT states. The first one is a Ginzburg-Landau-type non-linear sigma model theory, but with an additional multi-kink domain-wall topological term. Such theory has an anomalous Uk(1) symmetry but an anomaly-free ZkN symmetry. The second one is a gauge theory, which is beyond Abelian Chern-Simons/BF gauge theories. We argue that the two field theories are equivalent at low energies. After coupling to the symmetry twists, both theories produce the desired SPT invariant.

In this paper, we show that there is a Cantor set of initial conditions in the planar 4‑body problem such that all four bodies escape to infinity in a finite time, avoiding collisions. This proves the Painlevé conjecture for the 4‑body case, and thus settles the last open case of the conjecture.

The mean curvature flow is the gradient flow of volume functionals on the space of submanifolds. We prove a fundamental regularity result of the mean curvature flow in this paper: a Lipschitz submanifold with small local Lipschitz norm becomes smooth instantly along the mean curvature flow. This generalizes the regularity theorem of Ecker and Huisken for Lipschitz hypersurfaces. In particular, any submanifold of the Euclidean space with a continuous induced metric can be smoothed out by the mean curvature flow. The smallness assumption is necessary in the higher codimension case in view of an example of Lawson and Osserman. The stationary phase of the mean curvature flow corresponds to minimal submanifolds. Our result thus generalizes Morrey’s classical theorem on the smoothness of $C_1$ minimal submanifolds.