http://arxiv.org/api/LX/gDnPIVgoBbd0kmzD92lbVYmQ2025-04-22T00:00:00-04:00239699015http://arxiv.org/abs/2012.08237v42025-04-10T00:17:12Z2020-12-15T12:16:35ZK-theory of Etesi C*-algebras We study the $C^*$-algebra $\mathbb{E}_{\mathscr{M}}$ of a smooth
4-dimensional manifold $\mathscr{M}$ introduced by G\'abor Etesi. It is proved
that the $\mathbb{E}_{\mathscr{M}}$ is a stationary AF-algebra. We calculate
the topological and smooth invariants of $\mathscr{M}$ in terms of the K-theory
of the $C^*$-algebra $\mathbb{E}_{\mathscr{M}}$. Using Gompf's Stable
Diffeomorphism Theorem, it is shown that all smoothings of $\mathscr{M}$ form a
torsion abelian group. The latter is isomorphic to the Brauer group of a number
field associated to the K-theory of $\mathbb{E}_{\mathscr{M}}$.
Igor V. Nikolaev10 pages; an updatehttp://arxiv.org/abs/2503.14840v22025-04-09T22:02:08Z2025-03-19T02:48:09ZLong-Moody construction of braid group representations and Haraoka's
multiplicative middle convolution for KZ-type equations In this paper, we establish a correspondence between algebraic and analytic
approaches to constructing representations of the braid group $B_n$, namely
Katz-Long-Moody construction and multiplicative middle convolution for
Knizhnik-Zamolodchikov (KZ)-type equations, respectively. The Katz-Long-Moody
construction yields an infinite sequence of representations of $F_n \rtimes
B_n$. On the other hand, the fundamental group of the domain of the $n$-valued
KZ-type equation is isomorphic to the pure braid group $P_n$. The
multiplicative middle convolution for the KZ-type equation provides an
analytical framework for constructing (anti-)representations of $P_n$.
Furthermore, we show that this construction preserves unitarity relative to a
Hermitian matrix and establish an algorithm to determine the signature of the
Hermitian matrix.
Haru Negamihttp://arxiv.org/abs/2411.19748v22025-04-09T18:30:55Z2024-11-29T14:47:36ZTotally elliptic surface group representations A surface group representation into a Lie group is called totally elliptic if
every simple closed curve on the surface is mapped to an elliptic element of
the target group. In this note, we characterize all totally elliptic surface
group representations into $\mathrm{PSL}_2\mathbb{R}$ and
$\mathrm{PSL}_2\mathbb{C}$ by showing that they are either representations into
a compact subgroup or Deroin--Tholozan representations.
Arnaud Maret16 pages, 7 figureshttp://arxiv.org/abs/2412.14553v32025-04-09T16:37:20Z2024-12-19T06:10:13ZA new proof of Milnor-Wood inequality The Milnor-Wood inequality states that if a (topological) oriented circle
bundle over an orientable surface of genus $g$ has a smooth transverse
foliation, then the Euler class of the bundle satisfies $$|\mathcal{E}|\leq
2g-2.$$ We give a new proof of the inequality based on a (previously proven by
the authors) local formula which computes $\mathcal{E}$ from the singularities
of a quasisection.
Gaiane PaninaTimur ShamazovMaksim Turevskiiv2: a typo correctedhttp://arxiv.org/abs/2410.22453v22025-04-09T16:26:10Z2024-10-29T18:35:43ZQuasisections of circle bundles and Euler class Let $ E \xrightarrow[\text{}]{\pi} B$ be an oriented circle bundle over an
oriented closed surface $B$. A quasisection is a smooth surface ${Q}$ (either
closed or bordered) mapped by a generic smooth mapping $q$ to $E$ such that
$\pi\circ q({Q})=B$. In the paper we derive a local formula for the Euler
number, that is, we show that Euler number (Euler class) of the bundle equals
the sum of weights of (some of) singularities of a quasisection.We also prove
the uniqueness of such a formula. The local formula is a close relative of M.
Kazarian's formula which relates the Euler number and Morse bifurcations of a
generic function defined on the total space $E$.
Gaiane PaninaTimur ShamazovMaksim Turevskiihttp://arxiv.org/abs/2408.06994v22025-04-09T14:40:12Z2024-08-13T15:54:14ZThe complex of cuts in a Stone space Stone's representation theorem asserts a duality between Boolean algebras on
the one hand and Stone space, which are compact, Hausdorff, and totally
disconnected, on the other. This duality implies a natural isomorphism between
the homeomorphism group of the space and the automorphism group of the algebra.
We introduce a complex of cuts on which these groups act, and prove that when
the algebra is countable and the space has at least five points, that these
groups are the full automorphism group of the complex.
Beth BranmanRobert Alonzo Lymanv2: revised according to referee comments. theorem numbering has
changedhttp://arxiv.org/abs/2504.06929v12025-04-09T14:36:41Z2025-04-09T14:36:41ZMinimal rational graphs admitting a QHD smoothing Using the picture deformation technique of De Jong-Van Straten we show that
no singularity whose resolution graph has 3 or 4 large nodes, i.e., nodes
satisfying d(v)+e(v)\leq -2, has a QHD smoothing. This is achieved by providing
a general reduction algorithm for graphs with QHD smoothings, and enumeration.
New examples and families are presented, which admit a combinatorial QHD
smoothing, i.e. the incidence relations for a sandwich presentation can be
satisfied. We also give a new proof of the Bhupal-Stipsicz theorem on the
classification of weighted homogeneous singularities admitting QHD smoothings
with this method by using cusp singularities.
Márton Beke28 pages, 15 figures, comments welcomehttp://arxiv.org/abs/2504.06901v12025-04-09T14:01:36Z2025-04-09T14:01:36ZClassification of algebraic tangles We study algebraic tangles as fundamental components in knot theory,
developing a systematic approach to classify and tabulate prime tangles using a
novel canonical representation. The canonical representation enables us to
distinguish mutant tangles, which fills the gaps in previous classifications.
Moreover, we increase the classification of prime tangles up to 14 crossings
and analyze tangle symmetry groups. We provide a database of our results:
https://tangleinfo.cent.uw.edu.pl.
Bartosz Ambrozy GrenJoanna Ida SulkowskaBoštjan Gabrovšek35 pages, 16 figures, database: https://tangleinfo.cent.uw.edu.pl,
supplement: https://github.com/baaagr/Classification_of_algebraic_tangleshttp://arxiv.org/abs/2408.00369v22025-04-09T12:44:52Z2024-08-01T08:21:45ZSystems of curves on non-orientable surfaces We show that the order of the cardinality of maximal complete $1$-systems of
loops on non-orientable surfaces is $\sim |\chi|^{2}$. In particular, we
determine the exact cardinality of maximal complete $1$-systems of loops on
punctured projective planes. To prove these results, we show that the
cardinality of maximal systems of arcs pairwise-intersecting at most once on a
non-orientable surface is $2|\chi|(|\chi|+1)$.
Xiao Chen23 pages, 18 figures. Comments are welcome!http://arxiv.org/abs/2411.08336v52025-04-09T04:28:43Z2024-11-13T04:55:15ZExistence of Branched covers $S^{2}\rightarrow S^{2}$ with prescribed
branching data Building on techniques from complex analysis and topology, we establish a
remarkable property of branched covers and formulate a complete criterion for
the existence of specific types of branched covers between 2-spheres. Our
results extend and unify previous work by Jiang (2004), Pervova-Petronio
(2006), Zhu (2019), and Wei-Wu-Xu (2024). As applications of our criterion, we
present several new families of exceptional branching data.
Yingjie MengZhiqiang WeiChuankai Zhou13 pages. All suggestions are welcomehttp://arxiv.org/abs/2311.08676v22025-04-09T02:15:43Z2023-11-15T03:45:16ZErrata: A note on orientation-reversing distance one surgeries on
non-null-homologous knots The author would like to report an error of [T. Ito, Proc. Amer. Math. Soc.
152 (2024), pp. 4515--4519.] (version 1 of the arXiv:2311.08676) )
Tetsuya Ito1(+4) pages, no figure; the version 1 and published version contains
an error. Consequently, Theorem 2, 2 and other results in the paper are
invalidhttp://arxiv.org/abs/2504.06365v12025-04-08T18:29:41Z2025-04-08T18:29:41ZPeripheral structures of core groups The core group is an invariant of unoriented virtual links. We introduce a
peripheral structure for the core group, in which the longitudes are sensitive
to orientations. We show that the combination of the core group and its
peripheral structure is equivalent, as a link invariant, to the combination of
the $\pi$-orbifold group and its peripheral structure. Examples show that the
peripheral structure of the core group can be used to verify noninvertibility
of some knots and links.
Daniel S. SilverLorenzo Traldi24 pages, 5 figureshttp://arxiv.org/abs/2402.03637v22025-04-08T17:58:31Z2024-02-06T02:29:48ZTowards the quantum exceptional series We find a single two-parameter skein relation on trivalent graphs, the
quantum exceptional relation, that specializes to a skein relation associated
to each exceptional Lie algebra (in the adjoint representation). If a slight
strengthening of Deligne's conjecture on the existence of a (classical)
exceptional series is true, then this relation holds for a new two-variable
quantum exceptional polynomial, at least as a power series near $q=1$. The
single quantum exceptional relation can be viewed as a deformation of the
Jacobi relation, and implies a deformation of the Vogel relation that motivated
the conjecture on the classical exceptional series.
We find a conjectural basis for the space of diagrams with $n$ loose ends
modulo the quantum exceptional relation for $n \le 6$, with dimensions agreeing
with the classical computations, and compute the matrix of inner products, and
the quantum dimensions of idempotents. We use the skein relation to compute the
conjectural quantum exceptional polynomial for many knots. In particular we
determine (unconditionally) the values of the quantum polynomials for the
exceptional Lie algebras on these knots. We can perform these computations for
all links of Conway width less than $6$, which includes all prime knots with 12
or fewer crossings. Finally, we prove several specialization results relating
our conjectural family to certain quantum group categories, and conjecture a
number of exceptional analogues of level-rank duality.
Kim MorrisonNoah SnyderDylan P. Thurston94 pages; version accepted for publicationhttp://arxiv.org/abs/2211.04127v32025-04-08T17:43:08Z2022-11-08T09:47:47ZA note on the Nielsen realization problem for hyper-Kähler manifolds We give an answer to the Nielsen realization problem for hyper-K\"ahler
manifolds in terms of the same invariant used for K3 surfaces. We determine
that, for some of the known deformation types, the representation of the
mapping class group on the second cohomology admits a section on its image.
Simone BilliRemoved section 2 and other minor changes, 7 pages. Comments are
welcome!http://arxiv.org/abs/2504.06194v12025-04-08T16:35:15Z2025-04-08T16:35:15ZPositive 3-braids, Khovanov homology and Garside theory Khovanov homology is a powerful invariant of oriented links that categorifies
the Jones polynomial. Nevertheless, computing Khovanov homology of a given link
remains challenging in general with current techniques. In this work we focus
on links that are the closure of positive 3-braids. Starting with a
classification of conjugacy classes of 3-braids arising from the Garside
structure of braid groups, we compute, for any closed positive 3-braid, the
first four columns (homological degree) and the three lowest rows (quantum
degree) of the associated Khovanov homology table. Moreover, the number of rows
and columns we can describe increases with the infimum of the positive braid (a
Garside theoretical notion). We will show how to increase the infimum of a
3-braid to its maximal possible value by a conjugation, maximizing the number
of cells in the Khovanov homology of its closure that can be determined, and
show that this can be done in linear time.
Álvaro Del Valle VílchezJuan González-MenesesMarithania Silvero29 pages, 16 figures