-
Cohomology of p-adic fields and Local class field theory
Authors:
Uzu Lim
Abstract:
In this expository article, we outline a basic theory of group (co)homology and prove a cohomological formulation of the Local Reciprocity Law: $${\rm Gal}(L/K)^{\rm ab} \cong H_T^{-2}({\rm Gal}(L/K),\mathbb{Z}) \cong H_T^{0}({\rm Gal}(L/K),L^\times) \cong \frac{K^\times}{{\rm Nm}_{L/K}(L^\times)}$$ We first recall basic facts about local fields and homological algebra. Then we define group (co)ho…
▽ More
In this expository article, we outline a basic theory of group (co)homology and prove a cohomological formulation of the Local Reciprocity Law: $${\rm Gal}(L/K)^{\rm ab} \cong H_T^{-2}({\rm Gal}(L/K),\mathbb{Z}) \cong H_T^{0}({\rm Gal}(L/K),L^\times) \cong \frac{K^\times}{{\rm Nm}_{L/K}(L^\times)}$$ We first recall basic facts about local fields and homological algebra. Then we define group (co)homology, Tate cohomology, and furnish a toolbox. The Local Reciprocity Law is proven in an abstract cohomological setting, then applied to the case of local fields.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
HADES: Fast Singularity Detection with Local Measure Comparison
Authors:
Uzu Lim,
Harald Oberhauser,
Vidit Nanda
Abstract:
We introduce Hades, an unsupervised algorithm to detect singularities in data. This algorithm employs a kernel goodness-of-fit test, and as a consequence it is much faster and far more scaleable than the existing topology-based alternatives. Using tools from differential geometry and optimal transport theory, we prove that Hades correctly detects singularities with high probability when the data s…
▽ More
We introduce Hades, an unsupervised algorithm to detect singularities in data. This algorithm employs a kernel goodness-of-fit test, and as a consequence it is much faster and far more scaleable than the existing topology-based alternatives. Using tools from differential geometry and optimal transport theory, we prove that Hades correctly detects singularities with high probability when the data sample lives on a transverse intersection of equidimensional manifolds. In computational experiments, Hades recovers singularities in synthetically generated data, branching points in road network data, intersection rings in molecular conformation space, and anomalies in image data.
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
Quasi Manhattan Wasserstein Distance
Authors:
Evan Unit Lim
Abstract:
The Quasi Manhattan Wasserstein Distance (QMWD) is a metric designed to quantify the dissimilarity between two matrices by combining elements of the Wasserstein Distance with specific transformations. It offers improved time and space complexity compared to the Manhattan Wasserstein Distance (MWD) while maintaining accuracy. QMWD is particularly advantageous for large datasets or situations with l…
▽ More
The Quasi Manhattan Wasserstein Distance (QMWD) is a metric designed to quantify the dissimilarity between two matrices by combining elements of the Wasserstein Distance with specific transformations. It offers improved time and space complexity compared to the Manhattan Wasserstein Distance (MWD) while maintaining accuracy. QMWD is particularly advantageous for large datasets or situations with limited computational resources. This article provides a detailed explanation of QMWD, its computation, complexity analysis, and comparisons with WD and MWD.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Strange Random Topology of the Circle
Authors:
Uzu Lim
Abstract:
We characterise high-dimensional topology that arises from a random Cech complex constructed on the circle. Expected Euler characteristic curve is computed, where we observe limiting spikes. The spikes correspond to expected Betti numbers growing arbitrarily large over shrinking intervals of filtration radii. Using the fact that the homotopy type of the random Cech complex is either an odd-dimensi…
▽ More
We characterise high-dimensional topology that arises from a random Cech complex constructed on the circle. Expected Euler characteristic curve is computed, where we observe limiting spikes. The spikes correspond to expected Betti numbers growing arbitrarily large over shrinking intervals of filtration radii. Using the fact that the homotopy type of the random Cech complex is either an odd-dimensional sphere or a bouquet of even-dimensional spheres, we give probabilistic bounds of the homotopy types. By departing from the conventional practice of scaling down filtration radii as the sample size grows large, our findings indicate that the full breadth of filtration radii leads to interesting systematic behaviour that cannot be regarded as "topological noise".
△ Less
Submitted 25 September, 2023; v1 submitted 25 May, 2023;
originally announced May 2023.
-
Harmonic Forms, Hodge Theory and the Kodaira Embedding Theorem
Authors:
Uzu Lim
Abstract:
In this expository article, we outline the theory of harmonic differential forms and its consequences. We provide self-contained proofs of the following important results in differential geometry: (1) Hodge theorem, which states that for a compact complex manifold, the de Rham cohomology group is isomorphic to the group of harmonic forms, (2) Hodge decomposition theorem, which states that for a Kä…
▽ More
In this expository article, we outline the theory of harmonic differential forms and its consequences. We provide self-contained proofs of the following important results in differential geometry: (1) Hodge theorem, which states that for a compact complex manifold, the de Rham cohomology group is isomorphic to the group of harmonic forms, (2) Hodge decomposition theorem, which states that for a Kähler manifold, the de Rham cohomology group decomposes into the Dolbeault cohomology groups, and (3) The Kodaira Embedding theorem, which gives a criterion of when a compact complex manifold is in fact a smooth complex projective variety. The basic theory of vector bundles is also contained for completeness.
△ Less
Submitted 26 September, 2022;
originally announced October 2022.
-
Tangent Space and Dimension Estimation with the Wasserstein Distance
Authors:
Uzu Lim,
Harald Oberhauser,
Vidit Nanda
Abstract:
Consider a set of points sampled independently near a smooth compact submanifold of Euclidean space. We provide mathematically rigorous bounds on the number of sample points required to estimate both the dimension and the tangent spaces of that manifold with high confidence. The algorithm for this estimation is Local PCA, a local version of principal component analysis. Our results accommodate for…
▽ More
Consider a set of points sampled independently near a smooth compact submanifold of Euclidean space. We provide mathematically rigorous bounds on the number of sample points required to estimate both the dimension and the tangent spaces of that manifold with high confidence. The algorithm for this estimation is Local PCA, a local version of principal component analysis. Our results accommodate for noisy non-uniform data distribution with the noise that may vary across the manifold, and allow simultaneous estimation at multiple points. Crucially, all of the constants appearing in our bound are explicitly described. The proof uses a matrix concentration inequality to estimate covariance matrices and a Wasserstein distance bound for quantifying nonlinearity of the underlying manifold and non-uniformity of the probability measure.
△ Less
Submitted 25 September, 2023; v1 submitted 12 October, 2021;
originally announced October 2021.