Related papers: Representability of Hom implies flatness

We investigate the flat holomorphic vector bundles over compact complex parallelizable manifolds $G / \Gamma$, where $G$ is a complex connected Lie group and $\Gamma$ is a cocompact lattice in it. The main result proved here is a structure…

Let F be a non-Archimedean local field or a finite field. Let n be a natural number and k be 1 or 2. Consider G:=GL(n+k,F) and let M:=GL(n,F) x GL(k,F)<G be a maximal Levi subgroup. Let U< G be the corresponding unipotent subgroup and let…

Let \pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> \frak{X}, where \frak{X} is a noetherian formal scheme, formally smooth over S. An example of…

An $F$-zip over a scheme $S$ over a finite field is a certain object of semi-linear algebra consisting of a locally free module with a descending filtration and an ascending filtration and a $\Frob_q$-twisted isomorphism between the…

If A is an algebra of functions on X, there are many cases when X can be regarded as included in Hom(A,C) as the set of ring homomorphisms. In this paper the corresponding results for the symmetric products of X are introduced. It is shown…

Let $M$ be a compact orientable surface equipped with a volume form $\omega$, $P$ be either $\mathbb{R}$ or $S^1$, $f:M\to P$ be a $C^{\infty}$ Morse map, and $H$ be the Hamiltonian vector field of $f$ with respect to $\omega$. Let also…

We consider in parallel pointed homotopy automorphisms of iterated wedge sums of topological spaces and boundary relative homotopy automorphisms of iterated connected sums of manifolds minus a disk. Under certain conditions on the spaces…

It is well known that a foliation F of a smooth manifold M gives rise to a rich cohomological theory, its characteristic (i.e., leafwise) cohomology. Characteristic cohomologies of F may be interpreted, to some extent, as functions on the…

A new approach to \'etale homotopy theory is presented which applies to a much broader class of objects than previously existing approaches, namely it applies not only to all schemes (without any local Noetherian hypothesis), but also to…

Let $X$ be a smooth projective variety of dimension $n$, and let $E$ be an ample vector bundle over $X$. We show that any non-zero Schur class of $E$, lying in the cohomology group of bidegree $(n-1, n-1)$, has a representative which is…

For a compact manifold M and a differentiable stack \cX presented by a Lie groupoid X, we show the Hom-stack Hom(M,\cX) is presented by a Fr\'echet-Lie groupoid Map(M,X) and so is an infinite-dimensional differentiable stack. We further…

We establish a purely geometric form of the concentration theorem (also called localization theorem) for actions of a linearly reductive group $G$ on an affine scheme $X$ over an affine base scheme $S$. It asserts the existence of a…

Fix a noetherian scheme S. For any flat map f: X->Y of separated essentially-finite-type perfect S-schemes we define a canonical derived-category map c(f):\H(X)->f^!\H(Y), the fundamental class of f, where \H(Z) is the (pre-)Hochschild…

The notion of a group G acting on a group X is well-known. Fixing X, the corresponding functor Act(-,X) is representable by the group [X] of automorphisms of X. The notion of G-action on X has been generalized to the context of a…

A framed symplectic sheaf on a smooth projective surface $X$ is a torsion-free sheaf $E$ together with a trivialization on a divisor $D\subseteq X$ and a morphism $\Lambda^{2}E\rightarrow\mathcal{O}_{X}$ satisfying some additional…

Let $X$ be a projective variety (possibly singular) over an algebraically closed field of any characteristic and $\mathcal{F}$ be a coherent sheaf. In this article, we define the determinant of $\mathcal{F}$ such that it agrees with the…

Let $X$ be a smooth projective variety over a perfect field $k$ of characteristic $p>0$, and $V$ be a vector bundle over $X$. It is well known that if $X$ is a curve and $V$ is not strongly semistable, then some Frobenius pullback…

The Hom complex $\mathrm{Hom}(G, H)$ of graphs is a simplicial complex associated to a pair of graphs $G$ and $H$, and its homotopy type is of interest in the graph coloring problem and the homomorphism reconfiguration problem. In this…

We study the problem HomsTo$H$ of counting, modulo 2, the homomorphisms from an input graph to a fixed undirected graph $H$. A characteristic feature of modular counting is that cancellations make wider classes of instances tractable than…

In a recent paper [3], the authors introduced a map $\mathcal{F}$ which associates a Deitmar scheme (which is defined over the field with one element, denoted by $\mathbb{F}_1$) with any given graph $\Gamma$. By base extension, a scheme…