Related papers: The Seifert-van Kampen Theorem via Computational P…

In this paper we review the recently proposed path-integral counterpart of the Koopman-von Neumann operatorial approach to classical Hamiltonian mechanics. We identify in particular the geometrical variables entering this formulation and…

The mapping class group of a surface with one boundary component admits numerous interesting representations including as a group of automorphisms of a free group and as a group of symplectic transformations. Insofar as the mapping class…

We formulate and prove a generalization of Zariski-van Kampen theorem on the topological fundamental groups of smooth complex algebraic varieties. As an application, we prove a hyperplane section theorem of Lefschetz-Zariski-van Kampen type…

This paper studies the (small) quantum homology and cohomology of fibrations $p: P\to S^2$ whose structural group is the group of Hamiltonian symplectomorphisms of the fiber $(M,\om)$. It gives a proof that the rational cohomology splits…

The goal of this paper is to establish a topological version of the notion of an Eilenberg-Mac Lane space. If $X$ is a pointed topological space, $\pi_1(X)$ has a natural topology coming from the compact-open topology on the space of maps…

Conventional quantum computing entails a geometry based on the description of an n-qubit state using 2^{n} infinite precision complex numbers denoting a vector in a Hilbert space. Such numbers are in general uncomputable using any…

The quantum field algebra of real scalar fields is shown to be an example of infinite dimensional quantum group. The underlying Hopf algebra is the symmetric algebra S(V) and the product is Wick's normal product. Two coquasitriangular…

The classical Zariski-van Kampen theorem gives a presentation of the fundamental group of the complement of a complex algebraic curve in $\mathbb{P}^2$. The first generalization of this theorem to singular (quasi-projective) varieties was…

Motivated by constructions in topological data analysis and algebraic combinatorics, we study homotopy theory on the category of Cech closure spaces $\mathbf{Cl}$, the category whose objects are sets endowed with a Cech closure operator and…

The treatment of equality as a type in type theory gives rise to an interesting type-theoretic structure known as `identity type'. The idea is that, given terms $a,b$ of a type $A$, one may form the type $Id_{A}(a,b)$, whose elements are…

Class groups of real quadratic fields represent fundamental structures in algebraic number theory with significant computational implications. While Stark's conjecture establishes theoretical connections between special units and class…

In this paper we generalize an argument of Neukirch from birational anabelian geometry to the case of arithmetic curves. In contrast to the function field case, it seems to be more complicate to describe the position of decomposition groups…

Lyon's rough paths give an algebraic and analytic framework for Stieltjes integrals in a regime of low regularity where the usual Riemann-Stieltjes integral does not converge. Before we may rigorously define rough paths, we start with the…

We define a linear structure on Grothendieck's arithmetic fundamental group $\pi_1(X, x)$ of a scheme $X$ defined over a field $k$ of characteristic 0. It allows us to link the existence of sections of the Galois group ${\rm Gal}(\bar k/k)$…

In this paper, we develop and study the theory of weighted fundamental groups of weighted simplicial complexes. When all weights are 1, the weighted fundamental group reduces to the usual fundamental group as a special case. We also study…

The lattice of subgroups of a group is the subject of numerous results revolving around the central theme of decomposing the group into "chunks" (subquotients) that can then be compared to one another in various ways. Examples of results in…

This paper is concerned with rational curves on real classical groups. Our contributions are three-fold: (i) We determine the structure of quadratic rational curves on real classical groups. As a consequence, we completely classify…

We define formal exponential maps for any graded manifold as maps from the formal tangent bundle (that we also define) into the graded manifold. We show that each such map uniquely determines and is determined by its associated Grothendieck…

Using tools from the theory of Lie groupoids, we study the category of logarithmic flat connections on principal $G$-bundles, where $G$ is a complex reductive structure group. Flat connections on the affine line with a logarithmic…

A function from configuration space to moduli space of surface may induce a homomorphism between their fundamental groups which are braid groups and mapping class groups of surface, respectively. This map $\phi: B_k \rightarrow…