Related papers: Chern Numbers of Smooth Varieties via Homotopy Con…
We prove a symmetric version of B\'ezout's theorem. More precisely, we show that the symmetric orbit type of a transverse intersection of complex symmetric hypersurfaces in projective space is determined by the degrees. In the projective…
The category of coherent sheaves over a noetherian scheme is very important for studying the properties of a given scheme. For noetherian schemes it is a well-known fact that the topology can be fully recovered from the corresponding…
The homotopy theory of representations of nets of algebras over a (small) category with values in a closed symmetric monoidal model category is developed. We illustrate how each morphism of nets of algebras determines a change-of-net…
The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…
Global intersection theories for smooth algebraic varieties via products in {\it appropriate}\, Poincar\'e duality theories are obtained. We assume given a (twisted) cohomology theory $H^*$ having a cup product structure and we let consider…
The rational Chow ring A?(S[n],Q) of the Hilbert scheme S[n] parametrising the length n zero-dimensional subschemes of a toric surface S can be described with the help of equivariant techniques. In this paper, we explain the general method…
Homotopy type theory is a new branch of mathematics, based on a recently discovered connection between homotopy theory and type theory, which brings new ideas into the very foundation of mathematics. On the one hand, Voevodsky's subtle and…
We compute the homotopy type of the space of proper d-dimensional submanifolds of ${\mathbb R}^n$ with a smooth version of the Fell topology. Our methods allow us to compute the homotopy type of the space of submanifolds with summable…
We give a new method of computation of the degree of the third secant variety of a smooth curve C in P^(d-2) of genus 2 and degree d>=8, using the presentation of the third secant variety as the union of all scrolls that are defined via a…
A certain Grothendieck topology assigned to a metric space gives rise to a sheaf cohomology theory which sees the coarse structure of the space. Already constant coefficients produce interesting cohomology groups. In degree 0 they see the…
We show that there is a collection of subgroups of the mapping class group of a surface such that the associated coset intersection complex is quasi-isometric and homotopy equivalent to the curve complex. Moreover, we prove that these two…
We study constraints on the Chern classes of a vector bundle on a singular variety. We use this constraint to study a variety which carries a Hodge cycle that are not a linear combination of Chern classes of vector bundles on it.
A number of modern learning tasks involve estimation from heterogeneous information sources. This includes classification with labeled and unlabeled data as well as other problems with analogous structure such as competitive (game…
We show that classical Chern classes from higher ($p$-adic) $K$-theory to syntomic cohomology extend to logarithmic syntomic cohomology. These Chern classes are compatible -- in a suitable sense -- with addition, products, and…
Tropical varieties capture combinatorial information about how coordinates of points in a classical variety approach zero or infinity. We present algorithms for computing the rays of a complex and real tropical curve defined by polynomials…
In this note we give a simple, model-independent construction of Chern classes as natural transformations from differential complex K-theory to differential integral cohomology. We verify the expected behaviour of these Chern classes with…
We discuss an experimental approach to open problems in toric geometry: are smooth projective toric varieties (i) projectively normal and (ii) defined by degree 2 equations? We discuss the creation of lattice polytopes defining smooth toric…
We introduce notions of {\it upper chernrank} and {\it even cup length} of a finite connected CW-complex and prove that {\it upper chernrank} is a homotopy invariant. It turns out that determination of {\it upper chernrank} of a space $X$…
We consider various equivalence relations on the set of homotopy classes of curves on a hyperbolic surface based on topological, algebraic, and geometric structures. The purpose of this work is to determine the relationship between these…
We apply ideas from intersection theory on toric varieties to tropical intersection theory. We introduce mixed Minkowski weights on toric varieties which interpolate between equivariant and ordinary Chow cohomology classes on complete toric…