In
algebraic topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classif ...
and
algebraic geometry, a cyclic cover or cyclic covering is a
covering space A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties.
Definition
Let X be a topological space. A covering of X is a continuous map
: \pi : E \rightarrow X
such that there exists a discrete sp ...
for which the set of covering transformations forms a
cyclic group
In group theory, a branch of abstract algebra in pure mathematics, a cyclic group or monogenous group is a group, denoted C''n'', that is generated by a single element. That is, it is a set of invertible elements with a single associative bi ...
.
As with cyclic groups, there may be both finite and infinite cyclic covers.
Cyclic covers have proven useful in the descriptions of
knot
A knot is an intentional complication in Rope, cordage which may be practical or decorative, or both. Practical knots are classified by function, including List of hitch knots, hitches, List of bend knots, bends, List of loop knots, loop knots, ...
topology
and the algebraic geometry of
Calabi–Yau manifold
In algebraic geometry, a Calabi–Yau manifold, also known as a Calabi–Yau space, is a particular type of manifold which has properties, such as Ricci flatness, yielding applications in theoretical physics. Particularly in superstring ...
s.
In classical algebraic geometry, cyclic covers are a tool used to create new objects from existing ones through, for example, a
field extension
In mathematics, particularly in algebra, a field extension is a pair of fields E\subseteq F, such that the operations of ''E'' are those of ''F'' restricted to ''E''. In this case, ''F'' is an extension field of ''E'' and ''E'' is a subfield of ...
by a root element.
The powers of the root element form a cyclic group and provide the basis for a cyclic cover. A
line bundle
In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the ''tangent bundle'' is a way of organisin ...
over a
complex projective variety with
torsion index
may induce a cyclic Galois covering with cyclic group of order
.
References
Further reading
*
*
*
Algebraic geometry
Algebraic topology
{{algebraic-geometry-stub